diff options
| author | Patrick Palka <ppalka@gcc.gnu.org> | 2014-11-20 22:25:35 +0000 |
|---|---|---|
| committer | Patrick Palka <ppalka@gcc.gnu.org> | 2014-11-20 22:25:35 +0000 |
| commit | 7ac753f9683133e7b91f2d497ab6b25418a05c5d (patch) | |
| tree | 50fdade7d7ba6205c00a1d0613c261fa0f192e1f /gcc/tree-vect-generic.c | |
| parent | 75bda2e8134c013bc3d02b78e5b8b34022961985 (diff) | |
| download | gcc-7ac753f9683133e7b91f2d497ab6b25418a05c5d.zip gcc-7ac753f9683133e7b91f2d497ab6b25418a05c5d.tar.gz gcc-7ac753f9683133e7b91f2d497ab6b25418a05c5d.tar.bz2 | |
Disable an unsafe VRP transformation when -fno-strict-overflow is set
gcc/
* tree-vrp.c (test_for_singularity): New parameter
strict_overflow_p. Set *strict_overflow_p to true if signed
overflow must be undefined for the return value to satisfy the
conditional.
(simplify_cond_using_ranges): Don't perform the simplification
if it violates overflow rules.
gcc/testsuite/
* gcc.dg/no-strict-overflow-8.c: New test.
From-SVN: r217895
Diffstat (limited to 'gcc/tree-vect-generic.c')
0 files changed, 0 insertions, 0 deletions