+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
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
-- --
-- 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 --
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
-- 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;
-- --
-- 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- --
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:
-- 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;
-- 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;
-- --
-- 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- --
-- 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;
-- 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
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);
-- 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;
-- ID of an appropriate string to be used in error message output.
procedure Expand_Others_Choice
- (Case_Table : Choice_Table_Type;
- Others_Choice : Node_Id;
- Choice_Type : Entity_Id);
+ (Case_Table : Choice_Table_Type;
+ Others_Choice : Node_Id;
+ Choice_Type : Entity_Id);
-- The case table is the table generated by a call to Check_Choices
-- (with just 1 .. Last_Choice entries present). Others_Choice is a
-- pointer to the N_Others_Choice node (this routine is only called if
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,
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;
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");
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;
projects / gcc.git / commitdiff