projects / platform / upstream / wayland.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2ed67e) | patch
scanner: Mark fail() as noreturn
authorDaniel Stone <daniels@collabora.com>
Mon, 27 Aug 2018 21:26:37 +0000 (22:26 +0100)
committerDaniel Stone <daniels@collabora.com>
Wed, 29 Aug 2018 08:56:56 +0000 (09:56 +0100)
commit5fab243a729c949d38463c47040ea6abec8d7850
tree6ef75eca3a73ca4a17d26bfcdb13d7cba2978f3atree | snapshot
parenta2ed67e85c386413979ab30bf5ec48dc19fcf99ecommit | diff
scanner: Mark fail() as noreturn

Help static analysers by letting them know that once we fail(),
execution will terminally complete.

Signed-off-by: Daniel Stone <daniels@collabora.com>
Reviewed-by: Pekka Paalanen <pekka.paalanen@collabora.co.uk>
Reviewed-by: Peter Hutterer <peter.hutterer@who-t.net>
src/scanner.c diff | blob | history
Domain: Graphics System / Display Server;