/* { dg-do compile } */
/* { dg-options "-O2" } */

unsigned f(unsigned a) { return a + -1; }