[LLVMbugs] [Bug 12206] New: clang++ Assertion `BitWidth == RHS.BitWidth && "Comparison requires equal bit widths"' failed.

[bugzilla-daemon at llvm.org]

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

             Bug #: 12206
           Summary: clang++ Assertion `BitWidth == RHS.BitWidth &&
                    "Comparison requires equal bit widths"' failed.
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: bastianra at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 8152
  --> http://llvm.org/bugs/attachment.cgi?id=8152
source file that triggers the assertion and diagnostic output.

Running the static analyzer on the attached source file will terminate
unexpectedly with a failed assertion (see below). 

$ export CCC_ANALYZER_CPLUSPLUS=1

$ /home/bastian/bin/clang++ -###
clang version 3.1 (trunk 152264)
Target: x86_64-unknown-linux-gnu
Thread model: posix

$ /home/bastian/llvm/tools/clang/tools/scan-build/c++-analyzer crash.cpp
clang++: /home/bastian/llvm/include/llvm/ADT/APInt.h:846: bool
llvm::APInt::operator==(const llvm::APInt &) const: Assertion `BitWidth ==
RHS.BitWidth && "Comparison requires equal bit widths"' failed.

see the attachment for the complete output and pre-processed sources.

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