projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3af2a77) | 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)
commit915c351496116469a612cf44b0846447cb820cae
treeb6c898edf0a89f00022219c70bbc80f1cec53d62tree | snapshot
parent3af2a777176e916f830825cae3d2720b13129929commit | 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.

llvm-svn: 76797
clang/lib/Analysis/GRExprEngineInternalChecks.cpp diff | blob | history
clang/test/Analysis/null-deref-ps.c diff | blob | history
Domain: System / Toolchain;