+ -- Conditional expressions.
+
+ elsif Nkind (N) = N_If_Expression then
+ declare
+ Expr : Node_Id;
+
+ begin
+ Expr := First (Expressions (N));
+ while Present (Expr) loop
+ Note_Uplevel_Bound (Expr, Ref);
+ Next (Expr);
+ end loop;
+ end;
+
+ elsif Nkind (N) = N_Case_Expression then
+ declare
+ Alternative : Node_Id;
+
+ begin
+ Note_Uplevel_Bound (Expression (N), Ref);
+
+ Alternative := First (Alternatives (N));
+ while Present (Alternative) loop
+ Note_Uplevel_Bound (Expression (Alternative), Ref);
+ end loop;
+ end;
+