1 /* PR tree-optimization/18046 */
2 /* { dg-options "-O2 -fdump-tree-vrp2-details" } */
3 /* { dg-final { scan-tree-dump-times "Threaded jump" 1 "vrp2" } } */
4 /* In the 2nd VRP pass (after PRE) we expect to thread the default label of the
5 1st switch straight to that of the 2nd switch. */
7 extern void foo (void);
8 extern void bar (void);