platform/upstream/gcc.git
18 years agoloop-unswitch.c (unswitch_loop): Free zero_bitmap before returning.
Sebastian Pop [Wed, 14 Dec 2005 14:15:01 +0000 (15:15 +0100)]
loop-unswitch.c (unswitch_loop): Free zero_bitmap before returning.

        * loop-unswitch.c (unswitch_loop): Free zero_bitmap before returning.

From-SVN: r108509

18 years agore PR bootstrap/25397 (Bootstrap failed)
J"orn Rennecke [Wed, 14 Dec 2005 13:41:22 +0000 (13:41 +0000)]
re PR bootstrap/25397 (Bootstrap failed)

2005-12-14  J"orn Rennecke <joern.rennecke@st.com>

PR bootstrap/25397:

* struct-equiv.c (struct_equiv_init): Fix off-by-one error in clearing
of STACK_REGS bits.

* struct-euiv.c (rtx_equiv_p): Remove SUBREG case.

From-SVN: r108508

18 years agore PR target/25254 (ICE with -mcmodel=medium -mlarge-data-threshold=1)
Jakub Jelinek [Wed, 14 Dec 2005 11:00:50 +0000 (12:00 +0100)]
re PR target/25254 (ICE with -mcmodel=medium -mlarge-data-threshold=1)

PR target/25254
PR target/24188
* config/i386/i386.c (x86_64_elf_select_section): If DECL is not
DECL_P, call get_section rather than get_named_section.  Supply
section flags to it.

* gcc.target/i386/pr25254.c: New test.
* gfortran.dg/PR24188.f: New test.

From-SVN: r108506

18 years agofortran-torture.exp: Catch remaining uses of remote_file build delete.
David Billinghurst [Wed, 14 Dec 2005 03:28:17 +0000 (03:28 +0000)]
fortran-torture.exp: Catch remaining uses of remote_file build delete.

2005-12-14  David Billinghurst  (David.Billinghurst@riotinto.com)

* lib/fortran-torture.exp:  Catch remaining uses of
remote_file build delete.

From-SVN: r108503

18 years agostkalign.C: Remove xfail.
Kaveh R. Ghazi [Wed, 14 Dec 2005 01:50:57 +0000 (01:50 +0000)]
stkalign.C: Remove xfail.

* g++.old-deja/g++.oliva/stkalign.C: Remove xfail.

From-SVN: r108500

18 years agoDaily bump.
GCC Administrator [Wed, 14 Dec 2005 00:17:32 +0000 (00:17 +0000)]
Daily bump.

From-SVN: r108495

18 years agoc-common.c (c_common_truthvalue_conversion): Generalise warning for addresses convert...
Ben Elliston [Tue, 13 Dec 2005 23:33:26 +0000 (23:33 +0000)]
c-common.c (c_common_truthvalue_conversion): Generalise warning for addresses converted to booleans; not just function addresses.

* c-common.c (c_common_truthvalue_conversion): Generalise warning
for addresses converted to booleans; not just function addresses.
* c-typeck.c (build_binary_op): Warn for address comparisons which
can never be NULL (eg. func == NULL or &var == NULL).
* common.opt (Walways-true): New option.
* c-opts.c (c_common_handle_option): Set it with -Wall.
* doc/invoke.texi: Document it.
testsuite/
* gcc.dg/warn-addr-cmp.c: New test.

From-SVN: r108489

18 years agofpgnulib.c (__unordsf2, [...]): New functions.
Paul Brook [Tue, 13 Dec 2005 22:49:56 +0000 (22:49 +0000)]
fpgnulib.c (__unordsf2, [...]): New functions.

2005-12-13  Paul Brook  <paul@codesourcery.com>

* config/m68k/fpgnulib.c (__unordsf2, __unorddf2, __unordxf2,
__floatunsidf, __floatunsisf, __floatunsixf): New functions.

From-SVN: r108487

18 years agot-mt (crti.o, crtn.o): Add multilib options.
Nathan Sidwell [Tue, 13 Dec 2005 17:08:34 +0000 (17:08 +0000)]
t-mt (crti.o, crtn.o): Add multilib options.

* config/mt/t-mt (crti.o, crtn.o): Add multilib options.
(EXTRA_MULTILIB_PARTS): Define.

From-SVN: r108481

18 years agoPR rtl-optimization/20070 / part1
J"orn Rennecke [Tue, 13 Dec 2005 13:04:18 +0000 (13:04 +0000)]
PR rtl-optimization/20070 / part1

PR rtl-optimization/20070 / part1
* flow.c (update_life_info): If PROP_POST_REGSTACK is set, call
count_or_remove_death_notes with kill == -1.
(mark_set_1): Don't add REG_DEAD / REG_UNUSED notes for stack
registers if PROP_POST_REGSTACK is set.
(mark_used_reg): Likewise.
(count_or_remove_death_notes): If kill is -1, don't remove REG_DEAD /
REG_UNUSED notes for stack regs.
* cfgcleanup.c (condjump_equiv_p): Change parameters and processing
to match rtx_equiv_p machinery.  Change caller.
(outgoing_edges_match): Likewise.
(try_crossjump_to_edge): Use struct_equiv_block_eq
instead of flow_find_cross_jump.
* basic-block.h (PROP_POST_REGSTACK, STRUCT_EQUIV_START): Define.
(STRUCT_EQUIV_RERUN, STRUCT_EQUIV_FINAL): Likewise.
(STRUCT_EQUIV_NEED_FULL_BLOCK, STRUCT_EQUIV_MATCH_JUMPS): Likewise.
(STRUCT_EQUIV_MAX_LOCAL): Likewise.
(struct struct_equiv_checkpoint, struct equiv_info): Likewise.
(insns_match_p): Update prototype.
(flow_find_cross_jump): Remove prototype.
(struct_equiv_block_eq, struct_equiv_init): Declare.
(rtx_equiv_p, condjump_equiv_p): Likewise.
* struct-equiv.c: Include reload.h.
(IMPOSSIBLE_MOVE_FACTOR): Define.
(assign_reg_reg_set, struct_equiv_make_checkpoint): New functions.
(struct_equiv_improve_checkpoint): Likewise.
(struct_equiv_restore_checkpoint, rtx_equiv_p): Likewise.
(set_dest_equiv_p, set_dest_addr_equiv_p, struct_equiv_init): Likewise.
(struct_equiv_merge, find_dying_input): Likewise.
(resolve_input_conflict, note_local_live): Likewise.
(death_notes_match_p): Change parameters and processing
to match rtx_equiv_p machinery.  Change caller.
(insns_match_p): Likewise.
(flow_find_cross_jump): Replace with:
(struct_equiv_block_eq).

Back out this change:
2005-03-07  Kazu Hirata  <kazu@cs.umass.edu>
          * recog.c (verify_changes): Make it static.
          * recog.h: Remove the corresponding prototype.

From-SVN: r108480

18 years agortlhooks.c (gen_lowpart_general): Handle SUBREGs of floating point values.
J"orn Rennecke [Tue, 13 Dec 2005 12:49:56 +0000 (12:49 +0000)]
rtlhooks.c (gen_lowpart_general): Handle SUBREGs of floating point values.

* rtlhooks.c (gen_lowpart_general): Handle SUBREGs of floating point
values.

From-SVN: r108479

18 years agot-mt (MULTILIB_OPTIONS): Add ms2
Nathan Sidwell [Tue, 13 Dec 2005 09:54:15 +0000 (09:54 +0000)]
t-mt (MULTILIB_OPTIONS): Add ms2

* config/mt/t-mt (MULTILIB_OPTIONS): Add ms2
(MULTILIB_DIRNAMES): Add ms2.  Prefix ms1 dirs with 'ms1'.
* config/mt/mt.c (ms1_final_prescan): Use TARGET_MS2,
TARGET_MS1_64_001 appropriately.
(ms1_machine_reorg): Use TARGET_MS2.

From-SVN: r108477

18 years agotrans-expr.c (gfc_conv_substring): Use fold_build2 and build_int_cst.
Richard Guenther [Tue, 13 Dec 2005 09:54:03 +0000 (09:54 +0000)]
trans-expr.c (gfc_conv_substring): Use fold_build2 and build_int_cst.

2005-12-13  Richard Guenther  <rguenther@suse.de>

* trans-expr.c (gfc_conv_substring): Use fold_build2 and
build_int_cst.

From-SVN: r108476

18 years agore PR java/25366 (ICE in do_resolve_class)
Andrew Haley [Tue, 13 Dec 2005 09:41:45 +0000 (09:41 +0000)]
re PR java/25366 (ICE in do_resolve_class)

2005-12-13  Andrew Haley  <aph@redhat.com>

        PR java/25366
        PR java/25368
        * class.c (maybe_layout_super_class): Update current_class before
        calling do_resolve_class.

From-SVN: r108474

