From: Arnaud Charlet Date: Thu, 10 Oct 2013 13:17:33 +0000 (+0200) Subject: Minor reformatting. X-Git-Tag: releases/gcc-4.9.0~3614 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=20921a97e16f3f6fe229b7a8463e63d6d6b65f98;p=thirdparty%2Fgcc.git Minor reformatting. From-SVN: r203375 --- diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 9d7e4422cde8..2670c6ab4c77 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