Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
platform
/
external
/
clang
/
5eb1969cccecaa453fff95949b0e02af01a08163
/
test
/
Analysis
34a8347
remove a test case that causes compiler warning.
by Zhongxing Xu
· 16 years ago
27cae9e
Add test for initializing array with string literal.
by Zhongxing Xu
· 16 years ago
a8a6ef8
add missing RUN lines
by Nuno Lopes
· 16 years ago
6669db9
Patch to allow over-riding of readonly property to
by Fariborz Jahanian
· 16 years ago
661fc39
Add documentation for test.
by Zhongxing Xu
· 16 years ago
33d7cbf
Add no-warning to test case.
by Zhongxing Xu
· 16 years ago
4b89e03
Strings are NULL terminated. So the region size should plus one.
by Zhongxing Xu
· 16 years ago
20f0178
Add test case for out-of-bound memory access checking.
by Zhongxing Xu
· 16 years ago
0947b4e
Rewrite FindDiagnostics to be more strict about the formatting of the
by Chris Lattner
· 16 years ago
ea06544
Improve test case.
by Zhongxing Xu
· 16 years ago
7c68666
Add checker test case: warn about returning an uninitialized value to the caller.
by Ted Kremenek
· 16 years ago
9f49055
Enable test file for 'region store' in addition to basic store.
by Ted Kremenek
· 16 years ago
e8e4d8c
Split region store specific test cases.
by Zhongxing Xu
· 16 years ago
89e8a07
Add test for path-sensitive uninit-val detection involving struct field.
by Zhongxing Xu
· 16 years ago
617ff31
Add test cast for struct array.
by Zhongxing Xu
· 16 years ago
87d3ef0
Fix <rdar://problem/6333904> [sema] message lookup on super is incorrect
by Steve Naroff
· 16 years ago
512cdb5
Re-enable array-struct test.
by Zhongxing Xu
· 16 years ago
973e72a
Add a test case for compound assignments that lazily symbolicate the value of the LHS when the computation type is an integer of more bits.
by Ted Kremenek
· 16 years ago
82bd99f
- Revert r59229 and r59232: AllocRegion should be immutable.
by Ted Kremenek
· 16 years ago
26134a1
Add test for unsigned array index.
by Zhongxing Xu
· 16 years ago
fb75b25
Add test for incomplete struct pointer.
by Zhongxing Xu
· 16 years ago
b670133
Add a test case for alloca().
by Zhongxing Xu
· 16 years ago
062e2f9
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.
by Ted Kremenek
· 16 years ago
76dba7b
GRExprEngine::VisitInitListExpr:
by Ted Kremenek
· 16 years ago
12b49d9
Add && to test command.
by Zhongxing Xu
· 16 years ago
fe81bc2
Add region store model to path-sensitive testing.
by Zhongxing Xu
· 16 years ago
31483b4
include alloca.h instead of malloc.h. If this doesn't work for everyone we can just declare alloca directly in the file.
by Anders Carlsson
· 16 years ago
7b2d21e
Append the test runs with '&&'.
by Argyrios Kyrtzidis
· 16 years ago
ff6ec39
Bring in 'alloca' for the Analysis/stack-addr-ps.c test case.
by Argyrios Kyrtzidis
· 16 years ago
2eff0f9
Add a test case for CFMakeCollectable.
by Ted Kremenek
· 16 years ago
04b90bc
Add function side-effect test cast.
by Zhongxing Xu
· 16 years ago
c979a9b
Add 'alloca' test case for return-of-stack-address checker.
by Ted Kremenek
· 16 years ago
df2aa1e
Add test code for array initialization.
by Zhongxing Xu
· 16 years ago
beb62c5
Added missing 'expected-warning'
by Ted Kremenek
· 16 years ago
fab6f22
Enhance compound literal test case.
by Ted Kremenek
· 16 years ago
64cc62d
Add missing "expected warning".
by Ted Kremenek
· 16 years ago
ccb55e3
Add method that will be invoked using the dot-syntax just to test that the missing -dealloc checker handles it.
by Ted Kremenek
· 16 years ago
d4a0798
Improve compound literal test case.
by Ted Kremenek
· 16 years ago
997c155
Patch by Nikita Zhuk: test case for fix for false positive reported in PR2978.
by Ted Kremenek
· 16 years ago
c532f63
Add 'expected-warning' for braces around scalar initializer
by Ted Kremenek
· 16 years ago
194aade
Added compound literal test case.
by Ted Kremenek
· 16 years ago
92429dd
Add test for SCA region store.
by Zhongxing Xu
· 16 years ago
234a7d2
Add test for SCA region store.
by Zhongxing Xu
· 16 years ago
5b2316a
Do not crash when performing VisitLValue on union types. This fixes PR 2948.
by Ted Kremenek
· 16 years ago
2e97120
Add StringLiteral test code.
by Zhongxing Xu
· 16 years ago
f4b3548
This test no longer is marked XFAIL.
by Ted Kremenek
· 16 years ago
72e1682
Add random array and struct test code for SCA.
by Zhongxing Xu
· 16 years ago
f74675b
Temporarily mark this test XFAIL.
by Ted Kremenek
· 16 years ago
3ad2cc8
Warn about potentially leaked objects that are returned from methods whose names do not follow the Cocoa Memory Management guidelines.
by Ted Kremenek
· 16 years ago
64e859a
Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>.
by Ted Kremenek
· 16 years ago
c498848
Add test case for FuncDecl and function pointer variable.
by Zhongxing Xu
· 16 years ago
c13b6e2
Further improve path-sensitivity with divide-by-zero checking by assuming that a denominator cannot be zero even when the result of an '/' or '%' expression is unknown.
by Ted Kremenek
· 16 years ago
9253b0f
Added test case inspired by <rdar://6268365>: recover path-sensitivity after compound assignment when the result of the assignment is not known.
by Ted Kremenek
· 16 years ago
6dfe2f5
Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796.
by Ted Kremenek
· 16 years ago
5c456fe
Use "VisitLValue" when processing the base for "x.f" field accesses, and "Visit" when processing the base for "x->f" field accesses.
by Ted Kremenek
· 16 years ago
dacd67a
This test now passes again.
by Ted Kremenek
· 16 years ago
63ffb78
Test now passes.
by Ted Kremenek
· 16 years ago
b6b81d1
"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.
by Ted Kremenek
· 16 years ago
ef8b28e
Add test case for array and struct variable lvalue evaluation.
by Zhongxing Xu
· 16 years ago
3397e46
Mark these tests XFAIL. We need to add back assumption logic when doing array and field accesses.
by Ted Kremenek
· 16 years ago
380277e
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.
by Ted Kremenek
· 16 years ago
cc9ac41
Enhance NSError** checking with analogous checking for CFErrorRef*.
by Ted Kremenek
· 16 years ago
9f67ede
Added test case.
by Ted Kremenek
· 16 years ago
d2025e2
Add more control-flow to test case.
by Ted Kremenek
· 16 years ago
610a09e
Add CFG support for implicit-control flow for VLA size expressions within an SizeOfAlignOfTypeExpr.
by Ted Kremenek
· 16 years ago
84fa6b9
Examine VLA size expressions when computing liveness information.
by Ted Kremenek
· 16 years ago
cafd908
Updated test case.
by Ted Kremenek
· 16 years ago
d1f5ff7
Added test case.
by Ted Kremenek
· 16 years ago
fb8a7fd
Test case for transfer function logic of const casts.
by Ted Kremenek
· 16 years ago
0a41e5a
Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu.
by Ted Kremenek
· 16 years ago
1cd920a
Added test case for PR 2600: proper use of NSError**
by Ted Kremenek
· 16 years ago
91985ae
Added CFNumberCreate test case to illustrate a 32-bit/64-bit arch issue.
by Ted Kremenek
· 16 years ago
f6e5ec4
Add path-sensitivity test case.
by Ted Kremenek
· 16 years ago
e2b0083
Fix copy-paste error in test case.
by Ted Kremenek
· 16 years ago
8c3e7fb
Minor pass-sensitivity improvement:
by Ted Kremenek
· 16 years ago
b497ebd
Added test case for the dead stores checker that was originally an FP reported in PR 2763.
by Ted Kremenek
· 16 years ago
7fb43c1
Tidy up sema processing of attribute "nonull":
by Ted Kremenek
· 16 years ago
dd463b8
Enhance null-dereference checker test.
by Ted Kremenek
· 16 years ago
595c7ab
Added test case.
by Ted Kremenek
· 16 years ago
efe88f5
Enhanced test case.
by Ted Kremenek
· 16 years ago
4489fe1
Add EXTWARN Diagnostic class.
by Daniel Dunbar
· 16 years ago
22bda88
Enhanced path-sensitive return-of-stack-address check to print out the name of the variable whose address was returned.
by Ted Kremenek
· 16 years ago
f19f911
Remove '.' in expected warning
by Ted Kremenek
· 16 years ago
fc7ff55
Don't emit 'dead initialization' warnings for variables marked 'unused'.
by Ted Kremenek
· 16 years ago
17a61db
Correctly handle NSAssertionHandle -handleFailureInMethod:object:file:lineNumber:description:
by Ted Kremenek
· 16 years ago
f071e18
Don't issue a missing +dealloc warning for classes that just contain SEL ivars.
by Ted Kremenek
· 16 years ago
08e4b66
Rename test case file.
by Ted Kremenek
· 16 years ago
b0f3632
Issue dead store warnings for preincrements involved in a subexpression.
by Ted Kremenek
· 16 years ago
8b00b6e
Added dead stores test case.
by Ted Kremenek
· 16 years ago
2cfac22
Further refine dead store checking to distinguish between dead stores and dead increments.
by Ted Kremenek
· 16 years ago
cc87ba2
Properly skip IBOutlets when checking for unused ivars.
by Ted Kremenek
· 16 years ago
584def7
Added path-sensitive checking for null pointer values passed to function arguments marked nonnull.
by Ted Kremenek
· 16 years ago
c083b0d
Added test case.
by Ted Kremenek
· 16 years ago
f4ebf42
For the MissingDealloc check, don't treat IBOutlet ivars as being needed to be released
by Ted Kremenek
· 16 years ago
f9c2a5d
Distinguish between dead stores and dead initializations.
by Ted Kremenek
· 16 years ago
f7f3c20
Provide an "Analysis Scope" for Analyses so checks can either be run on code declarations (bodies) or Objective-C @implementation blocks.
by Ted Kremenek
· 16 years ago
0d8019e
Add new check: -check-objc-methodsigs. This check scans methods in
by Ted Kremenek
· 17 years ago
66e855f
Add test case.
by Ted Kremenek
· 17 years ago
560624a
'&&' 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.
by Argyrios Kyrtzidis
· 17 years ago
489f7b6
'&&' clang commands together so that the test status reflects the results of all three clang executions.
by Ted Kremenek
· 17 years ago
Next »