maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/Analysis
History
Ted Kremenek b2d0409d50 Fix a crasher in StoreManager::InvalidateRegion() caused by using the 
'cast type' of a region to invalidate its binding.  This only occurs
when using RegionStoreManager, as it records the cast type.  I'm
currently considering removing the notion of a cast type (see
comments in code).

llvm-svn: 76719
 		2009-07-22 04:23:20 +00:00
..
CFDateGC.m Prep for new warning. 2009-07-21 19:01:48 +00:00
CFNumber.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
CFRetainRelease_NSAssertionHandler.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
CGColorSpace.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
CheckNSError.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
MissingDealloc.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
NSPanel.m Prep for new warning. 2009-07-21 18:45:22 +00:00
NSString.m Prep for new warning. 2009-07-21 18:46:15 +00:00
NSWindow.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
NoReturn.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
ObjCProperties.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
ObjCRetSigs.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
PR2599.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
PR2978.m Prep for new warning. 2009-07-21 18:52:41 +00:00
PR3991.m Prep for new warning. 2009-07-21 18:58:50 +00:00
array-struct.c Remove stale comment and fix RUN line. 2009-07-21 21:48:25 +00:00
casts.c Prep for new warning. 2009-07-21 18:45:53 +00:00
casts.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
cfref_PR2519.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
cfref_rdar6080742.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
complex.c Prep for new warnings about control flow falling off the ends of 2009-07-21 18:44:24 +00:00
concrete-address.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
conditional-op-missing-lhs.c Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
dead-stores.c Prep for new warning. 2009-07-21 19:01:31 +00:00
dead-stores.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
delegates.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
elementtype.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
exercise-ps.c Prep for new warning. 2009-07-21 18:54:29 +00:00
fields.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
func.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
misc-ps-64.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
misc-ps-basic-store.m Enhance SimpleSValuator::EvalBinOpNN to recognize the trivial case 2009-07-13 21:55:12 +00:00
misc-ps-eager-assume.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
misc-ps-ranges.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
misc-ps-region-store-i386.m 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
misc-ps-region-store-x86_64.m 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
misc-ps-region-store.m Add test case for bug fix in r76262. 2009-07-18 05:02:33 +00:00
misc-ps.m Fix a crasher in StoreManager::InvalidateRegion() caused by using the 2009-07-22 04:23:20 +00:00
nil-receiver-undefined-larger-than-voidptr-ret.m RegionStoreManager now correctly passes this test file. 2009-07-10 21:45:10 +00:00
no-exit-cfg.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
no-outofbounds.c Rename test file. 2009-07-10 21:48:43 +00:00
null-deref-ps-region.c SymbolicRegions may also be live roots. 2009-04-29 09:24:35 +00:00
null-deref-ps.c Prep for new warning. 2009-07-21 18:51:31 +00:00
outofbound.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
override-werror.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
pr4209.m Prep for new warning. 2009-07-21 18:57:14 +00:00
pr_2542_rdar_6793404.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
pr_4164.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
ptr-arith.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
rdar-6442306-1.m Prep for new warning. 2009-07-21 19:00:12 +00:00
rdar-6539791.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
rdar-6540084.m Prep for new warning. 2009-07-21 18:56:04 +00:00
rdar-6541136-region.c Region store: when casting VarRegions, if the cast-to pointee type is 2009-05-08 07:28:25 +00:00
rdar-6541136.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
rdar-6562655.m Prep for new warning. 2009-07-21 18:48:43 +00:00
rdar-6582778-basic-store.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m This test now passes with RegionStoreManager. 2009-07-11 00:03:23 +00:00
refcnt_naming.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
region-1.m Prep for new warning. 2009-07-21 19:01:01 +00:00
region-only-test.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
retain-release-basic-store.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
retain-release-gc-only.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
retain-release-region-store.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00
retain-release.m Add test case for PR 4596, which is already fixed due to Steve Naroff's overhaul of the Objective-C type system, but isn't in a checker build yet. 2009-07-21 21:21:04 +00:00
stack-addr-ps.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
uninit-msg-expr.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
uninit-ps-rdar6145427.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
uninit-vals-ps-region.c Introduce a new concept to the static analyzer: SValuator. 2009-06-26 00:05:51 +00:00
uninit-vals-ps.c Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
uninit-vals.c Prep for new warning. 2009-07-21 18:56:34 +00:00
uninit-vals.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +00:00
unused-ivars.m Rename clang to clang-cc. 2009-03-24 02:24:46 +00:00