1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-pre-stats" } */
13 /* We should detect that a+b is the same along both edges, and replace it with
15 /* { dg-final { scan-tree-dump-times "Constified: 1" 1 "pre"} } */
16 /* { dg-final { cleanup-tree-dump "pre" } } */