diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-02-10 15:28:07 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-02-10 15:28:07 +0000 |
| commit | 92b1d23b739e8b640772220aeac3c86205e2814d (patch) | |
| tree | 4ac38843448296b95316452c0b8e5f6e0a215f7e /gcc/tree-vrp.c | |
| parent | fcc414dca4703222b72348d0aeef5aae2ec9b726 (diff) | |
| download | gcc-92b1d23b739e8b640772220aeac3c86205e2814d.zip gcc-92b1d23b739e8b640772220aeac3c86205e2814d.tar.gz gcc-92b1d23b739e8b640772220aeac3c86205e2814d.tar.bz2 | |
re PR tree-optimization/47677 (Hang in VRP)
2011-02-10 Richard Guenther <rguenther@suse.de>
PR tree-optimization/47677
* tree-vrp.c (vrp_bitmap_equal_p): Fix comparison of empty bitmaps.
* gcc.dg/torture/pr47677.c: New testcase.
From-SVN: r170002
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index b07f121..5e891f5 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -714,6 +714,8 @@ static inline bool vrp_bitmap_equal_p (const_bitmap b1, const_bitmap b2) { return (b1 == b2 + || ((!b1 || bitmap_empty_p (b1)) + && (!b2 || bitmap_empty_p (b2))) || (b1 && b2 && bitmap_equal_p (b1, b2))); } |