xref: /llvm-project/clang/test/CXX/expr/p9.cpp (revision c6e68daac0fa6e77a89f3ca72f266a528503dd1c)
18fbe78f6SDaniel Dunbar // RUN: %clang_cc1 -fsyntax-only -verify %s
2*c6e68daaSAndy Gibbs // expected-no-diagnostics
31245e6ffSDouglas Gregor 
41245e6ffSDouglas Gregor // floating-point overloads
51245e6ffSDouglas Gregor 
61245e6ffSDouglas Gregor __typeof__(0 + 0.0L) ld0;
71245e6ffSDouglas Gregor long double &ldr = ld0;
81245e6ffSDouglas Gregor 
91245e6ffSDouglas Gregor __typeof__(0 + 0.0) d0;
101245e6ffSDouglas Gregor double &dr = d0;
111245e6ffSDouglas Gregor 
121245e6ffSDouglas Gregor __typeof__(0 + 0.0f) f0;
131245e6ffSDouglas Gregor float &fr = f0;
141245e6ffSDouglas Gregor 
151245e6ffSDouglas Gregor // integral promotions
161245e6ffSDouglas Gregor 
171245e6ffSDouglas Gregor signed char c0;
181245e6ffSDouglas Gregor __typeof__(c0 + c0) c1;
191245e6ffSDouglas Gregor int &cr = c1;
201245e6ffSDouglas Gregor 
211245e6ffSDouglas Gregor unsigned char uc0;
221245e6ffSDouglas Gregor __typeof__(uc0 + uc0) uc1;
231245e6ffSDouglas Gregor int &ucr = uc1;
241245e6ffSDouglas Gregor 
251245e6ffSDouglas Gregor short s0;
261245e6ffSDouglas Gregor __typeof__(s0 + s0) s1;
271245e6ffSDouglas Gregor int &sr = s1;
281245e6ffSDouglas Gregor 
291245e6ffSDouglas Gregor unsigned short us0;
301245e6ffSDouglas Gregor __typeof__(us0 + us0) us1;
311245e6ffSDouglas Gregor int &usr = us1;
321245e6ffSDouglas Gregor 
331245e6ffSDouglas Gregor // integral overloads
341245e6ffSDouglas Gregor 
351245e6ffSDouglas Gregor __typeof__(0 + 0UL) ul0;
361245e6ffSDouglas Gregor unsigned long &ulr = ul0;
371245e6ffSDouglas Gregor 
381245e6ffSDouglas Gregor template<bool T> struct selector;
391245e6ffSDouglas Gregor template<> struct selector<true> { typedef long type; };
401245e6ffSDouglas Gregor template<> struct selector<false> {typedef unsigned long type; };
411245e6ffSDouglas Gregor __typeof__(0U + 0L) ui_l0;
421245e6ffSDouglas Gregor selector<(sizeof(long) > sizeof(unsigned int))>::type &ui_lr = ui_l0;
431245e6ffSDouglas Gregor 
441245e6ffSDouglas Gregor __typeof__(0 + 0L) l0;
451245e6ffSDouglas Gregor long &lr = l0;
461245e6ffSDouglas Gregor 
471245e6ffSDouglas Gregor __typeof__(0 + 0U) u0;
481245e6ffSDouglas Gregor unsigned &ur = u0;
491245e6ffSDouglas Gregor 
501245e6ffSDouglas Gregor __typeof__(0 + 0) i0;
511245e6ffSDouglas Gregor int &ir = i0;
52