[PATCH] D95122: [Libcalls, Attrs] Annotate libcalls with noundef
Juneyoung Lee via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Jan 21 08:54:57 PST 2021
aqjune added a comment.
Since this issue only happens when the undef value is involved, another solution is to revert D48832 <https://reviews.llvm.org/D48832> as suggested & make load/store's pointer noundef & rely on the future that the undef value will be finally removed.
I don't think this will cause a problem in practice as well even if undef persists; memory sanitizer is already catching the case.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D95122/new/
https://reviews.llvm.org/D95122
More information about the llvm-commits
mailing list