charlet [Fri, 18 Mar 2005 11:47:18 +0000 (11:47 +0000)]
2005-03-17 Eric Botcazou <ebotcazou@adacore.com>
* ada-tree.h: (DECL_RENAMING_GLOBAL_P): New predicate.
(DECL_RENAMED_OBJECT): New accessor macro.
(SET_DECL_RENAMED_OBJECT): New setter macro.
* decl.c (gnat_to_gnu_entity) <E_Variable>: Stabilize the renamed
object in all cases. Attach the renamed object to the VAR_DECL.
(gnat_to_gnu_field): Do not lift the record wrapper if the size of the
field is not prescribed.
* misc.c (gnat_handle_option): Handle -gnatO separately.
(gnat_print_decl) <VAR_DECL>: New case.
Print the DECL_RENAMED_OBJECT node.
* lang.opt: Declare separate -gnatO option.
* trans.c (tree_transform) <N_Identifier>: If the object is a renaming
pointer, replace it with the renamed object.
<N_Validate_Unchecked_Conversion>: Warn for a conversion to a fat
pointer type if the source is not a fat pointer type whose underlying
array has the same non-zero alias set as that of the destination array.
charlet [Fri, 18 Mar 2005 11:46:57 +0000 (11:46 +0000)]
2005-03-17 Pascal Obry <obry@adacore.com>
* adaint.h, adaint.c (__gnat_waitpid): Moved to expect.c where it is
used.
* expect.c (__gnat_waitpid): Moved here from adaint.c.
Reimplement under Win32 using Win32 API.
(__gnat_kill) [Win32]: Properly close the process handle before leaving
this routine.
hubicka [Fri, 18 Mar 2005 10:00:53 +0000 (10:00 +0000)]
* cgraph.c (cgraph_remove_node): Avoid loop in code deciding whether
function body should be released; do not proactively release function
bodies in non-unit-at-a-time mode.
dorit [Thu, 17 Mar 2005 21:08:06 +0000 (21:08 +0000)]
PR tree-optimization/20474
* tree-vect-analyze.c (vect_analyze_pointer_ref_access): Check the
size_type of the relevant pointer. Check for COMPLETE_TYPE_P.
bryce [Thu, 17 Mar 2005 15:54:20 +0000 (15:54 +0000)]
2005-03-17 Bryce McKinlay <mckinlay@redhat.com>
PR java/20502
* jcf-parse.c (duplicate_class_warning): New function.
(java_parse_file): Call duplicate_class_warning if
CLASS_FROM_CURRENTLY_COMPILED_P is already set.
(parse_zip_file_entries): Likewise. Also set
CLASS_FROM_CURRENTLY_COMPILED_P.
paolo [Thu, 17 Mar 2005 14:37:04 +0000 (14:37 +0000)]
2005-03-17 Paolo Carlini <pcarlini@suse.de>
PR c++/19966
* cp-tree.h (grok_op_properties): Change return type to void.
* decl.c (grok_op_properties): Return early - don't check the
arity - in case of a static member or an operator that cannot
be non-member; tidy a bit.
nathan [Thu, 17 Mar 2005 13:26:39 +0000 (13:26 +0000)]
cp:
PR c++/20186
* pt.c (contains_dependent_cast_p): Remove.
(fold_non_dependent_expr): Don't use it.
(value_dependent_expression_p): Use a switch statement.
reference_exprs can be dependent.
wilson [Thu, 17 Mar 2005 03:51:09 +0000 (03:51 +0000)]
patch to fix extraneous nop at function start, bug from David Mosberger
* config/ia64/ia64.c (issue_nops_and_insn): Check first_insn attribute,
and return without creating new state if before_nops_num is nonzero.
* config/ia64/ia64.md (first_insn): New attribute.
(alloc): Set it to yes.
dalej [Wed, 16 Mar 2005 20:42:37 +0000 (20:42 +0000)]
2005-03-16 Dale Johannesen <dalej@apple.com>
* rtlanal.c (find_first_parameter_load): Rewrite to
return actual first param load or the call if none,
instead of first in block, when not all loads exist.
rth [Wed, 16 Mar 2005 17:15:11 +0000 (17:15 +0000)]
PR middle-end/15700
* varasm.c (struct alias_pair): Rename from struct output_def_pair.
(alias_pairs): Rename from output_defs.
(find_decl_and_mark_needed): Split out from assemble_alias.
(do_assemble_alias): New.
(assemble_output_def): Remove.
(finish_aliases_1, finish_aliases_2): New.
(process_pending_assemble_output_defs): Remove.
(assemble_alias): Defer aliases for which we don't yet have a
non-external decl for the target symbol.
* passes.c (rest_of_decl_compilation): Register variables with cgraph.
* cgraphunit.c (cgraph_finalize_compilation_unit): Use finish_aliases_1. * toplev.c (compile_file): Use finish_aliases_2 instead of
process_pending_assemble_output_defs.
* tree.h (finish_aliases_1, finish_aliases_2): Declare.
(process_pending_assemble_output_defs): Remove.
kazu [Wed, 16 Mar 2005 14:45:15 +0000 (14:45 +0000)]
* builtins.c (expand_movstr): Update a call to
fold_builtin_strcpy.
(expand_builtin_strncpy): Update a call to
fold_builtin_strncpy.
(fold_builtin_strcpy, fold_builtin_strncpy): Take decomosed
arguments of CALL_EXPR.
(fold_builtin_1): Update calls to fold_builtin_strcpy and
fold_builtin_strncpy.
* tree-ssa-ccp.c (ccp_fold_builtin): Likewise.
* tree.h: Update the prototypes of fold_builtin_strcpy and
fold_builtin_strncpy.
zack [Wed, 16 Mar 2005 06:04:10 +0000 (06:04 +0000)]
config:
* gcc-version.m4: Delete.
fastjar:
* Makefile.am (fastjar_TEXINFOS): Add gcc-vers.texi.
(BASEVER, DEVPHASE): New variables.
(POD2MAN): Adjust setting of --release option.
(fastjar.1, grepjar.1, gcc-vers.texi): New rules.
* Makefile.in: Regenerate.
* configure.ac: Do not invoke TL_AC_GCC_VERSION.
* aclocal.m4, configure: Regenerate.
gcc:
* BASE-VER, DATESTAMP, DEV-PHASE: New files.
* Makefile.in (gcc_version, gcc_version_trigger, ): Delete.
(BASEVER, DEVPHASE, DATESTAMP, BASEVER_c, DEVPHASE_c, DATESTAMP_c)
(BASEVER_s, DEVPHASE_s, DATESTAMP_s): New variables.
(version): Define using $(BASEVER_c).
(Makefile, config.status, build/gcov-iov.o): No longer depends on
version.c.
(version.o): Depend on version files; add custom generation command.
(prefix.o): Define BASEVER on command line.
(s-iov): Depend on version files; adjust command.
(TEXI_CPP_FILES, TEX_IGCC_FILES, TEXI_GCCINT_FILES, TEXI_CPPINT_FILES):
Add gcc-vers.texi.
(gcc-vers.texi): New rule.
(doc/%.info, doc/%.dvi): Add -I . to command line.
(doc/gccinstall.dvi): Likewise.
(PACKAGE): Delete. All uses replaced with "gcc".
* aclocal.m4: Do not include gcc-version.m4.
* configure.ac: Do not invoke TL_AC_GCC_VERSION.
Do not AC_SUBST nor AC_DEFINE PACKAGE or VERSION.
Set is_release based on contents of DEV-PHASE.
Set gcc_version based on contents of BASE-VER.
Define WIN32_REGISTRY_KEY only if the user overrode the default.
* config.in, configure: Regenerate.
* gccbug.in: Determine version of GCC in use at runtime.
* gcov-iov.c: Get version number and development phase from
command line, not by including version.c.
* intl.c: Replace all uses of PACKAGE with "gcc".
* libada-mk.in: Delete unused "gcc_version" variable.
* prefix.c: Default WIN32_REGISTRY_KEY to BASEVER.
* version.c: (VERSUFFIX): New hook for redistributors; adjust
commentary to match.
(version_string): Put together from pieces.
* config/alpha/x-vms: Do not use $(gcc_version).
* config/i386/t-nwld: Likewise.
* doc/include/gcc-common.texi: Include gcc-vers.texi for
version-GCC and DEVELOPMENT.
gcc/ada:
* Make-lang.in (doc/gnat_ugn_unw.info, doc/gnat_rm.info)
(doc/gnat_ugn_unw.dvi, doc/gnat_rm.dvi): Add gcc-vers.texi
to dependencies.
gcc/fortran:
* Make-lang.in (GFORTRAN_TEXI): Add gcc-vers.texi.
gcc/java:
* Make-lang.in (TEXI_JAVA_FILES): Add gcc-vers.texi.
gcc/treelang:
* Make-lang.in (TEXI_TREELANG_FILES): Add gcc-vers.texi.
libstdc++-v3:
* include/Makefile.am (c++config.h): Depend on DATESTAMP from gcc
subdirectory. Generate #define of __GLIBCXX__ from contents of
that file.
* include/Makefile.in: Regenerate.
* include/bits/c++config: Do not define __GLIBCXX__.
maintainer-scripts:
* README: Update.
* gcc_release: Update gcc/DEV-PHASE if that file exists, instead
of gcc/version.c.
* update_version: Handle updating gcc/DATESTAMP.
* update_web_docs: Generate gcc-vers.texi first.
sayle [Wed, 16 Mar 2005 02:20:05 +0000 (02:20 +0000)]
PR tree-optimization/17454
* tree.c (tree_size): Add case for TREE_BINFO.
* fold-const.c (fold_checksum_tree): Only clear the overloaded
field TYPE_CACHED_VALUES if TYPE_CACHED_VALUES_P is set.
bosch [Wed, 16 Mar 2005 00:32:38 +0000 (00:32 +0000)]
* mlib-tgt-darwin.adb (Library_Exist_For, Library_File_Name_For):
Add new parameter In_Tree to specify the project tree: needed
by the project manager. Adapt to changes in project manager
using new parameter In_Tree.
jakub [Tue, 15 Mar 2005 20:51:17 +0000 (20:51 +0000)]
* ada/Make-lang.in (ada/treeprs.ads, ada/einfo.h, ada/sinfo.h,
ada/nmake.adb, ada/nmake.ads): Use unique subdirectories of
ada/bldtools to avoid make -jN failures.
sayle [Tue, 15 Mar 2005 20:43:12 +0000 (20:43 +0000)]
* real.c (c4x_single_format, c4x_extended_format): Provide values
for signbit_ro for c4x's single and extended floating point formats.
* optabs.c (expand_copysign): Use the floating point format's
signbit_ro for expanding via expand_copysign_absneg, and it's
signbit_rw field for expanding via expand_copysign_bit.
dorit [Tue, 15 Mar 2005 18:33:09 +0000 (18:33 +0000)]
* tree-vectorizer.h (unknown_alignment_for_access_p): Replaced by
known_alignment_for_access_p.
(known_alignment_for_access_p): New.
(do_peeling_for_alignment): Field made int instead of bool and renamed
to peeling_for_alignment.
(LOOP_DO_PEELING_FOR_ALIGNMENT): Renamed to LOOP_PEELING_FOR_ALIGNMENT.
* tree-vect-analyze.c (vect_determine_vectorization_factor): New. This
functionality used to be in vect_analyze_operations.
(vect_analyze_operations): Code to determine vectorization factor was
moved to vect_determine_vectorization_factor.
(vect_enhance_data_refs_alignment): Update to correct alignment when it
is known instead of -1. Set LOOP_PEELING_FOR_ALIGNMENT to peeling
factor.
(vect_analyze_loop): Call vect_determine_vectorization_factor (used to
be part of vect_analyze_operations).
* tree-vectorizer.c (slpeel_tree_peel_loop_to_edge): Use fold when
creating the guard condition, as the number of iterations may be
constant.
(slpeel_tree_peel_loop_to_edge): Use new name of
LOOP_DO_PEELING_FOR_ALIGNMENT. Set it to 0 instead of false.
* tree-vect-transform.c (vect_gen_niters_for_prolog_loop): Handle known
alignment case more efficiently. Use LOOP_PEELING_FOR_ALIGNMENT.
(vect_do_peeling_for_alignment): Use fold.
(vect_transform_loop): Use new name of LOOP_DO_PEELING_FOR_ALIGNMENT.
(vect_update_inits_of_dr): Renamed to
vect_update_init_of_dr.
(vect_update_inits_of_drs): Use new name of vect_update_inits_of_dr.
(vectorizable_store): Fix assertion to use == instead of =.
* gnat_ugn.texi: Remove extended inline assembly example, as it was far
too specific and long-winded to be appropriate for the GNAT User's
Guide.
Warn about use of GCC switches not documented in the GNAT User's Guide,
as these may cause generated code to not conform to Ada semantics.
Remove mention of -gdwarf-2 for sparc64, since this is now the default.
Add documentation for -gnat95 and -gnat05 switches
Remove paragraph documenting obsolete way to refer to third party
libraries.
Add a few references to Ada_05 that were missing.
Update documentation on -gnatZ/-gnatL.
Document limitation when using -m64 under Solaris.
Change the "Name Casing" subsection of the pretty-printer section
according to the changes in the dictionary processing.
* gnat_rm.texi: Document the Ada_05 pragma.
Section on record representation clauses describes the new more
relaxed rules about placement of large packed bit array components.
Add documentation of GNAT.UTF_32
charlet [Tue, 15 Mar 2005 16:18:42 +0000 (16:18 +0000)]
2005-03-08 Gary Dismukes <dismukes@adacore.com>
* s-imgwch.adb: Add with and use of Interfaces.
(Img_Wide_Character): Change type of Val to Unsigned_16.
(Img_Wide_Wide_Character): Change type of Val to Unsigned_32.
charlet [Tue, 15 Mar 2005 16:18:01 +0000 (16:18 +0000)]
2005-03-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch8.adb (Analyze_Subprogram_Renaming): In a generic, if this is
a renaming a body, check that the renamed subprogram in not intrinsic.
(Find_Direct_Name): If several use_visible entities hide
each other, and the context is a predefined file compiled through
rtsfind, keep only the entity that comes from a predefined file.
charlet [Tue, 15 Mar 2005 16:17:37 +0000 (16:17 +0000)]
2005-03-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Is_Private_Declaration): Verify that the declaration is
attached to a list before checking whether it appears in the private
declarations of the current package.
(Make_Inequality_Operator): Insert declaration in proper declarative
list rather than just setting the Parent field, so that
Is_Private_Declaration can handle it properly.
charlet [Tue, 15 Mar 2005 16:14:07 +0000 (16:14 +0000)]
2005-03-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Concatenation): Do not consider operators marked
Eliminated as candidates for resolution. Both efficient, and avoids
anomalies with operators declared in deleted code.
(Process_Implicit_Dereference_Prefix): Use this procedure whenever
expansion is disabled (as when compiling a generic) to prevent spurious
warnings on prefixes of selected components.
charlet [Tue, 15 Mar 2005 16:12:58 +0000 (16:12 +0000)]
2005-03-08 Ed Schonberg <schonberg@adacore.com>
Javier Miranda <miranda@adacore.com>
PR ada/15608
* sem_util.adb (Get_Task_Body_Procedure): Type may be the completion
of a private type, in which case it is underlying_type that denotes
the proper task. Also modified to use the new entity attribute
that is directly available in the task type and task subtype entities
(Build_Actual_Subtype_Of_Component): Handle properly multidimensional
arrays when other dimensions than the first are constrained by
discriminants of an enclosing record.
(Insert_Explicit_Dereference): If the prefix is an indexed component or
a combination of indexed and selected components, find ultimate entity
and generate the appropriate reference for it, to suppress spurious
warnings.
(Note_Possible_Modification): If an entity name has no entity, return.
(Is_Variable): A function call never denotes a variable.
(Requires_Transient_Scope): For record types, recurse only on
components, not on internal subtypes that may have been generated for
constrained components.
charlet [Tue, 15 Mar 2005 16:12:36 +0000 (16:12 +0000)]
2005-03-08 Javier Miranda <miranda@adacore.com>
Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Instantiate_Object): If the analysis of the actual
parameter reported some error we immediately return. This improves the
behaviour of the frontend in case of errors.
(Install_Parent, Remove_Parent): Introduce new flag
Parent_Unit_Visible, to preserve the proper visibility of the ultimate
ancestor of a generic child unit, when the child is being instantiated.
(Inline_Instance_Body): If we are compiling the private
part or the body of a child unit, restore the proper visibility of the
parents after compiling the instance body.
charlet [Tue, 15 Mar 2005 16:12:20 +0000 (16:12 +0000)]
2005-03-08 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Build_Ancestor_Name): If the ancestor is an
instantiation that has been rewritten as a package body, retrieve spec
to generate proper name for implicit_with_clause.
(Install_Parents): Recognize a parent that is an instantiation but has
been rewritten as a package declaration during analysis.
charlet [Tue, 15 Mar 2005 16:10:20 +0000 (16:10 +0000)]
2005-03-08 Doug Rupp <rupp@adacore.com>
Bernard Banner <banner@adacore.com>
Vincent Celier <celier@adacore.com>
Arnaud Charlet <charlet@adacore.com>
PR ada/6852
This change works fine when gnatlib is built from the gcc directory,
but does not work when using the libada Makefile, since GCC_FOR_TARGET
is not passed to ada/Makefile.in, so more work is needed by a
Makefile/configure expert.
* Makefile.in(gnatlib): Use $(GCC_FOR_TARGET) for compiling library.
set GMEM_LIB on ia64 linux to add optional support for gnatmem.
Setup gnatlink switch -M for x86_64 linux, as it is already setup
for Linux x86.
(gnatlib-shared-default): Use GNATLIBCFLAGS as well.
Run ranlib on libgccprefix.a
Define PREFIX_OBJS for Darwin, to build libgccprefix.
(ADA_INCLUDE_SRCS): Split Ada packages.
charlet [Tue, 15 Mar 2005 16:02:26 +0000 (16:02 +0000)]
2005-03-08 Pascal Obry <obry@adacore.com>
Eric Botcazou <ebotcazou@adacore.com>
PR ada/20226
PR ada/20344
* init.c (__gnat_initialize): Do not call __gnat_install_SEH_handler()
when IN_RTS. This is to work around a bootstrap path problem.
* misc.c (gnat_parse_file): Create a SEH (Structured Exception Handler)
table and pass it to __gnat_install_SEH_handler().
(gnat_handle_option): Accept OPT_fRTS_, not OPT_fRTS.
charlet [Tue, 15 Mar 2005 16:01:51 +0000 (16:01 +0000)]
2005-03-08 Thomas Quinot <quinot@adacore.com>
* exp_tss.ads, exp_tss.adb (Find_Inherited_TSS): New subprogram, moved
here from exp_attr so it can be shared between exp_attr and exp_dist.
(TSS_Names): Renamed from OK_TSS_Names. This array contains the list of
all TSS names, not a subset thereof, and the previous name introduced
an unnecessarily confusion that a distinction might exist between
"OK" TSS names and some "not OK" TSS names.
charlet [Tue, 15 Mar 2005 16:01:34 +0000 (16:01 +0000)]
2005-03-08 Robert Dewar <dewar@adacore.com>
* exp_smem.adb, sem_attr.adb: Remove OK_For_Stream flag, not used,
not needed.
Add documentation to replace the use of this flag
Fix kludge for Maximum_Alignment on x86 so that it does not apply to
the x86_64.
charlet [Tue, 15 Mar 2005 16:01:19 +0000 (16:01 +0000)]
2005-03-08 Ed Schonberg <schonberg@adacore.com>
* exp_intr.adb (Expand_Unc_Conversion): As a target type, use the type
that appears in the instantiation rather than the internal subtype
generated in the wrapper package, to avoid anomalies in gigi when the
target is derived from a private type whose full view is an access type.
charlet [Tue, 15 Mar 2005 16:00:42 +0000 (16:00 +0000)]
2005-03-08 Ed Schonberg <schonberg@adacore.com>
* exp_ch7.adb (Convert_View): Use base types of underlying types when
determining whether an unchecked conversion is needed for the argument
of an initialization call.
charlet [Tue, 15 Mar 2005 16:00:26 +0000 (16:00 +0000)]
2005-03-08 Robert Dewar <dewar@adacore.com>
Ed Schonberg <schonberg@adacore.com>
Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
PR ada/19900
* exp_pakd.adb (Create_Packed_Array_Type): Do not set
Must_Be_Byte_Aligned for cases where we do not need to use a
System.Pack_nn unit.
* exp_ch6.adb (Expand_Call): Call Expand_Actuals for functions as well
as procedures.
Needed now that we do some processing for IN parameters as well. This
may well fix some unrelated errors.
(Expand_Call): Handle case of unaligned objects (in particular those
that come from packed arrays).
(Expand_Inlined_Call): If the subprogram is a renaming as body, and the
renamed entity is an inherited operation, re-expand the call using the
original operation, which is the one to call.
Detect attempt to inline parameterless recursive subprogram.
(Represented_As_Scalar): Fix to work properly with private types
(Is_Possibly_Unaligned_Object): Major rewrite to get a much more
accurate estimate. Yields True in far fewer cases than before,
improving the quality of code that depends on this test.
(Remove_Side_Effects): Properly test for Expansion_Delayed and handle
case when it's inside an N_Qualified_Expression.
* exp_util.adb (Kill_Dead_Code): For a package declaration, iterate
over both visible and private declarations to remove them from tree,
and mark subprograms declared in package as eliminated, to prevent
spurious use in subsequent compilation of generic units in the context.
* exp_util.ads: Minor cleanup in variable names
* sem_eval.ads, sem_eval.adb: Minor reformatting
(Compile_Time_Known_Bounds): New function
charlet [Tue, 15 Mar 2005 15:59:54 +0000 (15:59 +0000)]
2005-03-08 Eric Botcazou <ebotcazou@adacore.com>
Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
Nicolas Setton <setton@adacore.com>
Ed Schonberg <schonberg@adacore.com>
* decl.c (gnat_to_gnu_field): Reject aliased components with a
representation clause that prescribes a size not equal to the rounded
size of their types.
(gnat_to_gnu_entity, case E_Component): Always look at
Original_Record_Component if Present and not the entity.
(gnat_to_gnu_entity, case E_Record_Subtype): Rework handling of subtypes
of tagged extension types by not making field for components that are
inside the parent.
(gnat_to_gnu_entity) <E_Record_Type>: Fix typo in the alignment formula
(gnat_to_gnu_entity) <E_Variable>: Do not convert again the
expression to the type of the object when the object is constant.
Reverse defer_debug_incomplete_list before traversing it, so that trees
are processed in the order at which they were added to the list. This
order is important when using the stabs debug format.
If we are deferring the output of debug information, also defer this
output for a function return type.
When adding fields to a record, prevent emitting debug information
for incomplete records, emit the information only when the record is
complete.
(components_to_record): New parameter defer_debug.
(gnat_to_gnu_entity, case E_Array_Subtype): Call copy_alias_set.
(gnat_to_gnu_field_decl): New function.
(substitution_list, annotate_rep): Call it.
(gnat_to_gnu_entity, case E_Record_Subtype): Likewise.
(gnat_to_gnu_entity, case E_Record_Type): Likewise.
No longer update discriminants to not be a COMPONENT_REF.
(copy_alias_set): Strip padding from input type; also handle
unconstrained arrays properly.
* gigi.h (write_record_type_debug_info): New function.
Convert to use ANSI-style prototypes. Remove unused
declarations for emit_stack_check, elab_all_gnat and
set_second_error_entity.
(gnat_to_gnu_field_decl): New decl.
* utils.c (write_record_type_debug_info): New function.
(finish_record_type): Delegate generation of debug information to
write_record_type_debug_info.
(update_pointer_to): Remove unneeded calls to rest_of_decl_compilation.
(update_pointer_to): Fix pasto.
(convert) <UNION_TYPE>: Accept slight type variations when
converting to an unchecked union type.
* exp_ch13.adb (Expand_N_Freeze_Entity): If Freeze_Type returns True,
replace the N_Freeze_Entity with a null statement.
* freeze.adb (Freeze_Expression): If the freeze nodes are generated
within a constrained subcomponent of an enclosing record, place the
freeze nodes in the scope stack entry for the enclosing record.
(Undelay_Type): New Subprogram.
(Set_Small_Size): Pass T, the type to modify; all callers changed.
(Freeze_Entity, Freeze_Record_Type): Change the way we handle types
within records; allow them to have freeze nodes if their base types
aren't frozen yet.
* sem_ch3.adb (Derived_Type_Declaration): New predicate
Comes_From_Generic, to recognize accurately that the parent type in a
derived type declaration can be traced back to a formal type, because
it is one or is derived from one, or because its completion is derived
from one.
(Constrain_Component_Type): If component comes from source and has no
explicit constraint, no need to constrain in in a subtype of the
enclosing record.
(Constrain_Access, Constrain_Array): Allow itypes to be delayed.
Minor change to propagate Is_Ada_2005 flag
* trans.c (gnat_to_gnu, case N_Aggregate): Verify that
Expansion_Delayed is False.
(assoc_to_constructor): Ignore fields that have a
Corresponding_Discriminant.
(gnat_to_gnu) <N_Return_Statement>: Restructure. If the
function returns "by target", dereference the target pointer using the
type of the actual return value.
<all>: Be prepared for a null gnu_result.
(processed_inline_subprograms): Check flag_really_no_inline
instead of flag_no_inline.
(set_second_error_entity): Remove unused function.
(gnat_to_gnu, case N_Selected_Component): Call
gnat_to_gnu_field_decl.
(assoc_to_constructor): Likewise.
charlet [Tue, 15 Mar 2005 15:58:36 +0000 (15:58 +0000)]
2005-03-08 Thomas Quinot <quinot@adacore.com>
* checks.adb (Get_E_First_Or_Last): When the expression being retrieved
is an N_Raise_Constraint_Error node, create a new copy of it without
going through a call to Duplicate_Subexpr.
projects / thirdparty / gcc.git / log
