gcc/testsuite/gcc.dg/pr52558-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "--param allow-store-data-races=0 -O2 -fdump-tree-lim1" } */
   3
   4 /* Test that g_2 is not written to unless !g_1.  */
   5
   6 int g_1 = 1;
   7 int g_2 = 0;
   8
   9 int func_1(void)
  10 {
  11  int l;
  12  for (l = 0; l < 1234; l++)
  13  {
  14    if (g_1)
  15      return l;
  16    else
  17      g_2 = 0;
  18  }
  19  return 999;
  20 }
  21
  22 /* { dg-final { scan-tree-dump-times "MEM.*g_2_lsm_flag" 1 "lim1" } } */
  23 /* { dg-final { cleanup-tree-dump "lim1" } } */