commit | bbafa5b0816c1ea67fb431487b20026362b30bca | [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 | 33844332fc5300488e92aaa683f434f902b0f854 [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