[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