[Bug analyzer/109106] GCC Static Analyzer doesn't model printf

[schwab--- via Gcc-bugs]

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

--- Comment #3 from Andreas Schwab <sch...@linux-m68k.org> ---
When an output error occurs it returns < 0.  Only printf("") or printf("%s",
"") can return 0.