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 378e7fd330 Fix horrible non-termination bug in LiveVariables. The issue was that 
the liveness state of block-level expressions could oscillate because
of two issues:
- The initial value before a merge was not always set to "Top"
- The set of live block-level expressions is a union, not an intersection

This fixes <rdar://problem/650084>.

llvm-svn: 63421
 		2009-01-30 21:35:30 +00:00
..
CFDateGC.m retain/release checker: Improve diagnostics to indicate that CF objects are not automatically garbage collected. 2009-01-28 06:25:48 +00:00
CFNumber.c This test now passes using -analyzer-store-region. 2009-01-21 07:10:01 +00:00
CFRetainRelease_NSAssertionHandler.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
CGColorSpace.c This test now passes using -analyzer-store-region. 2009-01-21 07:13:46 +00:00
CheckNSError.m These test cases now pass with RegionStore. 2009-01-22 18:54:47 +00:00
MissingDealloc.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
NSPanel.m These test cases now pass with RegionStore. 2009-01-22 18:54:47 +00:00
NSString.m More hacking on static analyzer diagnostics. When emitting summary diagnostics the code paths for diagnostics involving paths or single locations are now unified. This patch also constifies many arguments/methods that are touched by this logic, leading to a nice overall code cleanup. 2009-01-24 00:55:43 +00:00
NSWindow.m These test cases now pass with RegionStore. 2009-01-22 18:54:47 +00:00
NoReturn.m For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedRegions. It wasn't really doing the right thing and was crashing on rdar-6442306-1.m. This fix causes all path-sensitive test cases to pass with RegionStore. 2009-01-22 23:56:56 +00:00
ObjCProperties.m Add RegionStore support for the implicit object region that 'self' references. This causes tests 'ObjCProperties.m' and 'refcnt_naming.m' to now pass with RegionStore. 2009-01-22 23:43:57 +00:00
ObjCRetSigs.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
PR2978.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
array-struct.c Implement retrieval of the default value of element and field regions. 2009-01-23 11:22:12 +00:00
cfref_PR2519.c Get RegionStore to work with the retain/release checker and its test cases. 2009-01-21 06:57:53 +00:00
cfref_rdar6080742.c Get RegionStore to work with the retain/release checker and its test cases. 2009-01-21 06:57:53 +00:00
complex.c This test case now passes with RegionStore. 2009-01-22 22:40:54 +00:00
conditional-op-missing-lhs.c Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
dead-stores.c Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
dead-stores.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
exercise-ps.c Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegion is a typedef and not (directly) a pointer. 2009-01-24 06:11:36 +00:00
fields.c This test case now passes with RegionStore. 2009-01-22 22:42:59 +00:00
func.c This test case now passes with RegionStore. 2009-01-22 22:43:59 +00:00
misc-ps-basic-store.m The 'misc-ps.m' test case now passes with RegionStore. One case needed to be split out into 'misc-ps-basic-store.m' and 'misc-ps-region-store.m' because the behavior was different between the two store models (RegionStore flags an additional valid bug). 2009-01-22 18:53:15 +00:00
misc-ps-region-store.m The 'misc-ps.m' test case now passes with RegionStore. One case needed to be split out into 'misc-ps-basic-store.m' and 'misc-ps-region-store.m' because the behavior was different between the two store models (RegionStore flags an additional valid bug). 2009-01-22 18:53:15 +00:00
misc-ps.m Fix bug in BasicStore::getLValueElement where if the base of an array subscript expression was an ElementRegion we stacked another ElementRegion on top of that. 2009-01-27 18:29:03 +00:00
no-exit-cfg.c This test case now passes with RegionStore. 2009-01-22 22:45:21 +00:00
null-deref-ps.c Enhance test case to test RegionStore with -checker-cfref. 2009-01-22 22:46:40 +00:00
outofbound.c Test more array logic in outofbound.c 2009-01-22 20:36:33 +00:00
rdar-6442306-1.m For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedRegions. It wasn't really doing the right thing and was crashing on rdar-6442306-1.m. This fix causes all path-sensitive test cases to pass with RegionStore. 2009-01-22 23:56:56 +00:00
rdar-6539791.c retain/release checker: When generating summaries for CF/CG functions, allow arguments to "escape" if they are passed to a function containing the terms "InsertValue", "SetValue", or "AddValue". This fixes <rdar://problem/6539791>. 2009-01-29 22:45:13 +00:00
rdar-6540084.m Fix horrible non-termination bug in LiveVariables. The issue was that 2009-01-30 21:35:30 +00:00
rdar-6541136-region.c Fix a couple bugs: 2009-01-30 00:08:43 +00:00
rdar-6541136.c fix RUN line 2009-01-30 14:03:37 +00:00
refcnt_naming.m Add RegionStore support for the implicit object region that 'self' references. This causes tests 'ObjCProperties.m' and 'refcnt_naming.m' to now pass with RegionStore. 2009-01-22 23:43:57 +00:00
retain-release-basic-store.m Get RegionStore to work with the retain/release checker and its test cases. 2009-01-21 06:57:53 +00:00
retain-release-gc-only.m retain/release checker: Always generate an "autorelease" summary for an "autorelease" message, and have the summary processing logic treat it as a no-op in GC mode. This change is motivated to encode more of the semantics in the summaries themselves for eventual better diagnostics. 2009-01-28 21:44:40 +00:00
retain-release-region-store.m Get RegionStore to work with the retain/release checker and its test cases. 2009-01-21 06:57:53 +00:00
retain-release.m Add autorelease test case. 2009-01-28 21:20:48 +00:00
stack-addr-ps.c This test case now passes with RegionStore. 2009-01-22 22:49:49 +00:00
uninit-msg-expr.m This test case now passes with RegionStore. 2009-01-22 22:50:46 +00:00
uninit-ps-rdar6145427.m This test case now passes with RegionStore. 2009-01-22 22:51:46 +00:00
uninit-vals-ps-region.c enable test as it works 2009-01-30 13:01:29 +00:00
uninit-vals-ps.c Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
uninit-vals.c Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
uninit-vals.m This test case now passes with RegionStore. 2009-01-22 22:53:05 +00:00
unused-ivars.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00