| // Check that !cond with operands of different subtypes can |
| // initialize a supertype variable. |
| // RUN: llvm-tblgen --no-warn-on-unused-template-args %s | FileCheck %s |
| // XFAIL: vg_leak |
| |
| class E<int dummy> {} |
| class E1<int dummy> : E<dummy> {} |
| class E2<int dummy> : E<dummy> {} |
| |
| class EX<int cc, E1 b, E2 c> { |
| E x = !cond(cc: b, 1 : c); |
| } |
| |
| def E1d : E1<0>; |
| def E2d : E2<0>; |
| |
| def EXd1 : EX<1, E1d, E2d>; |
| def EXd2 : EX<0, E1d, E2d>; |
| |
| // CHECK: def EXd1 { |
| // CHECK: E x = E1d; |
| // CHECK: } |
| // |
| // CHECK: def EXd2 { |
| // CHECK: E x = E2d; |
| // CHECK: } |
| |
