diff options
| author | Richard Biener <rguenther@suse.de> | 2020-11-13 11:31:22 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2020-11-13 12:24:54 +0100 |
| commit | dcfd302a79a5e2ea3bb16fc4fc45a5ee31cc0eab (patch) | |
| tree | be85f1a2cea59235fefe077bbd5125b1664fa19f /gcc/fold-const.c | |
| parent | 3793ecc10fd4f8be8abd65ba41824f3cc91238e7 (diff) | |
| download | gcc-dcfd302a79a5e2ea3bb16fc4fc45a5ee31cc0eab.zip gcc-dcfd302a79a5e2ea3bb16fc4fc45a5ee31cc0eab.tar.gz gcc-dcfd302a79a5e2ea3bb16fc4fc45a5ee31cc0eab.tar.bz2 | |
tree-optimization/97812 - fix range query in VRP assert discovery
This makes sure to properly extend the input range before seeing
whether it fits the target.
2020-11-13 Richard Biener <rguenther@suse.de>
PR tree-optimization/97812
* tree-vrp.c (register_edge_assert_for_2): Extend the range
according to its sign before seeing whether it fits.
* gcc.dg/torture/pr97812.c: New testcase.
Diffstat (limited to 'gcc/fold-const.c')
0 files changed, 0 insertions, 0 deletions