hanchenye-llvm-project/clang/test/Analysis
Ted Kremenek be485b6c7d Fix StmtIterator bug reported in PR 3780 where a VLA within a DeclGroup would
not be consulted for its size expression when operator* was called in the
StmtIterator (this resulted in an assertion failure).

llvm-svn: 66679
2009-03-11 18:17:16 +00:00
..
CFDateGC.m Enhance tests to exercise more combinations of using the RangeConstraintManager with the RegionStoreManager. 2009-02-17 19:29:07 +00:00
CFNumber.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
CFRetainRelease_NSAssertionHandler.m This test now passes using RegionStore. 2009-03-04 00:23:28 +00:00
CGColorSpace.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
CheckNSError.m Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
MissingDealloc.m Add test case illustrating special handling of 'SenTestCase' subclasses for the missing -dealloc check. 2009-02-13 22:26:30 +00:00
NSPanel.m Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
NSString.m Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
NSWindow.m For now, do not track NSWindow objects and it's subclasses. 2009-03-04 23:30:42 +00:00
NoReturn.m Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
ObjCProperties.m Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
ObjCRetSigs.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00
PR2599.m Add test case for PR 2599. 2009-02-23 01:29:25 +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 add test case. 2009-02-19 08:42:43 +00:00
casts.m Fix another GRExprEngine::VisitCast regression: handle casts of void* to function pointers. 2009-03-05 22:47:06 +00:00
cfref_PR2519.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
cfref_rdar6080742.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
complex.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +00:00
conditional-op-missing-lhs.c Convert tabs to spaces. 2009-02-17 19:53:58 +00:00
dead-stores.c Update several tests to explicitly use BasicConstraintManager as well as to use RangeConstraintManager with RegionStoreManager. 2009-02-17 23:32:18 +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 Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
fields.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
func.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
misc-ps-basic-store.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
misc-ps-eager-assume.m Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle 2009-02-25 22:32:02 +00:00
misc-ps-region-store.m Retrofit some basic tracking of ivars (for the current object) into BasicStore. 2009-03-05 18:08:28 +00:00
misc-ps.m Fix StmtIterator bug reported in PR 3780 where a VLA within a DeclGroup would 2009-03-11 18:17:16 +00:00
no-exit-cfg.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
null-deref-ps.c GRExprEngine: Polish up handling of casting integer constants to pointers and back. 2009-03-05 02:42:32 +00:00
outofbound.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
ptr-arith.c This test case checks if we get the right rvalue type of a TypedViewRegion. 2009-03-11 09:15:38 +00:00
rdar-6442306-1.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
rdar-6539791.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +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 Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
rdar-6541136.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
rdar-6562655.m Add test case for <rdar://problem/6562655>. 2009-02-20 00:10:09 +00:00
rdar-6582778-basic-store.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m Add test case for 'nil receiver returns undefined struct value' check. 2009-02-19 04:07:38 +00:00
refcnt_naming.m More retain/release naming convention tests. 2009-02-23 02:50:20 +00:00
region-only-test.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
retain-release-basic-store.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
retain-release-gc-only.m Add a few more GC-only test cases for the retain/release checker. 2009-02-18 22:11:23 +00:00
retain-release-region-store.m Test case: When using RegionStore with the retain/release checker, stop tracking objects assigned to self's ivar. 2009-03-05 05:14:55 +00:00
retain-release.m retain/release checker: Allow allocations to fail by returning nil. 2009-03-09 22:46:49 +00:00
stack-addr-ps.c Fix test: config.h is not guaranteed to exist at the location in 2009-02-18 01:02:14 +00:00
uninit-msg-expr.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
uninit-ps-rdar6145427.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
uninit-vals-ps-region.c Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
uninit-vals-ps.c Fix PR3509 by providing correct starting locations for initializer lists 2009-03-01 17:12:46 +00:00
uninit-vals.c Extend builtin "attribute" syntax to include a notation for 2009-02-14 00:32:47 +00:00
uninit-vals.m Static Analyzer driver/options (partial) cleanup: 2009-02-17 04:27:41 +00:00
unused-ivars.m Add -analyze action to run static analyzer, instead of inferring from 2009-01-20 23:17:32 +00:00