AssumptionCache: remove old affected values after RAUW.
authorTim Northover <tnorthover@apple.com>
Fri, 16 Aug 2019 09:34:27 +0000 (09:34 +0000)
committerTim Northover <tnorthover@apple.com>
Fri, 16 Aug 2019 09:34:27 +0000 (09:34 +0000)
commit22970d66be7856693ea56e7395909351d0885e57
tree402d98d2567a993417f1c1a3aaa917fbe95dc3e3
parent71ae2bf302cce5e50cb495689f295ae29241c82c
AssumptionCache: remove old affected values after RAUW.

If they're left in the cache then they can't be removed efficiently when the
cache is notified to unlink a @llvm.assume call, and that can lead to values
from different functions entirely remaining there.

llvm-svn: 369091
llvm/include/llvm/Analysis/AssumptionCache.h
llvm/lib/Analysis/AssumptionCache.cpp