diff options
Diffstat (limited to 'gcc/ada/frontend.adb')
| -rw-r--r-- | gcc/ada/frontend.adb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 41a0cb8..712340a 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -412,14 +412,15 @@ begin -- Cleanup processing after completing main analysis - -- Comment needed for ASIS mode test and GNATprove mode test??? + -- In GNATprove_Mode we do not perform most expansions but body + -- instantiation is needed. pragma Assert (Operating_Mode = Generate_Code or else Operating_Mode = Check_Semantics); if Operating_Mode = Generate_Code - or else (ASIS_Mode or GNATprove_Mode) + or else GNATprove_Mode then Instantiate_Bodies; end if; |