test/Verifier/alloc-2.ll

   1 ; RUN: llvm-as < %s -o /dev/null
   2
   3 declare i32 @size() readonly
   4 declare i32 @size1(i32) readnone
   5 declare i32 @size1i8(i8) readnone
   6
   7 define void @ok(i8** %x, i32 %y) {
   8 entry:
   9   %0 = load i8** %x, !alloc !0
  10   %1 = load i8** %x, !alloc !1
  11   %2 = load i8** %x, !alloc !2
  12   %3 = load i8** %x, !alloc !3
  13   %4 = load i8** %x, !alloc !{i32 (i32)* @size1, i32 (i32)* @size1, i32 %y}
  14   ret void
  15 }
  16 !0 = metadata !{i32 ()* @size, i32 ()* @size}
  17 !1 = metadata !{i32 ()* @size, null}
  18 !2 = metadata !{i32 (i32)* @size1, i32 (i32)* @size1, i32 0}
  19 !3 = metadata !{i32 (i8)* @size1i8, i32 (i8)* @size1i8, i8 0}