[Bug c/104115] Does not understand that inequality is transitive

2022-01-19 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104115 --- Comment #5 from CVS Commits --- The master branch has been updated by Jakub Jelinek : https://gcc.gnu.org/g:f35bb467a01db988d5fe1637db5bff4b4f9e7086 commit r12-6738-gf35bb467a01db988d5fe1637db5bff4b4f9e7086 Author: Jakub Jelinek Date: W

[Bug c/104115] Does not understand that inequality is transitive

2022-01-19 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104115 --- Comment #4 from Jakub Jelinek --- Note, gcc.dg/tree-ssa/evrp-trans.c seems to cover it for int, but perhaps it would be useful to have a variant of the testcase with unsigned types instead of signed too.

[Bug c/104115] Does not understand that inequality is transitive

2022-01-19 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104115 Jakub Jelinek changed: What|Removed |Added CC||aldyh at gcc dot gnu.org,

[Bug c/104115] Does not understand that inequality is transitive

2022-01-19 Thread thvdveld at vub dot be via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104115 --- Comment #2 from Thibaut Vandervelden --- Sorry, my bad.

[Bug c/104115] Does not understand that inequality is transitive

2022-01-19 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104115 Richard Biener changed: What|Removed |Added Resolution|--- |FIXED Status|UNCONFIRMED