https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67194
--- Comment #5 from Richard Biener ---
For the second testcase the issue is the aliasing store *operand_loc = 0;
which can invalidate the predicate value. Fixed with -fstrict-aliasing (or
-O2).
Nothing uninit analysis can do here.
The first
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67194
Jakub Jelinek changed:
What|Removed |Added
Target Milestone|10.4|10.5
--- Comment #4 from Jakub Jelinek
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67194
Richard Biener changed:
What|Removed |Added
Target Milestone|9.5 |10.4
--- Comment #3 from Richard