Opened 11 years ago

Last modified 11 years ago

#11227 closed defect

gcc-4.6.0 optimization bug with cliquer-1.2.p7.spkg — at Version 14

Reported by: Mariah Lennox Owned by: Mariah Lennox
Priority: blocker Milestone: sage-4.7
Component: packages: standard Keywords: cliquer spkg
Cc: Merged in:
Authors: Jeroen Demeyer Reviewers: Mariah Lenox
Report Upstream: Fixed upstream, but not in a stable release. Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Jeroen Demeyer)

On various 64-bit x86_64 Linux machines (for example, the Skynet machine eno), sage-4.7.alpha5 built with gcc-4.6.0 fails various tests with a timeout:

sage -t -long  -force_lib devel/sage/sage/graphs/graph_generators.py # Time out
sage -t -long  -force_lib devel/sage/sage/graphs/graph_coloring.py # Time out
sage -t -long  -force_lib devel/sage/sage/graphs/graph.py # Time out
sage -t -long  -force_lib devel/sage/sage/graphs/cliquer.pyx # Time out

The problem can be seen by executing the following command, which should take milliseconds but simply hangs instead:

sage: clique_number(Graph({0:[1,2,3], 1:[2], 3:[0,1]}))

New spkg adding flag -fno-ivopts: http://boxen.math.washington.edu/home/jdemeyer/spkg/cliquer-1.2.p9.spkg

Fixed upstream: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48774

For other gcc 4.6.0 specific problems see #11216.

Change History (15)

comment:1 Changed 11 years ago by Mariah Lennox

Milestone: sage-4.7.1
Owner: changed from tbd to Mariah Lennox

The following code triggers the problem (code does not return):

sage: g = graphs.BidiakisCube();
sage: g.clique_number()

If cliquer-1.2.p7.spkg is rebuilt with -O1 rather than -O2, then the problem goes away.

comment:2 Changed 11 years ago by Mariah Lennox

If src/reorder.c is built with -O1 rather than -O2, then the problem goes away.

comment:3 Changed 11 years ago by David Kirkby

Description: modified (diff)

On what platform is this problem?

Dave

comment:4 in reply to:  3 Changed 11 years ago by Mariah Lennox

Replying to drkirkby:

On what platform is this problem?

Dave

Apologies for not mentioning this. I see the problem on skynet:eno (x86_64-Linux-core2). I have not checked to see if the problem exists on other architectures.

comment:5 Changed 11 years ago by Jeroen Demeyer

Description: modified (diff)
Keywords: cliquer added

comment:6 Changed 11 years ago by Jeroen Demeyer

Description: modified (diff)

comment:7 Changed 11 years ago by Jeroen Demeyer

-fno-ivopts also fixes this (just like #11168).

comment:8 Changed 11 years ago by Jeroen Demeyer

Authors: Jeroen Demeyer
Description: modified (diff)
Milestone: sage-4.7.1sage-4.7
Priority: majorblocker
Status: newneeds_review

Changed 11 years ago by Jeroen Demeyer

Attachment: cliquer-1.2.p7-p8.diff added

Diff for the cliquer spkg, for reviewing only

comment:9 Changed 11 years ago by Mariah Lennox

Report Upstream: N/AReported upstream. Little or no feedback.
Reviewers: Mariah Lenox
Status: needs_reviewpositive_review

Reported upstream to gcc bugzilla, see | #48774

Tested on sage-4.7.rc0 on skynet/eno (x86_64-Linux-core2). All tests passed. Positive review.

comment:10 Changed 11 years ago by Jeroen Demeyer

Merged in: sage-4.7.rc1
Resolution: fixed
Status: positive_reviewclosed

comment:11 Changed 11 years ago by Mariah Lennox

Report Upstream: Reported upstream. Little or no feedback.Reported upstream. Developers acknowledge bug.

comment:12 Changed 11 years ago by Jeroen Demeyer

Merged in: sage-4.7.rc1
Resolution: fixed
Status: closednew

comment:13 Changed 11 years ago by Jeroen Demeyer

Description: modified (diff)
Keywords: spkg added
Status: newneeds_review

comment:14 Changed 11 years ago by Jeroen Demeyer

Description: modified (diff)
Report Upstream: Reported upstream. Developers acknowledge bug.Fixed upstream, but not in a stable release.
Status: needs_reviewneeds_work
Note: See TracTickets for help on using tickets.