replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
hanchenye-llvm-project/clang/test/Analysis
History
Mike Stump a319fe36c3 Prep for new warning. 
llvm-svn: 76623
 		2009-07-21 19:00:12 +00:00
..
CFDateGC.m Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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 Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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 Wire up CFG improvements for __builtin_choose_expr. 2009-07-21 01:46:17 +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 Prep for new warning. 2009-07-21 18:59:16 +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 Switch BasicStoreManager to use the new CastRegion implementation by default, 2009-07-10 00:41:58 +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 Prep for new warning. 2009-07-21 18:58:15 +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