[Ada] Fix bad handling of stream operations with No_Finalization

[Arnaud Charlet <charlet at adacore dot com>]

Tested on x86-linux, committed on mainline.

The generation of specs and bodies or stream operations were controlled
by different guards, so that when certain restrictions were in effect,
specs were generated without bodies, leading to link errors.
test program:
$ gnatmake -q q # should link with no error
--
pragma Restrictions (No_Finalization);
package p is
   type t is tagged null record;
end p;
with p;
procedure q is
begin
   null;
end;

2005-01-03  Ed Schonberg  <schonberg@adacore.com>

	* exp_ch3.adb (Stream_Operations_OK): Predicate to determine when the
	generation of predefined stream operations (specs and bodies) should
	proceed. Under various restrictions these subprograms must not be
	generated.

Attachment: difs.9
Description: Text document