commit 6d0e6ce200aa06b06f0e9b493ed365bbe2982cee
author Tom Care <tom.care@uqconnect.edu.au> Fri Aug 27 22:46:32 2010 +0000
committer Tom Care <tom.care@uqconnect.edu.au> Fri Aug 27 22:46:32 2010 +0000
tree c2d0c6d0090e202cc61a170a7de5c069fc244850
parent aaca011f78ce4d1ce08d4320da1326d4ae31609a

Enabled relaxed LiveVariables analysis in the path-sensitive engine to increase the coverage of bugs. Primarily affects IdempotentOperationChecker.
- Migrated a temporarily separated test back to its original file (bug has been fixed, null-deref-ps-temp.c -> null-deref-ps.c)
- Changed SymbolManager to use relaxed LiveVariables
- Updated several test cases that the IdempotentOperationChecker class now flags
- Added test case to test relaxed LiveVariables use by the IdempotentOperationChecker

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@112312 91177308-0d34-0410-b5e6-96231b3b80d8