2010-06-14 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body): Do not check conformance when
the spec has been generated for a body without spec that carries an
Inline_Always pragma.
2010-06-14 Arnaud Charlet <charlet@adacore.com>
* lib-xref.ads: Documentation change: allocate 'Z' letter to C/C++
macro.
From-SVN: r160723
+2010-06-14 Ed Schonberg <schonberg@adacore.com>
+
+ * sem_ch6.adb (Analyze_Subprogram_Body): Do not check conformance when
+ the spec has been generated for a body without spec that carries an
+ Inline_Always pragma.
+
+2010-06-14 Arnaud Charlet <charlet@adacore.com>
+
+ * lib-xref.ads: Documentation change: allocate 'Z' letter to C/C++
+ macro.
+
2010-06-14 Jerome Lambourg <lambourg@adacore.com>
* exp_dbug.adb (Debug_Renaming_Declaration): Do not output any debug
-- w protected object protected type
-- x abstract procedure exception
-- y abstract function entry or entry family
- -- z generic formal parameter (unused)
+ -- z generic formal parameter C/C++ macro
--------------------------------------
-- Handling of Imported Subprograms --
then
Conformant := True;
+ -- Conversely, the spec may have been generated for specless body
+ -- with an inline pragma.
+
+ elsif Comes_From_Source (N)
+ and then not Comes_From_Source (Spec_Id)
+ and then Has_Pragma_Inline (Spec_Id)
+ then
+ Conformant := True;
+
else
Check_Conformance
(Body_Id, Spec_Id,