Skip to content

R
riscv-gcc-1
Commit 2d249f52 by Arnaud Charlet
Options

[multiple changes] 

2017-05-02  Arnaud Charlet  <charlet@adacore.com>

	* sem_case.adb: Remove extra spaces in parameter declarations.

2017-05-02  Justin Squirek  <squirek@adacore.com>

	* usage.adb: Replace space with hyphen ("run time" -> "run-time")
	in usage line for new -gnatwE switch.

2017-05-02  Claire Dross  <dross@adacore.com>

	* a-cofuve.ads (Remove): Remove unnecessary
	conditions in precondition.

2017-05-02  Vasiliy Fofanov  <fofanov@adacore.com>

	* a-stream.ads, exp_imgv.adb, sem_ch10.adb,
	sem_attr.adb, s-finmas.ads, osint.adb: Minor typo fix.

From-SVN: r247479
parent b55993b3
Showing with 41 additions and 25 deletions
gcc/ada/ChangeLog
2017-05-02 Arnaud Charlet <charlet@adacore.com>
* sem_case.adb: Remove extra spaces in parameter declarations.
2017-05-02 Justin Squirek <squirek@adacore.com>
* usage.adb: Replace space with hyphen ("run time" -> "run-time")
in usage line for new -gnatwE switch.
2017-05-02 Claire Dross <dross@adacore.com>
* a-cofuve.ads (Remove): Remove unnecessary
conditions in precondition.
2017-05-02 Vasiliy Fofanov <fofanov@adacore.com>
* a-stream.ads, exp_imgv.adb, sem_ch10.adb,
sem_attr.adb, s-finmas.ads, osint.adb: Minor typo fix.
2017-05-02 Justin Squirek <squirek@adacore.com>
* sem_ch4.adb (Analyze_Case_Expression): Add check for valid
......
gcc/ada/a-cofuve.ads
......@@ -319,10 +319,7 @@ package Ada.Containers.Functional_Vectors with SPARK_Mode is
with
Global => null,
Pre =>
Length (Container) < Count_Type'Last
and Last (Container) < Index_Type'Last
and Position in Index_Type'First .. Last (Container),
Pre => Position in Index_Type'First .. Last (Container),
Post =>
Length (Remove'Result) = Length (Container) - 1
and then Range_Equal
......
gcc/ada/a-stream.ads
......@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- Copyright (C) 1992-2017, Free Software Foundation, Inc. --
-- --
-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. The copyright notice above, and the license provisions that follow --
......@@ -42,7 +42,7 @@ package Ada.Streams is
type Stream_Element is mod 2 ** Standard'Storage_Unit;
type Stream_Element_Offset is new Long_Long_Integer;
-- Stream_Element_Offset needs 64 bits to accomodate large stream files.
-- Stream_Element_Offset needs 64 bits to accommodate large stream files.
-- However, rather than make this explicitly 64-bits we derive from
-- Long_Long_Integer. In normal usage this will have the same effect.
-- But in the case of CodePeer with a target configuration file with a
......
gcc/ada/errout.adb
......@@ -3103,7 +3103,7 @@ package body Errout is
-- as errors.
if Is_Warning_Msg
and then Warning_Mode = Treat_Run_Time_As_Error
and then Warning_Mode = Treat_Run_Time_Warnings_As_Errors
then
Is_Warning_Msg := False;
end if;
......
gcc/ada/exp_imgv.adb
......@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2001-2016, Free Software Foundation, Inc. --
-- Copyright (C) 2001-2017, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
......@@ -1165,7 +1165,7 @@ package body Exp_Imgv is
pragma Assert (Is_Enumeration_Type (Rtyp));
-- Whenever pragma Discard_Names is in effect, the value we need
-- is the value needed to accomodate the largest integer pos value
-- is the value needed to accommodate the largest integer pos value
-- in the range of the subtype + 1 for the space at the start. We
-- build:
......
gcc/ada/opt.ads
......@@ -1861,17 +1861,17 @@ package Opt is
-- Modified by use of -gnatw.w/.W.
type Warning_Mode_Type is
(Suppress, Normal, Treat_As_Error, Treat_Run_Time_As_Error);
(Suppress, Normal, Treat_As_Error, Treat_Run_Time_Warnings_As_Errors);
Warning_Mode : Warning_Mode_Type := Normal;
-- GNAT, GNATBIND
-- Controls treatment of warning messages. If set to Suppress, warning
-- messages are not generated at all. In Normal mode, they are generated
-- but do not count as errors. In Treat_As_Error mode, warning messages are
-- generated and are treated as errors. In Treat_Run_Time_As_Error, warning
-- messages regarding errors raised at run time are treated as errors. Note
-- that Warning_Mode = Suppress causes pragma Warnings to be ignored
-- (except for legality checks), unless we are in GNATprove_Mode, which
-- requires pragma Warnings to be stored for the formal verification
-- generated and treated as errors. In Treat_Run_Time_Warnings_As_Errors,
-- warning messages regarding errors raised at run time are treated as
-- errors. Note that Warning_Mode = Suppress causes pragma Warnings to be
-- ignored (except for legality checks), unless we are in GNATprove_Mode,
-- which requires pragma Warnings to be stored for the formal verification
-- backend.
Warnings_As_Errors_Count : Natural;
......
gcc/ada/osint.adb
......@@ -2312,7 +2312,7 @@ package body Osint is
-- Read the file. Note that the loop is probably not necessary since the
-- whole file is read at once but the loop is harmless and that way we
-- are sure to accomodate systems where this is not the case.
-- are sure to accommodate systems where this is not the case.
Curr := 1;
Actual_Len := Len;
......
gcc/ada/s-finmas.ads
......@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2011-2015, Free Software Foundation, Inc. --
-- Copyright (C) 2011-2017, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
......@@ -62,7 +62,7 @@ package System.Finalization_Masters is
-- Finalization master type structure. A unique master is associated with
-- each access-to-controlled or access-to-class-wide type. Masters also act
-- as components of subpools. By default, a master contains objects of the
-- same designated type but it may also accomodate heterogeneous objects.
-- same designated type but it may also accommodate heterogeneous objects.
type Finalization_Master is
new Ada.Finalization.Limited_Controlled with private;
......@@ -156,7 +156,7 @@ private
-- Finalization master type structure. A unique master is associated with
-- each access-to-controlled or access-to-class-wide type. Masters also act
-- as components of subpools. By default, a master contains objects of the
-- same designated type but it may also accomodate heterogeneous objects.
-- same designated type but it may also accommodate heterogeneous objects.
type Finalization_Master is
new Ada.Finalization.Limited_Controlled with
......
gcc/ada/sem_attr.adb
......@@ -6173,7 +6173,7 @@ package body Sem_Attr is
elsif Val < 0 then
Set_Etype (E1, Universal_Integer);
-- Otherwise set type to Unsigned_64 to accomodate max values
-- Otherwise set type to Unsigned_64 to accommodate max values
else
Set_Etype (E1, Standard_Unsigned_64);
......@@ -10056,7 +10056,7 @@ package body Sem_Attr is
-- If range is null, result is zero, that has already
-- been dealt with, so what we need is the power of ten
-- that accomodates the Pos of the largest value, which
-- that accommodates the Pos of the largest value, which
-- is the high bound of the range + one for the space.
W := 1;
......
gcc/ada/sem_ch10.adb
......@@ -6145,7 +6145,7 @@ package body Sem_Ch10 is
Last_Public_Shadow := Last_Shadow;
-- Ada 2005 (AI-262): Build the limited view of the private declarations
-- to accomodate limited private with clauses.
-- to accommodate limited private with clauses.
Process_Declarations_And_States
(Pack => Pack,
......
gcc/ada/switch-b.adb
......@@ -491,7 +491,7 @@ package body Switch.B is
Warning_Mode := Treat_As_Error;
when 'E' =>
Warning_Mode := Treat_Run_Time_As_Error;
Warning_Mode := Treat_Run_Time_Warnings_As_Errors;
when 's' =>
Warning_Mode := Suppress;
......
gcc/ada/usage.adb
......@@ -488,7 +488,7 @@ begin
Write_Line (" e treat all warnings (but not info) as errors");
Write_Line (" .e turn on every optional info/warning " &
"(no exceptions)");
Write_Line (" E treat all run time warnings as errors");
Write_Line (" E treat all run-time warnings as errors");
Write_Line (" f+ turn on warnings for unreferenced formal");
Write_Line (" F* turn off warnings for unreferenced formal");
Write_Line (" .f turn on warnings for suspicious Subp'Access");
......
gcc/ada/warnsw.adb
......@@ -533,7 +533,7 @@ package body Warnsw is
Warning_Mode := Treat_As_Error;
when 'E' =>
Warning_Mode := Treat_Run_Time_As_Error;
Warning_Mode := Treat_Run_Time_Warnings_As_Errors;
when 'f' =>
Check_Unreferenced_Formals := True;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment