1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -ftree-cselim -fdump-tree-cselim-details" } */
       3  
       4  int c;
       5  unsigned test(unsigned k, unsigned b) {
       6          unsigned a[2];
       7  	a[k] = c;
       8          if (b < a[k]) {
       9                  a[k] = b;
      10          }
      11          return a[0]+a[1];
      12  }
      13  
      14  /* { dg-final { scan-tree-dump "Conditional store replacement" "cselim" } } */