[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