================
@@ -0,0 +1,38 @@
+; RUN: llvm-as < %s 2>&1
+
+define void @test_overlapping_regions(ptr %a1) {
----------------
fhahn wrote:
might be good to add a FIXME that the verifier should reject the invalid `!tbaa.struct` nodes.
https://github.com/llvm/llvm-project/pull/86167