[llvm] [IPSCCP] Intersect attribute info for interprocedural args (PR #106397)

[Yingwei Zheng via llvm-commits]

================
@@ -210,18 +210,22 @@ define internal i1 @ip_test_nonnull_callee(ptr nonnull %p) {
 ;
 ; IPSCCP-LABEL: define internal i1 @ip_test_nonnull_callee(
 ; IPSCCP-SAME: ptr nonnull [[P:%.*]]) {
-; IPSCCP-NEXT:    [[CMP:%.*]] = icmp ne ptr [[P]], null
-; IPSCCP-NEXT:    ret i1 [[CMP]]
+; IPSCCP-NEXT:    ret i1 poison
----------------
dtcxzyw wrote:

Is it correct? Shouldn't it be `true`?



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