Ted Kremenek
|
722398f1d4
|
Fix analyzer tests.
llvm-svn: 162588
|
2012-08-24 20:39:55 +00:00 |
|
Ted Kremenek
|
b9ff6b2302
|
Reenable DeadStoresChecker under --analyze, and move the IdempotentOperationsChecker to the 'experimental' category. Fixes <rdar://problem/10146347>.
llvm-svn: 148533
|
2012-01-20 06:00:17 +00:00 |
|
Jordy Rose
|
4d3c1511ac
|
[analyzer] Use UnknownVal when default-initializing arrays whose element types we don't model, to distinguish them from uninitialized arrays (PR10163).
llvm-svn: 133937
|
2011-06-27 20:36:38 +00:00 |
|
Ted Kremenek
|
a4a57c10da
|
Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group.
llvm-svn: 127531
|
2011-03-12 06:14:28 +00:00 |
|
Argyrios Kyrtzidis
|
9eb02dfa89
|
[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award.
llvm-svn: 126676
|
2011-02-28 19:49:42 +00:00 |
|
Argyrios Kyrtzidis
|
d4d3cee6e4
|
[analyzer] Migrate UndefResultChecker to CheckerV2.
llvm-svn: 126614
|
2011-02-28 01:27:22 +00:00 |
|
Argyrios Kyrtzidis
|
b2400924d9
|
[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.
llvm-svn: 125611
|
2011-02-15 22:55:14 +00:00 |
|
Tom Care
|
925501c548
|
Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations)
- Added IdempotentOperationChecker to experimental analyses for testing purposes
- Updated test cases to explictly call the checker
llvm-svn: 110482
|
2010-08-06 22:23:07 +00:00 |
|
Ted Kremenek
|
385f71b1f4
|
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.
llvm-svn: 109710
|
2010-07-29 00:28:47 +00:00 |
|
Ted Kremenek
|
28ec56d7dd
|
Improve the diagnostics for the UndefinedAssignmentChecker when an
uninitialized value is used in the LHS of a compound assignment.
llvm-svn: 99221
|
2010-03-22 22:16:26 +00:00 |
|
Ted Kremenek
|
c342c9c001
|
Refactor argument checking in CallAndMessageChecker to be the same
for both CallExprs and ObjCMessageExprs.
llvm-svn: 98800
|
2010-03-18 03:22:29 +00:00 |