diff options
author | Tom Care <tcare@apple.com> | 2010-07-16 20:41:41 +0000 |
---|---|---|
committer | Tom Care <tcare@apple.com> | 2010-07-16 20:41:41 +0000 |
commit | 826e6b40231e3932a802e19f9429337dc7e121cc (patch) | |
tree | d8155de320d8029b083373b452c13813cb0fd351 /clang/lib/Checker/GRExprEngineInternalChecks.h | |
parent | fee4dafbd049fe23c72129f44f70cc6414aab0fd (diff) | |
download | bcm5719-llvm-826e6b40231e3932a802e19f9429337dc7e121cc.tar.gz bcm5719-llvm-826e6b40231e3932a802e19f9429337dc7e121cc.zip |
Improved false positive rate for the idempotent operations checker and moved it into the default path-sensitive analysis options.
- Added checks for static local variables, self assigned parameters, and truncating/extending self assignments
- Removed command line option (now default with --analyze)
- Updated test cases to pass with idempotent operation warnings
llvm-svn: 108550
Diffstat (limited to 'clang/lib/Checker/GRExprEngineInternalChecks.h')
-rw-r--r-- | clang/lib/Checker/GRExprEngineInternalChecks.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clang/lib/Checker/GRExprEngineInternalChecks.h b/clang/lib/Checker/GRExprEngineInternalChecks.h index f91a759b329..9644eafcb39 100644 --- a/clang/lib/Checker/GRExprEngineInternalChecks.h +++ b/clang/lib/Checker/GRExprEngineInternalChecks.h @@ -30,6 +30,7 @@ void RegisterCastSizeChecker(GRExprEngine &Eng); void RegisterDereferenceChecker(GRExprEngine &Eng); void RegisterDivZeroChecker(GRExprEngine &Eng); void RegisterFixedAddressChecker(GRExprEngine &Eng); +void RegisterIdempotentOperationChecker(GRExprEngine &Eng); void RegisterNoReturnFunctionChecker(GRExprEngine &Eng); void RegisterPointerArithChecker(GRExprEngine &Eng); void RegisterPointerSubChecker(GRExprEngine &Eng); |