https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86176
Richard Biener changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86176
--- Comment #2 from Jonny Grant ---
I wonder, is there a way to configure GCC to perform in a way similar to static
analyser? GCC warnings are very useful.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86176
--- Comment #3 from Jonathan Wakely ---
No, because GCC is not a static analyser.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86176
--- Comment #6 from Eric Gallager ---
(In reply to Jonathan Wakely from comment #3)
> No, because GCC is not a static analyser.
It'll have one once David Malcolm's static analyzer branch is merged
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86176
Eric Gallager changed:
What|Removed |Added
CC||msebor at gcc dot gnu.org
--- Comment #4
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86176
--- Comment #5 from Martin Sebor ---
I think the question in comment #2 is whether it's possible to get the full
benefit of the latter kind of warnings without relying on the optimizations
being performed that they depend on. There is currently