https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117881
Bug ID: 117881
Summary: Emit diagnostic note wrt FPs for middle-end warnings
with sanitizers
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: sanitizer
Assignee: unassigned at gcc dot gnu.org
Reporter: sjames at gcc dot gnu.org
CC: dmalcolm at gcc dot gnu.org, dodji at gcc dot gnu.org,
dvyukov at gcc dot gnu.org, jakub at gcc dot gnu.org,
kcc at gcc dot gnu.org
Target Milestone: ---
Prompted by PR117873 but there's a lot of these.
We already have a message in the docs to say that -Werror is a bad idea with
-fsanitize={address,undefined} because FPs are increased. A lot of people don't
seem to realise this.
I suspect it'd save a lot of people time if we emitted a diagnostic note for
these middle-end warnings (-Warray-bounds and so on) when a sanitizer is
enabled to note that there's an increased risk of it being an FP.
david, does this sound reasonable, or a bad idea? I just think it's a shame to
see people waste time on bug reports for these.
