| commit | a7a8a450d908b34fa5f569f2e694ebd4b61aae2f | [log] [tgz] |
|---|---|---|
| author | Tom Care <tom.care@uqconnect.edu.au> | Thu Aug 12 22:45:47 2010 +0000 |
| committer | Tom Care <tom.care@uqconnect.edu.au> | Thu Aug 12 22:45:47 2010 +0000 |
| tree | 0f59a7955e3e99f2d5b895485cf6cd3dda22f77d | |
| 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