[analyzer] Remove strip of ElementRegion in CallEvent::invalidateRegions.
authorJordan Rose <jordan_rose@apple.com>
Wed, 20 Mar 2013 20:35:48 +0000 (20:35 +0000)
committerJordan Rose <jordan_rose@apple.com>
Wed, 20 Mar 2013 20:35:48 +0000 (20:35 +0000)
commit153c81b7c4736de0627e7b885e1d957dbf19cbf4
tree4946d6e3e9201cd494d0c5d6ff4e3222b7ae3928
parent58c0b96d1168195f4d4f9c4cde2cd59ea73feea1
[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
clang/lib/StaticAnalyzer/Core/CallEvent.cpp