[LLVMbugs] [Bug 7203] New: Cast kind 7 not handled

[bugzilla-daemon at llvm.org]

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

           Summary: Cast kind 7 not handled
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: castet.matthieu at free.fr
                CC: llvmbugs at cs.uiuc.edu


The attached testcase produce an assert in clang

$scan-build gcc /tmp/test1.c -o /tmp/test1.o -c

Cast kind 7 not handled.
clang: GRExprEngine.cpp:2397: void
clang::GRExprEngine::VisitCast(clang::CastExpr*, clang::Expr*,
clang::ExplodedNode*, clang::ExplodedNodeSet&, bool): Assertion `0' failed.
0  clang 0x09014718
Stack dump:
0.      Program arguments: /data/build/userspace/llvm/llvm/Release/bin//clang
-cc1 -DIBOutlet=__attribute__((iboutlet)) -cc1 -triple i386-unknown-linux-gnu
-fsyntax-only -disable-free -main-file-name test1.c -mrelocation-model static
-mdisable-fp-elim -mconstructor-aliases -target-cpu pentium4 -resource-dir
/data/build/userspace/llvm/llvm/Release/lib/clang/2.0 -ferror-limit 19
-fmessage-length 0 -fgnu-runtime -fdiagnostics-show-option -x c /tmp/test1.c
-analyze -analyzer-display-progress -analyzer-eagerly-assume
-analyzer-opt-analyze-nested-blocks -analyzer-check-objc-mem
-analyzer-check-security-syntactic -analyzer-check-dead-stores
-analyzer-check-objc-unused-ivars -analyzer-check-objc-methodsigs
-analyzer-store=region -analyzer-constraints=range -analyzer-output=html -o
/tmp/scan-build-2010-05-23-2 
1.      <eof> parser at end of file
2.      /tmp/test1.c:13:2: Error evaluating statement
3.      /tmp/test1.c:13:2: Error evaluating statement
4.      /tmp/test1.c:13:6: Error evaluating statement

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