[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 10:01:55 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:
Sorry, this was unclear because GitHub doesn't allow commenting on unchanged lines: I meant that IdentifyValidAttributes should become IdentifyValidUBGeneratingAttributes and this one should stay as IdentifyValidPoisonGeneratingAttributes.
https://github.com/llvm/llvm-project/pull/66036
More information about the llvm-commits
mailing list