Fixed assertion in Deserializer::~Deserializer that checks for
authorTed Kremenek <kremenek@apple.com>
Sun, 28 Oct 2007 23:38:38 +0000 (23:38 +0000)
committerTed Kremenek <kremenek@apple.com>
Sun, 28 Oct 2007 23:38:38 +0000 (23:38 +0000)
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

index 9caef6dae1e54db47ead44c85c68156b70e77cb9..8fba9d20b5d2312815ccc3d96cd5602fa21d785d 100644 (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
 }