------- 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

Reply via email to