1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-dom1-details" } */
3 int t(int a) __attribute__ ((const));
16 /* We should propagate constant 4 into return. */
17 /* { dg-final { scan-tree-dump-times "Replaced.*with constant '4'" 1 "dom1"} } */
18 /* { dg-final { cleanup-tree-dump "dom1" } } */