1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-evrp " } */
5 static void __attribute__ ((noinline)) DCEMarker0_() {foo ();}
7 void f(bool s, bool c) {
8 if ((!c == !s) && !c) {
15 // With equivalences, vrp should be able to remove all IFs.
16 /* { dg-final { scan-tree-dump-not "goto" "evrp" } } */