]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d33133c) | patch
Migrate the path-sensitive checking of 'nonnull' arguments over to the new
authorTed Kremenek <kremenek@apple.com>
Wed, 22 Jul 2009 21:46:56 +0000 (21:46 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 22 Jul 2009 21:46:56 +0000 (21:46 +0000)
commitc26a8b06e255bc7a8eb3f5df22e32b62a3dbf4c0
treecedd2ed1700bc9d48a3c312831b175032aa23b8ctree | snapshot
parentd33133cdc1af466f9c276249b2621be03867888bcommit | diff
Migrate the path-sensitive checking of 'nonnull' arguments over to the new
'Checker' interface. An updated test case illustrates that after calling a
function with the 'nonnull' attribute we now register the fact that the passed
pointer must be non-null. This retention of information was not possible with
the previously used GRSimpleAPICheck interface.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@76797 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/GRExprEngineInternalChecks.cpp diff | blob | history
test/Analysis/null-deref-ps.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.