+2017-10-20 Bob Duff <duff@adacore.com>
+
+ * sinfo.ads: Fix a comment typo.
+
+2017-10-20 Eric Botcazou <ebotcazou@adacore.com>
+
+ * doc/gnat_ugn/building_executable_programs_with_gnat.rst (-flto): Add
+ warning against usage in conjunction with -gnatn.
+ (-fdump-xref): Delete entry.
+ * doc/gnat_ugn/gnat_utility_programs.rst (--ext): Remove mention of
+ -fdump-xref switch.
+ * gnat_ugn.texi: Regenerate.
+
+2017-10-20 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * sem_type.adb, exp_util.adb, sem_util.adb, sem_dim.adb, sem_elab.adb:
+ Minor reformatting.
+
2017-10-20 Yannick Moy <moy@adacore.com>
* sem_dim.adb (Analyze_Dimension_Binary_Op): Accept with a warning to
:file:`scos.adb`.
-.. index:: -fdump-xref (gcc)
-
-:switch:`-fdump-xref`
- Generates cross reference information in GLI files for C and C++ sources.
- The GLI files have the same syntax as the ALI files for Ada, and can be used
- for source navigation in IDEs and on the command line using e.g. gnatxref
- and the :switch:`--ext=gli` switch.
-
-
.. index:: -flto (gcc)
:switch:`-flto[={n}]`
Enables Link Time Optimization. This switch must be used in conjunction
- with the traditional :switch:`-Ox` switches and instructs the compiler to
- defer most optimizations until the link stage. The advantage of this
+ with the :switch:`-Ox` switches (but not with the :switch:`-gnatn` switch
+ since it is a full replacement for the latter) and instructs the compiler
+ to defer most optimizations until the link stage. The advantage of this
approach is that the compiler can do a whole-program analysis and choose
the best interprocedural optimization strategy based on a complete view
of the program, instead of a fragmentary view with the usual approach.
:switch:`--ext={extension}`
Specify an alternate ali file extension. The default is ``ali`` and other
- extensions (e.g. ``gli`` for C/C++ sources when using :switch:`-fdump-xref`)
- may be specified via this switch. Note that if this switch overrides the
- default, which means that only the new extension will be considered.
+ extensions (e.g. ``gli`` for C/C++ sources) may be specified via this switch.
+ Note that if this switch overrides the default, which means that only the
+ new extension will be considered.
.. index:: --RTS (gnatxref)
Id : Character;
Related_Nod : Node_Id := Empty) return Entity_Id
is
- Temp_Nam : Name_Id;
Temp_Id : Entity_Id;
+ Temp_Nam : Name_Id;
begin
-- The context requires an external symbol
@code{scos.adb}.
@end table
-@geindex -fdump-xref (gcc)
-
-
-@table @asis
-
-@item @code{-fdump-xref}
-
-Generates cross reference information in GLI files for C and C++ sources.
-The GLI files have the same syntax as the ALI files for Ada, and can be used
-for source navigation in IDEs and on the command line using e.g. gnatxref
-and the @code{--ext=gli} switch.
-@end table
-
@geindex -flto (gcc)
@item @code{-flto[=@emph{n}]}
Enables Link Time Optimization. This switch must be used in conjunction
-with the traditional @code{-Ox} switches and instructs the compiler to
-defer most optimizations until the link stage. The advantage of this
+with the @code{-Ox} switches (but not with the @code{-gnatn} switch
+since it is a full replacement for the latter) and instructs the compiler
+to defer most optimizations until the link stage. The advantage of this
approach is that the compiler can do a whole-program analysis and choose
the best interprocedural optimization strategy based on a complete view
of the program, instead of a fragmentary view with the usual approach.
@item @code{--ext=@emph{extension}}
Specify an alternate ali file extension. The default is @code{ali} and other
-extensions (e.g. @code{gli} for C/C++ sources when using @code{-fdump-xref})
-may be specified via this switch. Note that if this switch overrides the
-default, which means that only the new extension will be considered.
+extensions (e.g. @code{gli} for C/C++ sources) may be specified via this switch.
+Note that if this switch overrides the default, which means that only the
+new extension will be considered.
@end table
@geindex --RTS (gnatxref)
-- literal is treated as if its dimension matches the type
-- dimension.
- elsif Nkind_In (Original_Node (L), N_Real_Literal,
- N_Integer_Literal)
+ elsif Nkind_In (Original_Node (L), N_Integer_Literal,
+ N_Real_Literal)
then
Dim_Warning_For_Numeric_Literal (L, Etype (R));
- elsif Nkind_In (Original_Node (R), N_Real_Literal,
- N_Integer_Literal)
+ elsif Nkind_In (Original_Node (R), N_Integer_Literal,
+ N_Real_Literal)
then
Dim_Warning_For_Numeric_Literal (R, Etype (L));
-- Reads of variables
elsif Is_Suitable_Access (N) then
+
-- Signal any enclosing local exception handlers that the 'Access may
-- raise Program_Error due to a failed ABE check when switch -gnatd.o
-- (conservative elaboration order for indirect calls) is in effect.
return False;
elsif Nkind (Par) in N_Declaration then
- return Nkind (Par) = N_Object_Declaration
- and then Present (Corresponding_Generic_Association (Par));
+ return
+ Nkind (Par) = N_Object_Declaration
+ and then Present (Corresponding_Generic_Association (Par));
elsif Nkind (Par) = N_Object_Renaming_Declaration then
return Present (Corresponding_Generic_Association (Par));
and then Is_Aliased_View (Renamed_Object (E)))))
or else ((Is_Formal (E) or else Is_Formal_Object (E))
- and then Is_Tagged_Type (Etype (E)))
+ and then Is_Tagged_Type (Etype (E)))
or else (Is_Concurrent_Type (E) and then In_Open_Scopes (E))
-- The following flag fields appear in all nodes:
-- Analyzed
- -- This flag is used to indicate that a node (and all its children have
+ -- This flag is used to indicate that a node (and all its children) have
-- been analyzed. It is used to avoid reanalysis of a node that has
-- already been analyzed, both for efficiency and functional correctness
-- reasons.
git://gcc.gnu.org / gcc.git / commitdiff