[PATCH] D40289: [SafepointIRVerifier] Allow deriving pointers from unrelocated base

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: lib/IR/SafepointIRVerifier.cpp:338
+    assert(OldOutCount >= BBS->AvailableOut.size() && "invariant!");
     if (OldOutCount != BBS->AvailableOut.size()) {
       Worklist.insert(succ_begin(BB), succ_end(BB));
----------------
It is trivially true after the assert above, isn't it?


https://reviews.llvm.org/D40289