https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96651
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Ever confirmed|0 |1
Last reconfirmed| |2020-08-17
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this.
Note that the analyzer is still experimental.
The issue is that the analyzer is treating the values of globals as arbitrary
unknown values, ignoring their initialization values, even for code paths from
the entrypoint of "main".
I'm looking at patching it so that code paths from "main" can assume these
initial values (until a call to code outside the TU occurs on the path), so
that we can assume that a is 0 at the start of main.
