https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68137
--- Comment #2 from rguenther at suse dot de <rguenther at suse dot de> --- On Wed, 28 Oct 2015, dominiq at lps dot ens.fr wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68137 > > Bug ID: 68137 > Summary: FAIL: gcc.dg/torture/ftrapv-2.c * execution test on > x86_64-apple-darwin14 > Product: gcc > Version: 6.0 > Status: UNCONFIRMED > Severity: normal > Priority: P3 > Component: target > Assignee: unassigned at gcc dot gnu.org > Reporter: dominiq at lps dot ens.fr > CC: fxcoudert at gcc dot gnu.org, > howarth.at.gcc.testresults at gmail dot com, > iains at gcc dot gnu.org, rguenth at gcc dot gnu.org > Target Milestone: --- > > Since the test has been introduced at revision r229170, I see the following > failures on x86_64-apple-darwin14 > > FAIL: gcc.dg/torture/ftrapv-2.c -O0 execution test > FAIL: gcc.dg/torture/ftrapv-2.c -O1 execution test > FAIL: gcc.dg/torture/ftrapv-2.c -O2 execution test > FAIL: gcc.dg/torture/ftrapv-2.c -O3 -fomit-frame-pointer -funroll-loops > -fpeel-loops -ftracer -finline-functions execution test > FAIL: gcc.dg/torture/ftrapv-2.c -O3 -g execution test > FAIL: gcc.dg/torture/ftrapv-2.c -Os execution test can you check a simplified testcase with just int i = 0x7fffffff; int main() { volatile int x = i + 1 < i; } it should abort/trap with -ftrapv. The glue in the testcase is to catch that trapping/aborting. It would be nice if you can work out why that doesnt' work (if that's the issue)