[LLVMbugs] [Bug 7383] New: RegionStore.cpp:1373 Assertion Failed

[bugzilla-daemon at llvm.org]

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

           Summary: RegionStore.cpp:1373 Assertion 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=5038)
 --> (http://llvm.org/bugs/attachment.cgi?id=5038)
testcase that triggers assert

When running ccc-analyzer on the attached testcase (which is a reduction of a
problem seen when including the system header on my system), I get the
following assert:

clang: RegionStore.cpp:1373:
clang::SVal<unnamed>::RegionStoreManager::RetrieveArray(const void*, const
clang::TypedRegion*): Assertion
`isa<ConstantArrayType>(R->getValueType(getContext()))' failed.


To reproduce, run: 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.