diff options
-rw-r--r-- | test/Feature/aliases.ll | 6 | ||||
-rw-r--r-- | test/Verifier/alias.ll | 4 |
2 files changed, 6 insertions, 4 deletions
diff --git a/test/Feature/aliases.ll b/test/Feature/aliases.ll index c3593852d7..ad1d1b0890 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 d71a7cb2b6..ff02a37bab 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 |