| Age | Commit message (Collapse) | Author | Files | Lines |
|---|
|
function.c:assign_temp.
* tree.c (max_int_size_in_bytes): New function, inspired from
code in function.c:assign_temp.
* tree.h (max_int_size_in_bytes): Declare.
* function.c (assign_temp): Use it.
* gimplify.c (create_tmp_var): Relax the assertions on the type
properties, not mandating constant size any more.
(force_constant_size): New static function.
(gimple_add_tmp_var): Use it, forcing variable size to a
constant upper bound if it is not constant on entry.
* ada/misc.c (gnat_type_max_size): Look at TYPE_ADA_SIZE if we have
not been able to get a constant upper bound from TYPE_SIZE_UNIT.
* gnat.dg/varsize_temp.adb: New test.
From-SVN: r114938
|
|
PR ada/18692
* Make-lang.in: Add check-gnat to lang_checks. Rename existing
check-gnat into check-acats.
Co-Authored-By: Eric Botcazou <ebotcazou@adacore.com>
From-SVN: r114804
|
|
"Programming"...
* gnat-style.texi (@dircategory): Use "Software development"
instead of "Programming", following the Free Software Directory.
From-SVN: r114742
|
|
PR ada/27944
* s-taprop-hpux-dce.adb: Delete redundant 'with System.Parameters'.
From-SVN: r114598
|
|
2006-06-06 Laurent GUERBY <laurent@guerby.net>
PR ada/27769
mlib-utl.adb: Use Program_Name.
From-SVN: r114429
|
|
* decl.c, env.c, gigi.h, init.c, initialize.c, raise-gcc.c,
sem_ch13.adb, sysdep.c, targtyps.c, tb-alvxw.c, tracebak.c,
trans.c, utils.c: Fix comment typos. Follow spelling
conventions.
* gnat_rm.texi, gnat_ugn.texi, : Fix typos. Follow spelling
conventions.
From-SVN: r114171
|
|
* langhooks.h (struct lang_hooks): Add dwarf_name language hook.
* langhooks.c (lhd_dwarf_name): New function.
* langhooks-def.h (lhd_dwarf_name): Declare.
(LANG_HOOKS_DWARF_NAME): New macro, defaults to lhd_dwarf_name.
* dwarf2out.c (dwarf2_name): Use the dwarf_name language hook.
* ada/misc.c (gnat_dwarf_name): New function.
(LANG_HOOKS_DWARF_NAME): Define to gnat_dwarf_name.
From-SVN: r113905
|
|
gcc/ada/
2006-05-14 H.J. Lu <hongjiu.lu@intel.com>
* Make-lang.in (ada/decl.o): Replace target.h with $(TARGET_H).
(ada/misc.o): Likewise.
(ada/utils.o): Likewise.
gcc/cp/
2006-05-14 H.J. Lu <hongjiu.lu@intel.com>
* Make-lang.in (cp/decl.o): Add dependency on $(TARGET_H).
(cp/decl2.o): Likewise.
(cp/typeck.o): Likewise.
(cp/cvt.o): Likewise.
(cp/parser.o): Likewise.
(cp/call.o): Replace target.h with $(TARGET_H).
gcc/fortran/
2006-05-14 H.J. Lu <hongjiu.lu@intel.com>
* Make-lang.in (fortran/options.o): Depend on $(TARGET_H).
gcc/java/
2006-05-14 H.J. Lu <hongjiu.lu@intel.com>
* Make-lang.in (java/decl.o): Add dependency on $(TARGET_H).
(java/expr.o): Replace target.h with $(TARGET_H).
(java/parse.o): Likewise.
gcc/objcp/
2006-05-14 H.J. Lu <hongjiu.lu@intel.com>
* Make-lang.in (objcp/objcp-decl.o): Add dependency on
$(TARGET_H).
gcc/treelang/
2006-05-14 H.J. Lu <hongjiu.lu@intel.com>
* Make-lang.in (treelang/treetree.o): Add dependency on
$(TARGET_H).
From-SVN: r113773
|
|
2006-05-02 David Billinghurst <David.Billinghurst@riotinto.com>
PR ada/27366
* ada/env.c (__gnat_clearenv): Use unsetenv() to clear
environment on Cygwin.
From-SVN: r113457
|
|
2006-04-08 Aurelien Jarno <aurel32@debian.org>
* Makefile.in: Add Ada support for GNU/kFreeBSD.
* s-osinte-kfreebsd-gnu.ads: New file.
Approved by: Arnaud Charlet <charlet@adacore.com>
From-SVN: r112786
|
|
gcc/
2006-03-30 Carlos O'Donell <carlos@codesourcery.com>
* Makefile.in: Rename docdir to gcc_docdir.
gcc/java/
2006-03-30 Carlos O'Donell <carlos@codesourcery.com>
* Make-lang.in: Rename docdir to gcc_docdir.
gcc/ada/
2006-03-29 Carlos O'Donell <carlos@codesourcery.com>
* Make-lang.in: Rename docdir to gcc_docdir.
gcc/fortran/
2006-03-29 Carlos O'Donell <carlos@codesourcery.com>
* Make-lang.in: Rename docdir to gcc_docdir.
gcc/treelang/
2006-03-29 Carlos O'Donell <caros@codesourcery.com>
* Make-lang.in: Rename docdir to gcc_docdir.
From-SVN: r112545
|
|
2006-03-08 Paolo Bonzini <bonzini@gnu.org>
PR bootstrap/26500
* Makefile.in (dvi, html, install-info): Invoke the corresponding
language hook targets.
* ada/Make-lang.in, cp/Make-lang.in, objc/Make-lang.in,
objcp/Make-lang.in: Create stub rules for dvi, html, install-info
if language hook targets were missing.
From-SVN: r111845
|
|
* gigi.h (get_ada_base_type): Delete.
* utils2.c (get_ada_base_type): Likewise.
* trans.c (convert_with_check): Operate in the real base type.
From-SVN: r111711
|
|
* uintp.adb (Num_Bits): Handle Uint_Int_First specially.
From-SVN: r111700
|
|
* doc/tm.texi (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): Document.
(ASM_OUTPUT_BSS): Describe the two ways of handling global BSS,
and say that only one is needed.
* doc/rtl.texi (SYMBOL_REF_BLOCK): Say that the block can be null.
* target.h (have_switchable_bss_sections): New hook.
* explow.c (use_anchored_address): Check that the symbol is in a block.
* varasm.c (tls_comm_section, comm_section, lcomm_section)
(bss_noswitch_section): New variables.
(get_unnamed_section): Add SECTION_UNNAMED to the flags.
(get_noswitch_section): New function.
(get_block_for_section): Allow SECT to be null.
(unlikely_text_section_p): Use SECTION_STYLE.
(bss_initializer_p): New function.
(get_variable_section): Move earlier in file. Take a new argument,
prefer_noswitch_p. Move bss checks from assemble_variable to here.
Return one of the new *_sections in such cases.
(get_block_for_decl): New function, extracting some logic from
use_blocks_for_decl_p.
(change_symbol_section): Remove in favor of...
(change_symbol_block): ...this new function.
(use_blocks_for_decl_p): Remove checks now performed by
get_block_for_decl.
(make_decl_rtl): Use change_symbol_block and get_block_for_decl.
(ASM_EMIT_LOCAL, ASM_EMIT_BSS, ASM_EMIT_COMMON): Delete in favor of...
(emit_local, emit_bss, emit_common): ...these new functions.
Return true if the alignment was honored.
(emit_tls_common): New function.
(asm_emit_uninitialised): Delete.
(assemble_variable_noswitch): New function, split out from...
(assemble_variable): ...here. Don't make decisions about common
variables here. Globalize all public decls that go into non-common
sections. Check whether SYMBOL_REF_BLOCK is null.
(output_constant_def_contents): Check whether SYMBOL_REF_BLOCK is null.
(output_constant_pool): Likewise.
(init_varasm_once): Initialize the new section variables.
(have_global_bss_p): New function.
(categorize_decl_for_section): Use bss_initializer_p.
(switch_to_section): Use SECTION_STYLE. Abort for SECTION_NOSWITCH.
(place_block_symbol): Assert that the symbol must be in a block.
* target-def.h (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): New macro.
(TARGET_INITIALIZER): Include it.
* rtl.h (SYMBOL_REF_BLOCK): Document the null alternative.
* output.h (SECTION_STYLE_MASK, SECTION_COMMON): New macros.
(SECTION_MACH_DEP): Bump by two.
(SECTION_UNNAMED, SECTION_NOSWITCH): New macros.
(unnamed_section): Mention SECTION_UNNAMED in comment.
(named_section): Likewise SECTION_NAMED.
(noswitch_section_callback): New type.
(noswitch_section): New structure.
(section): Add a noswitch_section alternative.
(SECTION_STYLE): New macro.
(tls_comm_section, comm_section, lcomm_section): Declare.
(bss_noswitch_section, have_global_bss_p): Declare.
* config/elfos.h (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): Override.
* config/iq2000/iq2000.c (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS):
Override.
* config/v850/v850.c (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS): Override.
* config/stormy16/stormy16.c (TARGET_HAVE_SWITCHABLE_BSS_SECTIONS):
Override.
cp/
* decl.c (start_decl): Use have_global_bss_p when deciding
whether to make the decl common.
ada/
* utils.c (create_var_decl): Use have_global_bss_p when deciding
whether to make the decl common.
From-SVN: r111644
|
|
* gcc/objc/Make-lang.in (OBJC): Remove
(OBJECTIVE-C): Remove
(objective-c): Remove
(.PHONY): Remove objective-c and ObjC
* gcc/objcp/Make-lang.in (OBJ-C++): Remove
(.PHONY): Remove Obj-c++ and obj-C++. Add obj-c++
* gcc/cp/Make-lang.in (C++): Remove
(.PHONY): Remove C++
* gcc/ada/Make-lang.in (Ada): Remove
(.PHONY): Remove Ada
* gcc/fortran/Make-lang.in (FORTRAN): Remove
(.PHONY): Remove F95 and f95. Add fortran
* gcc/treelang/Make-lang.in (.phony): Remove TREELANG
(TREELANG): Remove
* gcc/Makefile.in (C): Remove
(PROTO): Remove
(.PHONY): Remove C and PROTO
From-SVN: r111307
|
|
2006-02-20 Paolo Bonzini <bonzini@gnu.org>
* configure.ac (target_list): Add install-info, dvi, html.
* configure: Regenerate.
* ada/Make-lang.in, cp/Make-lang.in, fortran/Make-lang.in,
java/Make-lang.in, objc/Make-lang.in, objcp/Make-lang.in,
treelang/Make-lang.in: Do not use double-colon rules.
From-SVN: r111304
|
|
From-SVN: r111200
|
|
2006-02-17 Ramon Fernandez <fernandez@adacore.com>
Thomas Quinot <quinot@adacore.com>
Robert Dewar <dewar@adacore.com>
Javier Miranda <miranda@adacore.com>
* expander.adb: Fix typo in comment
* exp_pakd.adb: Fix typo
Minor comment reformatting.
* g-dyntab.adb: Minor reformatting
* exp_ch6.adb (Register_Interface_DT_Entry): Traverse the list of
aliased subprograms to look for the abstract interface subprogram.
From-SVN: r111199
|
|
["5B"] and the new...
2006-02-17 Robert Dewar <dewar@adacore.com>
* s-wchcnv.adb: Document handling of [ on output (we do not change
this to ["5B"] and the new comments say why not.
* gnat_ugn.texi:
Add note for -gnatVo that this now includes the cases of type
conversions and qualified expressions.
Add comments on handling of brackets encoding for Text_IO
From-SVN: r111198
|
|
index types
2006-02-17 Matthew Heaney <heaney@adacore.com>
* a-convec.ads, a-convec.adb:
(operator "&"): handle potential overflow for large index types
(Insert): removed Contraint_Error when using large index types
(Insert_Space): removed Constraint_Error for large index types
(Length): moved constraint check from Length to Insert
* a-coinve.ads, a-coinve.adb: Stream attribute procedures are declared
as not null access.
Explicit raise statements now include an exception message.
(operator "&"): handle potential overflow for large index types
(Insert): removed Contraint_Error when using large index types
(Insert_Space): removed Constraint_Error for large index types
(Length): moved constraint check from Length to Insert
From-SVN: r111197
|
|
2006-02-17 Vincent Celier <celier@adacore.com>
* snames.ads, snames.adb: New standard names for new project attributes:
archive_builder, archive_indexer, compiler_pic_option,
config_body_file_name, config_body_file_name_pattern,
config_file_switches, config_file_unique, config_spec_file_name,
config_spec_file_name_pattern, default_builder_switches,
default_global_compiler_switches, default_language,
dependency_file_kind, global_compiler_switches, include_path,
include_path_file, language_kind, linker_executable_option,
linker_lib_dir_option, linker_lib_name_option, mapping_file_switches,
roots, runtime_project.
From-SVN: r111196
|
|
interface type...
2006-02-17 Javier Miranda <miranda@adacore.com>
* sem_res.adb (Resolve_Type_Conversion): In case of conversion to an
abstract interface type, the static analysis is not enough to know if
the interface is implemented or not by the source tagged type. Hence
we must pass the work to the expander to generate the required code to
evaluate the conversion at run-time.
(Resolve_Equality_Op): Do not apply previous
transformation if expansion is disasbled, to prevent anomalies when
locating global references in a generic unit.
From-SVN: r111195
|
|
a function that returns an...
2006-02-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Build_Body_To_Inline): Enforce the rule that in order
to inline a function that returns an unconstrained type, the return
expression must be the first variable declared in the body of the
function.
From-SVN: r111194
|
|
cannot inherit the primitive operations...
2006-02-17 Javier Miranda <miranda@adacore.com>
Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Build_Discriminated_Subtype): In case of concurrent
type we cannot inherit the primitive operations; we inherit the
Corresponding_Record_Type (which has the list of primitive operations).
(Check_Anonymous_Access_Types): When creating anonymous access types for
access components, use Rewrite in order to preserve the tree structure,
for ASIS use.
(Analyze_Object_Declaration): For limited types with access
discriminants with defaults initialized by an aggregate, obtain
subtype from aggregate as for other mutable types.
(Derived_Type_Declaration): If the derived type is a limited interface,
set the corresponding flag (Is_Limited_Record is not sufficient).
From-SVN: r111193
|
|
current instance is nested within another instance...
2006-02-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Analyze_Package_Instantiation): Inline_Now is false if
the current instance is nested within another instance in a child unit.
From-SVN: r111192
|
|
2006-02-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Analyze_With_Clause): If the unit is a subprogram
instantiation, the corresponding entity is the related_instance of the
wrapper package created for the instance.
From-SVN: r111191
|
|
hierarchy to be...
2006-02-17 Vasiliy Fofanov <fofanov@adacore.com>
* Makefile.in: Use VMS64 specialized versions of several units in
Interfaces.C hierarchy to be compatible with HP C default size choices.
Use the default version of Ada.Synchronous_Task_Control for VxWorks 653.
From-SVN: r111190
|
|
2006-02-17 Vasiliy Fofanov <fofanov@adacore.com>
* init.c (facility_resignal_table): new array
(__gnat_default_resignal_p): enhance default predicate to resignal if
VMS condition has one of the predefined facility codes.
From-SVN: r111189
|
|
close To if it is valid.
2006-02-17 Robert Dewar <dewar@adacore.com>
* g-os_lib.adb (Copy_File): Make sure that if From has an Invalid_FD,
then we close To if it is valid.
From-SVN: r111188
|
|
of the type of the discriminant are not static...
2006-02-17 Ed Schonberg <schonberg@adacore.com>
* freeze.adb (Statically_Discriminated_Components): Return false if
the bounds of the type of the discriminant are not static expressions.
* sem_aggr.adb (Check_Static_Discriminated_Subtype): Return false if
the bounds of the discriminant type are not static.
From-SVN: r111187
|
|
materialized when...
2006-02-17 Ed Schonberg <schonberg@adacore.com>
* exp_dbug.adb (Debug_Renaming_Declaration): Indicate that the entity
must be materialized when the renamed expression is an explicit
dereference.
From-SVN: r111186
|
|
through an access to class-wide interface...
2006-02-17 Javier Miranda <miranda@adacore.com>
Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_Allocator): If the allocated object is accessed
through an access to class-wide interface we force the displacement of
the pointer to the allocated object to reference the corresponding
secondary dispatch table.
(Expand_N_Op_Divide): Allow 64 bit divisions by small power of 2,
if Long_Shifts are supported on the target, even if 64 bit divides
are not supported (configurable run time mode).
(Expand_N_Type_Conversion): Do validity check if validity checks on
operands are enabled.
(Expand_N_Qualified_Expression): Do validity check if validity checks
on operands are enabled.
From-SVN: r111185
|
|
to avoid the possibility of a task being aborted...
2006-02-17 Jose Ruiz <ruiz@adacore.com>
* s-taprop-irix.adb, s-taprop-hpux-dce.adb, s-taprop-linux.adb,
s-taprop-solaris.adb, s-taprop-vms.adb, s-taprop-mingw.adb,
s-taprop-posix.adb, s-taprop-vxworks.adb, s-taprop-lynxos.adb,
s-taprop-tru64.adb (Set_False, Set_True, Suspend_Until_True): Add
Abort_Defer/Undefer pairs to avoid the possibility of a task being
aborted while owning a lock.
From-SVN: r111184
|
|
2006-02-17 Eric Botcazou <botcazou@adacore.com>
PR ada/26315
* utils2.c (find_common_type): If both input types are BLKmode and
have the same constant size, keep using the first one.
* bindgen.adb: (Gen_Versions_Ada): Revert previous workaround.
* decl.c (gnat_to_gnu_entity): Only check TREE_OVERFLOW for a constant.
* misc.c (gnat_handle_option): New case for -Woverlength-strings.
From-SVN: r111183
|
|
2006-02-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Find_Boolean_Types): If one of the operands is an
aggregate, check the interpretations of the other operand to find one
that may be a boolean array.
(Analyze_Selected_Component): Fix flow-of-control typo in case where
the prefix is a private extension.
From-SVN: r111182
|
|
* env.c (__gnat_setenv): Use size_t.
(__gnat_unsetenv): Likewise.
(__gnat_clearenv): Likewise.
From-SVN: r111155
|
|
From-SVN: r111133
|
|
From-SVN: r111107
|
|
of null = null, now known true.
From-SVN: r111106
|
|
Add documentation for restriction No_Dispatching_Calls
Add documentation for pragma Ada_2005
Remove mention of obsolete pragma Propagate_Exceptions
From-SVN: r111105
|
|
2006-02-13 Arnaud Charlet <charlet@adacore.com>
Ben Brosgol <brosgol@adacore.com>
Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Remove limitations with sparc m64 support.
Document that gnatbind -M option is for cross environments only.
Added description of using gnatmem to trace gnat rtl allocs and deallocs
Add note on use of $ to label implicit run time calls
Add documentation for -gnatyI (check mode IN)
Updated chapter on compatibility with HP Ada
VMS-oriented edits.
Ran spell and corrected errors
Add documentation for gnatbind -d and rework documentation of -D
at the same time.
Add subprogram/data elimination section.
Minor editing of annex A.
Add section for gnatcheck.
Add documentation for restriction No_Dispatching_Calls
Add documentation for pragma Ada_2005
Remove mention of obsolete pragma Propagate_Exceptions
Document that pragma Unreferenced can appear after DO in ACCEPT
Clarify Pure_Function for library level units
Mention Max/Min in connection with No_Implicit_Conditionals
No_Wide_Characters restriction is no longer partition-wide
Add a nice example for Universal_Literal_String attribute
Document that pragma No_Return can take multiple arguments
* ug_words: Added entry for gnatcheck
* g-ctrl_c.ads (Install_Handler): Enhance comments
* g-os_lib.ads: Add comments to OS_Exit that it is abrupt termination
* g-trasym.ads: Add documentation on how to do off line symbolic
traceback computation.
* s-fatgen.adb: Add comments for Unaligned_Valid
* stand.ads: Fix typo in comment
From-SVN: r111104
|
|
2006-02-13 Eric Botcazou <ebotcazou@adacore.com>
* tracebak.c (PPC AIX/Darwin): Define FORCE_CALL to 1.
(PPC VxWorks): Likewise.
(Generic unwinder): Define FORCE_CALL to 0 if not already defined.
(forced_callee): Make non-inlinable and non-pure.
(__gnat_backtrace): Call forced_callee if FORCE_CALL is set to 1.
From-SVN: r111103
|
|
2006-02-13 Robert Dewar <dewar@adacore.com>
* s-wchjis.adb (JIS_To_EUC): Raise Constraint_Error for invalid value
From-SVN: r111102
|
|
2006-02-13 Bob Duff <duff@adacore.com>
* s-valint.adb (Scan_Integer): Call Scan_Raw_Unsigned instead of
Scan_Unsigned, so we do not scan leading blanks and sign twice.
Integer'Value("- 5") and Integer'Value("-+5") now correctly
raise Constraint_Error.
* s-vallli.adb (Scan_Long_Long_Integer): Call
Scan_Raw_Long_Long_Unsigned instead of Scan_Long_Long_Unsigned, so we
do not scan leading blanks and sign twice.
Integer'Value("- 5") and Integer'Value("-+5") now correctly
raise Constraint_Error.
* s-valllu.ads, s-valllu.adb (Scan_Raw_Long_Long_Unsigned,
Scan_Long_Long_Unsigned): Split out most of the processing from
Scan_Long_Long_Unsigned out into
Scan_Raw_Long_Long_Unsigned, so that Val_LLI can call the Raw_ version.
This prevents scanning leading blanks and sign twice.
Also fixed a bug: Modular'Value("-0") should raise Constraint_Error
See RM-3.5(44).
* s-valuns.ads, s-valuns.adb (Scan_Raw_Unsigned, Scan_Unsigned): Split
out most of the processing from Scan_Unsigned out into
Scan_Raw_Unsigned, so that Val_LLI can call the Raw_ version.
This prevents scanning leading blanks and sign twice.
* s-valuti.ads, s-valuti.adb (Scan_Plus_Sign): Add Scan_Plus_Sign, for
use with Modular'Value attribute.
(Scan_Plus_Sign): Add Scan_Plus_Sign, for use with Modular'Value
attribute.
From-SVN: r111101
|
|
2006-02-13 Quentin Ochem <ochem@adacore.com>
* s-stausa.adb (Initialize_Analyzer): fixed error in assignment of
task name.
From-SVN: r111100
|
|
2006-02-13 Ed Schonberg <schonberg@adacore.com>
Robert Dewar <dewar@adacore.com>
* sprint.adb (Write_Itype): Preserve Sloc of declaration, if any, to
preserve the source unit where the itype is declared, and prevent a
backend abort.
(Note_Implicit_Run_Time_Call): New procedure
(Write_Itype): Handle missing cases (E_Class_Wide_Type and
E_Subprogram_Type)
* sprint.ads: Document use of $ for implicit run time routine call
From-SVN: r111099
|
|
2006-02-13 Thomas Quinot <quinot@adacore.com>
* sinput-d.adb (Write_Line): Update the Source_Index_Table after each
line. This is necessary to allow In_Extended_Main_Unit to provide
correct results for itypes while writing out expanded source.
(Close_File): No need to update the source_index_table here since it's
now done for each line.
From-SVN: r111098
|
|
2006-02-13 Ed Schonberg <schonberg@adacore.com>
* sem_warn.adb (Check_One_Unit): If the unit appears in a limited_with
clause, use the limited view to determine whether any entity from it
is referenced.
From-SVN: r111097
|
|
2006-02-13 Ed Schonberg <schonberg@adacore.com>
Javier Miranda <miranda@adacore.com>
* sem_type.adb (Write_Overloads): Improve display of candidate
interpretations.
(Add_One_Interp): Do not add to the list of interpretations aliased
entities corresponding with an abstract interface type that is an
immediate ancestor of a tagged type; otherwise we have a dummy
conflict between this entity and the aliased entity.
(Disambiguate): The predefined equality on universal_access is not
usable if there is a user-defined equality with the proper signature,
declared in the same declarative part as the designated type.
(Find_Unique_Type): The universal_access equality operator defined under
AI-230 does not cover pool specific access types.
(Covers): If one of the types is a generic actual subtype, check whether
it matches the partial view of the other type.
From-SVN: r111096
|
