/* { dg-lto-do link } */
/* { dg-lto-options { { -O0 -fipa-vrp -flto } } } */

int main() {

}