[LLVMbugs] [Bug 5446] New: SIGSEGV in a regression for CVC3 built with LLVM

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Mon Nov 9 16:27:17 PST 2009


           Summary: SIGSEGV in a regression for CVC3 built with LLVM
           Product: new-bugs
           Version: 2.6
          Platform: PC
               URL: http://www.cs.nyu.edu/acsys/cvc3/download.html
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: dejan at cs.nyu.edu
                CC: llvmbugs at cs.uiuc.edu, dejan at cs.nyu.edu

Created an attachment (id=3796)
 --> (http://llvm.org/bugs/attachment.cgi?id=3796)
Full backtrace for SIGSEGV in test/bin/test compiled with LLVM

When compiling the CVC3 theorem prover one of the regressions fails with a
segfault that seems to be a LLVM compiler issue. 

Build succeeds, but one of the C++ regression fails with a SIGSEGV while
throwing an (expected) exception with the following trace:

get_cie_encoding() at 0x8cca9ca 
classify_object_over_fdes() at 0x8ccaad3        
search_object() at 0x8ccb96a    
_Unwind_Find_FDE() at 0x8ccc045 
uw_frame_state_for() at 0x8cc95f4       
uw_init_context_1() at 0x8cc9ad1        
_Unwind_RaiseException() at 0x8cca287   
__cxa_throw() at 0x8cbff86      
CVC3::Theory::newSubtypeExpr() at
CVC3::VCL::subtypeType() at /home/dejan/eclipse-cxx/cvc3/src/vcl/vcl.cpp:709    
test8() at /home/dejan/eclipse-cxx/cvc3/test/main.cpp:781       
main() at /home/dejan/eclipse-cxx/cvc3/test/main.cpp:1,966

I'm using the LLVM that's packaged with the latest Ubuntu. You can reproduce
the bug by downloading cvc3 from the url and configuring it as

./configure --with-build=debug --enable-static

Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

More information about the llvm-bugs mailing list