[PATCH] D108365: [hwasan] Support more complicated lifetimes.

[Florian Mayer via Phabricator via llvm-commits]

fmayer added inline comments.


================
Comment at: llvm/include/llvm/Transforms/Instrumentation/AddressSanitizerCommon.h:74
+    if (std::any_of(Ends.begin(), Ends.end(),
+                    [&](Instruction *End) { return DT.dominates(End, RI); }))
+      ++NumCoveredExits;
----------------
eugenis wrote:
> This does not handle diamond CFG, right? A case where two ends dominate a return as a group. I don't know if LLVM has an implementation of that.
> 
> I think it is fine, that must be a relatively uncommon case.
Correct. I added a TODO.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D108365