[Bug analyzer/115724] analyzer does not recognise glibc (GNU) extension, non-returning error

[dmalcolm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115724

--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
The analyzer *does* try to handle error() and error_at_line() from GNU's
non-standard <error.h>; see:
https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=gcc/analyzer/kf.cc;h=4213b89ac9fb4ff11994cf2c35f15a281be3b024;hb=HEAD#l496 

In particular it tries to "know" that arg0 == 0 means "doesn't return".

So something's going wrong with that; I'll take a look.