/* PR 15454 */

void abort();
int main() {
    int foo;
    int bar(void) {
        int baz = 0;
        if (foo != 45)
            baz = foo;
        return baz;
    }
    foo = 1;
    if (!bar())
        abort();
    return 0;
}
/* { dg-require-effective-target nested } */
