diff options
| author | Heinrich Schuchardt | 2021-02-01 01:24:10 +0100 |
|---|---|---|
| committer | Simon Glass | 2021-02-03 03:38:41 -0700 |
| commit | c30a7093e81be0dbec963b6b347f678630c2eb8d (patch) | |
| tree | b35c3e6273fdd0c4cad0983de62563b54f815a90 /include/os.h | |
| 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 'include/os.h')
| -rw-r--r-- | include/os.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/os.h b/include/os.h index e192e32d592..65bcb232cab 100644 --- a/include/os.h +++ b/include/os.h @@ -341,7 +341,7 @@ void os_localtime(struct rtc_time *rt); /** * os_abort() - raise SIGABRT to exit sandbox (e.g. to debugger) */ -void os_abort(void); +void os_abort(void) __attribute__((noreturn)); /** * os_mprotect_allow() - Remove write-protection on a region of memory |