diff options
| author | Tom Care <tom.care@uqconnect.edu.au> | 2010-08-12 22:45:47 +0000 |
|---|---|---|
| committer | Tom Care <tom.care@uqconnect.edu.au> | 2010-08-12 22:45:47 +0000 |
| commit | a7a8a450d908b34fa5f569f2e694ebd4b61aae2f (patch) | |
| tree | 0f59a7955e3e99f2d5b895485cf6cd3dda22f77d /lib/Checker/UnreachableCodeChecker.cpp | |
| parent | 80a785c2452c73b7c41d4a867edcf5a090c78c46 (diff) | |
Improved IdempotentOperationChecker false positives and false negatives.
- Unfinished analysis may still report valid warnings if the path was completely analyzed
- New 'CanVary' heuristic to recursively determine if a subexpression has a varying element
- Updated test cases, including one known bug
- Exposed GRCoreEngine through GRExprEngine
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110970 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/UnreachableCodeChecker.cpp')
0 files changed, 0 insertions, 0 deletions