Fix for PR1633: Verifier doesn't fully verify GC intrinsics
[oota-llvm.git] / test / Verifier / gcroot-meta.ll
1 ; RUN: not llvm-as < %s
2 ; PR1633
3
4 %meta = type { i8* }
5 %obj = type { %meta* }
6
7 declare void @llvm.gcroot(%obj**, %meta*)
8
9 define void @f() {
10 entry:
11         %local.obj = alloca %obj*
12         %local.meta = alloca %meta
13         call void @llvm.gcroot(%obj** %local.obj, %meta* %local.meta)
14         
15         ret void
16 }