sem_util.ads, [...]: Minor comment fixes.

2015-10-16  Bob Duff  <duff@adacore.com>

	* sem_util.ads, sinput.ads, bcheck.adb: Minor comment fixes.

From-SVN: r228868
This commit is contained in:
Bob Duff 2015-10-16 10:50:42 +00:00 committed by Arnaud Charlet
parent dec6b7f1de
commit 1bc619ef94
4 changed files with 12 additions and 8 deletions

View File

@ -1,3 +1,7 @@
2015-10-16 Bob Duff <duff@adacore.com>
* sem_util.ads, sinput.ads, bcheck.adb: Minor comment fixes.
2015-10-16 Javier Miranda <miranda@adacore.com>
* inline.adb (Add_Inlined_Body): Ensure that

View File

@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- Copyright (C) 1992-2015, 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- --
@ -639,9 +639,9 @@ package body Bcheck is
-- Check_Consistent_Normalize_Scalars --
----------------------------------------
-- The rule is that if any unit is compiled with Normalized_Scalars,
-- The rule is that if any unit is compiled with Normalize_Scalars,
-- then all other units in the partition must also be compiled with
-- Normalized_Scalars in effect.
-- Normalize_Scalars in effect.
-- There is some issue as to whether this consistency check is desirable,
-- it is certainly required at the moment by the RM. We should keep a watch

View File

@ -823,7 +823,7 @@ package Sem_Util is
-- returned. Otherwise the Etype of the node is returned.
function Get_Body_From_Stub (N : Node_Id) return Node_Id;
-- Return the body node for a stub
-- Return the body node for a stub.
function Get_Cursor_Type
(Aspect : Node_Id;
@ -1325,7 +1325,7 @@ package Sem_Util is
function Is_Fully_Initialized_Type (Typ : Entity_Id) return Boolean;
-- Typ is a type entity. This function returns true if this type is fully
-- initialized, meaning that an object of the type is fully initialized.
-- Note that initialization resulting from use of pragma Normalized_Scalars
-- Note that initialization resulting from use of pragma Normalize_Scalars
-- does not count. Note that this is only used for the purpose of issuing
-- warnings for objects that are potentially referenced uninitialized. This
-- means that the result returned is not crucial, but should err on the
@ -1400,7 +1400,7 @@ package Sem_Util is
-- initialized, meaning that an object of the type is at least partly
-- initialized (in particular in the record case, that at least one
-- component has an initialization expression). Note that initialization
-- resulting from the use of pragma Normalized_Scalars does not count.
-- resulting from the use of pragma Normalize_Scalars does not count.
-- Include_Implicit controls whether implicit initialization of access
-- values to null, and of discriminant values, is counted as making the
-- type be partially initialized. For the default setting of True, these

View File

@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 1992-2014, Free Software Foundation, Inc. --
-- Copyright (C) 1992-2015, 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- --
@ -431,7 +431,7 @@ package Sinput is
Current_Source_File : Source_File_Index := No_Source_File;
-- Source_File table index of source file currently being scanned.
-- Initialized so that some tools (such as gprbuild) can be built with
-- -gnatVa and pragma Initialized_Scalars without problems.
-- -gnatVa and pragma Initialize_Scalars without problems.
Current_Source_Unit : Unit_Number_Type;
-- Unit number of source file currently being scanned. The special value