caio/clang-p2996
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
ec00a268552c93b79c5049111b674e2aa184bf5d
clang-p2996/clang/test/Analysis
History
Tom Care a460311710 Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis 
- Added wasReferenced function to PseudoConstantAnalysis to determine if a variable was ever referenced in a function (outside of a self-assignment)
- BlockDeclRefExpr referenced variables are now explicitly added to the non-constant list
- Remove unnecessary ignore of implicit casts
- Generalized parameter self-assign detection to detect deliberate self-assigns of variables to avoid unused variable warnings
- Updated test cases with deliberate self-assignments
- Fixed bug with C++ references and pseudoconstants
- Added test case for C++ references and pseudoconstants

llvm-svn: 111965
2010-08-24 21:09:07 +00:00
..
additive-folding-range-constraints.c
Don't depend on system headers in clang -cc1 tests.
2010-06-24 11:06:12 +00:00
additive-folding.c
Added some false positive checking to UnreachableCodeChecker
2010-07-27 23:30:21 +00:00
analyze_display_progress.c
Fix -analyze-display-progress (once again), this time with an additional regression test.
2010-06-25 20:59:24 +00:00
array-struct-region.c
Handle nested compound values in BindArray for multidimensional arrays. Fixes PR7945.
2010-08-20 01:05:59 +00:00
array-struct.c
Move new test (that requires RegionStore) into its own file.
2010-07-29 07:11:59 +00:00
blocks.m
Add test case showing that a recursive block that captures a block pointer that
2010-02-16 16:55:10 +00:00
bstring.c
Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes:
2010-08-16 07:51:42 +00:00
casts.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
casts.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
CFDateGC.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
CFNumber.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
cfref_PR2519.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
cfref_rdar6080742.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
CFRetainRelease_NSAssertionHandler.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
CGColorSpace.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
CheckNSError.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
complex.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
concrete-address.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
conditional-op-missing-lhs.c
Rename -cc1 option '-warn-dead-stores' to '-analyzer-check-dead-stores'.
2010-02-05 01:52:40 +00:00
constant-folding.c
Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker.
2010-08-18 21:17:24 +00:00
dead-stores.c
Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis
2010-08-24 21:09:07 +00:00
dead-stores.cpp
Add dead stores C++ test case that was previously asserting due to an
2010-06-25 22:48:52 +00:00
dead-stores.m
Dead emit dead store warnings when assigning nil to an ObjC object
2010-02-23 21:19:33 +00:00
delegates.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
elementtype.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
exercise-ps.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
fields.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
flat-store.c
Improve flat store: MemRegion::getAsOffset() computes a region's offset within
2010-08-02 04:56:14 +00:00
free.c
Catch free()s on non-regions and regions known to be not from malloc(), by checking the symbol type and memory space.
2010-06-07 19:32:37 +00:00
func.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
idempotent-operations.c
Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis
2010-08-24 21:09:07 +00:00
idempotent-operations.cpp
Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis
2010-08-24 21:09:07 +00:00
inline2.c
Turn -analyzer-inline-call on for C functions. This also fixed a bug that
2010-05-06 03:38:27 +00:00
inline3.c
Turn -analyzer-inline-call on for C functions. This also fixed a bug that
2010-05-06 03:38:27 +00:00
inline4.c
Turn -analyzer-inline-call on for C functions. This also fixed a bug that
2010-05-06 03:38:27 +00:00
inline.c
Turn -analyzer-inline-call on for C functions. This also fixed a bug that
2010-05-06 03:38:27 +00:00
malloc.c
After a lengthy design discussion, add support for "ownership attributes" for malloc/free checking. Patch by Andrew McGregor!
2010-07-31 01:52:11 +00:00
method-call.cpp
Make -analyzer-inline-call not a separate analysis. Instead it's a boolean
2010-05-06 02:59:29 +00:00
misc-ps-64.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
misc-ps-basic-store.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
misc-ps-eager-assume.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
misc-ps-flat-store.c
Add support for binding and retrieving VarRegions in flat store.
2010-02-08 05:40:07 +00:00
misc-ps-ranges.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
misc-ps-region-store-i386.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
misc-ps-region-store-x86_64.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
misc-ps-region-store.cpp
Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675.
2010-07-29 01:31:59 +00:00
misc-ps-region-store.m
Add test case for <rdar://problem/8258814>.
2010-08-02 20:33:00 +00:00
misc-ps-region-store.mm
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
misc-ps.m
Add warning for functions/blocks that have attribute 'noreturn' but return a non-void result. (<rdar://problem/7562925>)
2010-08-19 00:52:13 +00:00
MissingDealloc.m
Rename -cc1 option '-warn-objc-missing-dealloc' to '-analyzer-check-objc-missing-dealloc'.
2010-02-05 01:59:21 +00:00
new.cpp
The second check point in the old test case was invalid.
2010-04-21 02:22:25 +00:00
nil-receiver-undefined-larger-than-voidptr-ret.m
Refactor the AnalysisConsumer to analyze functions after the whole
2010-04-30 04:14:20 +00:00
no-exit-cfg.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
no-outofbounds.c
Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.
2010-07-04 00:00:41 +00:00
NoReturn.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
NSPanel.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
NSString.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
NSWindow.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
null-deref-ps-region.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
null-deref-ps-temp.c
Improved IdempotentOperationChecker false positives and false negatives.
2010-08-12 22:45:47 +00:00
null-deref-ps.c
Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker.
2010-08-18 21:17:24 +00:00
ObjCProperties.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
ObjCRetSigs.m
Rename -cc1 option '-warn-objc-methodsigs' to '-analyzer-check-objc-methodsigs'.
2010-02-05 01:57:44 +00:00
outofbound.c
- Allow making ElementRegions with complex offsets (expressions or symbols) for the purpose of bounds-checking.
2010-08-16 01:15:17 +00:00
override-werror.c
Improve diagnostics when we fail to convert from a source type to a
2010-04-09 00:35:39 +00:00
plist-output.m
Tweak null dereference diagnostics to give clearer diagnostics when
2010-03-23 01:11:38 +00:00
pr4209.m
Improve diagnostics on incomplete implementation
2010-03-27 19:02:17 +00:00
PR2599.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
PR2978.m
Rename -cc1 option '-warn-objc-missing-dealloc' to '-analyzer-check-objc-missing-dealloc'.
2010-02-05 01:59:21 +00:00
PR3991.m
Improve diagnostics on incomplete implementation
2010-03-27 19:02:17 +00:00
PR7218.c
After conversations with Zhongxing Xu and Jordy Rose, refine the logic in
2010-05-31 01:22:04 +00:00
pr_2542_rdar_6793404.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
pr_4164.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
ptr-arith.c
Pointers casted as integers still count as locations to SimpleSValuator, so don't crash if we do a funny thing like ((int)ptr)&1. Fixes PR7527.
2010-06-30 01:35:20 +00:00
rdar-6442306-1.m
Add a new symbol type, SymbolExtent, to represent the extents of memory regions that may not be known at compile-time (such as those created by malloc). This replaces the old setExtent/getExtent API on Store, which used the GRState's GDM to store SVals.
2010-07-04 00:00:41 +00:00
rdar-6540084.m
Rename -cc1 option '-warn-dead-stores' to '-analyzer-check-dead-stores'.
2010-02-05 01:52:40 +00:00
rdar-6541136-region.c
Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis
2010-08-24 21:09:07 +00:00
rdar-6541136.c
Improvements to IdempotentOperationChecker and its use of PseudoConstantAnalysis
2010-08-24 21:09:07 +00:00
rdar-6562655.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
rdar-6582778-basic-store.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
rdar-6600344-nil-receiver-undefined-struct-ret.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
rdar-7168531.m
A bug I've introduced in STDIN handling surfaced a few broken tests, fix them.
2010-06-25 12:48:07 +00:00
refcnt_naming.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
reference.cpp
Assignments to reference variables shouldn't kill the variable.
2010-06-04 01:14:56 +00:00
region-1.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
retain-release-basic-store.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
retain-release-gc-only.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
retain-release-region-store.m
Fix idempotent operations false positive caused by ivars not being invalidated in function
2010-08-02 21:59:12 +00:00
retain-release.m
Correctly handle 'Class<...>' when examining Cocoa conventions in the static analyzer. Fixes a crash reported in <rdar://problem/8272168>. Patch by Henry Mason!
2010-08-05 00:19:24 +00:00
security-syntax-checks-no-emit.c
Rename -cc1 option '-warn-security-syntactic' to '-analyzer-check-security-syntactic'.
2010-02-05 01:50:36 +00:00
security-syntax-checks.m
Rename -cc1 option '-warn-security-syntactic' to '-analyzer-check-security-syntactic'.
2010-02-05 01:50:36 +00:00
sizeofpointer.c
Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.
2009-12-15 20:14:24 +00:00
stack-addr-ps.c
Tweak stack address checker to report multiple cases where globals may reference stack memory.
2010-06-17 04:21:37 +00:00
stack-addr-ps.cpp
Teach SemaChecking::CheckReturnStackAddr about ImplicitCastExprs that convert values to an lvalue. This allows us to warn (again) about returning references to stack variables. (fixes PR 7812).
2010-08-04 20:01:07 +00:00
stackaddrleak.c
Tweak stack address checker to report multiple cases where globals may reference stack memory.
2010-06-17 04:21:37 +00:00
stream.c
add test case.
2010-08-06 00:04:40 +00:00
string.c
Model the effects of strcpy() and stpcpy() in CStringChecker. Other changes:
2010-08-16 07:51:42 +00:00
undef-buffers.c
Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my
2010-06-01 03:01:33 +00:00
uninit-msg-expr.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
uninit-ps-rdar6145427.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
uninit-vals-ps-region.m
Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations)
2010-08-06 22:23:07 +00:00
uninit-vals-ps.c
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
uninit-vals.c
Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.
2009-12-15 20:14:24 +00:00
uninit-vals.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
unions-region.m
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
2010-02-05 02:06:54 +00:00
unix-fns.c
Add static analyzer check for calls to 'pthread_once()' where the control-flow has
2010-04-08 19:53:31 +00:00
unreachable-code-path.c
Fixed logic error in UnreachableCodeChecker's marking algorithm that would sometimes allow for multiple sequential statements to be flagged.
2010-08-05 17:53:44 +00:00
unused-ivars.m
Enhance the unused ivar checker to not consider an ivar to be accidentally unused
2010-02-25 03:26:55 +00:00