[LLVMbugs] [Bug 15070] New: Assertion failure in Casting.h when using deque

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Fri Jan 25 11:07:31 PST 2013


http://llvm.org/bugs/show_bug.cgi?id=15070

             Bug #: 15070
           Summary: Assertion failure in Casting.h when using deque
           Product: clang
           Version: unspecified
          Platform: Macintosh
        OS/Version: MacOS X
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: michael.morrell at intel.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


I'm using the recently released checker-270 package which comes with clang 3.3.
I'm seeing an assertion failure in CAsting.h (line 208) when performing a
static analysis.  It does not work.  The command line I'm using is:

  ./checker-270/bin/clang++ --analyze -arch i386 bug.cpp

It works if I use -c instead of --analyze.

I did notice that it is using deque from /usr/include/c++/4.2.1 instead of from
checker-270/lib/c++/v1.

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