+++ /dev/null
-/* { dg-do run } */
-/* { dg-options "-O1 -Wall" } */
-
-#define choose __builtin_choose_expr
-
-/* Check the type of __builtin_choose_expr between E1 and E2, both
- ways round and with both 0 and 1 as the condition. */
-#define ASSERT_COND_TYPE(E1, E2) \
- do { \
- typedef __typeof(E1) T1; \
- typedef __typeof(E2) T2; \
- typedef T1 **T1pp; \
- typedef T2 **T2pp; \
- typedef __typeof(choose (1, (E1), (E2))) T1a; \
- typedef __typeof(choose (0, (E2), (E1))) T1b; \
- typedef __typeof(choose (1, (E2), (E1))) T2a; \
- typedef __typeof(choose (0, (E1), (E2))) T2b; \
- typedef T1a **T1app; \
- typedef T1b **T1bpp; \
- typedef T2a **T2app; \
- typedef T2b **T2bpp; \
- T1pp t1 = 0; \
- T2pp t2 = 0; \
- T1app t1a = 0; \
- T1bpp t1b = 0; \
- T2app t2a = 0; \
- T2bpp t2b = 0; \
- t1 = t1a; \
- t1 = t1b; \
- t2 = t2a; \
- t2 = t2b; \
- } while (0)
-
-
-extern void abort ();
-extern void exit ();
-
-void bad ()
-{
- abort ();
-}
-
-void good ()
-{
- exit (0);
-}
-
-int main (void)
-{
- signed char sc1, sc2;
- void *v1;
- int i, j;
- double dd;
- float f;
- typedef void (*fpt)(void);
- fpt triple;
- struct S { int x, y; } pour, some, sugar;
- union u { int p; } united, nations;
-
- if (__builtin_choose_expr (0, 12, 0)
- || !__builtin_choose_expr (45, 5, 0)
- || !__builtin_choose_expr (45, 3, 0))
- abort ();
-
- ASSERT_COND_TYPE (sc1, sc2);
- ASSERT_COND_TYPE (v1, sc1);
- ASSERT_COND_TYPE (i, j);
- ASSERT_COND_TYPE (dd, main);
- ASSERT_COND_TYPE ((float)dd, i);
- ASSERT_COND_TYPE (4, f);
- ASSERT_COND_TYPE (triple, some);
- ASSERT_COND_TYPE (united, nations);
- ASSERT_COND_TYPE (nations, main);
-
- pour.y = 69;
- __builtin_choose_expr (0, bad (), sugar) = pour;
- if (sugar.y != 69)
- abort ();
-
- __builtin_choose_expr (sizeof (int), f, bad ()) = 3.5F;
-
- if (f != 3.5F)
- abort ();
-
- __builtin_choose_expr (1, good, bad)();
-
- exit (0);
-}