diff --git a/test/Feature/aliases.ll b/test/Feature/aliases.ll index c3593852d71..ad1d1b08901 100644 --- a/test/Feature/aliases.ll +++ b/test/Feature/aliases.ll @@ -10,6 +10,12 @@ @foo3 = alias i32* @foo2 @foo4 = unnamed_addr alias i32* @foo2 +; Make sure the verifier does not complain about references to a global +; declaration from an initializer. +@decl = external global i32 +@ptr = global i32* @decl +@ptr_a = alias i32** @ptr + %FunTy = type i32() define i32 @foo_f() { diff --git a/test/Verifier/alias.ll b/test/Verifier/alias.ll index d71a7cb2b6e..ff02a37bab9 100644 --- a/test/Verifier/alias.ll +++ b/test/Verifier/alias.ll @@ -11,10 +11,6 @@ declare void @f() ; CHECK: Alias must point to a definition ; CHECK-NEXT: @ga -; References to a global declaration from an initializer are OK. -@gptr = global i32* @g -@gptr_a = alias i32** @gptr -; CHECK-NOT: Alias must point to a definition @test2_a = alias i32* @test2_b @test2_b = alias i32* @test2_a