[PATCH] D129448: [CodeGen][Asan] Emit lifetime intrinsic for bypassed label

Vitaly Buka via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Jul 14 10:23:38 PDT 2022


vitalybuka added inline comments.


================
Comment at: clang/test/CodeGen/lifetime2.c:78
     break;
   case 2:
     bar(&x, 1);
----------------
StephenFan wrote:
> vitalybuka wrote:
> > vitalybuka wrote:
> > > Please check for lifetime markers, I assume case 2 will have a new one
> > > Please check for lifetime markers, I assume case 2 will have a new one
> > Please check for *all* lifetime markers
> > 
> > you can add use "FileCheck --implicit-check-not llvm.lifetime" so it will fail if something has no corresponding match
> > 
> I have checked for all lifetime markers in `Diff 444701`. What's the point of adding `--implicit-check-not llvm.lifetime`?
Point is to have en error, if lifetime emitted, but we don't have a check for that.
Which is very reasonable for the test.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D129448



More information about the cfe-commits mailing list