diff options
author | Arnaud Charlet <charlet@adacore.com> | 2020-03-03 11:51:49 -0500 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-09 04:09:06 -0400 |
commit | 2d6f6e08e69209d3df5b49b738c08ce3e921bf44 (patch) | |
tree | 455481c607c45040361d76c6139535fc05360d7e /gcc/ada/exp_ch6.adb | |
parent | 3e6711046ae71601a40636e768c8d9d7def57add (diff) | |
download | gcc-2d6f6e08e69209d3df5b49b738c08ce3e921bf44.zip gcc-2d6f6e08e69209d3df5b49b738c08ce3e921bf44.tar.gz gcc-2d6f6e08e69209d3df5b49b738c08ce3e921bf44.tar.bz2 |
[Ada] Code clean ups and comments updates
2020-06-09 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* exp_ch3.adb, exp_ch4.adb, exp_ch6.adb, exp_ch9.adb,
exp_disp.adb, exp_util.adb: Add comments related to errors that
should be moved to semantic analysis. Also replace "?" with "??"
in warning messages.
Diffstat (limited to 'gcc/ada/exp_ch6.adb')
-rw-r--r-- | gcc/ada/exp_ch6.adb | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index 4f8b4717..e948580 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -1960,7 +1960,7 @@ package body Exp_Ch6 is then if Comes_From_Source (N) then Error_Msg_N - ("?atomic actual passed by copy (RM C.6(19))", Actual); + ("??atomic actual passed by copy (RM C.6(19))", Actual); end if; return True; end if; @@ -1971,7 +1971,7 @@ package body Exp_Ch6 is then if Comes_From_Source (N) then Error_Msg_N - ("?volatile actual passed by copy (RM C.6(19))", Actual); + ("??volatile actual passed by copy (RM C.6(19))", Actual); end if; return True; end if; @@ -3921,6 +3921,8 @@ package body Exp_Ch6 is if Present (Ass) and then Is_Class_Wide_Type (Etype (Name (Ass))) then + -- Move the error messages below to sem??? + if Is_Access_Type (Etype (Call_Node)) then if Designated_Type (Etype (Call_Node)) /= Root_Type (Etype (Name (Ass))) @@ -4115,6 +4117,8 @@ package body Exp_Ch6 is Set_Entity (Name (Call_Node), Parent_Subp); + -- Move this check to sem??? + if Is_Abstract_Subprogram (Parent_Subp) and then not In_Instance then |