OLD | NEW |
---|---|
(Empty) | |
1 ; Test that even in a call parameter matches its declaration, it must still | |
Jim Stichnoth
2015/09/17 19:56:46
even if
Karl
2015/09/18 17:22:49
Done.
| |
2 ; be a legal call parameter type (unless declaration is intrinsic). | |
3 | |
4 ; RUN: %p2i --expect-fail -i %s --insts | FileCheck %s | |
5 | |
6 declare void @f(i8); | |
7 | |
8 define void @Test() { | |
9 entry: | |
10 call void @f(i8 1) | |
11 ; CHECK: Call argument 1 matches declaration but has invalid type: i8 | |
12 ret void | |
13 } | |
OLD | NEW |