> 2017-09-18  Bob Duff  <d...@adacore.com>
> 
>       * gnat.dg/validity_check.adb: New testcase.

+--  { dg-options "-cargs -O -gnatn -gnatVa -gnatws -margs" }

You don't need this, just use:

--  { dg-options "-O -gnatn -gnatVa -gnatws" }

The -cargs/-margs trick is only needed for special switches like -dA.

-- 
Eric Botcazou

Reply via email to