OLD | NEW |
---|---|
(Empty) | |
1 ; Test that even if a call return type matches its declaration, it must still be | |
2 ; a legal call return type (unless declaration is intrinsic). | |
3 | |
4 ; REQUIRES: no_minimal_build | |
5 | |
6 ; RUN: %p2i --expect-fail -i %s --insts | FileCheck %s | |
7 | |
8 declare i1 @f(); | |
9 | |
10 define void @Test() { | |
11 entry: | |
12 %v = call i1 @f() | |
13 ; CHECK: Return type of called function is invalid: i1 | |
14 ret void | |
15 } | |
16 | |
OLD | NEW |