https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103780
Luc FETY <lucfety at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|INVALID |FIXED
--- Comment #3 from Luc FETY <lucfety at gmail dot com> ---
(In reply to Andrew Pinski from comment #1)
> >a pointer that goes to 0 after decrement is still considered true.
>
> Yes a pointer is never a null pointer if it is decremented and it was a
> valid pointer to begin with.
>
> Use -fno-delete-null-pointer-checks if you want to disable this optimization.
The code shows 2 cases:
1) a pointer decremented to zero is true
2) a pointer decremented to zero is false
Bizare ...
Thank you for seeing the code.
-fno-delete-null-pointer-checks seems to fix indetermination
Thank you
