[Bug analyzer/105894] RFE: -fanalyzer could complain about misuse of functions that return pointers to a static buffer

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to David Malcolm from comment #0)
> The analyzer's region model might make this fairly easy to implement.

Specifically: the result of the function call would be a conjured_svalue where
the stmt of the conjured_svalue was a call to such an annotated function.