From 8be9bc64ce349838acf73a6e604411506bae1a15 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Sun, 28 Oct 2007 23:38:38 +0000 Subject: Fixed assertion in Deserializer::~Deserializer that checks for pointers that were not backpatched (previously checked the wrong invariant). llvm-svn: 43425 --- llvm/lib/Bitcode/Reader/Deserialize.cpp | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'llvm/lib/Bitcode/Reader') diff --git a/llvm/lib/Bitcode/Reader/Deserialize.cpp b/llvm/lib/Bitcode/Reader/Deserialize.cpp index 9caef6dae1e..8fba9d20b5d 100644 --- a/llvm/lib/Bitcode/Reader/Deserialize.cpp +++ b/llvm/lib/Bitcode/Reader/Deserialize.cpp @@ -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 } -- cgit v1.2.3