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