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