1  /* { dg-do compile } */
       2  /* { dg-options "-O1 -fdump-tree-optimized" } */
       3  
       4  extern void link_error (void);
       5  
       6  /* tests to check if cprop works when using non-return functions   */
       7  
       8  extern int not_returning (int) __attribute__ ((noreturn));
       9  
      10  int b;
      11  int test7 (int a)
      12  {
      13    b = 7;
      14    if (a)
      15      {
      16        not_returning (a);
      17      }
      18    if (b != 7)
      19      link_error ();
      20    return b;
      21  }
      22  
      23  
      24  /* There should be not link_error calls, if there is any the
      25     optimization has failed */
      26  /* { dg-final { scan-tree-dump-times "link_error" 0 "optimized"} } */