diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-07-22 21:46:56 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-07-22 21:46:56 +0000 |
| commit | 915c351496116469a612cf44b0846447cb820cae (patch) | |
| tree | b6c898edf0a89f00022219c70bbc80f1cec53d62 /llvm/lib/CompilerDriver/Tool.cpp | |
| parent | 3af2a777176e916f830825cae3d2720b13129929 (diff) | |
| download | bcm5719-llvm-915c351496116469a612cf44b0846447cb820cae.tar.gz bcm5719-llvm-915c351496116469a612cf44b0846447cb820cae.zip | |
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
Diffstat (limited to 'llvm/lib/CompilerDriver/Tool.cpp')
0 files changed, 0 insertions, 0 deletions
