diff options
| author | Tom Care <tom.care@uqconnect.edu.au> | 2010-08-18 21:17:24 +0000 |
|---|---|---|
| committer | Tom Care <tom.care@uqconnect.edu.au> | 2010-08-18 21:17:24 +0000 |
| commit | b9933f365eefb3b6bd026ce9ed297c336d889e78 (patch) | |
| tree | 5a23d87be4ddfde14c9e651825e3a2acc043d13f /clang/lib/Checker/UnixAPIChecker.cpp | |
| parent | 80d19f0905b6a375d837b71e5d78674dd6080e5b (diff) | |
| download | bcm5719-llvm-b9933f365eefb3b6bd026ce9ed297c336d889e78.tar.gz bcm5719-llvm-b9933f365eefb3b6bd026ce9ed297c336d889e78.zip | |
Added psuedo-constant analysis and integrated it into the false positive reduction stage in IdempotentOperationChecker.
- Renamed IdempotentOperationChecker::isConstant to isConstantOrPseudoConstant to better reflect the function
- Changed IdempotentOperationChecker::PreVisitBinaryOperator to only run 'CanVary' once on undefined assumptions
- Created new PsuedoConstantAnalysis class and added it to AnalysisContext
- Changed IdempotentOperationChecker to exploit the new analysis
- Updated tests with psuedo-constants
- Added check to IdempotentOperationChecker to see if a Decl is const qualified
llvm-svn: 111426
Diffstat (limited to 'clang/lib/Checker/UnixAPIChecker.cpp')
0 files changed, 0 insertions, 0 deletions
