gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-7.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1 -fdump-tree-ccp" } */
   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 "ccp"} } */
  27