[LLVMbugs] [Bug 8081] New: -analyzer-check-objc-mem -analyzer-experimental-checks: Segmentation fault (core dumped)

[bugzilla-daemon at llvm.org]

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

           Summary: -analyzer-check-objc-mem
                    -analyzer-experimental-checks: Segmentation fault
                    (core dumped)
           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


# cat tst.c
#include <stdio.h>

void new_fseek(FILE *stream, long offset, int whence)
{
  fseek(stream, offset, whence);
}

# clang --version
clang version 2.8 (trunk 113069)
Target: i386-pc-linux-gnu
Thread model: posix

# /usr/src/llvm/Release+Asserts/bin/clang -cc1 -analyze
-analyzer-check-objc-mem -analyzer-experimental-checks tst.c
0  clang 0x09094be8
Stack dump:
0.      Program arguments: /usr/src/llvm/Release+Asserts/bin/clang -cc1
-analyze -analyzer-check-objc-mem -analyzer-experimental-checks tst.c
1.      <eof> parser at end of file
2.      tst.c:5:3: Error evaluating statement
3.      tst.c:5:3: Error evaluating statement
Segmentation fault (core dumped)

# /usr/src/llvm/Release+Asserts/bin/clang -cc1 -analyze 
-analyzer-experimental-checks tst.c
# /usr/src/llvm/Release+Asserts/bin/clang -cc1 -analyze
-analyzer-check-objc-mem  tst.c

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