OLD | NEW |
1 ; RUN: not pnacl-abicheck < %s | FileCheck %s | 1 ; RUN: not pnacl-abicheck < %s | FileCheck %s |
2 | 2 |
3 define void @varargs_func(i32 %arg, ...) { | 3 define void @varargs_func(i32 %arg, ...) { |
4 ret void | 4 ret void |
5 } | 5 } |
6 ; CHECK: Function varargs_func has disallowed type: void (i32, ...) | 6 ; CHECK: Function varargs_func has disallowed type: void (i32, ...) |
7 | 7 |
8 define void @call_varargs_func(i32 %ptr) { | 8 define void @call_varargs_func(i32 %ptr) { |
9 %ptr2 = inttoptr i32 %ptr to void (i32, ...)* | 9 %ptr2 = inttoptr i32 %ptr to void (i32, ...)* |
10 call void (i32, ...)* %ptr2(i32 123) | 10 call void (i32, ...) %ptr2(i32 123) |
11 ret void | 11 ret void |
12 } | 12 } |
13 ; CHECK: Function call_varargs_func disallowed: bad function callee operand: cal
l void (i32, ...)* | 13 ; CHECK: Function call_varargs_func disallowed: bad function callee operand: cal
l void (i32, ...) |
OLD | NEW |