[Gecode-bugs] [Bug 45] New: Problems with gcc compiler and inlining

[bugzilla-daemon at ps.uni-sb.de]

http://www.gecode.org/bugzilla/show_bug.cgi?id=45

           Summary: Problems with gcc compiler and inlining
           Product: Gecode
           Version: 1.2.2
          Platform: Macintosh
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: Other/unspecified
        AssignedTo: tack at ps.uni-sb.de
        ReportedBy: tack at ps.uni-sb.de
         QAContact: bugs at gecode.org


On some platforms, under certain conditions, gcc seems to produce incorrect
code. For instance, some tests for the set constraints go to an infinite loop
on Intel Macs with Mac OS X, or the space status is suddenly failed although it
should be solved on Linux machines.
The strange behaviour only appears when optimizing inlining. All these programs
act normally if inlining is switched off or some forceinline annotations are
removed.
This is hard to debug: In a debug build, inlining is switched off and the bug
does not appear. In an optimized build, the interesting functions that seem to
cause the trouble are inlined and hence cannot be easily traced.


-- 
Configure bugmail: http://www.gecode.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug, or are watching the QA contact.