static analyzer crashes when given weird code as input #11822
Description
| Bugzilla Link | 11450 |
| Resolution | FIXED |
| Resolved on | Nov 29, 2011 13:43 |
| Version | trunk |
| OS | MacOS X |
| Attachments | Source code demonstrating bug, Invocation and backtrace |
| Reporter | LLVM Bugzilla Contributor |
| CC | @tkremenek |
Extended Description
if you run the following bit of code (that I actually found here at work-sigh) through the static analyzer,
if petulantly prints out:
Why load from a code text region?
and then crashes.
Yes, it's awful code, and wrong.
But the analyzer should't crash.
Invocation:
/Volumes/Bay2/LLVM/llvm-nodebug/Release+Asserts/bin/clang -cc1 -triple x86_64-apple-macosx10.7.2 -analyze
-disable-free -main-file-name Junk.cpp -analyzer-store=region -analyzer-opt-analyze-nested-blocks
-analyzer-eagerly-assume -analyzer-checker=core -analyzer-checker=deadcode -analyzer-checker=security
-analyzer-checker=unix -analyzer-checker=osx -analyzer-output plist -w -pic-level 1 -mdisable-fp-elim
-masm-verbose -munwind-tables -target-cpu core2 -target-linker-version 123.2.1
-resource-dir /Volumes/Bay2/LLVM/llvm-nodebug/Release+Asserts/bin/../lib/clang/3.1 -D NDEBUG
-fmodule-cache-path /var/folders/80/c3p8_rj97lq0bfz3srw9_klr0000gn/T/clang-module-cache
-fdeprecated-macro -ferror-limit 19 -fmessage-length 0 -stack-protector 1 -fblocks -fobjc-runtime-has-arc
-fobjc-runtime-has-weak -fobjc-dispatch-method=mixed -fcxx-exceptions -fexceptions
-fdiagnostics-show-option -x c++ sa-crash-11-28.cpp