[PATCH] D148456: [SROA] Unconditionally load is unsafe with nonnull and noundef metadata.

luxufan via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sun Apr 16 02:07:19 PDT 2023

Previous message: [PATCH] D148456: [SROA] Unconditionally load is unsafe with nonnull and noundef metadata.
Next message: [PATCH] D148456: [SROA] Unconditionally load is unsafe with nonnull and noundef metadata.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

StephenFan added a comment.

It seems that !noundef means that the loaded value is not a under value instead of loading a value from an `under` ptr is UB.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D148456

Previous message: [PATCH] D148456: [SROA] Unconditionally load is unsafe with nonnull and noundef metadata.
Next message: [PATCH] D148456: [SROA] Unconditionally load is unsafe with nonnull and noundef metadata.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list