lib-xref.adb (Generate_Reference): Handle properly a reference to an entry formal...
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 8 Dec 2004 11:47:21 +0000 (12:47 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 8 Dec 2004 11:47:21 +0000 (12:47 +0100)
commit1a1035e41b21a28386d0a85e108d582db4ee9a6a
tree2dce85e50d1c540821c9ea5d07628a8f8eaca246
parent4722c5d693d886d22da0a52e8a8133e0e33bdd30
lib-xref.adb (Generate_Reference): Handle properly a reference to an entry formal...

* lib-xref.adb (Generate_Reference): Handle properly a reference to an
entry formal, when an accept statement has a pragma Unreferenced for it.

* sem_ch9.adb (Analyze_Accept_Statement): Reset the Is_Referenced flag
and the Has_Pragma_Unreferenced flag for each formal before analyzing
the body, to ensure that warnings are properly emitted for each accept
statement of a given task entry.

From-SVN: r91888
gcc/ada/lib-xref.adb
gcc/ada/sem_ch9.adb