[PATCH] D78932: [DSE,MSSA] Relax post-dom restriction for objs visible after return.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

postdominance should work with invokes.  I was thinking more of plain calls that unwind.  But now I'm remembering: MemorySSA treats a potentially throwing call as a read of the value, even if the call itself can't actually read the value.  But still, the new code isn't consistent with the mayThrowBetween() check. I forget the end result of the discussion of whether we still need that check at all.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D78932/new/

https://reviews.llvm.org/D78932