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

[multiple changes]

Browse source 
2009-04-08  Thomas Quinot  <quinot@adacore.com>

	* checks.adb: Minor reformatting

2009-04-08  Vincent Celier  <celier@adacore.com>

	* vms_data.ads: Add documentation for new style keyword
	OVERRIDING_INDICATORS

2009-04-08  Robert Dewar  <dewar@adacore.com>

	* sem_ch3.adb (Check_Completion.Post_Error): Post error on spec if the
	spec is in the current unit.

From-SVN: r145749
This commit is contained in:
Arnaud Charlet 2009-04-08 17:23:25 +02:00
parent c6963675eb
commit b568955d9c
4 changed files with 53 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
gcc/ada/ChangeLog
View file

@ -1,3 +1,17 @@
2009-04-08 Thomas Quinot <quinot@adacore.com>
* checks.adb: Minor reformatting
2009-04-08 Vincent Celier <celier@adacore.com>
* vms_data.ads: Add documentation for new style keyword
OVERRIDING_INDICATORS
2009-04-08 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb (Check_Completion.Post_Error): Post error on spec if the
spec is in the current unit.
2009-04-08 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Is_Protected_Self_Reference): Add guard to check for

3
gcc/ada/checks.adb
View file

@ -4821,7 +4821,7 @@ package body Checks is
Suppress => All_Checks);
-- Only remaining possibility is that the source is signed and
-- the target is unsigned
-- the target is unsigned.
else
pragma Assert (not Is_Unsigned_Type (Source_Base_Type)
@ -5484,6 +5484,7 @@ package body Checks is
return Scope_Suppress (Overflow_Check);
end if;
end Overflow_Checks_Suppressed;
-----------------------------
-- Range_Checks_Suppressed --
-----------------------------

31
gcc/ada/sem_ch3.adb
View file

@ -8274,6 +8274,30 @@ package body Sem_Ch3 is
----------------
procedure Post_Error is
procedure Missing_Body;
-- Output missing body message
------------------
-- Missing_Body --
------------------
procedure Missing_Body is
begin
-- Spec is in same unit, so we can post on spec
if In_Same_Source_Unit (Body_Id, E) then
Error_Msg_N ("missing body for &", E);
-- Spec is in a separate unit, so we have to post on the body
else
Error_Msg_NE ("missing body for & declared#!", Body_Id, E);
end if;
end Missing_Body;
-- Start of processing for Post_Error
begin
if not Comes_From_Source (E) then
@ -8363,13 +8387,12 @@ package body Sem_Ch3 is
Check_Type_Conformant (Candidate, E);
else
Error_Msg_NE ("missing body for & declared#!",
Body_Id, E);
Missing_Body;
end if;
end;
else
Error_Msg_NE ("missing body for & declared#!",
Body_Id, E);
Missing_Body;
end if;
end if;
end if;

12
gcc/ada/vms_data.ads
View file

@ -2242,10 +2242,12 @@ package VMS_Data is
"-gnaty-n " &
"ORDERED_SUBPROGRAMS " &
"-gnatyo " &
"OVERRIDING_INDICATORS " &
"-gnatyO " &
"NOORDERED_SUBPROGRAMS " &
"-gnaty-o " &
"OVERRIDING_INDICATORS " &
"-gnatyO " &
"NOOVERRIDING_INDICATORS " &
"-gnaty-O " &
"PRAGMA " &
"-gnatyp " &
"NOPRAGMA " &
@ -2485,6 +2487,12 @@ package VMS_Data is
-- in the ordering (e.g. Junk2 comes before
-- Junk10).
--
-- OVERRIDING_INDICATORS Check that overriding subprograms are
-- explicitly marked as such. The declaration of
-- a primitive operation of a type extension that
-- overrides an inherited operation must carry
-- an overriding indicator.
--
-- PRAGMA Check pragma casing.
-- Pragma names must be written in mixed case,
-- that is, the initial letter and any letter