clang-1/test/Analysis
Ted Kremenek 55f7bcbda3 Fix regression in handling sizeof(void) in the static analyzer.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@61039 91177308-0d34-0410-b5e6-96231b3b80d8
2008-12-15 18:51:00 +00:00
..
CFDate.m The CF retain/release checker now assumes that allocations do not fail. Eventually we will add a flag to the driver to enable allocation failures (documented as a FIXME). 2008-06-23 18:02:52 +00:00
CFDateGC.m Add a test case for CFMakeCollectable. 2008-11-05 22:17:39 +00:00
CFNumber.c MemRegion: 2008-12-13 21:49:13 +00:00
CFRetainRelease_NSAssertionHandler.m Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description: 2008-07-24 18:47:16 +00:00
CFString.c Update test case to use -pedantic (makes the test case more clear). 2008-06-16 19:53:46 +00:00
CGColorSpace.c add missing RUN lines 2008-11-26 15:50:12 +00:00
CheckNSError.m Rewrite FindDiagnostics to be more strict about the formatting of the 2008-11-24 01:28:17 +00:00
MissingDealloc.m Incorporate MissingDealloc_IBOutlet.m test case into MissingDealloc.m 2008-12-08 22:05:43 +00:00
NSPanel.m Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc]. 2008-07-03 04:29:21 +00:00
NSString.m Add EXTWARN Diagnostic class. 2008-08-05 00:07:51 +00:00
NSWindow.m Update test case with new clang arguments. 2008-07-02 23:18:57 +00:00
NoReturn.m '&&' commands together so that the test status reflects the results of all the commands, otherwise the test status will be the result of only the last command. 2008-07-04 10:33:02 +00:00
ObjCProperties.m Patch to allow over-riding of readonly property to 2008-11-25 17:56:43 +00:00
ObjCRetSigs.m Provide an "Analysis Scope" for Analyses so checks can either be run on code declarations (bodies) or Objective-C @implementation blocks. 2008-07-15 00:46:02 +00:00
PR2978.m Patch to diagnose a variety of misuse of property 2008-12-06 01:12:43 +00:00
array-struct.c MemRegion: 2008-12-13 21:49:13 +00:00
cfref_PR2519.c Add test case. 2008-07-09 18:11:43 +00:00
cfref_rdar6080742.c Added test case. 2008-07-18 20:48:10 +00:00
complex.c Include stdint.h instead of stdio.h. 2008-06-21 17:20:55 +00:00
conditional-op-missing-lhs.c Distinguish between dead stores and dead initializations. 2008-07-15 18:06:32 +00:00
dead-stores.c Enhance dead store checker to not flag preincrements to dead variables where the preincrement is a subexpression, e.g. foo(++x); This can cause false negatives, but will remove a whole class of false positives. 2008-10-15 05:23:41 +00:00
dead-stores.m Fix a bug in the dead stores checker reported in the following email: 2008-07-03 22:25:27 +00:00
exercise-ps.c Added test case for the static analyzer. 2008-04-30 04:40:48 +00:00
fields.c Use "VisitLValue" when processing the base for "x.f" field accesses, and "Visit" when processing the base for "x->f" field accesses. 2008-10-18 03:28:48 +00:00
func.c Add test for SCA region store. 2008-10-27 09:21:27 +00:00
misc-ps.m Fix regression in handling sizeof(void) in the static analyzer. 2008-12-15 18:51:00 +00:00
no-exit-cfg.c Added test case. 2008-09-23 18:05:01 +00:00
null-deref-ps.c Add 'expected-warning' to make test case pass. 2008-12-04 19:44:23 +00:00
outofbound.c Temporarily XFAIL these tests. 2008-12-13 19:27:01 +00:00
rdar-6442306-1.m MemRegion: 2008-12-13 21:49:13 +00:00
refcnt_naming.m This test no longer is marked XFAIL. 2008-10-24 20:33:56 +00:00
stack-addr-ps.c MemRegion: 2008-12-13 21:49:13 +00:00
uninit-msg-expr.m Move test case "uninit-msg-expr.m" from Analysis-Apple to Analysis (now works on all platforms). 2008-06-16 21:15:29 +00:00
uninit-ps-rdar6145427.m Added test case. 2008-08-13 03:55:18 +00:00
uninit-vals-ps-region.c Revise bogus comment I just committed. 2008-12-04 02:07:20 +00:00
uninit-vals-ps.c Add checker test case: warn about returning an uninitialized value to the caller. 2008-11-21 00:28:47 +00:00
uninit-vals.c Changed merge operation for uninitialized values analysis to "intersect" (previous union). 2008-03-22 20:11:00 +00:00
uninit-vals.m Test case for transfer function logic of const casts. 2008-09-19 20:53:52 +00:00
unused-ivars.m Remove '.' in expected warning 2008-07-25 20:30:34 +00:00