// REQUIRED_ARGS: -O
// PERMUTE_ARGS:

void fn(uint x){uint a = 0 << x;}