5.1.76 Pure_Barriers

[GNAT] This restriction ensures at compile time that protected entry barriers are restricted to:

This restriction is a relaxation of the Simple_Barriers restriction, but still ensures absence of side effects, exceptions, and recursion during the evaluation of the barriers.