[LLVMbugs] [Bug 14633] New: static analyzer + wine = Assertion `Loc.isMacroID() && "Not a macro expansion loc!"' failed (1/3)

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Tue Dec 18 10:57:51 PST 2012


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

             Bug #: 14633
           Summary: static analyzer + wine = Assertion `Loc.isMacroID() &&
                    "Not a macro expansion loc!"' failed (1/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
    Classification: Unclassified


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/Basic/SourceManager.cpp:950:
std::pair<SourceLocation, SourceLocation>
clang::SourceManager::getImmediateExpansionRange(clang::SourceLocation) const:
Assertion `Loc.isMacroID() && "Not a macro expansion loc!"' 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 dplay.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 COM_NO_WINDOWS_H -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/dplayx -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 dplay.c 
1.    <eof> parser at end of file

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.



More information about the llvm-bugs mailing list