Ted Kremenek a6275a534d More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer. ... This patch causes: - StoreManager::InvalidateRegion() to not used the casted type of a region if it would cause a pointer type to be invalidated as a non-pointer type. - Pushes RegionStore::RetrieveElement() further by handling retrievals from symbolic arrays that have been invalidated. This uses the new SymbolDerived construct that was recently introduced. The result is that the failing test in misc-ps-region-store-x86_64.m now passes. Both misc-ps-region-store-x86_64.m and misc-ps-region-store-i386.m contain a test case that motivated this change. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@75730 91177308-0d34-0410-b5e6-96231b3b80d8		2009-07-15 02:31:43 +00:00
..
Analysis	More test cases revealed that the logic in StoreManager::InvalidateRegion() needs more finesse when handling the invalidation of pointers. Pointers that were invalidated as integers could later cause problems for clients using them as pointers. It is easier for us to model a symbolic value as a pointer rather than modeling a non-symbolic value as a pointer.	2009-07-15 02:31:43 +00:00
CXX	Fix test case to match intent.	2009-07-11 20:17:35 +00:00
CodeGen	reimplement vector comparisons as [fi]cmp+sext instead of using v[if]cmp.	2009-07-08 01:08:03 +00:00
CodeGenCXX	Improve code generation for function template specializations:	2009-06-29 22:39:32 +00:00
CodeGenObjC	Revert 75648 for now. It is causing test failures.	2009-07-14 21:31:22 +00:00
Coverage	Introduce a new concept to the static analyzer: SValuator.	2009-06-26 00:05:51 +00:00
Driver	Misc fixes to fix tests on OpenBSD, per email to cfe-commits. Patches	2009-07-10 20:10:06 +00:00
FixIt	Update test case; I'm confused why this wasn't failing on the buildbot	2009-05-16 19:30:01 +00:00
Frontend	Forward -C and -CC to clang.	2009-06-08 21:48:20 +00:00
Index	Move the RUN lines on the same file but below the code, as suggested by Sebastian.	2009-07-14 05:34:59 +00:00
Lexer	PR4395: Don't detect token concatenation in C mode for	2009-06-15 19:48:50 +00:00
Misc	Fix for PR2386: distinguish between insertion and replacements in the	2009-05-18 13:56:52 +00:00
PCH	Fixes for a couple of things:	2009-07-14 03:18:53 +00:00
Parser	Fix the parser error hanlding for __builtin_offsetof to actually print	2009-06-27 20:38:33 +00:00
Preprocessor	add push/pop semantics for diagnostics. Patch by Louis Gerbarg!	2009-07-12 21:18:45 +00:00
Rewriter	Rename clang to clang-cc.	2009-03-24 02:24:46 +00:00
Sema	Remove excessive use of Carbon.h / Cocoa.h in clang tests.	2009-07-11 23:03:07 +00:00
SemaCXX	Remove excessive use of Carbon.h / Cocoa.h in clang tests.	2009-07-11 23:03:07 +00:00
SemaObjC	Remove excessive use of Carbon.h / Cocoa.h in clang tests.	2009-07-11 23:03:07 +00:00
SemaObjCXX	Remove excessive use of Carbon.h / Cocoa.h in clang tests.	2009-07-11 23:03:07 +00:00
SemaTemplate	The -disable-free hack didn't work...	2009-07-11 23:05:12 +00:00
CMakeLists.txt	Add support for retrieving the Doxygen comment associated with a given	2009-07-02 17:08:52 +00:00
Makefile	Revert to using shell to find files instead of 'find', that wasn't portable.	2009-07-12 19:00:20 +00:00
TestRunner.sh	Having tests that depend on previously created files is bad idea. Fix them to be self-sufficient.	2009-07-06 00:03:47 +00:00
cxx-sections.data	Update C++ section data and directory structure to reflect N2914	2009-06-30 16:45:27 +00:00
make_test_dirs.pl	Add the structure for a C++ test suite that mimics the structure of the C++ standard	2009-06-13 06:06:53 +00:00