llvm-project/clang/test/Analysis
Jordy Rose 79404afc1c When folding additive operations, convert the values to the same type. When assuming relationships, convert the integers to the same type as the symbol, at least for now.
llvm-svn: 106458
2010-06-21 20:15:15 +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
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
MissingDealloc.m Rename -cc1 option '-warn-objc-missing-dealloc' to '-analyzer-check-objc-missing-dealloc'. 2010-02-05 01:59:21 +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
NoReturn.m Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. 2010-02-05 02:06:54 +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
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
additive-folding-range-constraints.c Fold additive constants, and support comparsions of the form $sym+const1 <> const2 2010-06-18 22:49:11 +00:00
additive-folding.c When folding additive operations, convert the values to the same type. When assuming relationships, convert the integers to the same type as the symbol, at least for now. 2010-06-21 20:15:15 +00:00
array-struct.c Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. 2010-02-05 02:06:54 +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
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
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
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 Adds analyzer support for idempotent and tautological binary operations such as "a*0" and "a+0". This is not very powerful, but does make the analyzer look a little smarter than it actually is. 2010-06-20 04:56:29 +00:00
dead-stores.c Fix crash in CFG construction for 'break' statements appearing in statement expressions 2010-05-21 20:30:15 +00:00
dead-stores.cpp Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. 2010-02-05 02:06:54 +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
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
inline.c Turn -analyzer-inline-call on for C functions. This also fixed a bug that 2010-05-06 03:38:27 +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
malloc.c Casting to void* or any other pointer-to-sizeless type (e.g. function pointers) causes a divide-by-zero error. Simple fix: check if the pointee type size is 0 and bail out early if it is. 2010-06-20 04:30:57 +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 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. 2010-02-05 02:06:54 +00:00
misc-ps-region-store.m Discard qualifiers for ElementRegions so that a 'const' doesn't change the lookup semantics 2010-05-27 00:29: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 Change AnalysisConsumer to analyze functions created by instantiantiating a macro. Fixes PR 7361. 2010-06-15 00:55:40 +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 Use the element type to compute the array size when the base region is a VarRegion. 2010-04-01 08:20:27 +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.c If a nonnull argument evaluates to UnknownVal, don't warn (and don't crash). 2010-06-21 20:08:28 +00:00
outofbound.c Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my 2010-06-01 03:01:33 +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
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 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. 2010-02-05 02:06:54 +00:00
rdar-6442306-1.m Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. 2010-02-05 02:06:54 +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 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. 2010-02-05 02:06:54 +00:00
rdar-6541136.c Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. 2010-02-05 02:06:54 +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 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. 2010-02-05 02:06:54 +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 a bug (PR 6699) in RegionStore::RemoveDeadBindings() where 2010-04-01 00:15:55 +00:00
retain-release.m Update retain-release checker to understand changes to how 'super' is represented 2010-05-21 21:57:00 +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
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 null stream check for more APIs. 2010-06-18 02:47:46 +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 Improve the diagnostics for the UndefinedAssignmentChecker when an 2010-03-22 22:16:26 +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
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