[LLVMbugs] [Bug 12768] New: Analyzer crashes on simple testcase

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Tue May 8 14:02:17 PDT 2012


             Bug #: 12768
           Summary: Analyzer crashes on simple testcase
           Product: clang
           Version: trunk
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: markus at trippelsdorf.de
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

markus at x4 tmp % cat test.i
fn1 () {
  int a;
  for (; a; a++) {

markus at x4 tmp % clang --analyze test.i
0  clang           0x00000000016b2aff
1  clang           0x00000000016b2f04
2  libpthread.so.0 0x00007f851c845190
3  clang           0x0000000000c1e3c0
4  clang           0x0000000000c289c5
llvm::SmallVectorImpl<clang::ento::BugReport*>&) + 12549
5  clang           0x0000000000c22afc
clang::ento::BugReporter::FlushReport(clang::ento::BugReportEquivClass&) + 2844
6  clang           0x0000000000c290e8 clang::ento::BugReporter::FlushReports()
+ 1096
7  clang           0x0000000000b2734a
8  clang           0x0000000000b26dfb
9  clang           0x0000000000b23d5c
10 clang           0x0000000000828f85 clang::ParseAST(clang::Sema&, bool, bool)
+ 453
11 clang           0x00000000005e2a1d
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 845
12 clang           0x00000000005cc6ff
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1023
13 clang           0x00000000005c1f6a cc1_main(char const**, char const**, char
const*, void*) + 538
14 clang           0x00000000005c97f5 main + 3093
15 libc.so.6       0x00007f851bf50655 __libc_start_main + 245
16 clang           0x00000000005c1c69
Stack dump:
0.      Program arguments: /usr/local/bin/clang -cc1 -triple
x86_64-unknown-linux-gnu -analyze -disable-free -disable-llvm-verifier
-main-file-name test.i -analyzer-store=region
-analyzer-opt-analyze-nested-blocks -analyzer-eagerly-assume
-analyzer-ipa=inlining -analyzer-checker=core -analyzer-checker=unix
-analyzer-checker=security.insecureAPI.vfork -analyzer-output plist -w
-mrelocation-model static -mdisable-fp-elim -masm-verbose -mconstructor-aliases
-munwind-tables -target-cpu x86-64 -target-linker-version
-momit-leaf-frame-pointer -resource-dir /usr/local/bin/../lib/clang/3.1
-fdebug-compilation-dir /var/tmp/tmp -ferror-limit 19 -fmessage-length 239
-mstackrealign -fgnu-runtime -fobjc-runtime-has-arc -fobjc-runtime-has-weak
-fobjc-fragile-abi -fdiagnostics-show-option -fcolor-diagnostics -o test.plist
-x cpp-output test.i 
1.      <eof> parser at end of file
clang: error: unable to execute command: Segmentation fault
clang: error: clang frontend command failed due to signal (use -v to see
clang: note: diagnostic msg: Please submit a bug report to
http://llvm.org/bugs/ and include command line arguments and all diagnostic
clang: note: diagnostic msg: Error generating preprocessed source(s) - no
preprocessable inputs.

markus at x4 tmp % clang -v
clang version 3.1 
Target: x86_64-unknown-linux-gnu
Thread model: posix

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