18 years agore PR libfortran/24991 (gfortran build fails with - error:gthr-default.h: No such...
Jakub Jelinek [Tue, 13 Dec 2005 08:31:41 +0000 (09:31 +0100)]
re PR libfortran/24991 (gfortran build fails with - error:gthr-default.h: No such file or directory)

PR libfortran/24991
* acinclude.m4 (LIBGFOR_CHECK_PRAGMA_WEAK): Rename to...
(LIBGFOR_GTHREAD_WEAK): ... this.  Define SUPPORTS_WEAK rather
than HAVE_PRAGMA_WEAK.  Define GTHREAD_USE_WEAK to 0 on hosts
that shouldn't use weak in gthr.h.
* configure.ac: Use LIBGFOR_GTHREAD_WEAK instead of
LIBGFOR_CHECK_PRAGMA_WEAK.
* config.h.in: Regenerated.
* configure: Regenerated.
* io/io.h (SUPPORTS_WEAK): Don't define here.

* intrinsics/ftell.c (ftell, FTELL_SUB): Add unlock_unit call.
* intrinsics/fget.c (fgetc, fputs): Likewise.
* intrinsics/tty.c (ttynam): Likewise.

From-SVN: r108471

18 years agoUpdate.
Jakub Jelinek [Tue, 13 Dec 2005 08:14:41 +0000 (09:14 +0100)]
Update.

From-SVN: r108465

18 years agore PR debug/25023 (ICE in def_cfa_1, at dwarf2out.c:792)
Jakub Jelinek [Tue, 13 Dec 2005 08:08:46 +0000 (09:08 +0100)]
re PR debug/25023 (ICE in def_cfa_1, at dwarf2out.c:792)

PR debug/25023
PR target/25293
* expr.c (emit_move_resolve_push): Handle PRE_MODIFY
and POST_MODIFY with CONST_INT adjustment equal to PUSH_ROUNDING.
Fix POST_INC/POST_DEC handling if PUSH_ROUNDING is not identity.
* config/i386/i386.md (pushhi2, pushqi2): Use pushl instead of pushw.
Set mode to SI, adjust constraints.
(pushhi2_rex64, pushqi2_rex64): Set mode to DI.
* config/i386/i386.h (PUSH_ROUNDING): Round up to 4 instead of 2 for
32-bit code.

* gcc.target/i386/pr25293.c: New test.

From-SVN: r108463

18 years agore PR c++/24907 ("int x, ;" accepted)
Petr Machata [Tue, 13 Dec 2005 08:01:53 +0000 (09:01 +0100)]
re PR c++/24907 ("int x, ;" accepted)

2005-12-13  Petr Machata  <machata@post.cz>

PR c++/24907
* parser.c (cp_parser_simple_declaration): Require comma at the
beginning of processing second and later declarators, instead of
allowing the comma at the end of each iteration.

* g++.dg/parse/comma2.C: New test.

From-SVN: r108462

18 years agostruct-layout-1.exp: Do not link with libiberty.
Mark Mitchell [Tue, 13 Dec 2005 07:59:01 +0000 (07:59 +0000)]
struct-layout-1.exp: Do not link with libiberty.

* g++.dg/compat/struct-layout-1.exp: Do not link with libiberty.
* g++.dg/compat/struct-layout-1_generate.c (config.h): Do not include.
(limits.h): Include unconditionally.
(stdlib.h): Likewise.
(hashtab.h): Do not include.
(getopt.h): Likewise.
(stddef.h): Include.
(hashval_t): Define.
(struct entry): Add "next" field.
(HASH_SIZE): New macro.
(hash_table): New variable.
(switchfiles): Do not use xmalloc.
(mix): New macro.
(iterative_hash): New function.
(hasht): Remove.
(e_exists): New function.
(e_insert): Likewise.
(output): Use, instead of libiberty hashtable functions.
(main): Do not use getopt.  Do not call htab_create.

Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r108461

18 years agore PR c++/25331 (FAIL: tmpdir-g++.dg-struct-layout-1/t028 cp_compat_[xy]_tst.o compile)
Jakub Jelinek [Tue, 13 Dec 2005 07:56:10 +0000 (08:56 +0100)]
re PR c++/25331 (FAIL: tmpdir-g++.dg-struct-layout-1/t028 cp_compat_[xy]_tst.o compile)

PR c++/25331
* gcc.dg/compat/struct-layout-1_generate.c (subfield): Don't
put atal* and atpaal* attributes on array elements.
(generate_fields): Revert 2005-10-07 and 2005-10-11 changes.
* g++.dg/compat/struct-layout-1_generate.c (subfield): Don't
put atal* and atpaal* attributes on array elements.
(generate_fields): Don't prevent atal* attribute on ETYPE_ARRAY.

From-SVN: r108460

18 years agoMake-lang.in (fortran/trans-resolve.o): Depend on fortran/dependency.h.
Richard Sandiford [Tue, 13 Dec 2005 05:23:12 +0000 (05:23 +0000)]
Make-lang.in (fortran/trans-resolve.o): Depend on fortran/dependency.h.

gcc/fortran/
* Make-lang.in (fortran/trans-resolve.o): Depend on
fortran/dependency.h.
* gfortran.h (gfc_expr): Add an "inline_noncopying_intrinsic" flag.
* dependency.h (gfc_get_noncopying_intrinsic_argument): Declare.
(gfc_check_fncall_dependency): Change prototype.
* dependency.c (gfc_get_noncopying_intrinsic_argument): New function.
(gfc_check_argument_var_dependency): New function, split from
gfc_check_fncall_dependency.
(gfc_check_argument_dependency): New function.
(gfc_check_fncall_dependency): Replace the expression parameter with
separate symbol and argument list parameters.  Generalize the function
to handle dependencies for any type of expression, not just variables.
Accept a further argument giving the intent of the expression being
tested.  Ignore intent(in) arguments if that expression is also
intent(in).
* resolve.c: Include dependency.h.
(find_noncopying_intrinsics): New function.
(resolve_function, resolve_call): Call it on success.
* trans-array.h (gfc_conv_array_transpose): Declare.
(gfc_check_fncall_dependency): Remove prototype.
* trans-array.c (gfc_conv_array_transpose): New function.
* trans-intrinsic.c (gfc_conv_intrinsic_function): Don't use the
libcall handling if the expression is to be evaluated inline.
Add a case for handling inline transpose()s.
* trans-expr.c (gfc_trans_arrayfunc_assign): Adjust for the new
interface provided by gfc_check_fncall_dependency.

libgfortran/
* m4/matmul.m4: Use a different order in the special case of a
transposed first argument.
* generated/matmul_c4.c, generated/matmul_c8.c, generated/matmul_c10.c,
* generated/matmul_c16.c, generated/matmul_i4.c, generated/matmul_i8.c,
* generated/matmul_i10.c, generated/matmul_r4.c, generated/matmul_r8.c
* generated/matmul_r10.c, generated/matmul_r16.c: Regenerated.

Co-Authored-By: Victor Leikehman <LEI@il.ibm.com>
From-SVN: r108459

18 years agoc-cppbuiltin.c (builtin_define_float_constants): Add fp_cast parameter, pass to built...
Carlos O'Donell [Tue, 13 Dec 2005 05:12:32 +0000 (05:12 +0000)]
c-cppbuiltin.c (builtin_define_float_constants): Add fp_cast parameter, pass to builtin_define_with_hex_fp_value.

2005-12-13  Carlos O'Donell <carlos@codesourcery.com>

gcc/

* c-cppbuiltin.c (builtin_define_float_constants): Add
fp_cast parameter, pass to builtin_define_with_hex_fp_value.
Define __FLT_HAS_DENORM__, __DBL_HAS_DENORM__, __LDBL_HAS_DENORM__.
(builtin_define_with_hex_fp_value): Use fp_cast when building macro.
(c_cpp_builtins): If flag_single_precision_constant then set fp_cast
to "((double)%sL)" otherwise "%s".

gcc/testsuite/

* gcc.dg/single-precision-constant.c: New test.

libstdc++-v3/

* include/std/std_limits.h (struct numeric_limits):
Use __DBL_HAS_DENORM__, __FLT_HAS_DENORM__, __LDBL_HAS_DENORM__.

From-SVN: r108458

18 years ago980523-1.c, [...]: Don't use powerpc-*-* or powerpc64-*-* in target selection strings.
Alan Modra [Tue, 13 Dec 2005 05:05:29 +0000 (05:05 +0000)]
980523-1.c, [...]: Don't use powerpc-*-* or powerpc64-*-* in target selection strings.

* gcc.dg/980523-1.c, gcc.dg/980526-1.c, gcc.dg/20020103-1.c,
gcc.dg/20040625-1.c, gcc.dg/asm-b.c, gcc.dg/iftrap-1.c,
gcc.dg/iftrap-2.c, gcc.dg/simd-3.c, gcc.dg/switch-1.c,
gcc.dg/tree-ssa/bool-1.c, gcc.dg/tree-ssa/bool-2.c,
gcc.dg/tree-ssa/bool-4.c, gcc.dg/tree-ssa/bool-5.c,
gcc.dg/tree-ssa/bool-6.c, gcc.dg/tree-ssa/bool-8.c,
gcc.dg/tree-ssa/bool-9.c, gcc.target/powerpc/980827-1.c,
gcc.target/powerpc/20040622-1.c, gcc.target/powerpc/20050603-3.c,
gcc.target/powerpc/20050830-1.c, gcc.target/powerpc/altivec-6.c,
gcc.target/powerpc/altivec-14.c, gcc.target/powerpc/altivec-22.c,
gcc.target/powerpc/doloop-1.c, gcc.target/powerpc/ppc-and-1.c,
gcc.target/powerpc/ppc-bitfield1.c, gcc.target/powerpc/ppc-compare-1.c,
gcc.target/powerpc/ppc-mov-1.c, gcc.target/powerpc/ppc-sdata-1.c,
gcc.target/powerpc/ppc-sdata-2.c,
gcc.target/powerpc/ppc-stackalign-1.c,
gcc.target/powerpc/ppc64-abi-1.c, gcc.target/powerpc/ppc64-abi-2.c,
gcc.target/powerpc/ppc64-abi-3.c, gcc.target/powerpc/ppc64-toc.c,
gcc.target/powerpc/pr18096-1.c, gcc.target/powerpc/rs6000-ldouble-1.c,
gcc.target/powerpc/rs6000-ldouble-2.c,
gcc.target/powerpc/rs6000-power2-1.c,
gcc.target/powerpc/rs6000-power2-2.c: Don't use powerpc-*-* or
powerpc64-*-* in target selection strings.  Instead use powerpc*-*-*
and ilp32 or lp64 as appropriate.  Merge dg-require-effective-target
option into target selector.
* gcc.dg/20020919-1.c: Compile for powerpc*-*-*.  Handle powerpc64.
* gcc.misc-tests/linkage.exp: Set native_cflags for powerpc*-*-linux*.

From-SVN: r108457

18 years agobpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Pass -meabi=gnu for apcs/atpcs.
Paul Brook [Tue, 13 Dec 2005 01:35:43 +0000 (01:35 +0000)]
bpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Pass -meabi=gnu for apcs/atpcs.

* config/arm/bpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Pass -meabi=gnu for
apcs/atpcs.

From-SVN: r108450

18 years agobpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Pass -meabi=gnu for apcs/atpcs.
Paul Brook [Tue, 13 Dec 2005 01:35:10 +0000 (01:35 +0000)]
bpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Pass -meabi=gnu for apcs/atpcs.

* config/arm/bpabi.h (SUBTARGET_EXTRA_ASM_SPEC): Pass -meabi=gnu for
apcs/atpcs.

From-SVN: r108448

18 years agoMAINTAINERS (Write After Approval): Add myself.
Carlos O'Donell [Tue, 13 Dec 2005 01:08:45 +0000 (01:08 +0000)]
MAINTAINERS (Write After Approval): Add myself.

2005-12-12  Carlos O'Donell <carlos@codesourcery.com>

* MAINTAINERS (Write After Approval): Add myself.

From-SVN: r108443

18 years agoDaily bump.
GCC Administrator [Tue, 13 Dec 2005 00:17:27 +0000 (00:17 +0000)]
Daily bump.

From-SVN: r108439

18 years agore PR objc/25348 (ICE encoding zero sized struct array)
Andrew Pinski [Mon, 12 Dec 2005 23:58:16 +0000 (23:58 +0000)]
re PR objc/25348 (ICE encoding zero sized struct array)

2005-12-12  Andrew Pinski  <pinskia@physics.uc.edu>

        PR objc/25348
        * objc-act.c (encode_array): Handle arrays to zero sized types.
2005-12-12  Andrew Pinski  <pinskia@physics.uc.edu>

        PR objc/25348
        * objc.dg/encode-9.m: New test.

From-SVN: r108432

18 years agotree-flow.h: Allow compilation with a C++ compiler.
Rafael Ávila de Espíndola [Mon, 12 Dec 2005 23:12:14 +0000 (23:12 +0000)]
tree-flow.h: Allow compilation with a C++ compiler.

2005-12-11 Rafael Ávila de Espíndola <rafael.espindola@gmail.com>

        * tree-flow.h: Allow compilation with a C++ compiler.
        (struct edge_prediction): Prefix all field names  with "ep_".
        * predict.c (tree_predicted_by_p): Likewise for struct
        edge_prediction.
        (tree_predict_edge, combine_predictions_for_bb): Likewise.
        (remove_predictions_associated_with_edge): Likewise.

From-SVN: r108430

18 years agore PR testsuite/20772 (x86 tests should run on both i?86 and x86_64)
Kaveh R. Ghazi [Mon, 12 Dec 2005 22:28:02 +0000 (22:28 +0000)]
re PR testsuite/20772 (x86 tests should run on both i?86 and x86_64)

PR testsuite/20772
* g++.old-deja/g++.eh/tmpl2.C: Remove xfail.
* gcc.dg/asm-b.c: Fix typo.
* gcc.dg/torture/pr20314-2.c: Test on i?86 lp64.
* gcc.dg/tree-ssa/stdarg-2.c, gcc.dg/tree-ssa/stdarg-3.c,
gcc.dg/tree-ssa/stdarg-4.c, gcc.dg/tree-ssa/stdarg-5.c: Test on
i?86 lp64 and x86_64 ilp32.
* gcc.target/i386/amd64-abi-1.c, gcc.target/i386/pr23943.c: Test
on i?86 lp64.
* gfortran.dg/g77/20010216-1.f: Test on x86_64 ilp32.

From-SVN: r108427

18 years agore PR fortran/25078 (EQUILALENCE requires two or more objects)
Steven G. Kargl [Mon, 12 Dec 2005 20:13:37 +0000 (20:13 +0000)]
re PR fortran/25078 (EQUILALENCE requires two or more objects)

        PR fortran/25078
        * match.c (gfc_match_equivalence):  Count number of objects.

        gfortran.dg/equiv_5.f90:  New test.

From-SVN: r108426

18 years agotree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Remove reassociation code.
Jeff Law [Mon, 12 Dec 2005 19:59:16 +0000 (12:59 -0700)]
tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Remove reassociation code.

* tree-ssa-dom.c (simplify_rhs_and_lookup_avail_expr): Remove
reassociation code.
* passes.c (init_optimization_passes): Run reassociation again
after loop optimizations.

* tree-ssa-dom.c (thread_across_edge): Canonicalize condition
if necessary.
(optimize_stmt): Ditto.
(canonicalize_comparison): New function.
* tree-ssa-operands.c (swap_tree_operands): Make external.
(get_expr_operands): Stop auto-canonicalization.
* tree-ssa-reassoc.c: Rewrite.
(init_optimization_passes):
* tree-flow.h (swap_tree_operands): Prototype.
* Makefile.in (tree-ssa-reassoc.o): Update dependencies.

* gcc.dg/tree-ssa/ssa-pre-2.c: Update due to reassociation changes.
* gcc.dg/tree-ssa/reassoc-1.c: Likewise.
* gcc.dg/tree-ssa/reassoc-2.c: Likewise.
* gcc.dg/tree-ssa/reassoc-3.c: Likewise.
* gcc.dg/tree-ssa/reassoc-4.c: Likewise.
* gcc.dg/tree-ssa/reassoc-5.c: New.
* gcc.dg/tree-ssa/reassoc-6.c: New.
* gcc.dg/tree-ssa/reassoc-7.c: New.
* gcc.dg/tree-ssa/reassoc-8.c: New.
* gcc.dg/tree-ssa/reassoc-9.c: New.
* gcc.dg/tree-ssa/reassoc-10.c: New.
* gcc.dg/tree-ssa/reassoc-11.c: New.

From-SVN: r108425

18 years agoVMCompiler.java: Directly generate a new instance of gnu.java.security.provider.MD5.
Andrew Haley [Mon, 12 Dec 2005 17:29:45 +0000 (17:29 +0000)]
VMCompiler.java: Directly generate a new instance of gnu.java.security.provider.MD5.

2005-12-12  Andrew Haley  <aph@redhat.com>

        * java/lang/VMCompiler.java: Directly generate a new instance of
        gnu.java.security.provider.MD5.

From-SVN: r108421

18 years agore PR target/25258 ([4.0 regression/hpux] gcc generates incorrect stabs debug output)
John David Anglin [Mon, 12 Dec 2005 17:17:51 +0000 (17:17 +0000)]
re PR target/25258 ([4.0 regression/hpux] gcc generates incorrect stabs debug output)

PR target/25258
* pa.c (pa_output_function_epilogue): Set cfun->machine->in_nsubspa to
indicate function epilogue has been output.
(pa_asm_output_mi_thunk): Likewise.
(output_deferred_plabels): Put plabels in readonly data section when
not generating PIC code.
(som_output_text_section_asm_op): Use .NSUBSPA to output debug
information.  Add assert.
(som_output_comdat_data_section_asm_op): New function.
(pa_som_asm_init_sections): Use som_output_comdat_data_section_asm_op
instead of output_section_asm_op for COMDAT sections.

From-SVN: r108420

18 years agore PR testsuite/25167 (FAIL: gcc.dg/weak/weak-14.c)
John David Anglin [Mon, 12 Dec 2005 16:42:35 +0000 (16:42 +0000)]
re PR testsuite/25167 (FAIL: gcc.dg/weak/weak-14.c)

PR testsuite/25167
PR testsuite/24478
* gcc.dg/weak/weak-14.c: Add dg-require-alias.

From-SVN: r108416

18 years agore PR c++/25300 (ICE with g++.dg/template/inherit.C)
Mark Mitchell [Mon, 12 Dec 2005 16:29:44 +0000 (16:29 +0000)]
re PR c++/25300 (ICE with g++.dg/template/inherit.C)

PR c++/25300
* tree.c (build_qualified_name): Return error_mark_node for
erroneous input.
PR c++/25300
* g++.dg/template/inherit.C: Do not use a generic error message.

From-SVN: r108413

18 years agore PR java/25330 (A race condition in write_classfile)
H.J. Lu [Mon, 12 Dec 2005 15:27:43 +0000 (15:27 +0000)]
re PR java/25330 (A race condition in write_classfile)

2005-12-12  H.J. Lu  <hongjiu.lu@intel.com>

PR java/25330
* jcf-write.c (write_classfile): Use PID in temporary class
file. Save/restore errno when reporting error.

From-SVN: r108411

18 years agocfgcleanup.c (condjump_equiv_p, [...]): Fix whitespace in vincinity of to-be-installe...
J"orn Rennecke [Mon, 12 Dec 2005 14:55:59 +0000 (14:55 +0000)]
cfgcleanup.c (condjump_equiv_p, [...]): Fix whitespace in vincinity of to-be-installed changes.

2005-12-12  J"orn Rennecke <joern.rennecke@st.com>

* cfgcleanup.c (condjump_equiv_p, try_crossjump_to_edge):
Fix whitespace in vincinity of to-be-installed changes.
* struct-equiv.c (merge_memattrs, death_notes_match_p): Fix whitespace.
(insns_match_p): Likewise.

From-SVN: r108410

18 years agoRemove dummy setting of GCC_FOR_TARGET, no longer needed.
Arnaud Charlet [Mon, 12 Dec 2005 11:40:42 +0000 (11:40 +0000)]
Remove dummy setting of GCC_FOR_TARGET, no longer needed.

From-SVN: r108409

18 years agoFix typo in previous change.
Arnaud Charlet [Mon, 12 Dec 2005 11:32:53 +0000 (12:32 +0100)]
Fix typo in previous change.

From-SVN: r108408

18 years agoUpdate dependencies
Arnaud Charlet [Mon, 12 Dec 2005 11:19:12 +0000 (11:19 +0000)]
Update dependencies

From-SVN: r108407

18 years agoAdd rule for ada/exp_sel.o
Arnaud Charlet [Mon, 12 Dec 2005 11:00:24 +0000 (11:00 +0000)]
Add rule for ada/exp_sel.o

From-SVN: r108406

18 years ago(mingw section): Remove EH_MECHANISM setting.
Arnaud Charlet [Mon, 12 Dec 2005 10:57:00 +0000 (10:57 +0000)]
(mingw section): Remove EH_MECHANISM setting.

From-SVN: r108405

18 years ago* MAINTAINERS: Add myself as mt maintainer.
Nathan Sidwell [Mon, 12 Dec 2005 10:55:59 +0000 (10:55 +0000)]
* MAINTAINERS: Add myself as mt maintainer.

From-SVN: r108404

18 years agoconfig.gcc (ms1): Replace with ...
Nathan Sidwell [Mon, 12 Dec 2005 10:54:49 +0000 (10:54 +0000)]
config.gcc (ms1): Replace with ...

* config.gcc (ms1): Replace with ...
(mt): ... this.
* config/ms1: Rename to ...
* config/mt: ... here.  Rename ms1 files to mt.
* config/mt/mt.c: Adjust gt-mt.h #include.
* config/mt/t-mt (LIB1ASMSRCS, LIB2FUNCS_EXTRA): Adjust.
(crti.o, crtn.o): Adjust file names.

* config.sub: Replace ms1 with mt.  Allow ms1 as an alias.

From-SVN: r108403

18 years agorenam ms1 files to mt (part 2)
Nathan Sidwell [Mon, 12 Dec 2005 10:50:25 +0000 (10:50 +0000)]
renam ms1 files to mt (part 2)

From-SVN: r108402

18 years agoRename ms1 files to mt (part 1)
Nathan Sidwell [Mon, 12 Dec 2005 10:48:53 +0000 (10:48 +0000)]
Rename ms1 files to mt (part 1)

From-SVN: r108401

18 years agovarray.h: Allow compilation with a C++ compiler.
Gabriel Dos Reis [Mon, 12 Dec 2005 09:14:12 +0000 (09:14 +0000)]
varray.h: Allow compilation with a C++ compiler.

        * varray.h: Allow compilation with a C++ compiler.
        (union varray_data_tag): Prefix all field names with "vdt_".
        (VARRAY_CHAR, VARRAY_UCHAR, VARRAY_SHORT, VARRAY_USHORT,
        VARRAY_INT, VARRAY_UINT, VARRAY_LONG, VARRAY_ULONG,
        VARRAY_WIDE_INT, VARRAY_UWIDE_INT, VARRAY_GENERIC_PTR,
        VARRAY_GENERIC_PTR_NOGC, VARRAY_CHAR_PTR, VARRAY_RTX,
        VARRAY_RTVEC, VARRAY_TREE, VARRAY_BITMAP, VARRAY_REG, VARRAY_BB,
        VARRAY_ELT_LIST, VARRAY_EDGE, VARRAY_TREE_PTR): Adjust definition.
        (VARRAY_PUSH_CHAR, VARRAY_PUSH_UCHAR, VARRAY_PUSH_SHORT,
        VARRAY_PUSH_USHORT, VARRAY_PUSH_INT, VARRAY_PUSH_UINT,
        VARRAY_PUSH_LONG, VARRAY_PUSH_ULONG, VARRAY_PUSH_WIDE_INT,
        VARRAY_PUSH_UWIDE_INT, VARRAY_PUSH_GENERIC_PTR,
        VARRAY_PUSH_GENERIC_PTR_NOGC, VARRAY_PUSH_CHAR_PTR,
        VARRAY_PUSH_RTX, VARRAY_PUSH_RTVEC, VARRAY_PUSH_TREE,
        VARRAY_PUSH_BITMAP, VARRAY_PUSH_REG, VARRAY_PUSH_BB,
        VARRAY_PUSH_EDGE, VARRAY_PUSH_TREE_PTR): Likewise.
        (VARRAY_TOP_CHAR, VARRAY_TOP_UCHAR, VARRAY_TOP_SHORT,
        VARRAY_TOP_USHORT, VARRAY_TOP_INT, VARRAY_TOP_UINT,
        VARRAY_TOP_LONG, VARRAY_TOP_ULONG, VARRAY_TOP_WIDE_INT,
        VARRAY_TOP_UWIDE_INT, VARRAY_TOP_GENERIC_PTR,
        VARRAY_TOP_GENERIC_PTR_NOGC, VARRAY_TOP_CHAR_PTR, VARRAY_TOP_RTX,
        VARRAY_TOP_RTVEC, VARRAY_TOP_TREE, VARRAY_TOP_BITMAP,
        VARRAY_TOP_REG, VARRAY_TOP_BB, VARRAY_TOP_EDGE,
        VARRAY_TOP_TREE_PTR): Likewise.
        * varray.c (varray_grow): Likewise.
        (varray_clear): Likewise.

From-SVN: r108399

18 years agore PR libobjc/25354 (There should be an automated testsuite for objc_sizeof_type...
Andrew Pinski [Mon, 12 Dec 2005 05:47:52 +0000 (05:47 +0000)]
re PR libobjc/25354 (There should be an automated testsuite for objc_sizeof_type and objc_alignof_type)

2005-12-12  Andrew Pinski  <pinskia@physics.uc.edu>

        PR libobjc/25354
        * objc.dg/gnu-encoding: New directory.
        * objc.dg/gnu-encoding/compat-common.h: New file.
        * objc.dg/gnu-encoding/struct-layout-1.h: New file.
        * objc.dg/gnu-encoding/struct-layout-1_test.h: New file.
        * objc.dg/gnu-encoding/vector-defs.h: New file.
        * objc.dg/gnu-encoding/gnu-encoding.exp: New file.
        * objc.dg/gnu-encoding/generate-random.c: New file.
        * objc.dg/gnu-encoding/generate-random_r.c: New file.
        * objc.dg/gnu-encoding/struct-layout-encoding-1_generate.c: New file.
        * objc.dg/gnu-encoding/generate-random.h: New file.

2005-12-12  Andrew Pinski  <pinskia@physics.uc.edu>

        * encoding.c (TYPE_FIELDS): Fix to skip over just _C_STRUCT_B and        the name.
        (get_inner_array_type): Fix to skip over _C_ARY_B and size.
        (rs6000_special_round_type_align): Update for the ABI fix.
        (objc_layout_finish_structure): Correct the encoding which is passed to
        ROUND_TYPE_ALIGN.

From-SVN: r108398

18 years agore PR c++/25337 (ICE with template processing)
Mark Mitchell [Mon, 12 Dec 2005 01:40:25 +0000 (01:40 +0000)]
re PR c++/25337 (ICE with template processing)

PR c++/25337
* pt.c (tsubst_copy_and_build): Permit dependent types for the
object in a class member access expression.
PR c++/25337
* g++.dg/template/defarg7.C: New test.

From-SVN: r108394

18 years agore PR target/25299 (Another ABI incompatibility with Apple's gcc)
Alan Modra [Mon, 12 Dec 2005 01:28:50 +0000 (01:28 +0000)]
re PR target/25299 (Another ABI incompatibility with Apple's gcc)

PR target/25299
* config/rs6000/rs6000.c (rs6000_special_round_type_align): Increase
alignment to doubleword if the first field is a double array.
* config/rs6000/linux64.h (TARGET_ALIGN_NATURAL): Define.

From-SVN: r108393

18 years agoDaily bump.
GCC Administrator [Mon, 12 Dec 2005 00:17:33 +0000 (00:17 +0000)]
Daily bump.

From-SVN: r108390

18 years agotree-ssa-structalias.c (process_constraint): Remove code to transform addressofs...
Daniel Berlin [Sun, 11 Dec 2005 22:44:19 +0000 (22:44 +0000)]
tree-ssa-structalias.c (process_constraint): Remove code to transform addressofs into scalar.

2005-12-11  Daniel Berlin  <dberlin@dberlin.org>

* tree-ssa-structalias.c (process_constraint): Remove code to
transform addressofs into scalar.
(create_variable_info_for): In whole-program IPA, globals don't
point to ANYTHING by default.

2005-12-11  Daniel Berlin  <dberlin@dberlin.org>

* timevar.def (TV_IPA_PTA): New.
* tree-pass.h (pass_ipa_pta): New
* tree-ssa-structalias.c: Include cgraph.h
(in_ipa_mode): New.
(predbitmap_obstack): New.
(EXECUTE_IF_IN_NONNULL_BITMAP): New.
(struct constraint_stats): Add num_edges.
(new_var_info): Don't call bitmap_clear.
(struct constraint_edge): Update docs.
(new_constraint_edge): Remove src param.
(struct constraint_graph): Add zero_weight_succs,
zero_weight_preds.  Update docs.
(constraint_expr_equal): Reformat.
(constraint_edge_equal): Update for removal of src.
(constraint_edge_less): Ditto.
(constraint_edge_vec_find): Ditto.
(erase_graph_self_edge): Update for removal of src and and zero
weight bitmap.
(clear_edges_for_node): Ditto.
(add_graph_edge): Ditto.
(get_graph_weights): Ditto.
(allocate_graph_weights): Ditto.
(merge_graph_nodes): Ditto.
(int_add_graph_edge): Ditto.
(valid_graph_edge): Ditto.
(valid_weighted_graph_edge): Ditto.
(build_constraint_graph): Ditto.
(scc_visit): Ditto.
(collapse_nodes): Ditto.
(process_unification_queue): Ditto.
(topo_visit): Ditto.
(solve_graph): Ditto.
(do_structure_copy): Ditto.
(perform_var_substitution): Ditto.
Init and release obstack.
(handle_ptr_arith): Try to resolve directly.
(find_func_aliases): Don't call update_alias_info here
Handle RETURN_EXPR, and CALL_EXPR's in IPA mode.
(do_sd_constraint): Add code for propagating faster.
Update.
(do_ds_constraint): Ditto.
(count_num_arguments): New function.
(create_function_info_for): Ditto.
(create_variable_info_for): Handle FUNCTION_DECL.
(intra_create_variable_infos): Use make_constraint_to_anything.
(init_alias_vars): Init obstacks here.
(need_to_solve): Handle zero weight graph changes.
(compute_points_to_sets): Call update_alias_info here.
(delete_points_to_sets): Free zero weight preds/succs here.
(gate_ipa_pta): New.
(ipa_pta_execute): New

2005-12-11  Daniel Berlin  <dberlin@dberlin.org>

* tree-ssa-structalias.c (var_anyoffset): Removed.
(anyoffset_tree): Ditto.
(anyoffset_id): Ditto.
(do_deref): Take vector of constraints, no return value.
Update to work on vector.
(get_constraint_for): Ditto.
(get_constraint_for_component_ref): Ditto.
(do_structure_copy): Ditto.
(handle_ptr_arith): Ditto.
(find_func_aliases): Ditto.
(set_uids_in_ptset): Remove anyoffset handling.
(init_base_vars): Ditto.

From-SVN: r108384

18 years ago* lang.opt: Add RejectNegative to ffixed-form and ffree-form.
Aldy Hernandez [Sun, 11 Dec 2005 11:42:32 +0000 (11:42 +0000)]
* lang.opt: Add RejectNegative to ffixed-form and ffree-form.

From-SVN: r108381

18 years agore PR libobjc/25347 (objc_alignof_type gets the wrong alignment for unions (objc_size...
Andrew Pinski [Sun, 11 Dec 2005 06:59:12 +0000 (06:59 +0000)]
re PR libobjc/25347 (objc_alignof_type gets the wrong alignment for unions (objc_sizeof_type is wrong also too))

2005-12-11  Andrew Pinski  <pinskia@physics.uc.edu>

        PR libobjc/25347
        * encoding.c (objc_sizeof_type): Don't handle _C_UNION_B special
        but use the struct layout functions.
        (objc_alignof_type): Likewise.
        (objc_layout_structure): Handle _C_UNION_B also.
        (objc_layout_structure_next_member): Likewise.
        (objc_layout_finish_structure): Likewise.

2005-12-11  Andrew Pinski  <pinskia@physics.uc.edu>

        PR libobjc/25347
        * objc.dg/encode-8.m: New test.

From-SVN: r108379

18 years agore PR libobjc/25346 (objc_sizeof_type does not handle _Bool at all)
Andrew Pinski [Sun, 11 Dec 2005 06:28:35 +0000 (06:28 +0000)]
re PR libobjc/25346 (objc_sizeof_type does not handle _Bool at all)

2005-12-11  Andrew Pinski  <pinskia@physics.uc.edu>

        PR libobjc/25346
        * objc/objc-api.h (_C_BOOL): New define.
        * encoding.c (objc_sizeof_type): Handle _C_BOOL.
        (objc_alignof_type): Likewise.
        (objc_skip_typespec): Likewise.

2005-12-11  Andrew Pinski  <pinskia@physics.uc.edu>

        PR libobjc/25346
        * objc.dg/encode-7.m: New test.

From-SVN: r108378

18 years agore PR c++/25010 (Segmentation fault (infinite recursion in cgraph_clone_inlined_nodes))
Mark Mitchell [Sun, 11 Dec 2005 04:24:50 +0000 (04:24 +0000)]
re PR c++/25010 (Segmentation fault (infinite recursion in cgraph_clone_inlined_nodes))

PR c++/25010
* ipa-inline.c (cgraph_clone_inlined_nodes): Do not assume that
DECL_EXTERNAL functions have no bodies.  Tidy.
PR c++/25010
* g++.dg/opt/inline10.C: New test.

From-SVN: r108377

18 years agore PR c++/25010 (Segmentation fault (infinite recursion in cgraph_clone_inlined_nodes))
Mark Mitchell [Sun, 11 Dec 2005 04:16:32 +0000 (04:16 +0000)]
re PR c++/25010 (Segmentation fault (infinite recursion in cgraph_clone_inlined_nodes))

PR c++/25010
* ipa-inline.c (cgraph_clone_inlined_nodes): Do not assume that
DECL_EXTERNAL functions have no bodies.  Tidy.
PR c++/25010
* g++.dg/opt/inline10.C: New test.

From-SVN: r108375

18 years agoFixes java/PR9861
Terry Laurenzo [Sun, 11 Dec 2005 01:34:02 +0000 (01:34 +0000)]
Fixes java/PR9861

From-SVN: r108374

18 years agosso_string_base.h (__sso_string_base<>::_M_compare): Add...
Paolo Carlini [Sun, 11 Dec 2005 00:41:29 +0000 (00:41 +0000)]
sso_string_base.h (__sso_string_base<>::_M_compare): Add...

2005-12-10  Paolo Carlini  <pcarlini@suse.de>

* include/ext/sso_string_base.h (__sso_string_base<>::_M_compare):
Add, specialized for char and wchar_t to immediately return true
when a string is compared to itself.
* include/ext/rc_string_base.h (__rc_string_base<>::_M_compare):
Likewise, for the same _Rep.
* include/ext/vstring.h (compare(const string&)): Use it.

* include/ext/sso_string_base.h (__sso_string_base<>::_M_destroy):
Deallocate passed size + 1.
(_M_dispose, _M_reserve): Adjust.

From-SVN: r108372

18 years agoFix testsuite after this commit:
Steven G. Kargl [Sun, 11 Dec 2005 00:39:14 +0000 (00:39 +0000)]
Fix testsuite after this commit:

   2005-12-10  Francois-Xavier Coudert  <coudert@clipper.ens.fr>

    PR fortran/25068
    * gfortran.dg/iostat_3.f90: New test.

From-SVN: r108371

18 years agoDaily bump.
GCC Administrator [Sun, 11 Dec 2005 00:17:11 +0000 (00:17 +0000)]
Daily bump.

From-SVN: r108368

18 years agosubstring_equivalence.f90: typo in comment
Bernhard Fischer [Sun, 11 Dec 2005 00:00:29 +0000 (01:00 +0100)]
substring_equivalence.f90: typo in comment

2005-12-11  Bernhard Fischer  <rep.nop@aon.at>

* gfortran.dg/substring_equivalence.f90: typo in comment

From-SVN: r108362

18 years agoForgot ChangeLog for 108359
Janne Blomqvist [Sat, 10 Dec 2005 22:05:55 +0000 (00:05 +0200)]
Forgot ChangeLog for 108359

From-SVN: r108361

18 years agore PR fortran/25068 ([4.0/4.1] IOSTAT should be default integer when -std=f95)
Francois-Xavier Coudert [Sat, 10 Dec 2005 21:44:43 +0000 (22:44 +0100)]
re PR fortran/25068 ([4.0/4.1] IOSTAT should be default integer when -std=f95)

PR fortran/25068

* io.c (resolve_tag): Add correct diagnostic for F2003 feature.

* gfortran.dg/iostat_3.f90: New test.

From-SVN: r108360

18 years agoMakefile.am: Enable loop unrolling for matmul.
Janne Blomqvist [Sat, 10 Dec 2005 21:22:16 +0000 (23:22 +0200)]
Makefile.am: Enable loop unrolling for matmul.

2005-12-10  Janne Blomqvist  <jb@gcc.gnu.org>

* Makefile.am: Enable loop unrolling for matmul.
* configure: Regenerated.
* Makefile.in: Regenerated.
* aclocal.m4: Regenerated.

From-SVN: r108359

18 years agore PR fortran/23815 (Add -byteswapio flag)
Thomas Koenig [Sat, 10 Dec 2005 20:01:56 +0000 (20:01 +0000)]
re PR fortran/23815 (Add -byteswapio flag)

2005-12-10  Thomas Koenig  <Thomas.Koenig@online.de>

PR fortran/23815
* io.c (top level):  Add convert to io_tag.
(resolve_tag):  convert is GFC_STD_GNU.
(match_open_element):  Add convert.
(gfc_free_open):  Likewise.
(gfc_resolve_open):  Likewise.
(gfc_free_inquire):  Likewise.
(match_inquire_element):  Likewise.
* dump-parse-tree.c (gfc_show_code_node):  Add
convet for open and inquire.
gfortran.h: Add convert to gfc_open and gfc_inquire.
* trans-io.c (gfc_trans_open):  Add convert.
(gfc_trans_inquire):  Likewise.
* ioparm.def:  Add convert to open and inquire.
* gfortran.texi:  Document CONVERT.

2005-12-10  Thomas Koenig  <Thomas.Koenig@online.de>

PR fortran/23815
* io/file_pos.c (unformatted_backspace):  If flags.convert
does not equal CONVERT_NATIVE, reverse the record marker.
* io/open.c:  Add convert_opt[].
(st_open):  If no convert option is given, set CONVERT_NATIVE.
If CONVERT_BIG or CONVERT_LITTLE are given, set flags.convert to
CONVERT_NATIVE or CONVERT_SWAP (depending on wether we have
a big- or little-endian system).
* io/transfer.c (unformatted_read):  Remove unused attribute
from arguments.
If we need to reverse
bytes, break up large transfers into a loop.  Split complex
numbers into its two parts.
(unformatted_write):  Likewise.
(us_read):  If flags.convert does not equal CONVERT_NATIVE,
reverse the record marker.
(next_record_w): Likewise.
(reverse_memcpy):  New function.
* io/inquire.c (inquire_via_unit):  Implement convert.
* io/io.h (top level):  Add enum unit_convert.
Add convert to st_parameter_open and st_parameter_inquire.
Define IOPARM_OPEN_HAS_CONVERT and IOPARM_INQUIRE_HAS_CONVERT.
Increase padding for st_parameter_dt.
Declare reverse_memcpy().

2005-12-10  Thomas Koenig  <Thomas.Koenig@online.de>

PR fortran/23815
* gfortran.dg/unf_io_convert_1.f90:  New test.
* gfortran.dg/unf_io_convert_2.f90:  New test.
* gfortran.dg/unf_io_convert_3.f90:  New test.

From-SVN: r108358

18 years agoexcept.c (switch_to_exception_section): Only define if TARGET_UNWIND_INFO is not...
Andreas Schwab [Sat, 10 Dec 2005 17:38:45 +0000 (17:38 +0000)]
except.c (switch_to_exception_section): Only define if TARGET_UNWIND_INFO is not defined.

* except.c (switch_to_exception_section): Only define if
TARGET_UNWIND_INFO is not defined.

From-SVN: r108355

18 years agoAdd myself for write after approval.
Thiemo Seufer [Sat, 10 Dec 2005 17:37:58 +0000 (17:37 +0000)]
Add myself for write after approval.

From-SVN: r108354

18 years agore PR testsuite/20772 (x86 tests should run on both i?86 and x86_64)
Kaveh R. Ghazi [Sat, 10 Dec 2005 13:23:19 +0000 (13:23 +0000)]
re PR testsuite/20772 (x86 tests should run on both i?86 and x86_64)

PR testsuite/20772
* g++.dg/abi/mangle24.C, g++.dg/abi/mangle25.C,
g++.dg/ext/vector2.C, g++.dg/opt/longbranch2.C, g++.dg/opt/mmx1.C,
g++.dg/opt/reg-stack4.C, gcc.dg/20020108-1.c, gcc.dg/20020122-2.c,
gcc.dg/20020122-3.c, gcc.dg/20020206-1.c, gcc.dg/20020310-1.c,
gcc.dg/20020411-1.c, gcc.dg/20020418-2.c, gcc.dg/20020426-2.c,
gcc.dg/20020517-1.c, gcc.dg/20030204-1.c, gcc.dg/20030826-2.c,
gcc.dg/20031202-1.c, gcc.dg/format/unnamed-1.c, gcc.dg/setjmp-2.c,
gcc.dg/short-compare-1.c, gcc.dg/short-compare-2.c,
gcc.dg/tls/opt-1.c, gcc.dg/tls/opt-2.c,
gcc.dg/torture/fp-int-convert-float128-timode.c,
gcc.dg/torture/fp-int-convert-float128.c,
gcc.dg/torture/fp-int-convert-float80-timode.c,
gcc.dg/torture/fp-int-convert-float80.c, gcc.dg/unroll-1.c,
gcc.target/i386/20030926-1.c: Merge i?86 and x86_64 cases.

* gcc.dg/tls/opt-1.c: Require effective target fpic.

From-SVN: r108348

18 years agodarwin.h (HAS_INIT_SECTION): Remove definition.
Richard Sandiford [Sat, 10 Dec 2005 08:07:25 +0000 (08:07 +0000)]
darwin.h (HAS_INIT_SECTION): Remove definition.

* config/darwin.h (HAS_INIT_SECTION): Remove definition.
(INIT_SECTION_ASM_OP): Restore empty definition from before 2005-12-07.

From-SVN: r108346

18 years ago* g++.old-deja/g++.other/comdat5.C: Gate on target fpic.
Hans-Peter Nilsson [Sat, 10 Dec 2005 02:19:09 +0000 (02:19 +0000)]
* g++.old-deja/g++.other/comdat5.C: Gate on target fpic.

From-SVN: r108342

18 years agore PR fortran/22527 (fortran produces mismatch types in comparision with integer...
Roger Sayle [Sat, 10 Dec 2005 01:14:38 +0000 (01:14 +0000)]
re PR fortran/22527 (fortran produces mismatch types in comparision with integer to logic assignment)

PR fortran/22527
* f95-lang.c (gfc_truthvalue_conversion): Use a zero of the correct
integer type when building an inequality.

From-SVN: r108341

18 years agooutput.h (init_section, [...]): Delete.
Richard Sandiford [Sat, 10 Dec 2005 00:22:11 +0000 (00:22 +0000)]
output.h (init_section, [...]): Delete.

* output.h (init_section, fini_section): Delete.
* varasm.c (init_section, fini_section): Delete.
(init_varasm_once): Don't initialize them.
* doc/tm.texi (INIT_SECTION_ASM_OP, FINI_SECTION_ASM_OP): Say that
there are no corresponding varasm.c variables.

From-SVN: r108338

18 years agodwarf2out.c (default_eh_frame_section): Delete, moving handling of EH_FRAME_SECTION_N...
Richard Sandiford [Sat, 10 Dec 2005 00:20:16 +0000 (00:20 +0000)]
dwarf2out.c (default_eh_frame_section): Delete, moving handling of EH_FRAME_SECTION_NAME into...

* dwarf2out.c (default_eh_frame_section): Delete, moving handling
of EH_FRAME_SECTION_NAME into...
(switch_to_eh_frame_section): ...here.  Try to set eh_frame_section
if it is still null.
* except.c (default_exception_section): Delete, moving most
of the code to...
(switch_to_exception_section): ...this new function.  Set
exception_section if it is still null, then switch to it.
(output_function_exception_table): Use switch_to_exception_section.
* varasm.c (exception_section, eh_frame_section): Update comments.
(get_section): Hoist use of SECTION_NAMED.
(init_varasm_once): Don't set exception_section and eh_frame_section.
* output.h (default_exception_section): Delete.
(default_eh_frame_section): Delete.

testsuite/
* gcc.dg/20051207-1.c,
* gcc.dg/20051207-2.c,
* gcc.dg/20051207-3.c: New tests.

From-SVN: r108336

18 years agoDaily bump.
GCC Administrator [Sat, 10 Dec 2005 00:17:38 +0000 (00:17 +0000)]
Daily bump.

From-SVN: r108333

18 years agore PR testsuite/20772 (x86 tests should run on both i?86 and x86_64)
Kaveh R. Ghazi [Sat, 10 Dec 2005 00:01:25 +0000 (00:01 +0000)]
re PR testsuite/20772 (x86 tests should run on both i?86 and x86_64)

PR testsuite/20772
* g++.old-deja/g++.pt/asm1.C, gcc.c-torture/compile/20000804-1.c,
gcc.target/i386/asm-3.c, gcc.target/i386/clobbers.c: Use ilp32 in
dg-skip-if target selector.

From-SVN: r108326

18 years agore PR testsuite/20772 (x86 tests should run on both i?86 and x86_64)
Kaveh R. Ghazi [Fri, 9 Dec 2005 23:46:42 +0000 (23:46 +0000)]
re PR testsuite/20772 (x86 tests should run on both i?86 and x86_64)

PR testsuite/20772
* g++.dg/eh/simd-1.C, g++.dg/eh/simd-2.C, g++.dg/opt/inline9.C,
gcc.dg/20020418-1.c, gcc.dg/20031102-1.c, gcc.dg/ia64-sync-1.c,
gcc.dg/ia64-sync-2.c, gcc.dg/ia64-sync-3.c, gcc.dg/ia64-sync-4.c,
gcc.dg/ifcvt-fabs-1.c, gcc.dg/loop-3.c, gcc.dg/nested-calls-1.c,
gcc.dg/pr20017.c, gcc.dg/smod-1.c, gcc.dg/sync-2.c,
gcc.dg/tls/opt-3.c, gcc.dg/torture/badshift.c: Add x86_64 cases
and/or merge with i?86 cases.

* gcc.dg/tls/opt-3.c: Require effective target fpic.

From-SVN: r108324

18 years agore PR testsuite/20772 (x86 tests should run on both i?86 and x86_64)
Kaveh R. Ghazi [Fri, 9 Dec 2005 23:34:09 +0000 (23:34 +0000)]
re PR testsuite/20772 (x86 tests should run on both i?86 and x86_64)

PR testsuite/20772
* g++.dg/opt/life1.C, g++.old-deja/g++.abi/aggregates.C,
g++.old-deja/g++.abi/align.C, g++.old-deja/g++.abi/bitfields.C,
g++.old-deja/g++.law/weak.C, g++.old-deja/g++.pt/asm2.C,
gcc.dg/20000724-1.c, gcc.dg/pragma-align.c: Also test on
x86_64-*-linux*.

From-SVN: r108322

18 years agobfin.c: Include "cgraph.h".
Bernd Schmidt [Fri, 9 Dec 2005 22:44:23 +0000 (22:44 +0000)]
bfin.c: Include "cgraph.h".

* config/bfin/bfin.c: Include "cgraph.h".
(bfin_load_pic_reg): Omit loading pic reg if in a local function.
Return the reg that holds the pointer to the GOT.
(bfin_expand_prologue): Use return value of bfin_load_pic_reg when
doing stack checking.

From-SVN: r108318

18 years agotree.c (recompute_tree_invariant_for_addr_expr): Rename from recompute_tree_invarant_...
Diego Novillo [Fri, 9 Dec 2005 19:24:28 +0000 (19:24 +0000)]
tree.c (recompute_tree_invariant_for_addr_expr): Rename from recompute_tree_invarant_for_addr_expr.

* tree.c (recompute_tree_invariant_for_addr_expr): Rename from
recompute_tree_invarant_for_addr_expr.
Update uses everywhere.

From-SVN: r108316

18 years agot-ms1 (MULTILIB_OPTIONS): Define.
Aldy Hernandez [Fri, 9 Dec 2005 19:10:49 +0000 (19:10 +0000)]
t-ms1 (MULTILIB_OPTIONS): Define.

        * config/ms1/t-ms1 (MULTILIB_OPTIONS): Define.
        (MULTILIB_DIRNAMES): Define.

From-SVN: r108315

18 years agore PR libstdc++/25288 (std::list insert members should have no effects if an exceptio...
Paolo Carlini [Fri, 9 Dec 2005 18:24:53 +0000 (18:24 +0000)]
re PR libstdc++/25288 (std::list insert members should have no effects if an exception is thrown)

2005-12-09  Paolo Carlini  <pcarlini@suse.de>
    Howard Hinnant  <hhinnant@apple.com>

PR libstdc++/25288
* include/bits/stl_list.h (list<>::_M_insert_dispatch, _M_fill_insert):
Remove.
(_M_initialize_dispatch, _M_fill_initialize): Add.
(list(size_type, const value_type&, const allocator_type&),
list(const list&), list(_InputIterator, _InputIterator,
const allocator_type&): Use the latter.
(insert(iterator, size_type, const value_type&), insert(iterator,
_InputIterator, _InputIterator)): Use construction & splice.
* testsuite/23_containers/list/modifiers/insert/25288.cc: New.
* testsuite/testsuite_allocator.h (class throw_allocator): Add.

* include/bits/stl_list.h (list<>::insert, erase): Fix wrong comments.

Co-Authored-By: Howard Hinnant <hhinnant@apple.com>
From-SVN: r108313

18 years agoProvide first full implementation.
Arnaud Charlet [Fri, 9 Dec 2005 17:41:04 +0000 (18:41 +0100)]
Provide first full implementation.

From-SVN: r108310

18 years agoResync.
Arnaud Charlet [Fri, 9 Dec 2005 17:36:36 +0000 (18:36 +0100)]
Resync.

From-SVN: r108309

18 years ago[multiple changes]
Arnaud Charlet [Fri, 9 Dec 2005 17:22:27 +0000 (18:22 +0100)]
[multiple changes]

2005-12-05  Robert Dewar  <dewar@adacore.com>

* i-c.adb, i-cexten.ads, i-cobol.adb, i-cobol.ads, i-cpoint.ads,
        i-cpp.adb, i-cpp.ads, i-cstrea.ads, i-cstrin.adb, i-cstrin.ads,
inline.adb, interfac.ads, i-os2err.ads, i-os2lib.ads, i-os2syn.ads,
i-os2thr.ads, itypes.adb, itypes.adb, itypes.ads, krunch.ads,
krunch.adb, lib.adb, lib.ads, lib-list.adb, lib-load.adb,
lib-load.ads, lib-sort.adb, live.adb, make.ads, i-cstrea-vms.adb,
interfac-vms.ads, makegpr.adb, indepsw-gnu.adb, indepsw.ads,
s-wchcon.ads, sdefault.ads, sem_ch10.adb, sem_eval.ads: Minor
reformatting.

2005-12-05  Robert Dewar  <dewar@adacore.com>

* s-vaflop-vms-alpha.adb: (Ne_F): New function
(Ne_G): New function

* exp_ch4.adb (Expand_Allocator_Expression): Factor duplicated code
for tag assignment.
(Rewrite_Comparison): Handle case where operation is not a comparison
and ignore, and also handle type conversion case.

2005-12-05  Thomas Quinot  <quinot@adacore.com>

* exp_aggr.ads: Fix typo in comment.
???-mark Convert_Aggr_In_Assignment as needing documentation.

2005-12-05  Gary Dismukes  <dismukes@adacore.com>

* layout.adb: Replace various uses of byte by storage unit throughout.
(Get_Max_SU_Size): Name changed from Get_Max_Size. In the case of a
static size, convert to storage units before returning, to conform to
spec.

2005-12-05  Matthew Gingell  <gingell@adacore.com>

* g-exctra.ads: Fix typo in comment.

2005-12-05  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

* utils.c: Minor reformatting.

2005-12-05  Robert Dewar  <dewar@adacore.com>

* g-soccon.ads:
Further comment fixes to make the status of the default file clear

* s-bitops.adb: Clarify comment for Bits_Array

From-SVN: r108308

18 years agognat_ugn.texi: Created section "Stack Related Tools" Moved "Stack Overflow Checking"...
Quentin Ochem [Fri, 9 Dec 2005 17:22:09 +0000 (18:22 +0100)]
gnat_ugn.texi: Created section "Stack Related Tools" Moved "Stack Overflow Checking"...

2005-12-05  Quentin Ochem  <ochem@adacore.com>
    Robert Dewar  <dewar@adacore.com>
    Ed Falis  <falis@adacore.com>
    Florian Villoing  <villoing@adacore.com>
    Thomas Quinot  <quinot@adacore.com>
    Arnaud Charlet  <charlet@adacore.com>

* gnat_ugn.texi: Created section "Stack Related Tools"
Moved "Stack Overflow Checking" subsection from "Switches for gcc" to
"Stack Related Tools"
Added subsection "Static Stack Usage Analysis"
Added subsection "Dynamic Stack Usage Analysis"
Include documentation of itypes in sprint listing (-gnatG)
Documented gnatbind -D switch (default sec stack size for fixed sec
stacks).
Added Interrupt_State and Persistent_BSS to list of configuration
pragmas.
Add missing doc for maximum value of nnn in -gnatyMnnn

* gnat_rm.texi: Document the AltiVec binding.
Add documentation for pragma Complete_Representation
Shortened an overly long line (> 79 chars)
Clarify documentation of unchecked conversion in implementation
defined cases.
Document two argument form of pragma Debug

* types.ads (Column_Number): Update documentation.

* exp_ch7.ads (Make_Adjust_Call): Document the special processing for
library level Finalize_Storage_Only objects (these are not attached to
any finalization list).

* system-mingw.ads: (Underlying_Priorities): Update comment.

From-SVN: r108307

18 years agosem_util.ads, [...] (Full_Qualified_Name): Now provides decoded names.
Robert Dewar [Fri, 9 Dec 2005 17:21:59 +0000 (18:21 +0100)]
sem_util.ads, [...] (Full_Qualified_Name): Now provides decoded names.

2005-12-05  Robert Dewar  <dewar@adacore.com>

* sem_util.ads, sem_util.adb (Full_Qualified_Name): Now provides
decoded names.

From-SVN: r108306

18 years agosem_ch9.adb (Analyze_Delay_Alternative, [...]): Use the first subtype of the type...
Ed Schonberg [Fri, 9 Dec 2005 17:21:49 +0000 (18:21 +0100)]
sem_ch9.adb (Analyze_Delay_Alternative, [...]): Use the first subtype of the type of the expression to verify that it is a...

2005-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch9.adb (Analyze_Delay_Alternative, Analyze_Delay_Until): Use the
first subtype of the type of the expression to verify that it is a
legal Time type.

From-SVN: r108305

18 years agosem_ch8.adb (Find_Type): In case of tagged types that are concurrent types use the...
Javier Miranda [Fri, 9 Dec 2005 17:21:38 +0000 (18:21 +0100)]
sem_ch8.adb (Find_Type): In case of tagged types that are concurrent types use the corresponding record type.

2005-12-05  Javier Miranda  <miranda@adacore.com>

* sem_ch8.adb (Find_Type): In case of tagged types that are concurrent
types use the corresponding record type. This was not needed before
the implementation of Ada 2005 synchronized types because
concurrent types were never tagged types in Ada 95.

From-SVN: r108304

18 years agosem_ch6.adb (Analyze_Subprogram_Body): Properly check categorization for case where...
Robert Dewar [Fri, 9 Dec 2005 17:21:28 +0000 (18:21 +0100)]
sem_ch6.adb (Analyze_Subprogram_Body): Properly check categorization for case where spec is categorized.

2005-12-05  Robert Dewar  <dewar@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Body): Properly check categorization
for case where spec is categorized.

From-SVN: r108303

18 years agosem_ch4.adb (Remove_Abstract_Operations): Do not apply preference rule prematurely...
Ed Schonberg [Fri, 9 Dec 2005 17:21:19 +0000 (18:21 +0100)]
sem_ch4.adb (Remove_Abstract_Operations): Do not apply preference rule prematurely when operands are universal...

2005-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Remove_Abstract_Operations): Do not apply preference
rule prematurely when operands are universal, remaining ambiguities
will be removed during resolution.
Code cleanup.

* sem_type.adb (Disambiguate): In Ada95 mode, discard interpretations
that are Ada 2005 functions.
(Has_Abstract_Interpretation): Subsidiary to
Remove_Conversions, to remove ambiguities caused by abstract operations
on numeric types when operands are universal.

From-SVN: r108302

18 years agosem_ch12.adb (Subtypes_Match): Handle properly Ada05 arrays of anonymous access types.
Ed Schonberg [Fri, 9 Dec 2005 17:21:06 +0000 (18:21 +0100)]
sem_ch12.adb (Subtypes_Match): Handle properly Ada05 arrays of anonymous access types.

2005-12-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Subtypes_Match): Handle properly Ada05 arrays of
anonymous access types.

* sem_eval.adb (Subtypes_Statically_Match): Implement new rules for
matching of anonymous access types and anonymous access to subprogram
types. 'R'M 4.9.1 (2/2).

From-SVN: r108301

18 years agosem_cat.adb (Validate_RCI_Subprogram_Declaration): Revise test for available user...
Gary Dismukes [Fri, 9 Dec 2005 17:20:53 +0000 (18:20 +0100)]
sem_cat.adb (Validate_RCI_Subprogram_Declaration): Revise test for available user-specified stream attributes on limited...

2005-12-05  Gary Dismukes  <dismukes@adacore.com>

* sem_cat.adb (Validate_RCI_Subprogram_Declaration): Revise test for
available user-specified stream attributes on limited parameters to
also test the type directly rather than only its underlying type (for
Ada 95) and, in the case of Ada 2005, to check that the user-specified
attributes are visible at the point of the subprogram declaration.
For Ada 2005, the error message is modified to indicate that the
type's stream attributes must be visible (again, only for -gnat05).

From-SVN: r108300

18 years agosem_prag.adb: Processing for new pragma Complete_Representation (Analyze_Pragma...
Robert Dewar [Fri, 9 Dec 2005 17:20:41 +0000 (18:20 +0100)]
sem_prag.adb: Processing for new pragma Complete_Representation (Analyze_Pragma...

2005-12-05  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb: Processing for new pragma Complete_Representation
(Analyze_Pragma, case Debug): Implement two argument form.

* par-prag.adb: Entry for new pragma Complete_Representation
(Prag, case Debug): Recognize two argument form of pragma Debug
New interface for Set_Style_Check_Options.

* sem_ch13.adb: Implement new pragma Complete_Representation.

* snames.adb, snames.ads, snames.h: Entry for new pragma
Complete_Representation.

From-SVN: r108299

18 years agomlib-utl.adb (Ar): Use Output.Buffer_Max to determine whether a command line switch...
Thomas Quinot [Fri, 9 Dec 2005 17:20:28 +0000 (18:20 +0100)]
mlib-utl.adb (Ar): Use Output.Buffer_Max to determine whether a command line switch overruns the...

2005-12-05  Thomas Quinot  <quinot@adacore.com>

* mlib-utl.adb (Ar): Use Output.Buffer_Max to determine whether a
command line switch overruns the output buffer.

From-SVN: r108298

18 years agognatcmd.adb (GNATCmd): GNAT CHECK accepts switch -U If GNAT CHECK is called with...
Vincent Celier [Fri, 9 Dec 2005 17:20:15 +0000 (18:20 +0100)]
gnatcmd.adb (GNATCmd): GNAT CHECK accepts switch -U If GNAT CHECK is called with a project file...

2005-12-05  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (GNATCmd): GNAT CHECK accepts switch -U
If GNAT CHECK is called with a project file, but with no
source on the command line, call gnatcheck with all the compilable
sources of the project.
Take into account the new command Check, for gnatcheck. Treat as for
other ASIS tools: take into account project, specific package Check and
Compiler switches.
For ASIS tools, add the switches in package Compiler for
the invocation of the compiler.

* prj-attr.adb: Add package Check and its attributes

* vms_conv.ads (Command_Type): New command Check, for gnatcheck

* vms_conv.adb (Initialize): Change Params of command Check to
unlimited files.
Change some Hostparm.OpenVMS checks to Targparm.OpenVMS_On_Target.
Add data for new command Check

* vms_data.ads: Add project related qualifiers for GNAT CHECK and GNAT
ELIM.
Add qualifiers for Check command options
(Command_Type): New command Check

From-SVN: r108297

18 years agofreeze.adb (Freeze_Record_Type): Only test for useless pack on record types, not...
Robert Dewar [Fri, 9 Dec 2005 17:20:03 +0000 (18:20 +0100)]
freeze.adb (Freeze_Record_Type): Only test for useless pack on record types, not on record subtypes.

2005-12-05  Robert Dewar  <dewar@adacore.com>

* freeze.adb (Freeze_Record_Type): Only test for useless pack on record
types, not on record subtypes.
(Freeze_Entity): Code cleanup. Add barrier to the loop
that generates the references for primitive operations. This allows to
remove an unnecessary exception handler.
Code reformatting and comment clean ups.

From-SVN: r108296

18 years agoeinfo.adb (Itype_Printed): New flag
Robert Dewar [Fri, 9 Dec 2005 17:19:49 +0000 (18:19 +0100)]
einfo.adb (Itype_Printed): New flag

2005-12-05  Robert Dewar  <dewar@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>
    Gary Dismukes  <dismukes@adacore.com>
    Javier Miranda  <miranda@adacore.com>
    Hristian Kirtchev  <kirtchev@adacore.com>

* einfo.adb (Itype_Printed): New flag
(Is_Limited_Type): Derived types do not inherit limitedness from
interface progenitors.
(Is_Return_By_Reference_Type): Predicate does not apply to limited
interfaces.

* einfo.ads (Itype_Printed): New flag
Move Is_Wrapper_Package to proper section
Add missing Inline for Is_Volatile

* output.ads, output.adb (Write_Erase_Char): New procedure
(Save/Restore_Output_Buffer): New procedures
(Save/Restore_Output_Buffer): New procedures

* sprint.ads, sprint.adb (Write_Itype): Handle case of record itypes
Add missing support for anonymous access type
(Write_Id): Insert calls to Write_Itype
(Write_Itype): New procedure to output itypes

* par-ch12.adb (P_Formal_Derived_Type_Definition): In Ada 2005, handle
use of "limited" in declaration.

* sinfo.ads, sinfo.adb:
Formal derived types can carry an explicit "limited" indication.

* sem_ch3.adb: Add with and use of Targparm.
(Create_Component): If Frontend_Layout_On_Target is True and the
copied component does not have a known static Esize, then reset
the size and positional fields of the new component.
(Analyze_Component_Declaration): A limited component is
legal within a protected type that implements an interface.
(Collect_Interfaces): Do not add to the list the interfaces that
are implemented by the ancestors.
(Derived_Type_Declaration): If the parent of the full-view is an
interface perform a transformation of the tree to ensure that it has
the same parent than the partial-view. This simplifies the job of the
expander in order to generate the correct object layout, and it is
needed because the list of interfaces of the full-view can be given in
any order.
(Process_Full_View): The parent of the full-view does not need to be
a descendant of the parent of the partial view if both parents are
interfaces.
(Analyze_Private_Extension_Declaration): If declaration has an explicit
"limited" the parent must be a limited type.
(Build_Derived_Record_Type): A derived type that is explicitly limited
must have limited ancestor and progenitors.
(Build_Derived_Type): Ditto.
(Process_Full_View): Verify that explicit uses of "limited" in partial
and full declarations are consistent.
(Find_Ancestor_Interface): Remove function.
(Collect_Implemented_Interfaces): New procedure used to gather all
implemented interfaces by a type.
(Contain_Interface): New function used to check whether an interface is
present in a list.
(Find_Hidden_Interface): New function used to determine whether two
lists of interfaces constitute a set equality. If not, the first
differing interface is returned.
(Process_Full_View): Improve the check for the "no hidden interface"
rule as defined by AI-396.

From-SVN: r108295

18 years agoexp_util.ads, [...] (Is_Ref_To_Bit_Packed_Slice): Handle case of type conversion.
Robert Dewar [Fri, 9 Dec 2005 17:19:33 +0000 (18:19 +0100)]
exp_util.ads, [...] (Is_Ref_To_Bit_Packed_Slice): Handle case of type conversion.

2005-12-05  Robert Dewar  <dewar@adacore.com>
    Javier Miranda  <miranda@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* exp_util.ads, exp_util.adb (Is_Ref_To_Bit_Packed_Slice): Handle case
of type conversion.
(Find_Interface): New subprogram that given a tagged type and one of its
component associated with the secondary table of an abstract interface
type, return the entity associated with such abstract interface type.
(Make_Subtype_From_Expr): If type has unknown discriminants, always use
base type to create anonymous subtype, because entity may be a locally
declared subtype or generic actual.
(Find_Interface): New subprogram that given a tagged type and one of its
component associated with the secondary table of an abstract interface
type, return the entity associated with such abstract interface type.

* sem_res.adb (Resolve_Type_Conversion): Handle the case in which the
conversion cannot be handled at compile time. In this case we pass this
information to the expander to generate the appropriate code.

From-SVN: r108294