commit | 584def7364f51e35bfcaf5c3c64673096533adda | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Tue Jul 22 00:46:16 2008 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Tue Jul 22 00:46:16 2008 +0000 |
tree | b10e4e6c8d4690ceefc2e1e34d5ff3a039301e45 | |
parent | 1caae959017b355e9bb61250d5a0d04edbf468b0 [diff] |
Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. This implements <rdar://problem/6069935> git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@53891 91177308-0d34-0410-b5e6-96231b3b80d8