Skip to content

R
riscv-gcc-1
Commit f8e0aa73 by Andreas Jaeger
Options

* Makefile.in (stamp-tool_src_dir): Use symbolic link. 

From-SVN: r47382
parent b9fbb936
Showing with 212 additions and 208 deletions
gcc/ada/ChangeLog
2001-11-27 Andreas Jaeger <aj@suse.de>
* Makefile.in (stamp-tool_src_dir): Use symbolic link.
2001-11-27 Laurent Guerby <guerby@acm.org> 2001-11-27 Laurent Guerby <guerby@acm.org>
* Makefile.in: Regenerate Ada dependencies. * Makefile.in: Regenerate Ada dependencies.
...@@ -76,7 +80,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -76,7 +80,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-30 Geert Bosch <bosch@gnat.com> 2001-10-30 Geert Bosch <bosch@gnat.com>
* (Associated_Node, Set_Associated_Node): Do not check for * (Associated_Node, Set_Associated_Node): Do not check for
Freeze_Entity. Freeze_Entity.
2001-10-30 Robert Dewar <dewar@gnat.com> 2001-10-30 Robert Dewar <dewar@gnat.com>
...@@ -85,15 +89,15 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -85,15 +89,15 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-30 Robert Dewar <dewar@gnat.com> 2001-10-30 Robert Dewar <dewar@gnat.com>
* gnatdll.adb: Minor reformatting throughout. Many ??? added for * gnatdll.adb: Minor reformatting throughout. Many ??? added for
undocumented declarations. undocumented declarations.
2001-10-30 Pascal Obry <obry@gnat.com> 2001-10-30 Pascal Obry <obry@gnat.com>
* gnatdll.adb (Parse_Command_Line): handle -g option to be passed * gnatdll.adb (Parse_Command_Line): handle -g option to be passed
to the binder and linker. to the binder and linker.
Minor style fix. Minor style fix.
* mdll.ads: Fix layout. Update copyright notice. * mdll.ads: Fix layout. Update copyright notice.
* mdll.adb: Fix layout. Update copyright notice. * mdll.adb: Fix layout. Update copyright notice.
...@@ -104,16 +108,16 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -104,16 +108,16 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-30 Ed Schonberg <schonber@gnat.com> 2001-10-30 Ed Schonberg <schonber@gnat.com>
* a-reatim.ads: Makes Seconds_Count into a 64-bit integer, * a-reatim.ads: Makes Seconds_Count into a 64-bit integer,
to accommodate all its possible values. to accommodate all its possible values.
* a-reatim.adb (Split): Special-case handling of Time_Span_First * a-reatim.adb (Split): Special-case handling of Time_Span_First
and of small absolute values of T. and of small absolute values of T.
2001-10-30 Richard Kenner <kenner@gnat.com> 2001-10-30 Richard Kenner <kenner@gnat.com>
* misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to * misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to
set_mem_attributes since not needed and wrong if RESULT if a REG; set_mem_attributes since not needed and wrong if RESULT if a REG;
fixes ACATS failures. fixes ACATS failures.
2001-10-30 Geert Bosch <bosch@gnat.com> 2001-10-30 Geert Bosch <bosch@gnat.com>
...@@ -122,23 +126,23 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -122,23 +126,23 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice. s-tasdeb.ads, sem_maps.ads: Add 2001 to copyright notice.
2001-10-30 Robert Dewar <dewar@gnat.com> 2001-10-30 Robert Dewar <dewar@gnat.com>
* bindusg.adb: Undocument -f switch. * bindusg.adb: Undocument -f switch.
* gnatcmd.adb: Remove /FULL_ELABORATION. * gnatcmd.adb: Remove /FULL_ELABORATION.
* opt.ads (Force_RM_Elaboration_Order): Document that this is * opt.ads (Force_RM_Elaboration_Order): Document that this is
obsolescent. obsolescent.
* gnatbind.adb: Output new warning for use of obsolescent -f switch. * gnatbind.adb: Output new warning for use of obsolescent -f switch.
* gnatbind.adb: Minor update of warning msg. * gnatbind.adb: Minor update of warning msg.
2001-10-30 Vincent Celier <celier@gnat.com> 2001-10-30 Vincent Celier <celier@gnat.com>
* gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations * gnatcmd.adb (MAKE, BIND, LINK, LIST, FIND, XREF): Add translations
for project file switches (-P (/PROJECT_FILE=), for project file switches (-P (/PROJECT_FILE=),
-X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT -X (/EXTERNAL_REFERENCE=) and -vPx (/PROJECT_FILE_VERBOSITY=DEFAULT
or MEDIUM or HIGH) or MEDIUM or HIGH)
2001-10-30 Geert Bosch <bosch@gnat.com> 2001-10-30 Geert Bosch <bosch@gnat.com>
...@@ -151,9 +155,9 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -151,9 +155,9 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-30 Geert Bosch <bosch@gnat.com> 2001-10-30 Geert Bosch <bosch@gnat.com>
* ali-util.adb (Initialize_Checksum): Use out-mode instead of in out. * ali-util.adb (Initialize_Checksum): Use out-mode instead of in out.
Found due to GCC 3.0 warning of using uninitialized value. Found due to GCC 3.0 warning of using uninitialized value.
* layout.adb: * layout.adb:
(Get_Max_Size): Use variant record for tracking value/expression. (Get_Max_Size): Use variant record for tracking value/expression.
Makes logic clearer and prevents warnings for uninitialized variables. Makes logic clearer and prevents warnings for uninitialized variables.
...@@ -167,7 +171,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -167,7 +171,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
* s-taprop.ads: Minor reformatting * s-taprop.ads: Minor reformatting
2001-10-29 Laurent Guerby <guerby@acm.org> 2001-10-29 Laurent Guerby <guerby@acm.org>
* init.c: * init.c:
(Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg (Raise_From_Signal_Handler, Propagate_Signal_Exception): Make arg
const. const.
...@@ -177,10 +181,10 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -177,10 +181,10 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
* sysdep.c: Fix localtime_r problem on LynxOS. * sysdep.c: Fix localtime_r problem on LynxOS.
Also remove #elif to avoid warnings. Also remove #elif to avoid warnings.
* misc.c (yyparse): Don't set up and register jmpbuf; remove decls * misc.c (yyparse): Don't set up and register jmpbuf; remove decls
used by this. used by this.
* decl.c (annotate_value): Make SIZE unsigned to avoid warning. * decl.c (annotate_value): Make SIZE unsigned to avoid warning.
2001-10-28 Joseph S. Myers <jsm28@cam.ac.uk> 2001-10-28 Joseph S. Myers <jsm28@cam.ac.uk>
...@@ -215,7 +219,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -215,7 +219,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-26 Richard Kenner <kenner@gnat.com> 2001-10-26 Richard Kenner <kenner@gnat.com>
* decl.c (validate_size): Modify message for bad size to avoid * decl.c (validate_size): Modify message for bad size to avoid
implication that compiler is modifying the size. implication that compiler is modifying the size.
2001-10-26 Robert Dewar <dewar@gnat.com> 2001-10-26 Robert Dewar <dewar@gnat.com>
...@@ -225,41 +229,41 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -225,41 +229,41 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-26 Robert Dewar <dewar@gnat.com> 2001-10-26 Robert Dewar <dewar@gnat.com>
* sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup. * sinfo.ads: Define Associated_Node to overlap Entity field. Cleanup.
* sinfo.ads: Clarify use of Associated_Node (documentation only). * sinfo.ads: Clarify use of Associated_Node (documentation only).
* sem_ch12.adb: Change Node4 to Associated_Node. Change * sem_ch12.adb: Change Node4 to Associated_Node. Change
Associated_Node to Get_Associated_Node. Put use of Unchecked_Access Associated_Node to Get_Associated_Node. Put use of Unchecked_Access
much more narrowly in places where needed. These are cleanups. much more narrowly in places where needed. These are cleanups.
2001-10-26 Joel Brobecker <brobecke@gnat.com> 2001-10-26 Joel Brobecker <brobecke@gnat.com>
* 5zosinte.ads (null_pthread): new constant. * 5zosinte.ads (null_pthread): new constant.
* 5ztaprop.adb: * 5ztaprop.adb:
(Initialize_TCB): Initialize thread ID to null, to be able to verify (Initialize_TCB): Initialize thread ID to null, to be able to verify
later that this field has been set. later that this field has been set.
(Finalize_TCB): ditto. (Finalize_TCB): ditto.
(Suspend_Task): Verify that the thread ID is not null before using it. (Suspend_Task): Verify that the thread ID is not null before using it.
(Resume_Task): ditto. (Resume_Task): ditto.
* s-tasdeb.adb: * s-tasdeb.adb:
(Resume_All_Tasks): Lock the tasks list before using it. (Resume_All_Tasks): Lock the tasks list before using it.
(Suspend_All_Tasks): ditto. (Suspend_All_Tasks): ditto.
2001-10-26 Richard Kenner <kenner@gnat.com> 2001-10-26 Richard Kenner <kenner@gnat.com>
* decl.c (gnat_to_gnu_entity, case E_General_Access_Type): * decl.c (gnat_to_gnu_entity, case E_General_Access_Type):
Make constant variant of designated type for Is_Access_Constant. Make constant variant of designated type for Is_Access_Constant.
Call update_pointer_to with main variant. Call update_pointer_to with main variant.
* trans.c (process_freeze_entity, process_type): * trans.c (process_freeze_entity, process_type):
Call update_pointer_to on main variant. Call update_pointer_to on main variant.
* utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE. * utils.c (update_pointer_to): Make corresponding variant for NEW_TYPE.
If main variant, update all other variants. If main variant, update all other variants.
* utils2.c (build_unary_op, case INDIRECT_REF): No longer set * utils2.c (build_unary_op, case INDIRECT_REF): No longer set
TREE_STATIC. TREE_STATIC.
2001-10-26 Robert Dewar <dewar@gnat.com> 2001-10-26 Robert Dewar <dewar@gnat.com>
...@@ -281,7 +285,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -281,7 +285,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-26 Vincent Celier <celier@gnat.com> 2001-10-26 Vincent Celier <celier@gnat.com>
* g-os_lib.adb (Normalize_Pathname): Preserve the double slash * g-os_lib.adb (Normalize_Pathname): Preserve the double slash
("//") that precede the drive letter on Interix. ("//") that precede the drive letter on Interix.
2001-10-26 Geert Bosch <bosch@gnat.com> 2001-10-26 Geert Bosch <bosch@gnat.com>
...@@ -290,7 +294,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -290,7 +294,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-25 Robert Dewar <dewar@gnat.com> 2001-10-25 Robert Dewar <dewar@gnat.com>
* sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name * sem_ch8.adb (Analyze_Package_Renaming): Skip analysis if Name
is Error. Similar change for other renaming cases. is Error. Similar change for other renaming cases.
2001-10-25 Robert Dewar <dewar@gnat.com> 2001-10-25 Robert Dewar <dewar@gnat.com>
...@@ -300,33 +304,33 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -300,33 +304,33 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-25 Ed Schonberg <schonber@gnat.com> 2001-10-25 Ed Schonberg <schonber@gnat.com>
* par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array * par-ch3.adb (P_Subtype_Mark_Resync): for an anonymous array
return Error rather than Empty so that analysis can proceed. return Error rather than Empty so that analysis can proceed.
2001-10-25 Ed Schonberg <schonber@gnat.com> 2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_util.adb (Enter_Name): better handling of cascaded error * sem_util.adb (Enter_Name): better handling of cascaded error
messages when a unit appears in its own context. messages when a unit appears in its own context.
2001-10-25 Ed Schonberg <schonber@gnat.com> 2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_util.adb (Defining_Entity): in case of error, attach created * sem_util.adb (Defining_Entity): in case of error, attach created
entity to specification, so that semantic analysis can proceed. entity to specification, so that semantic analysis can proceed.
2001-10-25 Robert Dewar <dewar@gnat.com> 2001-10-25 Robert Dewar <dewar@gnat.com>
* sem_util.adb * sem_util.adb
(Defining_Entity): Deal with Error. (Defining_Entity): Deal with Error.
(Process_End_Label): Deal with bad end label for. (Process_End_Label): Deal with bad end label for.
2001-10-25 Ed Schonberg <schonber@gnat.com> 2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_elab.adb (Check_A_Call): refine message when call is in an * sem_elab.adb (Check_A_Call): refine message when call is in an
instance but callee is not declared in the generic unit. instance but callee is not declared in the generic unit.
2001-10-25 Ed Schonberg <schonber@gnat.com> 2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_elab.adb (Check_A_Call): check for renaming before finding the * sem_elab.adb (Check_A_Call): check for renaming before finding the
enclosing unit, which may already be different from the calling unit. enclosing unit, which may already be different from the calling unit.
2001-10-25 Geert Bosch <bosch@gnat.com> 2001-10-25 Geert Bosch <bosch@gnat.com>
...@@ -335,20 +339,20 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -335,20 +339,20 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-25 Ed Schonberg <schonber@gnat.com> 2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_res.adb (Resolve_Call): if the call is actually an indexing * sem_res.adb (Resolve_Call): if the call is actually an indexing
operation on the result of a parameterless call, perform elaboration operation on the result of a parameterless call, perform elaboration
check after the node has been properly rewritten. check after the node has been properly rewritten.
* sem_ch12.adb (Copy_Generic_Node): after the proper body has been * sem_ch12.adb (Copy_Generic_Node): after the proper body has been
inlined within the generic tree, the defining identifier is not a inlined within the generic tree, the defining identifier is not a
compilation_unit. compilation_unit.
2001-10-25 Ed Schonberg <schonber@gnat.com> 2001-10-25 Ed Schonberg <schonber@gnat.com>
* sem_res.adb (Resolve): special-case resolution of Null in an * sem_res.adb (Resolve): special-case resolution of Null in an
instance or an inlined body to avoid view conflicts. instance or an inlined body to avoid view conflicts.
* sem_ch12.adb (Copy_Generic_Node): for allocators, check for view * sem_ch12.adb (Copy_Generic_Node): for allocators, check for view
compatibility by retrieving the access type of the generic copy. compatibility by retrieving the access type of the generic copy.
2001-10-25 Robert Dewar <dewar@gnat.com> 2001-10-25 Robert Dewar <dewar@gnat.com>
...@@ -357,20 +361,20 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -357,20 +361,20 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
(Analyze_Number_Declaration): Handle error expression. (Analyze_Number_Declaration): Handle error expression.
(Signed_Integer_Type_Declaration): Handle error bound. (Signed_Integer_Type_Declaration): Handle error bound.
(Analyze_Subtype_Indication): Handle error range. (Analyze_Subtype_Indication): Handle error range.
* sem_util.adb (Get_Index_Bounds): Check for Error. * sem_util.adb (Get_Index_Bounds): Check for Error.
2001-10-25 Robert Dewar <dewar@gnat.com> 2001-10-25 Robert Dewar <dewar@gnat.com>
* restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default * restrict.adb (Set_No_Run_Time_Mode): Set Discard_Names as default
in no run time mode. in no run time mode.
2001-10-25 Pascal Obry <obry@gnat.com> 2001-10-25 Pascal Obry <obry@gnat.com>
* gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet * gnatmem.adb (Read_Next): fix Curs2 value to properly handle quiet
mode case for ALLOC case. mode case for ALLOC case.
* gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on * gnatmem.adb (Read_Next): correctly fix parsing in Quiet mode on
all platforms. Improvement of last change. all platforms. Improvement of last change.
2001-10-25 Robert Dewar <dewar@gnat.com> 2001-10-25 Robert Dewar <dewar@gnat.com>
...@@ -383,29 +387,29 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -383,29 +387,29 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-25 Pascal Obry <obry@gnat.com> 2001-10-25 Pascal Obry <obry@gnat.com>
* osint.adb (Read_Default_Search_Dirs): correctly detect relative * osint.adb (Read_Default_Search_Dirs): correctly detect relative
pathnames in UNIX and DOS style with drive letter. pathnames in UNIX and DOS style with drive letter.
(Is_Relative): new routine. (Is_Relative): new routine.
* osint.adb: Minor reformatting * osint.adb: Minor reformatting
* osint.adb (Is_Relative): implementation using * osint.adb (Is_Relative): implementation using
GNAT.OS_Lib.Is_Absolute_Path. Better fix. GNAT.OS_Lib.Is_Absolute_Path. Better fix.
2001-10-25 Pascal Obry <obry@gnat.com> 2001-10-25 Pascal Obry <obry@gnat.com>
* g-dirope.adb (Basename): correctly compute offset between the * g-dirope.adb (Basename): correctly compute offset between the
original Path and the translated one. original Path and the translated one.
* g-dirope.adb: (Base_Name): add some comments. * g-dirope.adb: (Base_Name): add some comments.
2001-10-25 Robert Dewar <dewar@gnat.com> 2001-10-25 Robert Dewar <dewar@gnat.com>
* exp_imgv.adb (Expand_Image_Attribute): Defend against bad use * exp_imgv.adb (Expand_Image_Attribute): Defend against bad use
in HIE mode, avoids compilation abandoned message in HIE mode, avoids compilation abandoned message
* exp_imgv.adb: Correct typo in previous change * exp_imgv.adb: Correct typo in previous change
* exp_imgv.adb: Correct typo in previous change (not my day!) * exp_imgv.adb: Correct typo in previous change (not my day!)
2001-10-25 Robert Dewar <dewar@gnat.com> 2001-10-25 Robert Dewar <dewar@gnat.com>
...@@ -414,7 +418,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -414,7 +418,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-25 Pascal Obry <obry@gnat.com> 2001-10-25 Pascal Obry <obry@gnat.com>
* g-awk.ads: Move all pragma inlines next to the routine * g-awk.ads: Move all pragma inlines next to the routine
declarations. This is more uniform with other GNAT spec. declarations. This is more uniform with other GNAT spec.
2001-10-22 Geert Bosch <bosch@gnat.com> 2001-10-22 Geert Bosch <bosch@gnat.com>
...@@ -440,7 +444,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -440,7 +444,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-11 Ed Schonberg <schonber@gnat.com> 2001-10-11 Ed Schonberg <schonber@gnat.com>
* exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in * exp_ch8.adb (Expand_N_Object_Renaming_Declaration): Bugfix in
renaming of discriminant for mutable record type. renaming of discriminant for mutable record type.
2001-10-11 Robert Dewar <dewar@gnat.com> 2001-10-11 Robert Dewar <dewar@gnat.com>
...@@ -448,71 +452,71 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -448,71 +452,71 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
* validsw.adb: Properly save -gnatVn status. * validsw.adb: Properly save -gnatVn status.
2001-10-11 Robert Dewar <dewar@gnat.com> 2001-10-11 Robert Dewar <dewar@gnat.com>
* usage.adb: Add lines for V switch. * usage.adb: Add lines for V switch.
* gnatcmd.adb (COMPILE): Revise translations for -gnatV * gnatcmd.adb (COMPILE): Revise translations for -gnatV
(/VALIDITY_CHECKING). (/VALIDITY_CHECKING).
2001-10-11 Ed Schonberg <schonber@gnat.com> 2001-10-11 Ed Schonberg <schonber@gnat.com>
* sem_type.adb (Add_One_Interp): an operator for a type declared in * sem_type.adb (Add_One_Interp): an operator for a type declared in
an extension of System is known to be visible. an extension of System is known to be visible.
2001-10-11 Ed Schonberg <schonber@gnat.com> 2001-10-11 Ed Schonberg <schonber@gnat.com>
* sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal * sem_eval.adb (Compare_Fixup): get the bounds of a String_Literal
properly. Fixes regression on ACATS C34005G. properly. Fixes regression on ACATS C34005G.
2001-10-11 Robert Dewar <dewar@gnat.com> 2001-10-11 Robert Dewar <dewar@gnat.com>
* sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null * sem_ch5.adb (Analyze_Iteration_Scheme): Suppress warning on null
loop in generic instance, since this is likely not very useful. loop in generic instance, since this is likely not very useful.
2001-10-11 Robert Dewar <dewar@gnat.com> 2001-10-11 Robert Dewar <dewar@gnat.com>
* restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize * restrict.adb (Disallow in No_Run_Time_Mode): Properly specialize
the error message for high integrity mode. the error message for high integrity mode.
* rtsfind.adb (RTE): Give message if we try to find an entity that * rtsfind.adb (RTE): Give message if we try to find an entity that
is not available in high integrity mode. is not available in high integrity mode.
* rtsfind.ads: * rtsfind.ads:
(OK_To_Use_In_HIE_Mode): New array. (OK_To_Use_In_HIE_Mode): New array.
(RTE): May return Empty in high integrity mode. (RTE): May return Empty in high integrity mode.
* rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for * rtsfind.ads (OK_To_Use_In_No_Run_Time_Mode): New name for
OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx. OK_To_Use_In_HIE_Mode, now includes System_FAT_xxx.
* sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined * sem_ch6.adb (Analyze_Subprogram_Body): Kill body in predefined
unit if not inlined always and in no runtime mode. Fixes problem unit if not inlined always and in no runtime mode. Fixes problem
caused by new Rtsfind changes. caused by new Rtsfind changes.
* sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if * sem_ch6.adb (Analyze_Subrogram_Body): Do not Check_References if
body is deleted. body is deleted.
* rtsfind.adb (RTE): Make sure we do not try to load unit after * rtsfind.adb (RTE): Make sure we do not try to load unit after
giving message for entity not available in high integrity mode. giving message for entity not available in high integrity mode.
2001-10-11 Pascal Obry <obry@gnat.com> 2001-10-11 Pascal Obry <obry@gnat.com>
* impunit.adb: Add GNAT.CRC32. * impunit.adb: Add GNAT.CRC32.
2001-10-11 Ed Schonberg <schonber@gnat.com> 2001-10-11 Ed Schonberg <schonber@gnat.com>
* exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Fixed): handle
properly the case where one universal operand in a non-static properly the case where one universal operand in a non-static
exponentiation of a real literal. exponentiation of a real literal.
2001-10-11 Ed Schonberg <schonber@gnat.com> 2001-10-11 Ed Schonberg <schonber@gnat.com>
* exp_ch7.adb (Find_Final_List): for a type appearing in a with_type * exp_ch7.adb (Find_Final_List): for a type appearing in a with_type
clause, return the gobal finalization list, for lack of anthing else. clause, return the gobal finalization list, for lack of anthing else.
2001-10-11 Ed Schonberg <schonber@gnat.com> 2001-10-11 Ed Schonberg <schonber@gnat.com>
* exp_ch7.adb (Make_Transient_Block): if statement is within * exp_ch7.adb (Make_Transient_Block): if statement is within
exception handler, always use new transient scope to place Clean exception handler, always use new transient scope to place Clean
procedure. procedure.
2001-10-11 Pascal Obry <obry@gnat.com> 2001-10-11 Pascal Obry <obry@gnat.com>
...@@ -522,146 +526,146 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -522,146 +526,146 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
(GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o (GNATBIND_OBJS): add g-crc32.o, a-tags.o, a-stream.o
(GNATLS_RTL_OBJS): add g-crc32.o (GNATLS_RTL_OBJS): add g-crc32.o
(GNATMAKE_RTL_OBJS): add g-crc32.o (GNATMAKE_RTL_OBJS): add g-crc32.o
* ali-util.adb: * ali-util.adb:
(CRC_Match): new function. (CRC_Match): new function.
(Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit (Get_File_Checksum): renamed Get_File_CRC. Use the GNAT.CRC32 unit
instead of the previous simple checksum algorithm. instead of the previous simple checksum algorithm.
(Time_Stamp_Mismatch): use CRC_Match for comparison. (Time_Stamp_Mismatch): use CRC_Match for comparison.
(Set_Source_Table): idem. (Set_Source_Table): idem.
* ali-util.ads: * ali-util.ads:
(Get_File_Checksum): renamed Get_File_CRC as now we compute CRC (Get_File_Checksum): renamed Get_File_CRC as now we compute CRC
instead of simple checksum. instead of simple checksum.
(CRC_Match): new function. (CRC_Match): new function.
(CRC_Error): new constant. (CRC_Error): new constant.
* ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling * ali.adb (Scan_ALI): rename variable Chk to CRC as we are handling
a CRC now and not a simple checksum. A CRC uses lower-case hex a CRC now and not a simple checksum. A CRC uses lower-case hex
letters, fixes ambiguity in parsing. letters, fixes ambiguity in parsing.
* ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this * ali.ads (Sdep_Record.Checksum): renamed Sdep_Record.CRC as this
is what this variable will store. is what this variable will store.
* bcheck.adb: Change reference to chechsum in comments by CRC. * bcheck.adb: Change reference to chechsum in comments by CRC.
(Check_Consistency): Rename Get_File_Checksum to Get_File_CRC. (Check_Consistency): Rename Get_File_Checksum to Get_File_CRC.
rename All_Checksum_Match to All_CRC_Match. Change due to API rename All_Checksum_Match to All_CRC_Match. Change due to API
renaming since now GNAT does not use a simple checksum but a renaming since now GNAT does not use a simple checksum but a
CRC using GNAT.CRC32. CRC using GNAT.CRC32.
* gnatls.adb: Rename Checksum to CRC in many places, we use a CRC * gnatls.adb: Rename Checksum to CRC in many places, we use a CRC
now and not anymore a simple checksum. now and not anymore a simple checksum.
* lib-load.adb: Use Source_CRC instead of Source_Checksum in many * lib-load.adb: Use Source_CRC instead of Source_Checksum in many
places. places.
* lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum. * lib-writ.adb (Write_ALI): Use Source_CRC instead of Source_Checksum.
* scans.adb: * scans.adb:
(Restore_Scan_State): rename Checksum to CRC. (Restore_Scan_State): rename Checksum to CRC.
(Save_Scan_State): idem. (Save_Scan_State): idem.
* scans.ads: * scans.ads:
With GNAT.CRC32. With GNAT.CRC32.
(Checksum): rename to CRC. (Checksum): rename to CRC.
(Saved_Scan_State): Save_Checksum field renamed to Save_CRC (Saved_Scan_State): Save_Checksum field renamed to Save_CRC
* scn-nlit.adb: Rename many Accumulate_Checksum to Update (from * scn-nlit.adb: Rename many Accumulate_Checksum to Update (from
GNAT.CRC32). Update copyright notice. GNAT.CRC32). Update copyright notice.
* scn-slit.adb: Rename many Accumulate_Checksum to Update (from * scn-slit.adb: Rename many Accumulate_Checksum to Update (from
GNAT.CRC32). Update copyright notice. GNAT.CRC32). Update copyright notice.
* scn.adb: * scn.adb:
(Accumulate_Checksum): removed. (Accumulate_Checksum): removed.
(Update): new procedure. Add a wide-character into the CRC. (Update): new procedure. Add a wide-character into the CRC.
* sinput-l.adb: * sinput-l.adb:
(Complete_Source_File_Entry): use CRC32 instead of simple checksum. (Complete_Source_File_Entry): use CRC32 instead of simple checksum.
(Load_File): fix initialization of S (change Source_Checksum to (Load_File): fix initialization of S (change Source_Checksum to
Source_CRC) Source_CRC)
* sinput-p.adb (Load_Project_File): rename Source_Checksum to * sinput-p.adb (Load_Project_File): rename Source_Checksum to
Source_CRC in S initialization. Source_CRC in S initialization.
* sinput.adb (Source_Checksum): renamed to Source_CRC. * sinput.adb (Source_Checksum): renamed to Source_CRC.
* sinput.ads (Source_Checksum): renamed to Source_CRC. * sinput.ads (Source_Checksum): renamed to Source_CRC.
Update comments for the CRC. Update comments for the CRC.
* types.adb (Hex): Use lowercase for the letter part. * types.adb (Hex): Use lowercase for the letter part.
* types.ads (Get_Hex_String): Returns the hexadecimal representation * types.ads (Get_Hex_String): Returns the hexadecimal representation
for a word. This is currently used only for CRC. In previous version, for a word. This is currently used only for CRC. In previous version,
the checksum was using a representation with all letter being the checksum was using a representation with all letter being
upper-case. With the new implementation (using CRC) we do not remove upper-case. With the new implementation (using CRC) we do not remove
the 32th bit of the CRC, so we can have an upper-case starting letter the 32th bit of the CRC, so we can have an upper-case starting letter
in the CRC. This is not possible to parse in Scan_ALI (ali.adb). in the CRC. This is not possible to parse in Scan_ALI (ali.adb).
It is ambigous since the CRC was optional and could be followed by It is ambigous since the CRC was optional and could be followed by
options like EB, EE. So now this routines uses lower-case letter for options like EB, EE. So now this routines uses lower-case letter for
the hexadecimal representation. Strange enough only lower case letters the hexadecimal representation. Strange enough only lower case letters
where checked in Scan_ALI (even if this was not a possible case). where checked in Scan_ALI (even if this was not a possible case).
* gnatvsn.ads (Library_Version): changed to 3.15a. * gnatvsn.ads (Library_Version): changed to 3.15a.
* s-crc32.ads: Initial version from GNAT.CRC32. This is the version * s-crc32.ads: Initial version from GNAT.CRC32. This is the version
for the compiler. for the compiler.
* s-crc32.adb: Initial version from GNAT.CRC32. This is the version * s-crc32.adb: Initial version from GNAT.CRC32. This is the version
for the compiler. for the compiler.
* ali-util.adb: Redo previous change to avoid using word CRC everywhere * ali-util.adb: Redo previous change to avoid using word CRC everywhere
Add 2001 to copyright notice Add 2001 to copyright notice
(Accumulate_Checksum): Modify to use System.CRC32. (Accumulate_Checksum): Modify to use System.CRC32.
* ali-util.ads: Redo changes of previous revision to continue to use * ali-util.ads: Redo changes of previous revision to continue to use
the word Checksum. Add 2001 to copyright notice. the word Checksum. Add 2001 to copyright notice.
* ali.adb: Undo some of previous changes, not needed. * ali.adb: Undo some of previous changes, not needed.
Keep the change for lower case letters in the checksum. Keep the change for lower case letters in the checksum.
* ali.ads: Undo previous change not needed. * ali.ads: Undo previous change not needed.
* bcheck.adb: Undo most of previous change, not needed. * bcheck.adb: Undo most of previous change, not needed.
But do use Checksums_Match for checksum comparison. But do use Checksums_Match for checksum comparison.
* gnatls.adb: Undo most of previous change, not needed. * gnatls.adb: Undo most of previous change, not needed.
But do use Checksums_Match for comparing checksums. But do use Checksums_Match for comparing checksums.
* lib-load.adb: Undo previous change, not needed. * lib-load.adb: Undo previous change, not needed.
* lib-writ.adb: Undo previous change, not needed. * lib-writ.adb: Undo previous change, not needed.
* lib-writ.ads: Document that checksums use lower case, * lib-writ.ads: Document that checksums use lower case,
not upper case letters. not upper case letters.
* scans.adb: Undo previous change, not needed * scans.adb: Undo previous change, not needed
* scans.ads: Undo previous change, not needed. * scans.ads: Undo previous change, not needed.
* scn-nlit.adb: Undo previous changes, not needed. * scn-nlit.adb: Undo previous changes, not needed.
* scn-slit.adb: Undo previous change, not needed. Fix header format. * scn-slit.adb: Undo previous change, not needed. Fix header format.
* scn.adb: * scn.adb:
(Accumulate_Checksum): Use System.CRC32. (Accumulate_Checksum): Use System.CRC32.
(Initialize_Checksum): New procedure. (Initialize_Checksum): New procedure.
Remove other changes of previous revision. Remove other changes of previous revision.
* sinput-p.adb: Undo previous change, not needed. * sinput-p.adb: Undo previous change, not needed.
* sinput.adb: Undo previous change, not needed. * sinput.adb: Undo previous change, not needed.
* sinput-l.adb: Undo previous change, not needed. * sinput-l.adb: Undo previous change, not needed.
* sinput.ads: Undo previous change, not needed. Keep only comment * sinput.ads: Undo previous change, not needed. Keep only comment
on new checksum algorithm on new checksum algorithm
* Makefile.in: Add s-crc32 as needed, remove g-crc32. * Makefile.in: Add s-crc32 as needed, remove g-crc32.
Also remove a-tags and a-stream from GNAT sources. Also remove a-tags and a-stream from GNAT sources.
* ali.adb (Scan_ALI): fix typo introduce in latest check-in. * ali.adb (Scan_ALI): fix typo introduce in latest check-in.
* Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o. * Makefile.in (GNATRTL_NONTASKING_OBJS): Add g-crc32.o.
2001-10-11 Geert Bosch <bosch@gnat.com> 2001-10-11 Geert Bosch <bosch@gnat.com>
...@@ -679,10 +683,10 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -679,10 +683,10 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-10 Geert Bosch <bosch@gnat.com> 2001-10-10 Geert Bosch <bosch@gnat.com>
* gnat-style.texi: New file describing coding guidelines for Ada. * gnat-style.texi: New file describing coding guidelines for Ada.
2001-10-10 Ed Schonberg <schonber@gnat.com> 2001-10-10 Ed Schonberg <schonber@gnat.com>
* einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required * einfo.adb (Write_Entity_Flags): Elaboration_Entity_Required
is Flag174. is Flag174.
2001-10-10 Geert Bosch <bosch@gnat.com> 2001-10-10 Geert Bosch <bosch@gnat.com>
...@@ -701,59 +705,59 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -701,59 +705,59 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
Switches indexed by the file name. Switches indexed by the file name.
(Collect_Arguments_And_Compile): Idem. (Collect_Arguments_And_Compile): Idem.
Reflect the attribute name changes. Reflect the attribute name changes.
* prj-attr.adb: * prj-attr.adb:
(Initialisation_Data): Change the names of some packages and (Initialisation_Data): Change the names of some packages and
attributes. attributes.
(Initialize): process case insensitive associative arrays. (Initialize): process case insensitive associative arrays.
* prj-attr.ads: * prj-attr.ads:
(Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array. (Attribute_Kind): Remove Both, add Case_Insensitive_Associative_Array.
* prj-dect.adb: * prj-dect.adb:
(Parse_Attribute_Declaration): For case insensitive associative (Parse_Attribute_Declaration): For case insensitive associative
arrays, set the index string to lower case. arrays, set the index string to lower case.
* prj-env.adb: * prj-env.adb:
Reflect the changes of the project attributes. Reflect the changes of the project attributes.
* prj-nmsc.adb: * prj-nmsc.adb:
Replace Check_Naming_Scheme by Ada_Check and Replace Check_Naming_Scheme by Ada_Check and
Language_Independent_Check. Language_Independent_Check.
* prj-nmsc.ads: * prj-nmsc.ads:
Replaced Check_Naming_Scheme by 2 procedures: Replaced Check_Naming_Scheme by 2 procedures:
Ada_Check and Language_Independent_Check. Ada_Check and Language_Independent_Check.
* prj-proc.adb: * prj-proc.adb:
(Process_Declarative_Items): For case-insensitive associative (Process_Declarative_Items): For case-insensitive associative
arrays, set the index string to lower case. arrays, set the index string to lower case.
(Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of (Recursive_Check): Call Prj.Nmsc.Ada_Check, instead of
Prj.Nmsc.Check_Naming_Scheme. Prj.Nmsc.Check_Naming_Scheme.
* prj-tree.adb: * prj-tree.adb:
(Case_Insensitive): New function (Case_Insensitive): New function
(Set_Case_Insensitive): New procedure (Set_Case_Insensitive): New procedure
* prj-tree.ads: * prj-tree.ads:
(Case_Insensitive): New function (Case_Insensitive): New function
(Set_Case_Insensitive): New procedure (Set_Case_Insensitive): New procedure
(Project_Node_Record): New flag Case_Insensitive. (Project_Node_Record): New flag Case_Insensitive.
* prj-util.adb: * prj-util.adb:
(Value_Of): new function to get the string value of a single (Value_Of): new function to get the string value of a single
string variable or attribute. string variable or attribute.
* prj-util.ads: * prj-util.ads:
(Value_Of): new function to get the string value of a single (Value_Of): new function to get the string value of a single
string variable or attribute. string variable or attribute.
* prj.adb: * prj.adb:
(Ada_Default_Spec_Suffix): New function (Ada_Default_Spec_Suffix): New function
(Ada_Default_Impl_Suffix): New function (Ada_Default_Impl_Suffix): New function
Change definitions of several constants to reflect Change definitions of several constants to reflect
new components of record types. new components of record types.
* prj.ads: * prj.ads:
(Naming_Data): Change several components to reflect new (Naming_Data): Change several components to reflect new
elements of naming schemes. elements of naming schemes.
...@@ -761,7 +765,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -761,7 +765,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
Language_Independent_Checked. Language_Independent_Checked.
(Ada_Default_Spec_Suffix): New function. (Ada_Default_Spec_Suffix): New function.
(Ada_Default_Impl_Suffix): New function. (Ada_Default_Impl_Suffix): New function.
* snames.ads: * snames.ads:
Modification of predefined names for project manager: added Modification of predefined names for project manager: added
Implementation, Specification_Exceptions, Implementation_Exceptions, Implementation, Specification_Exceptions, Implementation_Exceptions,
...@@ -770,29 +774,29 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -770,29 +774,29 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
Finder. Removed Body_Part, Specification_Append, Body_Append, Finder. Removed Body_Part, Specification_Append, Body_Append,
Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind, Separate_Append, Gnatmake, Gnatxref, Gnatfind, Gnatbind,
Gnatlink. Gnatlink.
* prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix): * prj.ads: (Ada_Default_Spec_Suffix, Ada_Default_Impl_Suffix):
Add comments. Add comments.
* prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted, * prj-nmsc.adb (Ada_Check): Test that Separate_Suffix is defaulted,
not that it is Nil_Variable_Value. not that it is Nil_Variable_Value.
* prj.ads: Add ??? for uncommented declarations * prj.ads: Add ??? for uncommented declarations
2001-10-10 Ed Schonberg <schonber@gnat.com> 2001-10-10 Ed Schonberg <schonber@gnat.com>
* sem_prag.adb: (Analyze_Pragma, case External): If entity is a * sem_prag.adb: (Analyze_Pragma, case External): If entity is a
constant, do not indicate possible modification, so that gigi can constant, do not indicate possible modification, so that gigi can
treat it as a bona fide constant. treat it as a bona fide constant.
2001-10-10 Robert Dewar <dewar@gnat.com> 2001-10-10 Robert Dewar <dewar@gnat.com>
* sem_prag.adb: Add processing for pragma External. * sem_prag.adb: Add processing for pragma External.
* snames.ads: Add entry for pragma External. * snames.ads: Add entry for pragma External.
* par-prag.adb: Add pragma External. * par-prag.adb: Add pragma External.
* snames.adb: Updated to match snames.ads. * snames.adb: Updated to match snames.ads.
2001-10-10 Ed Schonberg <schonber@gnat.com> 2001-10-10 Ed Schonberg <schonber@gnat.com>
...@@ -800,48 +804,48 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -800,48 +804,48 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
* exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for * exp_ch4.adb (Expand_N_Allocator): Generate meaningful names for
a dynamic task if the allocator appears in an indexed assignment a dynamic task if the allocator appears in an indexed assignment
or selected component assignment. or selected component assignment.
* exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image): * exp_util.adb (Build_Task_Array_Image, Build_Task_Record_Image):
For a dynamic task in an assignment statement, use target of For a dynamic task in an assignment statement, use target of
assignment to generate meaningful name. assignment to generate meaningful name.
2001-10-10 Ed Schonberg <schonber@gnat.com> 2001-10-10 Ed Schonberg <schonber@gnat.com>
* einfo.adb (Write_Field19_Name): Body_Entity is also defined for * einfo.adb (Write_Field19_Name): Body_Entity is also defined for
a generic package. a generic package.
* einfo.ads: Body_Entity is also defined for generic package. * einfo.ads: Body_Entity is also defined for generic package.
Documentation change only Documentation change only
* exp_aggr.adb (Build_Array_Aggr_Code): When expanding an * exp_aggr.adb (Build_Array_Aggr_Code): When expanding an
others_choice for a discriminated component initialization, others_choice for a discriminated component initialization,
convert discriminant references into the corresponding discriminals. convert discriminant references into the corresponding discriminals.
* exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate * exp_ch3.adb (Get_Simple_Init_Val): Add qualification to aggregate
only if original type is private and expression has to be wrapped only if original type is private and expression has to be wrapped
in a conversion. in a conversion.
* checks.adb: * checks.adb:
(Apply_Constraint_Check): Do not perform length check (Apply_Constraint_Check): Do not perform length check
if expression is an aggregate with only an others_choice. if expression is an aggregate with only an others_choice.
(Length_N_Cond): two references to the same in_parameter (Length_N_Cond): two references to the same in_parameter
(typically the discriminal in an init_proc) denote the same value. (typically the discriminal in an init_proc) denote the same value.
Two useful optimization uncovered by bugfixes above. Two useful optimization uncovered by bugfixes above.
2001-10-10 Robert Dewar <dewar@gnat.com> 2001-10-10 Robert Dewar <dewar@gnat.com>
* xeinfo.adb: Change int to char in translation of enumeration types. * xeinfo.adb: Change int to char in translation of enumeration types.
This fixes a problem in the C representation of component alignment. This fixes a problem in the C representation of component alignment.
Add 2001 to copyright notice Add 2001 to copyright notice
2001-10-10 Richard Kenner <kenner@gnat.com> 2001-10-10 Richard Kenner <kenner@gnat.com>
* decl.c: (validate_size): Do check size of object of integral type * decl.c: (validate_size): Do check size of object of integral type
if it is a packed array type. if it is a packed array type.
2001-10-10 Richard Kenner <kenner@gnat.com> 2001-10-10 Richard Kenner <kenner@gnat.com>
* decl.c: (gnat_to_gnu_entity, case object): Also materialize * decl.c: (gnat_to_gnu_entity, case object): Also materialize
VAR_DECL for constant if not Is_Public but -O0. VAR_DECL for constant if not Is_Public but -O0.
2001-10-10 Richard Kenner <kenner@gnat.com> 2001-10-10 Richard Kenner <kenner@gnat.com>
...@@ -850,7 +854,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> ...@@ -850,7 +854,7 @@ Thu Nov 15 18:16:17 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
2001-10-10 Geert Bosch <bosch@gnat.com> 2001-10-10 Geert Bosch <bosch@gnat.com>
* xnmake.adb (XNmake): Fix handling of -s/-b options. No longer * xnmake.adb (XNmake): Fix handling of -s/-b options. No longer
use '/' as switch character, allowing for absolute file names. use '/' as switch character, allowing for absolute file names.
2001-10-09 Joseph S. Myers <jsm28@cam.ac.uk> 2001-10-09 Joseph S. Myers <jsm28@cam.ac.uk>
......
gcc/ada/Makefile.in
...@@ -2623,7 +2623,7 @@ utils2.o : utils2.c $(CONFIG_H) $(TREE_H) $(srcdir)/../flags.h ada.h types.h \ ...@@ -2623,7 +2623,7 @@ utils2.o : utils2.c $(CONFIG_H) $(TREE_H) $(srcdir)/../flags.h ada.h types.h \
stamp-tool_src_dir: stamp-tool_src_dir:
-$(RMDIR) tools -$(RMDIR) tools
-$(MKDIR) tools -$(MKDIR) tools
-$(LN) $(fsrcdir)/$(MLIB_TGT).adb tools/mlib-tgt.adb -$(LN_S) $(fsrcdir)/$(MLIB_TGT).adb tools/mlib-tgt.adb
touch stamp-tool_src_dir touch stamp-tool_src_dir
mlib-tgt.o : stamp-tool_src_dir mlib-tgt.o : stamp-tool_src_dir
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment