+2012-06-12 Robert Dewar <dewar@adacore.com>
+
+ * a-direct.adb: Minor reformatting.
+
+2012-06-12 Robert Dewar <dewar@adacore.com>
+
+ * gnat_ugn.texi: Add missing documentation for -gnatw.v and
+ -gnatw.V.
+
+2012-06-12 Thomas Quinot <quinot@adacore.com>
+
+ * sem_ch7.adb, sem_prag.adb, sem_ch12.adb, sem_ch4.adb,
+ sem_ch13.adb: Minor rewording of error messages for unchecked unions.
+
2012-06-12 Robert Dewar <dewar@adacore.com>
* lib-xref.ads: Minor reformatting.
-- opendir routine.
No_Dir : constant Dir_Type_Value := Dir_Type_Value (Null_Address);
+ -- Null directory value
Dir_Separator : constant Character;
pragma Import (C, Dir_Separator, "__gnat_dir_separator");
elsif Norm = "/"
or else
(Windows
- and then
- (Norm = "\"
- or else
- (Norm'Length = 3
- and then Norm (Norm'Last - 1 .. Norm'Last) = ":\"
- and then (Norm (Norm'First) in 'a' .. 'z'
- or else Norm (Norm'First) in 'A' .. 'Z'))))
+ and then
+ (Norm = "\"
+ or else
+ (Norm'Length = 3
+ and then Norm (Norm'Last - 1 .. Norm'Last) = ":\"
+ and then (Norm (Norm'First) in 'a' .. 'z'
+ or else
+ Norm (Norm'First) in 'A' .. 'Z'))))
then
raise Use_Error with
"directory """ & Name & """ has no containing directory";
if V1 = 0 then
Mode := Overwrite;
-
elsif Formstr (V1 .. V2) = "copy" then
Mode := Copy;
-
elsif Formstr (V1 .. V2) = "overwrite" then
Mode := Overwrite;
-
elsif Formstr (V1 .. V2) = "append" then
Mode := Append;
-
else
raise Use_Error with "invalid Form";
end if;
if V1 = 0 then
Preserve := None;
-
elsif Formstr (V1 .. V2) = "timestamps" then
Preserve := Time_Stamps;
-
elsif Formstr (V1 .. V2) = "all_attributes" then
Preserve := Full;
-
elsif Formstr (V1 .. V2) = "no_attributes" then
Preserve := None;
-
else
raise Use_Error with "invalid Form";
end if;
elsif not Is_Directory (Directory) then
raise Name_Error with '"' & Directory & """ not a directory";
+ -- Do the deletion, checking for error
+
else
declare
C_Dir_Name : constant String := Directory & ASCII.NUL;
-
begin
if rmdir (C_Dir_Name) /= 0 then
raise Use_Error with
else
Set_Directory (Directory);
- Start_Search (Search, Directory => ".", Pattern => "");
+ Start_Search (Search, Directory => ".", Pattern => "");
while More_Entries (Search) loop
Get_Next_Entry (Search, Dir_Ent);
-- Use System.OS_Lib.Normalize_Pathname
declare
- -- We need to resolve links because of A.16(47), since we must not
- -- return alternative names for files.
+ -- We need to resolve links because of (RM A.16(47)), which says
+ -- we must not return alternative names for files.
Value : constant String := Normalize_Pathname (Name);
subtype Result is String (1 .. Value'Length);
if not File_Exists (Name) then
raise Name_Error with "file """ & Name & """ does not exist";
+ -- If OK, return appropriate kind
+
elsif Is_Regular_File (Name) then
return Ordinary_File;
"new name """ & New_Name
& """ designates a file that already exists";
- else
- -- Do actual rename using System.OS_Lib.Rename_File
+ -- Do actual rename using System.OS_Lib.Rename_File
+ else
Rename_File (Old_Name, New_Name, Success);
if not Success then
begin
Start_Search (Srch, Directory, Pattern, Filter);
-
while More_Entries (Srch) loop
Get_Next_Entry (Srch, Directory_Entry);
Process (Directory_Entry);
will suppress warnings on subsequent statements that access components
of variable Tab.
+@item -gnatw.v
+@emph{Activate info messages for non-default bit order.}
+@cindex @option{-gnatw.v} (@command{gcc})
+@cindex bit order warnings
+This switch activates messages (labeled "info", they are not warnings,
+just informational messages) about the effects of non-default bit-order
+on records to which a component clause is applied. The effect of specifying
+non-default bit ordering is a bit subtle (and changed with Ada 2005), so
+these messages, which are given by default, are useful in understanding the
+exact consequences of using this feature. These messages
+can also be turned on using @option{-gnatwa}
+
+@item -gnatw.V
+@emph{Suppress info messages for non-default bit order.}
+@cindex @option{-gnatw.V} (@command{gcc})
+This switch suppresses information messages for the effects of specifying
+non-default bit order on record components with component clauses.
+
@item -gnatww
@emph{Activate warnings on wrong low bound assumption.}
@cindex @option{-gnatww} (@command{gcc})
then
null;
else
- Error_Msg_N ("Unchecked_Union cannot be the actual for a" &
+ Error_Msg_N ("unchecked union cannot be the actual for a" &
" discriminated formal type", Act_T);
end if;
and then Is_Unchecked_Union (Rectype)
then
Error_Msg_N
- ("cannot reference discriminant of Unchecked_Union",
+ ("cannot reference discriminant of unchecked union",
Component_Name (CC));
elsif Present (Component_Clause (Comp)) then
if Ekind (Comp) = E_Discriminant then
if Is_Unchecked_Union (Base_Type (Prefix_Type)) then
Error_Msg_N
- ("cannot reference discriminant of Unchecked_Union",
+ ("cannot reference discriminant of unchecked union",
Sel);
end if;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2011, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2012, 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- --
-- is a public child of Parent as defined in 10.1.1
procedure Inspect_Unchecked_Union_Completion (Decls : List_Id);
- -- Detects all incomplete or private type declarations having a known
- -- discriminant part that are completed by an Unchecked_Union. Emits
- -- the error message "Unchecked_Union may not complete discriminated
- -- partial view".
+ -- Reject completion of an incomplete or private type declarations
+ -- having a known discriminant part by an unchecked union.
procedure Install_Parent_Private_Declarations (Inst_Id : Entity_Id);
-- Given the package entity of a generic package instantiation or
then
Error_Msg_N
("completion of discriminated partial view "
- & "cannot be an Unchecked_Union",
+ & "cannot be an unchecked union",
Full_View (Defining_Identifier (Decl)));
end if;
-- Ada 2005 (AI-216): The completion of an incomplete or private type
-- declaration having a known_discriminant_part shall not be an
- -- Unchecked_Union type.
+ -- unchecked union type.
if Present (Vis_Decls) then
Inspect_Unchecked_Union_Completion (Vis_Decls);
and then Is_Generic_Type (Typ)
then
Error_Msg_N
- ("component of Unchecked_Union cannot be of generic type", Comp);
+ ("component of unchecked union cannot be of generic type", Comp);
elsif Needs_Finalization (Typ) then
Error_Msg_N
- ("component of Unchecked_Union cannot be controlled", Comp);
+ ("component of unchecked union cannot be controlled", Comp);
elsif Has_Task (Typ) then
Error_Msg_N
- ("component of Unchecked_Union cannot have tasks", Comp);
+ ("component of unchecked union cannot have tasks", Comp);
end if;
end Check_Component;
-- the relevant type declaration at an appropriate point.
if not Is_Record_Type (Typ) then
- Error_Msg_N ("Unchecked_Union must be record type", Typ);
+ Error_Msg_N ("unchecked union must be record type", Typ);
return;
elsif Is_Tagged_Type (Typ) then
- Error_Msg_N ("Unchecked_Union must not be tagged", Typ);
+ Error_Msg_N ("unchecked union must not be tagged", Typ);
return;
elsif not Has_Discriminants (Typ) then
Error_Msg_N
- ("Unchecked_Union must have one discriminant", Typ);
+ ("unchecked union must have one discriminant", Typ);
return;
-- Note: in previous versions of GNAT we used to check for limited
while Present (Discr) loop
if No (Discriminant_Default_Value (Discr)) then
Error_Msg_N
- ("Unchecked_Union discriminant must have default value",
+ ("unchecked union discriminant must have default value",
Discr);
end if;
if No (Clist) or else No (Variant_Part (Clist)) then
Error_Msg_N
- ("Unchecked_Union must have variant part", Tdef);
+ ("unchecked union must have variant part", Tdef);
return;
end if;
projects / gcc.git / commitdiff