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 | 98e679508d1afd926d8ab2a33090d7b7d5c80961 (patch) | |
| tree | b0c370aeb176a84dc8a4020ebf36737ed4f07b9e /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | fd8967a82fdb531439925172db313ec81e0be9d5 (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
llvm-svn: 112312
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions