[Bug tree-optimization/42436] VRP should mark non-trapping integer divisions

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

[Bug tree-optimization/42436] VRP should mark non-trapping integer divisions

2022-01-12 Thread amacleod at redhat dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42436 --- Comment #3 from Andrew Macleod --- What needs to be done here? anything? Looking at VRP1, there is only a single divide left at that point: countm1.6_54 = _12 / _13; and VRP1 is setting the global range of _13 to: _13: unsigned int [2,

[Bug tree-optimization/42436] VRP should mark non-trapping integer divisions

2019-07-31 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42436 Richard Biener changed: What|Removed |Added Status|ASSIGNED|NEW CC|

[Bug tree-optimization/42436] VRP should mark non-trapping integer divisions

2009-12-19 Thread rguenth at gcc dot gnu dot org
--- Comment #1 from rguenth at gcc dot gnu dot org 2009-12-19 19:42 --- I'll take care of this during 4.6 development. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added