[Ada] Cleanups related to entry barrier conditions
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 7 Dec 2020 14:32:40 +0000 (15:32 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 28 Apr 2021 09:37:57 +0000 (05:37 -0400)
commit7458323aa60cc9a42bed8d029059e5ebd33bafb9
tree862a39f0d8476a05a4fd19d3e8dfd3d464535e07
parentcbd743fe0942e91eaa5e788ad21ac660f686a0de
[Ada] Cleanups related to entry barrier conditions

gcc/ada/

* exp_ch9.adb (Build_Barrier_Function): Refine type of a
protected type entity.
(Is_Pure_Barrier): Fix style.
gcc/ada/exp_ch9.adb