[Bug tree-optimization/114937] [11 regression] -ftree-vrp optimizes out range check before conditional increment

2024-05-12 Thread mikpelinux at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114937 --- Comment #5 from Mikael Pettersson --- I ran a git bisect between 11.4.0 and 12.3.0, which identified the following as fixing this test case: 2e96b5f14e4025691b57d2301d71aa6092ed44bc is the first new commit commit

[Bug tree-optimization/114937] [11 regression] -ftree-vrp optimizes out range check before conditional increment

2024-05-06 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114937 Richard Biener changed: What|Removed |Added Assignee|unassigned at gcc dot gnu.org |rguenth at gcc dot gnu.org

[Bug tree-optimization/114937] [11 regression] -ftree-vrp optimizes out range check before conditional increment

2024-05-03 Thread mital at mitalashok dot co.uk via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114937 --- Comment #3 from Mital Ashok --- My real code looks more like: void sat_inc(int& y) { if (y < __INT_MAX__) ++y; } template void f(int& x, F&&... functions) { int copy = x; (functions(copy), ...); if (copy > x)

[Bug tree-optimization/114937] [11 regression] -ftree-vrp optimizes out range check before conditional increment

2024-05-03 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114937 Richard Biener changed: What|Removed |Added Known to fail||10.5.0, 11.4.1 Known to work|

[Bug tree-optimization/114937] [11 regression] -ftree-vrp optimizes out range check before conditional increment

2024-05-03 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114937 Richard Biener changed: What|Removed |Added Target Milestone|--- |11.5 Status|UNCONFIRMED