[LLVMbugs] [Bug 7440] New: Analyzer: Assertion "Comparison requires equal bit widths"' failed.

[bugzilla-daemon at llvm.org]

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

           Summary: Analyzer: Assertion "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: alexei.svitkine at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Attempting to analyze the attached (reduced) testcase crashes clang with the
the following assert:

clang: /llvm/include/llvm/ADT/APInt.h:819: bool llvm::APInt::operator==(const
llvm::APInt&) const: Assertion `BitWidth == RHS.BitWidth && "Comparison
requires equal bit widths"' failed.

This can be reproduced by running:

ccc-analyzer -c -o testcase.o testcase.c

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