diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-08-04 00:25:30 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-08-04 00:25:30 +0000 |
| commit | 4aa80e156d5e446eff242556bc0a159bdf8dc2a8 (patch) | |
| tree | eb1a66737acca1ee3dca4a59d2cae71978324e46 /clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp | |
| parent | 08af4c84618198679be67d18cbfda82547a07edc (diff) | |
| download | bcm5719-llvm-4aa80e156d5e446eff242556bc0a159bdf8dc2a8.tar.gz bcm5719-llvm-4aa80e156d5e446eff242556bc0a159bdf8dc2a8.zip | |
[analyzer] Don't assume values bound to references are automatically non-null.
While there is no such thing as a "null reference" in the C++ standard,
many implementations of references (including Clang's) do not actually
check that the location bound to them is non-null. Thus unlike a regular
null dereference, this will not cause a problem at runtime until the
reference is actually used. In order to catch these cases, we need to not
prune out paths on which the input pointer is null.
llvm-svn: 161288
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp')
0 files changed, 0 insertions, 0 deletions
