https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98830
--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> --- I looked at your examples in bug 98646, and the analyzer seems to me to be working correctly. Specifically: Analyzer correctly doesn't warn for: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98646#c5 Analyzer correctly * doesn't warn for 1st example and * does warn for 2nd example in: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98646#c10 Analyzer correctly issues two warnings for: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98646#c12
