+2012-12-05 Eric Botcazou <ebotcazou@adacore.com>
+
+ * gnat_rm.texi (Interfacing to C++): Document new restrictions.
+
+2012-12-05 Ben Brosgol <brosgol@adacore.com>
+
+ * gnat_ugn.texi: Fix typo.
+
+2012-12-05 Robert Dewar <dewar@adacore.com>
+
+ * gnatbind.adb: Minor reformatting.
+
2012-12-05 Arnaud Charlet <charlet@adacore.com>
* gnat_ugn.texi: Fix typo.
However, there is one case in which SPACE is ignored. If a variable length
record (that is a discriminated record with a component which is an array
-whose length depends on a discriminant), has a pragam pack, then it is not
+whose length depends on a discriminant), has a pragma Pack, then it is not
in general possible to set the alignment of such a record to one, so the
pragma is ignored in this case (with a warning).
The pragma @code{Suppress (Overflow_Check)} suppresses
overflow checking, but does not affect the overflow mode.
-The pragam @code{Unsuppress (Overflow_Check)} unsuppresses (enables)
+The pragma @code{Unsuppress (Overflow_Check)} unsuppresses (enables)
overflow checking, but does not affect the overflow mode.
@node Pragma Passive
with pragma @code{Import}) as corresponding to a C++ constructor.
@end table
+A few restrictions are placed on the use of the @code{Access} attribute
+in conjunction with subprograms subject to convention @code{CPP}: the
+attribute may be used neither on primitive operations of a tagged
+record type with convention @code{CPP}, imported or not, nor on
+subprograms imported with pragma @code{CPP_Constructor}.
+
In addition, C++ exceptions are propagated and can be handled in an
@code{others} choice of an exception handler. The corresponding Ada
occurrence has no message, and the simple name of the exception identity
@item 2 = MINIMIZED
In MINIMIZED mode, overflows in intermediate operations are avoided
where possible by using a larger integer type for the computation
-(typically @code{Long_Long_Integer). Overflow checking ensures that
+(typically @code{Long_Long_Integer}). Overflow checking ensures that
the result fits in this larger integer type.
@item 3 = ELIMINATED
-- Test for trailing -o switch
- if Opt.Output_File_Name_Present
- and then not Output_File_Name_Seen
- then
+ if Opt.Output_File_Name_Present and then not Output_File_Name_Seen then
Fail ("output file name missing after -o");
end if;
-- Check that the binder file specified has extension .adb
- if Opt.Output_File_Name_Present
- and then Output_File_Name_Seen
- then
+ if Opt.Output_File_Name_Present and then Output_File_Name_Seen then
Check_Extensions : declare
Length : constant Natural := Output_File_Name'Length;
Last : constant Natural := Output_File_Name'Last;