diff options
| author | Richard Biener <rguenther@suse.de> | 2015-07-06 10:37:33 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-07-06 10:37:33 +0000 |
| commit | 0409237b686b5daa66810427652acd53761d270b (patch) | |
| tree | 1ccfded254a5f9af8fd07a43503b26afb4038da1 /gcc/match.pd | |
| parent | b2bae05de933b66b5c5f468e50e0aad24d8432d5 (diff) | |
| download | gcc-0409237b686b5daa66810427652acd53761d270b.zip gcc-0409237b686b5daa66810427652acd53761d270b.tar.gz gcc-0409237b686b5daa66810427652acd53761d270b.tar.bz2 | |
re PR tree-optimization/66759 (ICE in generic-match.c on 456.hmmer)
2015-07-06 Richard Biener <rguenther@suse.de>
PR middle-end/66759
* match.pd: Add missing constraint of y to REAL_CST in
REAL_CST - x CMP y to y - CST CMP x simplification.
* gcc.dg/torture/pr66759.c: New testcase.
From-SVN: r225449
Diffstat (limited to 'gcc/match.pd')
| -rw-r--r-- | gcc/match.pd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index ae0d9f1..f850d52 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -1497,7 +1497,7 @@ along with GCC; see the file COPYING3. If not see floating-point types only if -fassociative-math is set. */ (if (flag_associative_math) (simplify - (cmp (minus REAL_CST@0 @1) @2) + (cmp (minus REAL_CST@0 @1) REAL_CST@2) (with { tree tem = const_binop (MINUS_EXPR, TREE_TYPE (@1), @0, @2); } (if (!TREE_OVERFLOW (tem)) (cmp { tem; } @1))))) |