Message ID | 20100614105033.GA5126@adacore.com |
---|---|
State | New |
Headers | show |
Index: sem_ch6.adb =================================================================== --- sem_ch6.adb (revision 160720) +++ sem_ch6.adb (working copy) @@ -2086,6 +2086,15 @@ package body Sem_Ch6 is 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,