[LLVMbugs] [Bug 13725] New: assertion failure in BugReporter.cpp:1632

[bugzilla-daemon at llvm.org]

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

             Bug #: 13725
           Summary: assertion failure in BugReporter.cpp:1632
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: jojelino at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified


Created attachment 9133
  --> http://llvm.org/bugs/attachment.cgi?id=9133
preprocessed source

assertion "!WS.empty() && "No error node found in the trimmed graph."" failed:
file "BugReporter.cpp", line 1632, function: std::pair<std::pair<ExplodedGraph
*, NodeBackMap *>, std::pair<ExplodedNode *, unsigned int> >
MakeReportGraph(const clang::ento::ExplodedGraph *, SmallVectorImpl<const
clang::ento::ExplodedNode *> &)
Stack dump:
0.    Program arguments: /bin/clang -cc1 -triple i386-pc-cygwin -analyze
-disable-free -main-file-name gsmchunk.c -analyzer-store=region
-analyzer-opt-analyze-nested-blocks -analyzer-eagerly-assume
-analyzer-ipa=inlining -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 -mconstructor-aliases
-target-cpu pentium4 -target-linker-version 2.23.51.20120819
-momit-leaf-frame-pointer -resource-dir /usr/bin/../lib/clang/3.2 -D
HAVE_MKSTEMP -D HAVE_FONTCONFIG -D HAVE_LIBIDN -D HAVE_SETLOCALE -D HAVE_SSE2
-D HAVE_DBUS -D HAVE_BSWAP32 -D HAVE_BYTESWAP_H -D HAVE_STRERROR -D
HAVE_STDINT_H=1 -D HAVE_DIRENT_H=1 -D HAVE_SYS_DIR_H=1 -D HAVE_SYS_TIME_H=1 -D
HAVE_SYS_TIMES_H=1 -D GX_COLOR_INDEX_TYPE=unsigned long long -D
USE_LIBICONV_GNU -D WHICH_CMS=lcms2 -I ./obj -I ./base -fmodule-cache-path
/var/tmp/clang-module-cache -Wno-strict-aliasing -std=c99
-fno-dwarf-directory-asm -fdebug-compilation-dir /tmp/ghostpdl/gs -ferror-limit
19 -fmessage-length 0 -mstackrealign -fno-builtin -fno-use-cxa-atexit
-fobjc-runtime=gcc -fdiagnostics-show-option -analyzer-disable-checker
deadcode.DeadStores -analyzer-checker alpha.core.CastSize -analyzer-checker
alpha.core.CastToStruct -analyzer-checker alpha.core.FixedAddr
-analyzer-checker alpha.core.PointerArithm -analyzer-checker
alpha.core.PointerSub -analyzer-checker alpha.core.SizeofPtr -analyzer-checker
alpha.security.ArrayBoundV2 -analyzer-checker alpha.security.MallocOverflow
-analyzer-checker alpha.security.ReturnPtrRange -analyzer-checker
alpha.security.taint.TaintPropagation -analyzer-checker
alpha.unix.cstring.OutOfBounds -analyzer-checker
alpha.unix.cstring.NotNullTerminated -analyzer-opt-analyze-headers
-analyzer-output=html -o /tmp/ghostpdl/gs/report/2012-08-30-1 -x c
./base/gsmchunk.c 
1.    <eof> parser at end of file

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