Gitiles
Code Review
Sign In
gerrit-public.fairphone.software
/
fp2-dev
/
platform
/
external
/
clang
/
refs/heads/fp2-m-sibon
/
test
/
Analysis
/
uninit-vals-ps-region.m
651f13c
Updated to Clang 3.5a.
by Stephen Hines
· 10 years ago
52810c5
[analyzer] Do not report uninitialized value warnings inside swap functions.
by Anna Zaks
· 11 years ago
cdc3a89
Fix analyzer tests.
by Ted Kremenek
· 12 years ago
a8180e5
Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>.
by Ted Kremenek
· 13 years ago
eda3687
[analyzer] Use UnknownVal when default-initializing arrays whose element types we don't model, to distinguish them from uninitialized arrays (PR10163).
by Jordy Rose
· 13 years ago
ade3195
Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group.
by Ted Kremenek
· 14 years ago
c4d2c90
[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award.
by Argyrios Kyrtzidis
· 14 years ago
180e03f
[analyzer] Migrate UndefResultChecker to CheckerV2.
by Argyrios Kyrtzidis
· 14 years ago
c9f2e0f
[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.
by Argyrios Kyrtzidis
· 14 years ago
1fafd1d
Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations)
by Tom Care
· 14 years ago
281e9dc
Augment RegionStore::BindStruct() to bind symbolicated struct values. This fixes a false path issue reported in <rdar://problem/8243408> and also spurs another cause where the idempotent operations checker fires.
by Ted Kremenek
· 14 years ago
12182a0
Improve the diagnostics for the UndefinedAssignmentChecker when an
by Ted Kremenek
· 15 years ago
8133716
Refactor argument checking in CallAndMessageChecker to be the same
by Ted Kremenek
· 15 years ago
[Renamed (86%) from test/Analysis/uninit-vals-ps-region.c]
091b588
Detect pass-by-value arguments that are structs that contain uninitialized data.
by Ted Kremenek
· 15 years ago
565e465
Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'.
by Ted Kremenek
· 15 years ago
e030358
add a bunch of missing prototypes to tests
by Chris Lattner
· 15 years ago
a572887
Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.
by Daniel Dunbar
· 15 years ago
ef74f4c
Replace clang-cc with clang -cc1.
by Zhongxing Xu
· 15 years ago
b107c4b
Catch uses of undefined values when they are used in assignment, thus catching such bugs closer to the source.
by Ted Kremenek
· 15 years ago
112ba7e
Shorten the static analyzer diagnostic for 'use of garbage value'.
by Ted Kremenek
· 15 years ago
7c039bf
Have divide-by-zero checker not handled undefined denominators. This is handled by the generic checking for undefined operands for BinaryOperators.
by Ted Kremenek
· 15 years ago
5b9bd21
Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way
by Ted Kremenek
· 15 years ago
c761f40
Add uninitialized values test case.
by Ted Kremenek
· 15 years ago
6c07bdb
Introduce a new concept to the static analyzer: SValuator.
by Ted Kremenek
· 15 years ago
d7d5f02
Rename clang to clang-cc.
by Daniel Dunbar
· 16 years ago
be1fe1e
Static Analyzer driver/options (partial) cleanup:
by Ted Kremenek
· 16 years ago
282f753
enable test as it works
by Nuno Lopes
· 16 years ago
d427023
Add -analyze action to run static analyzer, instead of inferring from
by Daniel Dunbar
· 16 years ago
4193eca
Lazy bingding for region-store manager.
by Zhongxing Xu
· 16 years ago
4226846
Revise bogus comment I just committed.
by Ted Kremenek
· 16 years ago
f117fac
Add comment to test case for documentation.
by Ted Kremenek
· 16 years ago
e8e4d8c
Split region store specific test cases.
by Zhongxing Xu
· 16 years ago