llvm-project

array-struct.c

- Revert r59229 and r59232: AllocRegion should be immutable.

2008-11-13 15:42:31 +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

Added CFNumberCreate test case to illustrate a 32-bit/64-bit arch issue.

2008-09-18 00:28:23 +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

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

Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>.

2008-10-22 20:54:52 +00:00

CheckNSError.m

Test now passes.

2008-10-17 20:29:05 +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

GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) of vector types. Add explicit checks that when we process integers that they really are scalars.

2008-11-13 06:10:40 +00:00

MissingDealloc_IBOutlet.m

Rename test case file.

2008-07-24 17:02:18 +00:00

MissingDealloc_SEL.m

Don't issue a missing +dealloc warning for classes that just contain SEL ivars.

2008-07-24 17:45:56 +00:00

no-exit-cfg.c

Added test case.

2008-09-23 18:05:01 +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

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

null-deref-ps.c

Add && to test command.

2008-11-11 01:25:18 +00:00

ObjCProperties.m

"Implement" GRExprEngine::VisitLValue for ObjCPropertyRefExpr. This is only a bandid; we need to properly handle properties by using locv/nonloc objects and specially handling property assignments in the transfer function for BinaryOperator.

2008-10-17 17:24:14 +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

Add method that will be invoked using the dot-syntax just to test that the missing -dealloc checker handles it.

2008-10-30 23:00: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

include alloca.h instead of malloc.h. If this doesn't work for everyone we can just declare alloca directly in the file.

2008-11-07 15:41:33 +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.c

Fixed bug in the transfer function for dereferences: the loaded value from EvalLoad should bind to the UnaryOperator*, not its subexpression.

2008-05-21 15:48:33 +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