/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-evrp " } */

void foo();
static void __attribute__ ((noinline)) DCEMarker0_() {foo ();}

void f(bool s, bool c) {
    if ((!c == !s) && !c) {
        if (s) {
            DCEMarker0_();
        }
    }
}

// With equivalences, vrp should be able to remove all IFs.
/* { dg-final { scan-tree-dump-not "goto" "evrp" } } */