On Mon, 23 Nov 2015, Jiong Wang wrote: > As reported by pr68137 and pr68326, r230150 caused new issues. > > Those ICEs are caused by adjust_range_with_scev getting range with > overflowed constants min or max. So given there are too many places to > generate OVF, we do a check in adjust_range_with_scev, to drop OVF flag > when it's uncessary. This should fix the OVF side-effect caused by > r230150. > > A simple regression testcase is included in this patch. > > bootstrap OK on x86-64 and aarch64, regression ok on both. > > For more background, please see discussion at > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68317 > > OK for trunk?
Ok. Thanks, Richard. > 2015-11-23 Richard Biener <rgue...@gcc.gnu.com> > Jiong Wang <jiong.w...@arm.com> > > gcc/ > PR tree-optimization/68137 > PR tree-optimization/68326 > * tree-vrp.c (adjust_range_with_scev): Call drop_tree_overflow if the > final min and max are not infinity. > > gcc/testsuite/ > * gcc.dg/pr68139.c: New testcase.