tree b10e4e6c8d4690ceefc2e1e34d5ff3a039301e45
parent 1caae959017b355e9bb61250d5a0d04edbf468b0
author Ted Kremenek <kremenek@apple.com> 1216687576 +0000
committer Ted Kremenek <kremenek@apple.com> 1216687576 +0000

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