https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106373
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Last reconfirmed| |2022-07-20
Status|UNCONFIRMED |ASSIGNED
Summary|False positives from |False positives from
|-Wanalyzer-tainted-array-in |-Wanalyzer-tainted-array-in
|dex with casts |dex on comparison with
| |non-const
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
The issue isn't the casts; it's the comparison against non-const, which looks
like:
_1 = dev_6(D)->eps_num;
if (_1 <= i_4(D))
at the gimple level, and where i_4(D) is on the RHS, and sm-taint.cc is only
looking at comparisons of the LHS.
I'm testing a fix.
