[llvm] [Attributor][FIX] Ensure nonnull IR deduction is not optimistic (PR #93322)

[Johannes Doerfert via llvm-commits]

================
@@ -1609,6 +1612,33 @@ define void @multi_ret_caller(ptr %p) {
   ret void
 }
 
+; From https://github.com/llvm/llvm-project/pull/85810
+ at G = internal global i64 1, align 8
+define dso_local ptr @update_global_in_alive_bb() {
+; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn
+; CHECK-LABEL: define {{[^@]+}}@update_global_in_alive_bb
----------------
jdoerfert wrote:

The test is currently miscomputed to return 5. We make sure it doesn't anymore with the check lines.

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