diff options
| author | Heinrich Schuchardt <[email protected]> | 2021-02-01 01:24:10 +0100 |
|---|---|---|
| committer | Simon Glass <[email protected]> | 2021-02-03 03:38:41 -0700 |
| commit | c30a7093e81be0dbec963b6b347f678630c2eb8d (patch) | |
| tree | b35c3e6273fdd0c4cad0983de62563b54f815a90 /doc/develop | |
| 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 <[email protected]>
Reviewed-by: Simon Glass <[email protected]>
Diffstat (limited to 'doc/develop')
0 files changed, 0 insertions, 0 deletions