[PATCH] D153932: [AliasAnalysis] Mark fences as not Mod'ing unescaped local values

[Nikita Popov via Phabricator via llvm-commits]

nikic added a reviewer: efriedma.
nikic added inline comments.


================
Comment at: llvm/lib/Analysis/AliasAnalysis.cpp:517
+  if (Loc.Ptr) {
+    if (isIdentifiedFunctionLocal(Loc.Ptr) &&
+        AAQI.CI->isNotCapturedBeforeOrAt(Loc.Ptr, S)) {
----------------
isNotCapturedBeforeOrAt() implies isIdentifiedFunctionLocal().


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D153932