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

2017-03-03 Thread 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 curren

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

2016-06-30 Thread 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.

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

2016-06-30 Thread 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

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

2016-06-30 Thread 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

2016-06-29 Thread 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

2016-06-29 Thread 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.