[llvm] [Verifier] Require that dbg.declare variable is a ptr (PR #134355)

[Nikita Popov via llvm-commits]

================
@@ -55,8 +55,9 @@ end:                                        ; preds = %body
 
 define i64 @simulateWithDbgDeclare(<2 x i32> %a) local_unnamed_addr  {
 entry:
+  %ptr = alloca i32
----------------
nikic wrote:

Hm, adding a store like that would affect the existing CHECK lines, so I'm not sure that's better...

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