From c27f2f15fde7c742e7b6fa996a7b35cf5e8c9f66 Mon Sep 17 00:00:00 2001 From: Robert Dewar Date: Tue, 7 Apr 2009 14:18:13 +0000 Subject: checks.adb: Remove Assume_Valid parameter from In_Subrange_Of calls 2009-04-07 Robert Dewar * checks.adb: Remove Assume_Valid parameter from In_Subrange_Of calls * sem_eval.adb: (Is_Subrange_Of): Remove Assume_Valid parameter, not needed (Is_In_Range): Remove incorrect use of Assume_Valid (Is_Out_Of_Range): Remove incorrect use of Assume_Valid * sem_eval.ads: (Is_Subrange_Of): Remove Assume_Valid parameter, not needed (Is_In_Range): Documentation cleanup (Is_Out_Of_Range): Documentation cleanup * gnat_rm.texi: Add documentation for Assume_No_Invalid_Values pragma * sem_ch12.adb: Minor reformatting * sem_ch6.adb: (Check_Conformance): Avoid cascaded errors * sem_prag.adb: Improve error message. * gnatchop.adb, osint.ads, sinput.adb, sinput.ads, styleg.adb: LF/CR no longer recognized as line terminator * switch.ads: Minor documentation improvement * vms_data.ads: Minor reformatting From-SVN: r145675 --- gcc/ada/switch.ads | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'gcc/ada/switch.ads') diff --git a/gcc/ada/switch.ads b/gcc/ada/switch.ads index 029d8cf..34b14bb 100644 --- a/gcc/ada/switch.ads +++ b/gcc/ada/switch.ads @@ -89,7 +89,9 @@ private Switch : Character); -- Scan natural integer parameter for switch. On entry, Ptr points just -- past the switch character, on exit it points past the last digit of the - -- integer value. + -- integer value. Max is the maximum allowed value of Ptr, so the scan is + -- restricted to Switch_Chars (Ptr .. Max). It is posssible for Ptr to be + -- one greater than Max on return if the entire string is digits. procedure Scan_Pos (Switch_Chars : String; -- cgit v1.1