[Bug middle-end/71699] bogus -Wmaybe-uninitialized warning: gcc misses that non-NULL pointer + offset can never be NULL

[manish at mozilla dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71699

--- Comment #11 from Manish Goregaokar  ---
(In reply to Manuel López-Ibáñez from comment #10)
> (In reply to Manish Goregaokar from comment #9)
> > Already sent it :)
> > 
> > https://gcc.gnu.org/ml/gcc-patches/2016-06/msg02057.HTML is the current
> > patch; need to look at the test failures before moving forward.
> 
> Was this ever committed? Last comment by Richard was here:
> 
> https://gcc.gnu.org/ml/gcc-patches/2016-06/msg02061.html

No, there were test failures I think. Or maybe not, I don't remember.

[Bug c/71699] bogus -Wmaybe-uninitialized warning: gcc misses that non-NULL pointer + offset can never be NULL

[manish at mozilla dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71699

--- Comment #3 from Manish Goregaokar  ---
Looks like
https://github.com/gcc-mirror/gcc/blob/4e1b04b0cc2248df1b7820c04743935147bd138e/gcc/fold-const.c#L13202
already handles this? Unless it doesn't know about sizeof.

[Bug c/71699] bogus -Wmaybe-uninitialized warning: gcc misses that non-NULL pointer + offset can never be NULL

[manish at mozilla dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71699

--- Comment #5 from Manish Goregaokar  ---
So, the fix would be to add an || POINTER_TYPE_P?

[Bug c/71699] bogus -Wmaybe-uninitialized warning: gcc misses that non-NULL pointer + offset can never be NULL

[manish at mozilla dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71699

--- Comment #6 from Manish Goregaokar  ---
I built gcc trunk, uncommenting `tail = name;` does not make the warning go
away unless I'm using -O2

[Bug c/71699] bogus -Wmaybe-uninitialized warning: gcc misses that non-NULL pointer + offset can never be NULL

[manish at mozilla dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71699

--- Comment #7 from Manish Goregaokar  ---
Created attachment 38800
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38800&action=edit
Patch

This patch works in -O2. I'm new to contributing to gcc, so posting it here
before sending it to the mailing list for a sanity-check.

Thoughts?

[Bug c/71699] bogus -Wmaybe-uninitialized warning: gcc misses that non-NULL pointer + offset can never be NULL

[manish at mozilla dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71699

--- Comment #9 from Manish Goregaokar  ---
Already sent it :)

https://gcc.gnu.org/ml/gcc-patches/2016-06/msg02057.HTML is the current patch;
need to look at the test failures before moving forward.