1  /* Verify that an anti-range ~[A, B] with small positive A and B
       2     is handled correctly and doesn't trigger warnings.
       3     { dg-do compile }
       4     { dg-options "-O2 -Wall" }
       5     { dg-require-effective-target alloca } */
       6  
       7  typedef __typeof__ (sizeof 0) size_t;
       8  
       9  int f (void*, size_t);
      10  int g (void*);
      11  
      12  // Test case distilled from gcc/cp/semantics.c
      13  
      14  int omp_reduction_id (int i, int j, const char *mm)
      15  {
      16    const char *p = 0;
      17    const char *m = 0;
      18  
      19    switch (i)
      20      {
      21      case 1:
      22        p = "min";
      23        break;
      24      case 2:
      25        p = "max";
      26        break;
      27      default:
      28        break;
      29      }
      30  
      31    if (j)
      32      m = mm;
      33  
      34    const char prefix[] = "omp declare reduction ";
      35    size_t lenp = sizeof (prefix);
      36  
      37    if (__builtin_strncmp (p, prefix, lenp - 1) == 0)
      38      lenp = 1;
      39  
      40    size_t len = __builtin_strlen (p);
      41    size_t lenm = m ? __builtin_strlen (m) + 1 : 0;
      42    char *name = ((char *) __builtin_alloca(lenp + len + lenm));
      43  
      44    if (lenp > 1)
      45      __builtin_memcpy (name, prefix, lenp - 1);
      46  
      47    __builtin_memcpy (name + lenp - 1, p, len + 1);
      48    if (m)
      49      {
      50        name[lenp + len - 1] = '~';
      51        __builtin_memcpy (name + lenp + len, m, lenm);
      52      }
      53    return (__builtin_constant_p (name)
      54  	  ? f (name, __builtin_strlen (name)) : g (name));
      55  }
      56  
      57  // Test case derived from gcc/d/dmd/root/filename.c.
      58  
      59  const char *ext (const char *str)
      60  {
      61    size_t len = __builtin_strlen(str);
      62  
      63    const char *e = str + len;
      64    for (;;)
      65      {
      66        switch (*e)
      67          {
      68  	case '.': return e + 1;
      69  	case '/': break;
      70  	default:
      71  	  if (e == str)
      72  	    break;
      73  	  e--;
      74  	  continue;
      75          }
      76        return 0;
      77      }
      78  }
      79  
      80  const char *removeExt (const char *str)
      81  {
      82    const char *e = ext (str);
      83    if (e)
      84      {
      85        size_t len = (e - str) - 1;
      86        char *n = (char *)__builtin_malloc (len + 1);
      87        __builtin_memcpy(n, str, len);
      88        n[len] = 0;
      89        return n;
      90      }
      91    return 0;
      92  }