[llvm] [Verifier] Validate !tbaa.struct metadata (PR #225910)

[Nikita Popov via llvm-commits]

================
@@ -37,4 +47,8 @@ declare void @llvm.memcpy.p0.p0.i64(ptr nocapture, ptr nocapture, i64, i1) nounw
 !5 = !{i64 0, !2, !1}
 !6 = !{!2, i64 0, !1}
 !7 = !{i64 0, i64 4, null}
-!8 = !{i64 0, i64 4, !2}
+!8 = !{i64 0, i64 4, !10}
+!9 = !{i64 4, i64 4, !1, i64 0, i64 4, !1}
+; A struct-path-shaped access tag with a non-constant offset. Auto-upgrade
+; leaves it unchanged (operand 0 is already an MDNode), so it stays rejected.
----------------
nikic wrote:

Making it non-constant to circumvent auto-upgrade should no longer be necessary.

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