From 20921a97e16f3f6fe229b7a8463e63d6d6b65f98 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Thu, 10 Oct 2013 15:17:33 +0200 Subject: [PATCH] Minor reformatting. From-SVN: r203375 --- gcc/ada/sinfo.ads | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 9d7e4422cde..2670c6ab4c7 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -936,11 +936,12 @@ package Sinfo is -- A special case arises for the arguments of the Pred/Succ attributes. -- Here the range check needed is against First + 1 .. Last (Pred) or - -- First .. Last - 1 (Succ). Essentially these checks are what would be - -- performed within the implicit body of the functions that correspond - -- to these attributes. In these cases, the Do_Range check flag is set - -- on the argument to the attribute function, and the back end must - -- special case the appropriate range to check against. + -- First .. Last - 1 (Succ) of the corresponding base type. Essentially + -- these checks are what would be performed within the implicit body of + -- the functions that correspond to these attributes. In these cases, + -- the Do_Range check flag is set on the argument to the attribute + -- function, and the back end must special case the appropriate range + -- to check against. -- Do_Storage_Check (Flag17-Sem) -- This flag is set in an N_Allocator node to indicate that a storage