[Bug analyzer/115724] analyzer does not recognise non-returning error()

[xry111 at gcc dot gnu.org]

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

Xi Ruoyao <xry111 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |xry111 at gcc dot gnu.org

--- Comment #1 from Xi Ruoyao <xry111 at gcc dot gnu.org> ---
error() isn't a standard function thus GCC cannot guess its behavior.  I.e. a
different libc may provide error() with a different semantic, and the
programmer can provide a customized version of error() because it's not in the
reserved namespace.

Thus I cannot see what we can do here...