[PATCH] D93376: [LangRef] Clarify the semantics of lifetime intrinsics

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

I'll resolve the unit test failures and see if there are any unexpected cases.

In some cases, this can resolve sub-optimal codegen because verifier now explicitly gives how lifetime.start/end should be used.
AddressSanitizer.cpp is currently bailing out if there is an 'unknown' lifetime:

  if (HasUntracedLifetimeIntrinsic) {
     // If there are lifetime intrinsics which couldn't be traced back to an
     // alloca, we may not know exactly when a variable enters scope, and
     // therefore should "fail safe" by not poisoning them.
     StaticAllocaPoisonCallVec.clear();
     DynamicAllocaPoisonCallVec.clear();
  }


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D93376