| commit | c26a8b06e255bc7a8eb3f5df22e32b62a3dbf4c0 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Jul 22 21:46:56 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Jul 22 21:46:56 2009 +0000 |
| tree | cedd2ed1700bc9d48a3c312831b175032aa23b8c | |
| parent | d33133cdc1af466f9c276249b2621be03867888b [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