Next: , Previous: No_Dependence, Up: Partition-Wide Restrictions


[GNAT] This restriction ensures that no logical (and/or/xor) are used on operands of type Boolean (or any type derived from Boolean). This is intended for use in safety critical programs where the certification protocol requires the use of short-circuit (and then, or else) forms for all composite boolean operations.