[multiple changes]

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.

From-SVN: r192938

gcc/ada/ChangeLog

+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.

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        |

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

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.}

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