2012-10-29 Gary Dismukes <dismukes@adacore.com>

	* exp_alfa.adb: Minor reformatting.

2012-10-29  Robert Dewar  <dewar@adacore.com>

	* gnat_rm.texi, gnat_ugn.texi: Clarify documentation on maximum
	line length style switch.

2012-10-29  Robert Dewar  <dewar@adacore.com>

	* layout.adb (Set_Composite_Alignment): Ignore pragma
	Optimize_Alignment (Space) for packed variable length records.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@192938 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index cf5fbb5e9f7a0278d1a5ddcd2160a9436e6966f8..8542c7d8bf5b58e7807c1bec41c620fc8d4cc2d2 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,17 @@
+2012-10-29  Gary Dismukes  <dismukes@adacore.com>
+
+       * exp_alfa.adb: Minor reformatting.
+
+2012-10-29  Robert Dewar  <dewar@adacore.com>
+
+       * gnat_rm.texi, gnat_ugn.texi: Clarify documentation on maximum
+       line length style switch.
+
+2012-10-29  Robert Dewar  <dewar@adacore.com>
+
+       * layout.adb (Set_Composite_Alignment): Ignore pragma
+       Optimize_Alignment (Space) for packed variable length records.
+
 2012-10-29  Robert Dewar  <dewar@adacore.com>
 
        * s-bignum.adb: Minor comment change.

diff --git a/gcc/ada/exp_alfa.adb b/gcc/ada/exp_alfa.adb
index 5c44849aaf865d790357436cb91e5cda8f3cf2d0..1aac781e3aa36493855672cb40b2ff792c612c40 100644 (file)
--- a/gcc/ada/exp_alfa.adb
+++ b/gcc/ada/exp_alfa.adb
@@ -80,11 +80,11 @@ package body Exp_Alfa is
          when N_Attribute_Reference =>
             Expand_Alfa_N_Attribute_Reference (N);
 
-         --  Note: we use to qualify entity names in the following constructs
+         --  Note: we used to qualify entity names in the following constructs
          --  (as full expansion does), but this was removed as this prevents
          --  the verification back-end from using a short name for debugging
          --  and user interaction. The verification back-end already takes
-         --  care of qualifying names when needed
+         --  care of qualifying names when needed.
 
          when N_Block_Statement     |
               N_Package_Body        |

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index c6e092c81ca50e0c916ed68b8922109951203a10..2afdb6766875553198bf155e1b1f79e5a2357a7e 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -9553,8 +9553,12 @@ See separate section on source representation.
 length.  See 2.2(15).
 @end cartouche
 @noindent
-The maximum line length is 255 characters and the maximum length of a
-lexical element is also 255 characters.
+The maximum line length is 255 characters and the maximum length of
+a lexical element is also 255 characters. This is the default setting
+if not overridden by the use of compiler switch @option{-gnaty} (which
+sets the maximum to 79) or @option{-gnatyMnn} which allows the maximum
+line length to be specified to be any value up to 32767. The maximum
+length of a lexical element is the same as the maximum line length.
 
 @sp 1
 @cartouche

diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 53df9a19984cbb8cde160eba2c208ca29f9e07c4..2455b880a7b7fbb4b69acb6b7cba232ea6af6cc0 100644 (file)
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -6657,13 +6657,16 @@ any trailing blanks. The value of 79 allows convenient display on an
 80 character wide device or window, allowing for possible special
 treatment of 80 character lines. Note that this count is of
 characters in the source text. This means that a tab character counts
-as one character in this count but a wide character sequence counts as
+as one character in this count and a wide character sequence counts as
 a single character (however many bytes are needed in the encoding).
 
 @item ^Mnnn^MAX_LENGTH=nnn^
 @emph{Set maximum line length.}
 The length of lines must not exceed the
 given value @option{nnn}. The maximum value that can be specified is 32767.
+If neither style option for setting the line length is used, then the
+default is 255. This also controls the maximum length of lexical elements,
+where the only restriction is that they must fit on a single line.
 
 @item ^n^STANDARD_CASING^
 @emph{Check casing of entities in Standard.}

diff --git a/gcc/ada/layout.adb b/gcc/ada/layout.adb
index 1f44196bded4702ebb1979542a79dd43624d14c5..651107f24c4b0783247b17a2280c041f5ab76139 100644 (file)
--- a/gcc/ada/layout.adb
+++ b/gcc/ada/layout.adb
@@ -2882,7 +2882,12 @@ package body Layout is
         and then Is_Packed (E)
         and then not Is_Atomic (E)
       then
-         Align := 1;
+         if not Size_Known_At_Compile_Time (E) then
+            Error_Msg_N ("Optimize_Alignment has no effect for &", E);
+            Error_Msg_N ("\pragma is ignored for variable length record?", E);
+         else
+            Align := 1;
+         end if;
 
       --  Not a record, or not packed