gcc/testsuite/gcc.dg/tree-prof/20050826-2.c

   1 /* Testcase derived from gcc.c-torture/execute 20050826-2.c
   2    which showed jump threading profile insanities.  */
   3 /* { dg-options "-Ofast -fdump-tree-dom2-all" } */
   4
   5 struct rtattr
   6 {
   7   unsigned short rta_len;
   8   unsigned short rta_type;
   9 };
  10
  11 __attribute__ ((noinline))
  12 int inet_check_attr (void *r, struct rtattr **rta)
  13 {
  14   int i;
  15
  16   for (i = 1; i <= 14; i++)
  17     {
  18       struct rtattr *attr = rta[i - 1];
  19       if (attr)
  20         {
  21           if (attr->rta_len - sizeof (struct rtattr) < 4)
  22             return -22;
  23           if (i != 9 && i != 8)
  24             rta[i - 1] = attr + 1;
  25         }
  26     }
  27   return 0;
  28 }
  29
  30 extern void abort (void);
  31
  32 int
  33 test (void)
  34 {
  35   struct rtattr rt[2];
  36   struct rtattr *rta[14];
  37   int i;
  38
  39   rt[0].rta_len = sizeof (struct rtattr) + 8;
  40   rt[0].rta_type = 0;
  41   rt[1] = rt[0];
  42   for (i = 0; i < 14; i++)
  43     rta[i] = &rt[0];
  44   if (inet_check_attr (0, rta) != 0)
  45     abort ();
  46   for (i = 0; i < 14; i++)
  47     if (rta[i] != &rt[i != 7 && i != 8])
  48       abort ();
  49   for (i = 0; i < 14; i++)
  50     rta[i] = &rt[0];
  51   rta[1] = 0;
  52   rt[1].rta_len -= 8;
  53   rta[5] = &rt[1];
  54   if (inet_check_attr (0, rta) != -22)
  55     abort ();
  56   for (i = 0; i < 14; i++)
  57     if (i == 1 && rta[i] != 0)
  58       abort ();
  59     else if (i != 1 && i <= 5 && rta[i] != &rt[1])
  60       abort ();
  61     else if (i > 5 && rta[i] != &rt[0])
  62       abort ();
  63   return 0;
  64 }
  65
  66 int
  67 main (void)
  68 {
  69   int i;
  70   for (i=0; i<100; i++)
  71     test ();
  72   return 0;
  73 }
  74
  75 /* { dg-final-use-not-autofdo { scan-tree-dump-not "Invalid sum" "dom2"} } */