]> granicus.if.org Git - llvm/commit
[PM] Use PoisoningVH correctly when merely deleting entries in a map
authorChandler Carruth <chandlerc@gmail.com>
Thu, 26 Jan 2017 08:31:54 +0000 (08:31 +0000)
committerChandler Carruth <chandlerc@gmail.com>
Thu, 26 Jan 2017 08:31:54 +0000 (08:31 +0000)
commitc5374d2ba55eb0b28ae250d044a652c09b15d870
treeacfceffd9cc00f83a19d2521b141fc56399cec86
parent82579da8890fcbfb1f4660eb5de74352afe1e60f
[PM] Use PoisoningVH correctly when merely deleting entries in a map
with it.

This code was dereferencing the PoisoningVH which isn't allowed once it
is poisoned. But the code itself really doesn't need to access the
pointer, it is just doing the safe stuff of clearing out data structures
keyed on the pointer value.

Change the code to use iterators to erase directly from a DenseMap. This
is also substantially more efficient as it avoids lots of hashing and
lookups to do the erasure. DenseMap supports iterating behind the
iteration which is fairly easy to implement.

Sadly, I don't have a test case here. I'm not even close and I don't
know that I ever will be. The issue is that several of the tricky
aspects of fixing this only show up when you cause the stack's
SmallVector to be in *EXACTLY* the right location. I only ever got
a reproduction for those with Clang, and only with *exactly* the right
command line flags. Any adjustment, even to seemingly unrelated flags,
would make partial and half-way solutions magically start to "work". In
good news, all of this was caught with the LLVM test suite. Also, there
is no *specific* code here that is untested, just that the old pattern
of code won't immediately fail on any test case I've managed to
contrive.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@293160 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/LazyValueInfo.cpp