+2014-07-16 Vincent Celier <celier@adacore.com>
+
+ * gnatls.adb: Get the target parameters only if -nostdinc was
+ not specified.
+
+2014-07-16 Ed Schonberg <schonberg@adacore.com>
+
+ * checks.adb (Insert_Valid_Check): If the expression is a packed
+ component of a modular type of the right size the data is always
+ valid. This os particularly useful if the component is part of
+ a volatile variable.
+
+2014-07-16 Robert Dewar <dewar@adacore.com>
+
+ * gnat_rm.texi, sinfo.ads, freeze.adb, exp_aggr.adb: Minor reformatting
+
+2014-07-16 Thomas Quinot <quinot@adacore.com>
+
+ * exp_ch7.ads: Minor documentation fix.
+
2014-07-16 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Find_Type_Name): Diagnose properly
return;
end if;
+ -- If the expression is a packed component of a modular type of the
+ -- right size, the data is always valid.
+
+ if Nkind (Expr) = N_Selected_Component
+ and then Present (Component_Clause (Entity (Selector_Name (Expr))))
+ and then Is_Modular_Integer_Type (Typ)
+ and then Modulus (Typ) = 2 ** Esize (Entity (Selector_Name (Expr)))
+ then
+ return;
+ end if;
+
-- If we have a checked conversion, then validity check applies to
-- the expression inside the conversion, not the result, since if
-- the expression inside is valid, then so is the conversion result.
end loop;
if not Is_Empty_List (Init_Actions) then
- Comp_Stmt := Make_Compound_Statement (Loc,
- Actions => Init_Actions);
+ Comp_Stmt := Make_Compound_Statement (Loc, Actions => Init_Actions);
Insert_Action_After (Init_Node, Comp_Stmt);
Set_Initialization_Statements (Obj, Comp_Stmt);
end if;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2012, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2014, 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- --
-- the top of the scope stack.
procedure Store_After_Actions_In_Scope (L : List_Id);
- -- Append the list L of actions to the beginning of the after-actions store
- -- in the top of the scope stack.
+ -- Prepend the list L of actions to the beginning of the after-actions
+ -- store in the top of the scope stack.
procedure Wrap_Transient_Declaration (N : Node_Id);
-- N is an object declaration. Expand the finalization calls after the
procedure Explode_Initialization_Compound_Statement (E : Entity_Id) is
Init_Stmts : constant Node_Id := Initialization_Statements (E);
+
begin
if Present (Init_Stmts)
and then Nkind (Init_Stmts) = N_Compound_Statement
@noindent
A unit to rewrite on-the-fly string occurrences in a stream of
-data. The implementation has a very minimum memory footprint as the
-full content to be processed is not loaded into memory. This makes
-this implementation usable for large files or socket streams.
+data. The implementation has a very minimal memory footprint as the
+full content to be processed is not loaded into memory all at once. This makes
+this interface usable for large files or socket streams.
@node GNAT.Secondary_Stack_Info (g-sestin.ads)
@section @code{GNAT.Secondary_Stack_Info} (@file{g-sestin.ads})
First_Lib_Dir := First_Lib_Dir.Next;
end loop;
- -- Finally, add the default directories and obtain target parameters
+ -- Finally, add the default directories
Osint.Add_Default_Search_Dirs;
- Get_Target_Parameters;
+
+ -- Get the target parameters to know if the target is OpenVMS, but only if
+ -- switch -nostdinc was not specified.
+
+ if not Opt.No_Stdinc then
+ Get_Target_Parameters;
+ end if;
if Verbose_Mode then
Write_Eol;
-- the utility program which creates the Treeprs spec (in file treeprs.ads)
-- must be updated appropriately, since it special cases expression fields.
- -- If a new tree node is added, then the following changes are made
+ -- If a new tree node is added, then the following changes are made:
-- Add it to the documentation in the appropriate place
-- Add its fields to this documentation section
-- they are set to Empty. This needs sorting out ??? It would be much
-- cleaner if they could always be set in the original node ???
+ -- There are a few cases when ASIS has to use not the original, but the
+ -- rewritten tree structures. This happens when because of some important
+ -- technical reasons it is impossible or very hard to have the original
+ -- structure properly decorated by semantic information, and the rewritten
+ -- structure fully reproduces the original source. Below is the (incomplete
+ -- for the moment) list of such exceptions:
+ --
+ -- * generic specifications and generic bodies;
+ -- * function calls that use prefixed notation (Operand.Operation [(...)]);
+
-- Representation Information
-- For the purposes of the data description annex, the representation
-- entire list of actions to be moved around as a whole) appearing
-- in a sequence of statements.
- -- This is the statement counterpart to expression node N_Expression_
- -- With_Actions.
+ -- This is the statement counterpart to the expression node
+ -- N_Expression_With_Actions.
-- The required semantics is that the set of actions is executed in
-- the order in which it appears, as though they appeared by themselves
projects / platform / upstream / gcc.git / commitdiff