[llvm] [Inliner] Fix bug when propagating poison generating return attributes (PR #66036)

[Nikita Popov via llvm-commits]

================
@@ -0,0 +1,498 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes
+; RUN: opt -S -passes=inline %s | FileCheck %s
+; RUN: opt -S -passes='cgscc(inline)' %s | FileCheck %s
+; RUN: opt -S -passes='module-inline' %s | FileCheck %s
+
+declare void @bar1(ptr %p)
+declare void @bar2(ptr %p, ptr %p2)
+
+define dso_local void @foo1_rdonly(ptr readonly %p) {
----------------
nikic wrote:

`dso_local` shouldn't be needed.

https://github.com/llvm/llvm-project/pull/66036