]> granicus.if.org Git - clang/commit
Improved false positive rate for the idempotent operations checker and moved it into...
authorTom Care <tcare@apple.com>
Fri, 16 Jul 2010 20:41:41 +0000 (20:41 +0000)
committerTom Care <tcare@apple.com>
Fri, 16 Jul 2010 20:41:41 +0000 (20:41 +0000)
commitdf4ca423ec7d9b62842e112d1b824faa08b64810
treeebe74672aed0a760164184326524521e32b8ac3f
parent35dda71933d2e71b7a865b6ba41cf703e8b99c56
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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@108550 91177308-0d34-0410-b5e6-96231b3b80d8
14 files changed:
include/clang/Driver/CC1Options.td
lib/Checker/AnalysisConsumer.cpp
lib/Checker/GRExprEngine.cpp
lib/Checker/GRExprEngineExperimentalChecks.h
lib/Checker/GRExprEngineInternalChecks.h
lib/Checker/IdempotentOperationChecker.cpp
lib/Frontend/CompilerInvocation.cpp
test/Analysis/constant-folding.c
test/Analysis/dead-stores.c
test/Analysis/idempotent-operations.c
test/Analysis/misc-ps.m
test/Analysis/null-deref-ps.c
test/Analysis/rdar-6541136-region.c
test/Analysis/rdar-6541136.c