hanchenye-llvm-project/clang/lib
Anna Zaks 5f847144d1 [analyzer] Do not invalidate arguments when the parameter's
type is a pointer to const. (radar://10595327)

The regions corresponding to the pointer and reference arguments to
a function get invalidated by the calls since a function call can
possibly modify the pointed to data. With this change, we are not going
to invalidate the data if the argument is a pointer to const. This
change makes the analyzer more optimistic in reporting errors.
(Support for C, C++ and Obj C)

llvm-svn: 147002
2011-12-20 22:35:30 +00:00
..
ARCMigrate Keep track of all declarations of an Objective-C class (both forward 2011-12-15 20:29:51 +00:00
AST When performing layout for an Objective-C class, make sure to dig out 2011-12-20 15:50:13 +00:00
Analysis Update the CMake build for r146959's new files. 2011-12-20 08:42:15 +00:00
Basic Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch 2011-12-20 02:48:34 +00:00
CodeGen Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch 2011-12-20 02:48:34 +00:00
Driver Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch 2011-12-20 02:48:34 +00:00
Frontend Update the CMake build for r146959's new files. 2011-12-20 08:42:15 +00:00
FrontendTool Per discussion on the list, remove BitcodeVerify pass to reimplement as a free function. 2011-12-14 00:29:23 +00:00
Headers Add AVX2 intrinsics for pavg, pblend, and pcmp instructions. Also remove unneeded builtins for SSE pcmp. Change SSE pcmpeqq and pcmpgtq to not use builtins and just use vector == and >. 2011-12-20 09:55:26 +00:00
Index Replace all comparisons between ObjCInterfaceDecl pointers with calls 2011-12-15 00:29:59 +00:00
Lex Update the CMake build for r146959's new files. 2011-12-20 08:42:15 +00:00
Parse Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch 2011-12-20 02:48:34 +00:00
Rewrite Move ObjCInterfaceDecl's "EndLoc" into DefinitionData, since it only 2011-12-15 22:34:59 +00:00
Sema objc/c++: Issue diagnostic when free-standing ivar is accessed 2011-12-20 22:21:08 +00:00
Serialization When we make a previously-deserialized module definition visible, 2011-12-20 22:06:13 +00:00
StaticAnalyzer [analyzer] Do not invalidate arguments when the parameter's 2011-12-20 22:35:30 +00:00
CMakeLists.txt The ARC Migration Tool. All the credit goes to Argyrios and Fariborz 2011-06-15 23:25:17 +00:00
Makefile The ARC Migration Tool. All the credit goes to Argyrios and Fariborz 2011-06-15 23:25:17 +00:00