Fixed assertion in Deserializer::~Deserializer that checks for

pointers that were not backpatched (previously checked the wrong invariant).

llvm-svn: 43425
This commit is contained in:
Ted Kremenek
2007-10-28 23:38:38 +00:00
parent 9dced3f9ae
commit 8be9bc64ce

View File

@@ -22,8 +22,12 @@ Deserializer::Deserializer(BitstreamReader& stream)
Deserializer::~Deserializer() {
assert (RecIdx >= Record.size() &&
"Still scanning bitcode record when deserialization completed.");
assert (FreeList == NULL && "Some pointers were not backpatched.");
#ifdef NDEBUG
for (MapTy::iterator I=BPatchMap.begin(), E=BPatchMap.end(); I!=E; ++I)
assert (I->second.hasFinalPtr() &&
"Some pointers were not backpatched.");
#endif
}