diff options
Diffstat (limited to 'gcc/ada/frontend.adb')
-rw-r--r-- | gcc/ada/frontend.adb | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 12c91b11d9a..cdca67bf397 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -30,6 +30,7 @@ with Checks; with CStand; with Debug; use Debug; with Elists; +with Exp_Ch6; with Exp_Dbug; with Exp_Unst; with Fmap; @@ -523,6 +524,16 @@ begin VAST.Check_Tree (Cunit (Main_Unit)); end if; + -- Validate all the subprogram calls; this work will be done by VAST; in + -- the meantime it is done to check extra formals and it can be disabled + -- using -gnatd_X (which also disables all the other assertions on extra + -- formals). It is invoked using pragma Debug to avoid adding any cost + -- when the compiler is built with assertions disabled. + + if not Debug_Flag_Underscore_XX then + pragma Debug (Exp_Ch6.Validate_Subprogram_Calls (Cunit (Main_Unit))); + end if; + -- Dump the source now. Note that we do this as soon as the analysis -- of the tree is complete, because it is not just a dump in the case -- of -gnatD, where it rewrites all source locations in the tree. |