This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/76490] [5/6/7 Regression] when use -O2 -fcheck-founds compiler appears to hang and consumes all memory
- From: "rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 15 Aug 2016 09:19:04 +0000
- Subject: [Bug tree-optimization/76490] [5/6/7 Regression] when use -O2 -fcheck-founds compiler appears to hang and consumes all memory
- Authentication-results: sourceware.org; auth=none
- Auto-submitted: auto-generated
- References: <bug-76490-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76490
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Found new range for isize_3: [1, +INF]
Found new range for isize_20: [1, +INF]
Found new range for isize_5: [1, +INF]
Found new range for _12: [0, 2147483646]
Found new range for _4: [1, 2147483646]
Found new range for isize_3: [1, +INF(OVF)]
Found new range for isize_20: [1, +INF(OVF)]
Found new range for isize_5: [1, +INF(OVF)]
Found new range for _12: [0, +INF(OVF)]
Found new range for _4: [0, +INF]
Found new range for isize_3: [1, +INF]
Found new range for isize_20: [1, +INF]
Found new range for isize_5: [1, +INF]
Found new range for _12: [0, 2147483646]
Found new range for _4: [1, 2147483646]
Found new range for isize_3: [1, +INF(OVF)]
Found new range for isize_20: [1, +INF(OVF)]
...
this happens because intersect_ranges doesn't handle +INF vs. +INF(OVF)
correctly
(operand_equal_p treats them as equal). I have a patch.