Re: [PATCH v2 1/1] sandbox: mark os_abort() as noreturn

On Sun, 31 Jan 2021 at 17:24, Heinrich Schuchardt xypron.glpk@gmx.de wrote:

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

v2: use __attribute__((noreturn)) instead of __return

---

include/os.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

Reviewed-by: Simon Glass sjg@chromium.org