summaryrefslogtreecommitdiff
path: root/gcc/ada/frontend.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/frontend.adb')
-rw-r--r--gcc/ada/frontend.adb11
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.