https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120045
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Ever confirmed|0 |1
Last reconfirmed| |2025-04-30
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
We have params:
unsigned size;
unsigned length;
and:
unsigned count = (size * length);
If I'm reading this right the analyzer is considering a case where size == 0 or
length == 0, and size * length != 0. Probably need to "teach" the constraint
manager that that's impossible.
