diff options
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2021-02-01 01:24:10 +0100 |
|---|---|---|
| committer | Simon Glass <sjg@chromium.org> | 2021-02-03 03:38:41 -0700 |
| commit | c30a7093e81be0dbec963b6b347f678630c2eb8d (patch) | |
| tree | b35c3e6273fdd0c4cad0983de62563b54f815a90 /cmd/source.c | |
| parent | 6424fba1bc4e80c43eb5eb69b9e66c0d89d1b1cf (diff) | |
sandbox: mark os_abort() as noreturn
gcc -fanalyzer needs the information that a function does not return to
provide accurate information.
os_abort() does not return. Mark it accordingly.
Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
Reviewed-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'cmd/source.c')
0 files changed, 0 insertions, 0 deletions