https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114616
Bug ID: 114616
Summary: RFE: show type and possible ranges of size in
-Wanalyzer-tainted-size and
-Wanalyzer-tainted-allocation-size
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: analyzer
Assignee: dmalcolm at gcc dot gnu.org
Reporter: dmalcolm at gcc dot gnu.org
Target Milestone: ---
It's really helpful when triaging analyzer reports from -Wanalyzer-tainted-size
and -Wanalyzer-tainted-allocation-size to know more about the size in use.
e.g. if it's come from uint8_t then an allocation of that size is unlikely to
be problematic even if it's "unsanitized" (probably should have a param for the
threshold above which we complain).
Probably should add notes/events describing more about the value and the
sanitization/type converstions that happen to it.
