[llvm] [Inliner] Fix bug when propagating poison generating return attributes (PR #66036)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Thu Sep 28 07:28:00 PDT 2023
================
@@ -1355,14 +1355,23 @@ static AttrBuilder IdentifyValidAttributes(CallBase &CB) {
Valid.addDereferenceableOrNullAttr(DerefOrNullBytes);
if (CB.hasRetAttr(Attribute::NoAlias))
Valid.addAttribute(Attribute::NoAlias);
+ return Valid;
+}
+
+static AttrBuilder IdentifyValidPoisonGeneratingAttributes(CallBase &CB) {
----------------
nikic wrote:
We should rename the above function to ValidUBGeneratingAttributes for symmetry.
https://github.com/llvm/llvm-project/pull/66036
More information about the llvm-commits
mailing list