Commit 4fe5bbcf by Piotr Trojanek Committed by Pierre-Marie de Rodat

[Ada] Remove dead code from Enclosing_Package_Or_Subprogram routine

Calls to Scope always return unique entities, i.e. package/subprogram
and not their bodies, so there is no need to expect them.

Cleanup only; semantics unaffected. (This routine was only used in CCG
and GNATprove backends anyway.)

2019-07-08  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem_util.adb (Enclosing_Package_Or_Subprogram): Do not expect
	package and subprogram bodies.

From-SVN: r273222
parent b7234265
2019-07-08 Piotr Trojanek <trojanek@adacore.com>
* sem_util.adb (Enclosing_Package_Or_Subprogram): Do not expect
package and subprogram bodies.
2019-07-08 Bob Duff <duff@adacore.com>
* doc/gnat_ugn/gnat_utility_programs.rst: Remove documentation
......
......@@ -6924,12 +6924,7 @@ package body Sem_Util is
S := Scope (E);
while Present (S) loop
if Is_Package_Or_Generic_Package (S)
or else Ekind (S) = E_Package_Body
then
return S;
elsif Is_Subprogram_Or_Generic_Subprogram (S)
or else Ekind (S) = E_Subprogram_Body
or else Is_Subprogram_Or_Generic_Subprogram (S)
then
return S;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment