// { dg-additional-options -MD }
// { dg-additional-options -fdeps-file=depflags-3.ddi }
// { dg-additional-options -fdeps-target=depflags-1.C }
// { dg-additional-options -fdeps-format=p1689r5 }