[Bug middle-end/90469] -ftree-vrp optimizaion causes 'signed overflow' and 'unreachable code' assumptions without warning.

2019-05-15 Thread prg.j.a.h at centrum dot cz
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90469 --- Comment #2 from J.A.H --- I agree that the code is based on some "undefined" expectations. However in another similar cases the compiler typically warns that it ignores integer overflow. The problem is that we are not able to find every "expe

[Bug c/90469] New: -ftree-vrp optimizaion causes 'signed overflow' and 'unreachable code' assumptions without warning.

2019-05-14 Thread prg.j.a.h at centrum dot cz
1 Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: prg.j.a.h at centrum dot cz Target Milestone: --- Compiling with and without -ftree-vrp produces different code. Although the c