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

vector before reusing it.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@43984 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Ted Kremenek 2007-11-10 19:33:26 +00:00
parent 303f7fe149
commit e7bbd41af2

View File

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