[LLVMbugs] [Bug 14635] New: static analyzer + wine = 'Assertion `isa<X>(Val) && "cast<Ty>() argument of incompatible type!' (3/3)

[bugzilla-daemon at llvm.org]

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

             Bug #: 14635
           Summary: static analyzer + wine = 'Assertion `isa<X>(Val) &&
                    "cast<Ty>() argument of incompatible type!' (3/3)
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: austinenglish at gmail.com
                CC: llvmbugs at cs.uiuc.edu
        Depends on: 14633, 14634
    Classification: Unclassified


Created attachment 9722
  --> http://llvm.org/bugs/attachment.cgi?id=9722
preprocessed file - bzipped

Found while compiling wine. Exact versions:
llvm: git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@170295
91177308-0d34-0410-b5e6-96231b3b80d8
clang: git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@170294
91177308-0d34-0410-b5e6-96231b3b80d8
wine: wine-1.5.19-186-g1cd0c4a

clang: /home/austin/src/llvm/include/llvm/Support/Casting.h:208: typename
cast_retty<X, Y>::ret_type llvm::cast(const Y &) [X =
clang::ento::DefinedOrUnknownSVal, Y = clang::ento::SVal]: Assertion
`isa<X>(Val) && "cast<Ty>() argument of incompatible type!"' failed.
0  clang 0x09e26c5b
Stack dump:
0.    Program arguments: /usr/local/bin/clang -cc1 -triple i386-pc-linux-gnu
-analyze -disable-free -main-file-name where.c -analyzer-store=region
-analyzer-opt-analyze-nested-blocks -analyzer-eagerly-assume
-analyzer-checker=core -analyzer-checker=unix -analyzer-checker=deadcode
-analyzer-checker=security.insecureAPI.UncheckedReturn
-analyzer-checker=security.insecureAPI.getpw
-analyzer-checker=security.insecureAPI.gets
-analyzer-checker=security.insecureAPI.mktemp
-analyzer-checker=security.insecureAPI.mkstemp
-analyzer-checker=security.insecureAPI.vfork -analyzer-output plist -w
-mrelocation-model static -mdisable-fp-elim -fmath-errno -masm-verbose
-mconstructor-aliases -fuse-init-array -target-cpu pentium4
-target-linker-version 2.22 -momit-leaf-frame-pointer -resource-dir
/usr/local/bin/../lib/clang/3.3 -D __WINESRC__ -D _REENTRANT -I . -I . -I
../../include -I ../../include -I /usr/include/freetype2 -fmodule-cache-path
/var/tmp/clang-module-cache -internal-isystem /usr/local/include
-internal-isystem /usr/local/bin/../lib/clang/3.3/include
-internal-externc-isystem /usr/include/i386-linux-gnu -internal-externc-isystem
/include -internal-externc-isystem /usr/include -fdebug-compilation-dir
/home/austin/src/wine-clang/dlls/msi -ferror-limit 19 -fmessage-length 0
-mstackrealign -fobjc-runtime=gcc -fdiagnostics-show-option
-analyzer-output=html -o /tmp/scan-build-2012-12-18-1 -x c where.c 
1.    <eof> parser at end of file
2.    where.c:421:18: Error evaluating statement
3.    where.c:421:18: Error evaluating statement

Note: the failed assertion is similar to bug 13538, but slightly different, so
I filed a separate bug.

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