From adc9b9c317ad0cf6b8a5c2cf4e8da351aec3f6b7 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Sun, 28 Oct 2007 23:38:38 +0000 Subject: [PATCH] Fixed assertion in Deserializer::~Deserializer that checks for pointers that were not backpatched (previously checked the wrong invariant). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@43425 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Bitcode/Reader/Deserialize.cpp | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/lib/Bitcode/Reader/Deserialize.cpp b/lib/Bitcode/Reader/Deserialize.cpp index 9caef6dae1e..8fba9d20b5d 100644 --- a/lib/Bitcode/Reader/Deserialize.cpp +++ b/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 } -- 2.34.1