diff options
| author | Tom Care <tom.care@uqconnect.edu.au> | 2010-08-27 22:46:32 +0000 |
|---|---|---|
| committer | Tom Care <tom.care@uqconnect.edu.au> | 2010-08-27 22:46:32 +0000 |
| commit | 6d0e6ce200aa06b06f0e9b493ed365bbe2982cee (patch) | |
| tree | c2d0c6d0090e202cc61a170a7de5c069fc244850 /lib/Parse/Parser.cpp | |
| parent | aaca011f78ce4d1ce08d4320da1326d4ae31609a (diff) | |
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
Diffstat (limited to 'lib/Parse/Parser.cpp')
0 files changed, 0 insertions, 0 deletions