1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-fre-details" } */
3 int t(int a
) __attribute__ ((const));
14 /* We should thread the jump twice and eliminate it. */
15 /* { dg-final { scan-tree-dump-times "Replaced.* t " 1 "fre"} } */
16 /* { dg-final { cleanup-tree-dump "fre" } } */