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"} } */