Fixed a bug introduced by my last patch. Now we properly clear out the BatchIDVec

vector before reusing it.

llvm-svn: 43984
This commit is contained in:
Ted Kremenek 2007-11-10 19:33:26 +00:00
parent cdf5fca367
commit b0cdfeb4ba
1 changed files with 2 additions and 0 deletions

View File

@ -213,6 +213,8 @@ public:
template <typename T> template <typename T>
void BatchReadOwnedPtrs(unsigned NumPtrs, T** Ptrs, bool AutoRegister=true) { void BatchReadOwnedPtrs(unsigned NumPtrs, T** Ptrs, bool AutoRegister=true) {
BatchIDVec.clear();
for (unsigned i = 0; i < NumPtrs; ++i) for (unsigned i = 0; i < NumPtrs; ++i)
BatchIDVec.push_back(ReadPtrID()); BatchIDVec.push_back(ReadPtrID());