diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-04-10 00:59:50 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-04-10 00:59:50 +0000 |
| commit | 5054663daaed221a38f151f5520384619d370a95 (patch) | |
| tree | 9d57af86dce03cbc16624e88ae10a1ee3a12d419 /clang/lib/Frontend/PCHReader.cpp | |
| parent | 6bc4aaa2eb1d7c3b3a7c04bae1c23a1020aa506a (diff) | |
| download | bcm5719-llvm-5054663daaed221a38f151f5520384619d370a95.tar.gz bcm5719-llvm-5054663daaed221a38f151f5520384619d370a95.zip | |
Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1)
The analyzer now adds the precondition that the first argument of 'main' is > 0.
llvm-svn: 68757
Diffstat (limited to 'clang/lib/Frontend/PCHReader.cpp')
0 files changed, 0 insertions, 0 deletions
