================ @@ -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