[PATCH] D148456: [SROA] Unconditionally load is unsafe with nonnull and noundef metadata.
DianQK via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Sun Apr 16 02:28:19 PDT 2023
DianQK added a comment.
In D148456#4271868 <https://reviews.llvm.org/D148456#4271868>, @StephenFan wrote:
> It seems that !noundef means that the loaded value is not an undefined value instead of loading a value from an `under` ptr is UB.
Thanks, I tried to correct the summary.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D148456/new/
https://reviews.llvm.org/D148456
More information about the llvm-commits
mailing list