gcc/testsuite/gcc.dg/cpp/macro1.c

   1 /* Copyright (C) 2000 Free Software Foundation, Inc.  */
   2
   3 /* { dg-do run } */
   4
   5 /* Tests various macro abuse is correctly expanded.  */
   6
   7 #if DEBUG
   8 extern int puts (const char *);
   9 #else
  10 #define puts(X)
  11 #endif
  12 extern void abort (void);
  13 extern int strcmp(const char *s1, const char *s2);
  14
  15 #define err(str) do { puts(str); abort(); } while (0)
  16 #define j(x, y) x + y
  17 #define k(x, y) j(x + 2, y +
  18 #define glue(x, y) x ## y
  19 #define xglue(x, y) glue(x, y)
  20
  21 /* Functions called when macros are left unexpanded.  */
  22 int q(int x)            {return x + 40;}
  23 int B(int x)            {return x + 20;}
  24 int foo(int x)          {return x + 10;}
  25 int bar(int x, int y)   {return x + y;}
  26 int baz(int x, int y)   {return x + y;}
  27 int toupper(int x)      {return x + 32;}
  28 int M(int x)            {return x * 2;}
  29
  30 int main (int argc, char *argv[])
  31 {
  32 #define q(x) x
  33   if (q(q)(2) != 42)
  34     err ("q");
  35
  36 #define A(x) B(x)
  37   if (A(A(2)) != 42)
  38     err ("A");
  39
  40 #define E(x) A x
  41 #define F (22)
  42   if (E(F) != 42)
  43     err ("E(F)");
  44
  45 #define COMMA ,
  46 #define NASTY(a) j(a 37)
  47   if (NASTY (5 COMMA) != 42)
  48     err ("NASTY");
  49
  50 #define bar(x, y) foo(x(y, 0))
  51 #define apply(x, y) foo(x(y, 22))
  52 #define bam bar
  53   if (bar(bar, 32) != 42)       /* foo(bar(32, 0)).  */
  54     err ("bar bar");
  55   if (bar(bam, 32) != 42)       /* Same.  */
  56     err ("bar bam");
  57   if (apply(bar, baz) != 42)    /* foo(foo(baz(22, 0))).  */
  58     err ("apply bar baz");
  59
  60   /* Taken from glibc.  */
  61 #define __tobody(c, f) f (c)
  62 #define toupper(c) __tobody (c, toupper)
  63   if (toupper (10) != 42)       /* toupper (10). */
  64     err ("toupper");
  65
  66   /* This tests that M gets expanded the right no. of times.  Too many
  67      times, and we get excess "2 +"s and the wrong sum.  Derived from
  68      nested stpcpy in dggettext.c.  */
  69 #define M(x) 2 + M(x)
  70 #define stpcpy(a) M(a)
  71   if (stpcpy (stpcpy (9)) != 42) /*  2 + M (2 + M (9)) */
  72     err ("stpcpy");
  73
  74   /* Another test derived from nested stpcpy's of dggettext.c.  Uses
  75      macro A(x) and function B(x) as defined above.  The problem was
  76      the same - excess "1 +"s and the wrong sum.  */
  77 #define B(x) 1 + B(x)
  78 #define C(x) A(x)
  79   if (C(B(0)) != 42)            /* 1 + B (1 + B (0)) */
  80     err ("C");
  81
  82   /* More tests derived from gcc itself - the use of XEXP and COST.
  83      These first two should both expand to the same thing.  */
  84   {
  85     int insn = 6, i = 2, b = 2;
  86 #define XEXP(RTX, N)  (RTX * N + 2)
  87 #define PATTERN(INSN) XEXP(INSN, 3)
  88     if (XEXP (PATTERN (insn), i) != 42) /* ((insn * 3 + 2) * i + 2) */
  89       err ("XEXP (PATTERN)");
  90     if (XEXP (XEXP (insn, 3), i) != 42) /* ((insn * 3 + 2) * i + 2) */
  91       err ("XEXP (XEXP)");
  92
  93 #define COST(X) XEXP (XEXP (X, 4), 4)
  94     if (COST (b) != 42)         /* ((b * 4 + 2) * 4 + 2) */
  95       err ("COST");
  96   }
  97
  98   /* This tests macro recursion and expand-after-paste.  */
  99 #define FORTYTWO "forty"
 100 #define TWO TWO "-two"
 101   if (strcmp (glue(FORTY, TWO), "forty"))
 102     err ("glue");
 103   if (strcmp (xglue(FORTY, TWO), "forty-two"))
 104     err ("xglue");
 105
 106   /* Test ability to call macro over multiple logical lines.  */
 107   if (q
 108       (42) != 42
 109       || q (
 110          42) != 42
 111       || q (42
 112             ) != 42
 113       || q
 114       (
 115        42
 116        )
 117       != 42)
 118     err ("q over multiple lines");
 119
 120   /* Corner case.  Test that macro expansion is turned off for later
 121      q, when not at start but at end of argument context, and supplied
 122      with the '(' necessary for expansion.  */
 123   if (q(1 + q)(1) != 42)        /* 1 + q(1) */
 124     err ("Nested q");
 125
 126   /* This looks like it has too many ')', but it hasn't.  */
 127   if (k(1, 4) 35) != 42)
 128     err ("k");
 129
 130   /* Phew! */
 131   return 0;
 132 }