1/* { dg-do run } */ 2/* { dg-options "-O1 -Wall" } */ 3 4#define choose __builtin_choose_expr 5 6/* Check the type of __builtin_choose_expr between E1 and E2, both 7 ways round and with both 0 and 1 as the condition. */ 8#define ASSERT_COND_TYPE(E1, E2) \ 9 do { \ 10 typedef __typeof(E1) T1; \ 11 typedef __typeof(E2) T2; \ 12 typedef T1 **T1pp; \ 13 typedef T2 **T2pp; \ 14 typedef __typeof(choose (1, (E1), (E2))) T1a; \ 15 typedef __typeof(choose (0, (E2), (E1))) T1b; \ 16 typedef __typeof(choose (1, (E2), (E1))) T2a; \ 17 typedef __typeof(choose (0, (E1), (E2))) T2b; \ 18 typedef T1a **T1app; \ 19 typedef T1b **T1bpp; \ 20 typedef T2a **T2app; \ 21 typedef T2b **T2bpp; \ 22 T1pp t1 = 0; \ 23 T2pp t2 = 0; \ 24 T1app t1a = 0; \ 25 T1bpp t1b = 0; \ 26 T2app t2a = 0; \ 27 T2bpp t2b = 0; \ 28 t1 = t1a; \ 29 t1 = t1b; \ 30 t2 = t2a; \ 31 t2 = t2b; \ 32 (void) t1; \ 33 (void) t2; \ 34 } while (0) 35 36 37extern void abort (); 38extern void exit (); 39 40void bad () 41{ 42 abort (); 43} 44 45void good () 46{ 47 exit (0); 48} 49 50int main (void) 51{ 52 signed char sc1, sc2; 53 void *v1; 54 int i, j; 55 double dd; 56 float f; 57 typedef void (*fpt)(void); 58 fpt triple; 59 struct S { int x, y; } pour, some, sugar; 60 union u { int p; } united, nations; 61 62 if (__builtin_choose_expr (0, 12, 0) 63 || !__builtin_choose_expr (45, 5, 0) 64 || !__builtin_choose_expr (45, 3, 0)) 65 abort (); 66 67 ASSERT_COND_TYPE (sc1, sc2); 68 ASSERT_COND_TYPE (v1, sc1); 69 ASSERT_COND_TYPE (i, j); 70 ASSERT_COND_TYPE (dd, main); 71 ASSERT_COND_TYPE ((float)dd, i); 72 ASSERT_COND_TYPE (4, f); 73 ASSERT_COND_TYPE (triple, some); 74 ASSERT_COND_TYPE (united, nations); 75 ASSERT_COND_TYPE (nations, main); 76 77 pour.y = 69; 78 __builtin_choose_expr (0, bad (), sugar) = pour; 79 if (sugar.y != 69) 80 abort (); 81 82 __builtin_choose_expr (sizeof (int), f, bad ()) = 3.5F; 83 84 if (f != 3.5F) 85 abort (); 86 87 __builtin_choose_expr (1, good, bad)(); 88 89 exit (0); 90} 91