[Bug middle-end/72818] No warning for dereferencing casted pointer

2016-08-05 Thread pmatos at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72818 pmatos at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED Resolution|-

[Bug middle-end/72818] No warning for dereferencing casted pointer

2016-08-05 Thread pmatos at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=72818 --- Comment #1 from pmatos at gcc dot gnu.org --- Please disregard the -fsanitize=undefined in my initial comment. I didn't expect -fsanitize=undefined to caught it. That was an artefact from my original example. I expected a warning from GCC at c