[LLVMbugs] [Bug 7363] New: fail on trivial program with message "<eof> parser at end of file"

[bugzilla-daemon at llvm.org]

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

           Summary: fail on trivial program with message "<eof> parser at
                    end of file"
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: dimhen at gmail.com
                CC: llvmbugs at cs.uiuc.edu


[root at wellesberg clang_errs]# clang --version
clang version 2.0 (trunk 105882)
Target: i386-pc-linux-gnu
Thread model: posix

[root at wellesberg clang_errs]# cat eof.c
#include <stdio.h>

void foo()
{
}

[root at wellesberg clang_errs]# scan-build gcc -c eof.c
scan-build: 'clang' executable not found in
'/usr/src/llvm/tools/clang/tools/scan-build/bin'.
scan-build: Using 'clang' from path: /usr/src/llvm/Release/bin/clang
clang: RegionStore.cpp:1373:
clang::SVal<unnamed>::RegionStoreManager::RetrieveArray(const void*, const
clang::TypedRegion*): Assertion
`isa<ConstantArrayType>(R->getValueType(getContext()))' failed.
0  clang 0x08e067f8
Stack dump:
0.      Program arguments: /usr/src/llvm/Release/bin/clang -cc1
-DIBOutlet=__attribute__((iboutlet)) -cc1 -triple i386-pc-linux-gnu
-fsyntax-only -disable-free -main-file-name eof.c -mrelocation-model static
-mdisable-fp-elim -mconstructor-aliases -target-cpu pentium4 -resource-dir
/usr/src/llvm/Release/lib/clang/2.0 -ferror-limit 19 -fmessage-length 0
-fgnu-runtime -fdiagnostics-show-option -x c eof.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-06-12-1
1.      <eof> parser at end of file
scan-build: 0 bugs found.
scan-build: The analyzer encountered problems on some source files.
scan-build: Preprocessed versions of these sources were deposited in
'/tmp/scan-build-2010-06-12-1/failures'.
scan-build: Please consider submitting a bug report using these files:
scan-build:   http://clang.llvm.org/StaticAnalysisUsage.html#filingbugs

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