projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43f69ac) | patch
[Ada] Refine types of variables with call to Scope as their initial values
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 13 Jan 2021 21:53:32 +0000 (22:53 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 5 May 2021 08:19:05 +0000 (04:19 -0400)
commitc3870f3bcf02c780d73639080d5195f4be4ef1ac
tree9e55a42ec7c318d30e34b036ba5fed8df5574331tree | snapshot
parent43f69ac8b2d08a18497e124422cbb6031539421ccommit | diff
[Ada] Refine types of variables with call to Scope as their initial values

gcc/ada/

* exp_ch4.adb (User_Defined_Primitive_Equality_Op): Refine type
of a local variable.
* exp_dbug.adb (Scope_Contains): Refine all types from Node_Id
to Entity_Id; rename parameters to match those of the
Scope_Within routine (which is similar but not the same); also,
simplify an OR ELSE into a membership test.
gcc/ada/exp_ch4.adb diff | blob | history
gcc/ada/exp_dbug.adb diff | blob | history
Domain: System / Toolchain;