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.
