------- Additional Comments From duraid at octopus dot com dot au 2005-05-09 13:41 ------- Building on ia64 with the 3.4.4 compiler mentioned above, I get: #0 red_ReduceInput (Search=0x60000000000ac338, ClauseList=0x6000000000112e18) at clause.h:525 #1 0x400000000010dd90 in top_ProofSearch (Search=0x60000000000ac338, ProblemClauses=0x6000000000123f68, InputFlags=0x60000000000cd948, UserPrecedence=0x0, BoundApplied=0x60000fffffcf3768) at top.c:913 #2 0x4000000000111350 in main (argc=2, argv=0x0) at top.c:1457
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21461