[LLVMbugs] [Bug 7441] New: Analyzer: Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.

[bugzilla-daemon at llvm.org]

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

           Summary: Analyzer: Assertion `isa<X>(Val) && "cast<Ty>()
                    argument of incompatible type!"' 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


Created an attachment (id=5078)
 --> (http://llvm.org/bugs/attachment.cgi?id=5078)
testcase that triggers assert

Analyzing the attached testcase triggers the assert via:

ccc-analyzer -c -o testcase2.o testcase2.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.