diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 12:38:27 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-29 12:38:27 +0000 |
| commit | aada9bb5762237f333b99a2e231beb8252da0b17 (patch) | |
| tree | 47c9ebb692db65b23c7bde04163822c20f85bf97 /gcc/ada/exp_disp.adb | |
| parent | 9fede021c517b4b6746b023a0e31e2311351486f (diff) | |
| download | ppe42-gcc-aada9bb5762237f333b99a2e231beb8252da0b17.tar.gz ppe42-gcc-aada9bb5762237f333b99a2e231beb8252da0b17.zip | |
2011-08-29 Robert Dewar <dewar@adacore.com>
* a-convec.adb, exp_disp.adb: Minor reformatting.
2011-08-29 Tristan Gingold <gingold@adacore.com>
* a-exexpr-gcc.adb (GNAT_GCC_Exception_Access): Set to convention C.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@178213 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_disp.adb')
| -rw-r--r-- | gcc/ada/exp_disp.adb | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb index 3df1224e92b..0d752703328 100644 --- a/gcc/ada/exp_disp.adb +++ b/gcc/ada/exp_disp.adb @@ -3698,8 +3698,9 @@ package body Exp_Disp is Typ : Entity_Id) is Comp : Entity_Id; - function Is_Actual_For_Formal_Incomplete_Type (T : Entity_Id) - return Boolean; + + function Is_Actual_For_Formal_Incomplete_Type + (T : Entity_Id) return Boolean; -- In Ada2012, if a nested generic has an incomplete formal type, the -- actual may be (and usually is) a private type whose completion -- appears later. It is safe to build the dispatch table in this @@ -3709,11 +3710,12 @@ package body Exp_Disp is -- Is_Actual_For_Formal_Incomplete_Type -- ------------------------------------------ - function Is_Actual_For_Formal_Incomplete_Type (T : Entity_Id) - return Boolean + function Is_Actual_For_Formal_Incomplete_Type + (T : Entity_Id) return Boolean is Gen_Par : Entity_Id; F : Node_Id; + begin if not Is_Generic_Instance (Current_Scope) or else not Used_As_Generic_Actual (T) @@ -3739,6 +3741,8 @@ package body Exp_Disp is return False; end Is_Actual_For_Formal_Incomplete_Type; + -- Start of processing for Check_Premature_Freezing + begin if Present (N) and then Is_Private_Type (Typ) @@ -3761,7 +3765,7 @@ package body Exp_Disp is and then Present (Comp) and then not Is_Frozen (Comp) and then - not Is_Actual_For_Formal_Incomplete_Type (Comp) + not Is_Actual_For_Formal_Incomplete_Type (Comp) then Error_Msg_Sloc := Sloc (Subp); Error_Msg_Node_2 := Subp; |
