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 13
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: |
Description (last modified by )
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
For other gcc 4.6.0 specific problems see #11216.
Change History (14)
comment:1 Changed 11 years ago by
Milestone: | → sage-4.7.1 |
---|---|
Owner: | changed from tbd to Mariah Lennox |
comment:2 Changed 11 years ago by
If src/reorder.c
is built with -O1 rather than -O2, then the problem goes away.
comment:3 follow-up: 4 Changed 11 years ago by
Description: | modified (diff) |
---|
On what platform is this problem?
Dave
comment:4 Changed 11 years ago by
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
Description: | modified (diff) |
---|---|
Keywords: | cliquer added |
comment:6 Changed 11 years ago by
Description: | modified (diff) |
---|
comment:8 Changed 11 years ago by
Authors: | → Jeroen Demeyer |
---|---|
Description: | modified (diff) |
Milestone: | sage-4.7.1 → sage-4.7 |
Priority: | major → blocker |
Status: | new → needs_review |
Changed 11 years ago by
Attachment: | cliquer-1.2.p7-p8.diff added |
---|
Diff for the cliquer spkg, for reviewing only
comment:9 Changed 11 years ago by
Report Upstream: | N/A → Reported upstream. Little or no feedback. |
---|---|
Reviewers: | → Mariah Lenox |
Status: | needs_review → positive_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
Merged in: | → sage-4.7.rc1 |
---|---|
Resolution: | → fixed |
Status: | positive_review → closed |
comment:11 Changed 11 years ago by
Report Upstream: | Reported upstream. Little or no feedback. → Reported upstream. Developers acknowledge bug. |
---|
comment:12 Changed 11 years ago by
Merged in: | sage-4.7.rc1 |
---|---|
Resolution: | fixed |
Status: | closed → new |
comment:13 Changed 11 years ago by
Description: | modified (diff) |
---|---|
Keywords: | spkg added |
Status: | new → needs_review |
The following code triggers the problem (code does not return):
If cliquer-1.2.p7.spkg is rebuilt with -O1 rather than -O2, then the problem goes away.