case of a body created for a Renaming_As_Body, on which
conformance checks are not performed. Fixes PR ada/5690.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@60158
138bc75d-0d04-0410-961f-
82ee72b054a4
+2002-12-14 Geert Bosch <bosch@gnat.com>
+
+ * sem_ch6.adb (Analyze_Subprogram_Body): Recognize additional
+ case of a body created for a Renaming_As_Body, on which
+ conformance checks are not performed. Fixes PR ada/5690.
+
2002-11-18 Nathanael Nerode <neroden@gcc.gnu.org>
* adaint.c (__gnat_tmp_name): Better, but good enough for now,
solution to buffer overflow bug on GNU/Linux.
-- and the test can lead to spurious errors on nested defaults.
if Present (Spec_Decl)
- and then Nkind (Original_Node (Spec_Decl)) =
- N_Subprogram_Renaming_Declaration
and then not Comes_From_Source (N)
+
+ and then
+ (Nkind (Original_Node (Spec_Decl)) =
+ N_Subprogram_Renaming_Declaration
+
+ or else (Present (Corresponding_Body (Spec_Decl))
+ and then Nkind
+ (Unit_Declaration_Node (Corresponding_Body (Spec_Decl))) = + N_Subprogram_Renaming_Declaration))
then
Conformant := True;
else