mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-08 19:20:44 +08:00
Code Issues Packages Projects Releases Wiki Activity

checks.adb: minor clarification.

Browse Source 
2014-01-29  Ed Schonberg  <schonberg@adacore.com>

	* checks.adb: minor clarification.
	* sem_ch7.adb (Declare_Inherited_Private_Subprograms): Limit
	search for primitive operations to the entities that immediately
	follow the type declaration.

From-SVN: r207248
This commit is contained in:
Ed Schonberg 2014-01-29 15:26:18 +00:00 committed by Arnaud Charlet
parent cca7f1076a
commit 1ae706185e
3 changed files with 19 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ada/ChangeLog
View File

@ -1,3 +1,10 @@
2014-01-29 Ed Schonberg <schonberg@adacore.com>
* checks.adb: minor clarification.
* sem_ch7.adb (Declare_Inherited_Private_Subprograms): Limit
search for primitive operations to the entities that immediately
follow the type declaration.
2014-01-29 Tristan Gingold <gingold@adacore.com>
* exp_ch9.adb (Build_Protected_Entry): Do not call

5
gcc/ada/checks.adb
View File

@ -6694,8 +6694,9 @@ package body Checks is
if (not Inside_Init_Proc or else SPARK_Mode = On)
-- Do not emit the warning within a conditional expression
-- Why not ???
-- Do not emit the warning within a conditional expression,
-- where the expression might not be evaluated, and the warning
-- appear as extraneous noise.
and then not Within_Case_Or_If_Expression (N)
then

9
gcc/ada/sem_ch7.adb
View File

@ -1812,6 +1812,15 @@ package body Sem_Ch7 is
end if;
Next_Entity (Prim_Op);
-- Derived operations appear immediately after the type
-- declaration (or the following subtype indication for
-- a derived scalar type). Further declarations cannot
-- include inherited operations of the type.
if Present (Prim_Op) then
exit when Ekind (Prim_Op) not in Overloadable_Kind;
end if;
end loop;
end if;
end if;