[LLVMbugs] [Bug 14634] New: static analyzer + wine = 'Assertion `T->isIntegerType() || Loc::isLocType(T)' failed' (2/3)

[bugzilla-daemon at llvm.org]

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

             Bug #: 14634
           Summary: static analyzer + wine = 'Assertion
                    `T->isIntegerType() || Loc::isLocType(T)' failed'
                    (2/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
    Classification: Unclassified


Created attachment 9720
  --> http://llvm.org/bugs/attachment.cgi?id=9720
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/tools/clang/lib/StaticAnalyzer/Checkers/../../../include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h:96:
clang::ento::APSIntType
clang::ento::BasicValueFactory::getAPSIntType(clang::QualType) const: Assertion
`T->isIntegerType() || Loc::isLocType(T)' 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 graphics.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/gdiplus -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 graphics.c 
1.    <eof> parser at end of file
2.    graphics.c:3148:9: Error evaluating statement
3.    graphics.c:3148:9: 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.