diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-03-20 20:35:48 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-03-20 20:35:48 +0000 |
| commit | 153c81b7c4736de0627e7b885e1d957dbf19cbf4 (patch) | |
| tree | 4946d6e3e9201cd494d0c5d6ff4e3222b7ae3928 /clang/lib/StaticAnalyzer/Core/ProgramState.cpp | |
| parent | 58c0b96d1168195f4d4f9c4cde2cd59ea73feea1 (diff) | |
| download | bcm5719-llvm-153c81b7c4736de0627e7b885e1d957dbf19cbf4.tar.gz bcm5719-llvm-153c81b7c4736de0627e7b885e1d957dbf19cbf4.zip | |
[analyzer] Remove strip of ElementRegion in CallEvent::invalidateRegions.
This is a bit of old code trying to deal with the fact that functions that
take pointers often use them to access an entire array via pointer
arithmetic. However, RegionStore already conservatively assumes you can use
pointer arithmetic to access any part of a region.
Some day we may want to go back to handling this specifically for calls,
but we can do that in the future.
No functionality change.
llvm-svn: 177569
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ProgramState.cpp')
0 files changed, 0 insertions, 0 deletions
