committed: fix for PR 17540

[Arnaud Charlet <charlet at ACT-Europe dot FR>]

Tested on i686-linux

gnatlib compiled with -O0 due to unrelated ssa failures.

This patch addresses PR 17540. In previous versions of GNAT, the
Is_Imported and Is_Public flags of objects were set if a pragma
Import was given, even if an Address clause was also present. This
is not really right, as in this case, the Ada RM specifies that
the only effect of the pragma Import is to suppress default
implicit initialization. Previous versions of the back end
however did the right thing in ignoring these flags in this
situation, but that's not true of the latest version of the
back end. Rather than kludge to ignore these flags, this simple
patch to freeze resets the flags Is_Public and Is_Imported if
an address clause is present.


2004-09-20  Robert Dewar  <dewar@gnat.com>

	PR ada/17540

	* freeze.adb (Check_Address_Clause): Reset Is_Imported and Is_Public
	if an address clause is present, since that means that the Import
	should be ignored.

Attachment: difs.gnat
Description: Text document