function Check_Node (N : Node_Id) return Traverse_Result;
-- Determine if Nkind (N) indicates the presence of a decision (i.e. N
-- is a logical operator, which is a decision in itself, or an
- -- IF-expression whose Condition attribute is a decision).
+ -- IF-expression whose Condition attribute is a decision, or a
+ -- quantified expression, whose predicate is a decision).
----------------
-- Check_Node --
-- If we are not sure this is a logical operator (AND and OR may be
-- turned into logical operators with the Short_Circuit_And_Or
-- pragma), assume it is. Putative decisions will be discarded if
- -- needed in the secord pass.
+ -- needed in the second pass.
if Is_Logical_Operator (N) /= False
or else Nkind (N) = N_If_Expression
+ or else Nkind (N) = N_Quantified_Expression
then
return Abandon;
else