procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

gnat_rm.texi, [...]: Minor reformatting.

Browse source 
2014-01-20  Robert Dewar  <dewar@adacore.com>

	* gnat_rm.texi, sem_ch4.adb: Minor reformatting.

From-SVN: r206843
This commit is contained in:
Robert Dewar 2014-01-20 16:08:09 +00:00 • committed by Arnaud Charlet
parent a736f6e612
commit e4deba8e2f
3 changed files with 10 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/ada/ChangeLog
View file

@ -1,3 +1,7 @@
2014-01-20 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi, sem_ch4.adb: Minor reformatting.
2014-01-20 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Quantified_Expression): If after

2
gcc/ada/gnat_rm.texi
View file

@ -6308,7 +6308,7 @@ Pragma SPARK_Mode can be used as a local pragma with the following semantics:
Auto cannot be used as a mode argument.
@item
When the pragma at the start of the visible declarations (preceded only
When the pragma is at the start of the visible declarations (preceded only
by other pragmas) of a package declaration, it marks the whole package
(declaration and body) in or out of SPARK 2014.

13
gcc/ada/sem_ch4.adb
View file

@ -2956,17 +2956,15 @@ package body Sem_Ch4 is
Form2 : constant Entity_Id := Next_Formal (Form1);
begin
if Ekind (Fun) /= E_Function
or else Is_Abstract_Subprogram (Fun)
then
if Ekind (Fun) /= E_Function or else Is_Abstract_Subprogram (Fun) then
return False;
elsif not Has_Compatible_Type (Act1, Etype (Form1)) then
return False;
elsif Present (Form2) then
if
No (Act2) or else not Has_Compatible_Type (Act2, Etype (Form2))
if No (Act2)
or else not Has_Compatible_Type (Act2, Etype (Form2))
then
return False;
end if;
@ -3016,7 +3014,7 @@ package body Sem_Ch4 is
(Needs_No_Actuals (Nam)
or else
(Needs_One_Actual (Nam)
and then Present (Next_Actual (First (Actuals)))))
and then Present (Next_Actual (First (Actuals)))))
then
if Is_Array_Type (Subp_Type)
and then
@ -3673,8 +3671,7 @@ package body Sem_Ch4 is
begin
Preanalyze (Loop_Par);
if Nkind (Discrete_Subtype_Definition (Loop_Par)) =
N_Function_Call
if Nkind (Discrete_Subtype_Definition (Loop_Par)) = N_Function_Call
and then Parent (Loop_Par) /= N
then
-- The parser cannot distinguish between a loop specification