conditional-expr.cpp [plain text]
struct ToBool { explicit operator bool(); };
struct B;
struct A {
A();
A(const B&); };
struct B { operator A() const; }; struct I { operator int(); };
struct J { operator I(); };
struct K { operator double(); };
typedef void (*vfn)();
struct F { operator vfn(); };
struct G { operator vfn(); };
struct Base {
int trick();
A trick() const;
void fn1();
};
struct Derived : Base {
void fn2();
};
struct Convertible { operator Base&(); };
struct Priv : private Base {}; struct Mid : Base {};
struct Fin : Mid, Derived {};
typedef void (Derived::*DFnPtr)();
struct ToMemPtr { operator DFnPtr(); };
struct BadDerived;
struct BadBase { operator BadDerived&(); };
struct BadDerived : BadBase {};
struct Fields {
int i1, i2, b1 : 3, b2 : 3;
};
struct MixedFields {
int i;
volatile int vi;
const int ci;
const volatile int cvi;
};
struct MixedFieldsDerived : MixedFields {
};
enum Enum { EVal };
struct Ambig {
operator short(); operator signed char(); };
struct Abstract {
virtual ~Abstract() = 0; };
struct Derived1: Abstract {
};
struct Derived2: Abstract {
};
void test()
{
int i1 = ToBool() ? 0 : 1;
i1 ? throw 0 : throw 1;
i1 ? test() : throw 1;
i1 ? throw 0 : test();
i1 ? test() : test();
i1 = i1 ? throw 0 : 0;
i1 = i1 ? 0 : throw 0;
i1 ? 0 : test(); i1 ? test() : 0; (i1 ? throw 0 : i1) = 0; (i1 ? i1 : throw 0) = 0;
Base base;
Derived derived;
Convertible conv;
Base &bar1 = i1 ? base : derived;
Base &bar2 = i1 ? derived : base;
Base &bar3 = i1 ? base : conv;
Base &bar4 = i1 ? conv : base;
BadBase bb;
BadDerived bd;
(void)(i1 ? bb : bd); (void)(i1 ? bd : bb); (void)(i1 ? BadBase() : BadDerived());
(void)(i1 ? BadDerived() : BadBase());
extern const Base constret();
extern const Derived constder();
A a1((i1 ? constret() : Base()).trick());
A a2((i1 ? Base() : constret()).trick());
A a3((i1 ? constret() : Derived()).trick());
A a4((i1 ? Derived() : constret()).trick());
i1 = (i1 ? Base() : Base()).trick();
i1 = (i1 ? Base() : Base()).trick();
i1 = (i1 ? Base() : Derived()).trick();
i1 = (i1 ? Derived() : Base()).trick();
(void)(i1 ? Base() : constder()); (void)(i1 ? constder() : Base());
Priv priv;
Fin fin;
(void)(i1 ? Base() : Priv()); (void)(i1 ? Priv() : Base()); (void)(i1 ? Base() : Fin()); (void)(i1 ? Fin() : Base()); (void)(i1 ? base : priv); (void)(i1 ? priv : base); (void)(i1 ? base : fin); (void)(i1 ? fin : base);
i1 = i1 ? I() : i1;
i1 = i1 ? i1 : I();
I i2(i1 ? I() : J());
I i3(i1 ? J() : I());
vfn pfn = i1 ? F() : test;
pfn = i1 ? test : F();
(void)(i1 ? A() : B()); (void)(i1 ? B() : A()); (void)(i1 ? 1 : Ambig()); (void)(i1 ? Ambig() : 1); &(i1 ? i1 : i2);
Fields flds;
int &ir1 = i1 ? flds.i1 : flds.i2;
(i1 ? flds.b1 : flds.i2) = 0;
(i1 ? flds.i1 : flds.b2) = 0;
(i1 ? flds.b1 : flds.b2) = 0;
double d1 = i1 ? I() : K();
pfn = i1 ? F() : G();
DFnPtr pfm;
pfm = i1 ? DFnPtr() : &Base::fn1;
pfm = i1 ? &Base::fn1 : DFnPtr();
i1 = i1 ? i1 : ir1;
int *pi1 = i1 ? &i1 : 0;
pi1 = i1 ? 0 : &i1;
i1 = i1 ? i1 : EVal;
i1 = i1 ? EVal : i1;
d1 = i1 ? 'c' : 4.0;
d1 = i1 ? 4.0 : 'c';
Base *pb = i1 ? (Base*)0 : (Derived*)0;
pb = i1 ? (Derived*)0 : (Base*)0;
pfm = i1 ? &Base::fn1 : &Derived::fn2;
pfm = i1 ? &Derived::fn2 : &Base::fn1;
pfm = i1 ? &Derived::fn2 : 0;
pfm = i1 ? 0 : &Derived::fn2;
const int (MixedFieldsDerived::*mp1) =
i1 ? &MixedFields::ci : &MixedFieldsDerived::i;
const volatile int (MixedFields::*mp2) =
i1 ? &MixedFields::ci : &MixedFields::cvi;
(void)(i1 ? &MixedFields::ci : &MixedFields::vi);
&(i1 ? i1 : d1);
(void)&(i1 ? flds.b1 : flds.i1); (void)&(i1 ? flds.i1 : flds.b1);
unsigned long test0 = 5;
test0 = test0 ? (long) test0 : test0; test0 = test0 ? (int) test0 : test0; test0 = test0 ? (short) test0 : test0; test0 = test0 ? test0 : (long) test0; test0 = test0 ? test0 : (int) test0; test0 = test0 ? test0 : (short) test0; test0 = test0 ? test0 : (long) 10;
test0 = test0 ? test0 : (int) 10;
test0 = test0 ? test0 : (short) 10;
test0 = test0 ? (long) 10 : test0;
test0 = test0 ? (int) 10 : test0;
test0 = test0 ? (short) 10 : test0;
int test1;
test0 = test0 ? EVal : test0;
test1 = test0 ? EVal : (int) test0;
test0 = test0 ? EVal : test1; test0 = test0 ? test1 : EVal;
test1 = test0 ? EVal : (int) test0;
test1 = test0 ? (int) test0 : EVal;
const Abstract &a = true ? static_cast<const Abstract&>(Derived1()) : Derived2(); true ? static_cast<const Abstract&>(Derived1()) : throw 3; }
namespace PR6595 {
struct OtherString {
OtherString();
OtherString(const char*);
};
struct String {
String(const char *);
String(const OtherString&);
operator const char*() const;
};
void f(bool Cond, String S, OtherString OS) {
(void)(Cond? S : "");
(void)(Cond? "" : S);
const char a[1] = {'a'};
(void)(Cond? S : a);
(void)(Cond? a : S);
(void)(Cond? OS : S);
}
}
namespace PR6757 {
struct Foo1 {
Foo1();
Foo1(const Foo1&);
};
struct Foo2 { };
struct Foo3 {
Foo3();
Foo3(Foo3&); };
struct Bar {
operator const Foo1&() const;
operator const Foo2&() const;
operator const Foo3&() const;
};
void f() {
(void)(true ? Bar() : Foo1()); (void)(true ? Bar() : Foo2()); (void)(true ? Bar() : Foo3()); }
}
namespace test1 {
struct A {
enum Foo {
fa, fb, fc, fd, fe, ff
};
Foo x();
};
void foo(int);
void test(A *a) {
foo(a ? a->x() : 0);
}
}
namespace rdar7998817 {
class X {
X(X&);
struct ref { };
public:
X();
X(ref);
operator ref();
};
void f(bool B) {
X x;
(void)(B? x : X());
}
}
namespace PR7598 {
enum Enum {
v = 1,
};
const Enum g() {
return v;
}
const volatile Enum g2() {
return v;
}
void f() {
const Enum v2 = v;
Enum e = false ? g() : v;
Enum e2 = false ? v2 : v;
Enum e3 = false ? g2() : v;
}
}
namespace PR9236 {
#define NULL 0L
void f() {
int i;
(void)(true ? A() : NULL); (void)(true ? NULL : A()); (void)(true ? 0 : A()); (void)(true ? nullptr : A()); (void)(true ? nullptr : i); (void)(true ? __null : A()); (void)(true ? (void*)0 : A()); }
}
namespace DR587 {
template<typename T>
const T *f(bool b) {
static T t1 = T();
static const T t2 = T();
return &(b ? t1 : t2);
}
struct S {};
template const int *f(bool);
template const S *f(bool);
extern bool b;
int i = 0;
const int ci = 0;
volatile int vi = 0;
const volatile int cvi = 0;
const int &cir = b ? i : ci;
volatile int &vir = b ? vi : i;
const volatile int &cvir1 = b ? ci : cvi;
const volatile int &cvir2 = b ? cvi : vi;
const volatile int &cvir3 = b ? ci : vi; }