| commit | 52e5602056e4cade24cbcca57767e94e1d430b03 | [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 | cae7aa770a469c35b40754fc2e044ffa5010fed8 | |
| parent | 11c7d32ac2f8a784a3cc4714a9f1977ab5859185 [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. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68757 91177308-0d34-0410-b5e6-96231b3b80d8