[Bug analyzer/106000] RFE: -fanalyzer should complain about memory accesses that are definitely out-of-bounds

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

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

--- Comment #5 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Consider also:

   write (fd, "hello world", 200);

where the write call is definitely going to access beyond the string literal.