| commit | 5054663daaed221a38f151f5520384619d370a95 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Fri Apr 10 00:59:50 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Fri Apr 10 00:59:50 2009 +0000 |
| tree | 9d57af86dce03cbc16624e88ae10a1ee3a12d419 | |
| parent | 6bc4aaa2eb1d7c3b3a7c04bae1c23a1020aa506a [diff] |
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