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
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
GCC Administrator [Wed, 14 Dec 2005 00:17:32 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r108495
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
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
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
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
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
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
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
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
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
Jakub Jelinek [Tue, 13 Dec 2005 08:14:41 +0000 (09:14 +0100)]
Update.
From-SVN: r108465
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
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
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
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
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
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
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
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
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
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
GCC Administrator [Tue, 13 Dec 2005 00:17:27 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r108439
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
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
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
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
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
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
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
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
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
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
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
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
Arnaud Charlet [Mon, 12 Dec 2005 11:32:53 +0000 (12:32 +0100)]
Fix typo in previous change.
From-SVN: r108408
Arnaud Charlet [Mon, 12 Dec 2005 11:19:12 +0000 (11:19 +0000)]
Update dependencies
From-SVN: r108407
Arnaud Charlet [Mon, 12 Dec 2005 11:00:24 +0000 (11:00 +0000)]
Add rule for ada/exp_sel.o
From-SVN: r108406
Arnaud Charlet [Mon, 12 Dec 2005 10:57:00 +0000 (10:57 +0000)]
(mingw section): Remove EH_MECHANISM setting.
From-SVN: r108405
Nathan Sidwell [Mon, 12 Dec 2005 10:55:59 +0000 (10:55 +0000)]
* MAINTAINERS: Add myself as mt maintainer.
From-SVN: r108404
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
Nathan Sidwell [Mon, 12 Dec 2005 10:50:25 +0000 (10:50 +0000)]
renam ms1 files to mt (part 2)
From-SVN: r108402
Nathan Sidwell [Mon, 12 Dec 2005 10:48:53 +0000 (10:48 +0000)]
Rename ms1 files to mt (part 1)
From-SVN: r108401
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
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
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
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
GCC Administrator [Mon, 12 Dec 2005 00:17:33 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r108390
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
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
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
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
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
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
Terry Laurenzo [Sun, 11 Dec 2005 01:34:02 +0000 (01:34 +0000)]
Fixes java/PR9861
From-SVN: r108374
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
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
GCC Administrator [Sun, 11 Dec 2005 00:17:11 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r108368
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
Janne Blomqvist [Sat, 10 Dec 2005 22:05:55 +0000 (00:05 +0200)]
Forgot ChangeLog for 108359
From-SVN: r108361
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
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
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
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
Thiemo Seufer [Sat, 10 Dec 2005 17:37:58 +0000 (17:37 +0000)]
Add myself for write after approval.
From-SVN: r108354
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
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
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
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
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
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
GCC Administrator [Sat, 10 Dec 2005 00:17:38 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r108333
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
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
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
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
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
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
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
Arnaud Charlet [Fri, 9 Dec 2005 17:41:04 +0000 (18:41 +0100)]
Provide first full implementation.
From-SVN: r108310
Arnaud Charlet [Fri, 9 Dec 2005 17:36:36 +0000 (18:36 +0100)]
Resync.
From-SVN: r108309
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Robert Dewar [Fri, 9 Dec 2005 17:19:19 +0000 (18:19 +0100)]
exp_imgv.adb (Expand_Image_Attribute): Generate extra boolean parameter in call to Image_Wide_Character.
2005-12-05 Robert Dewar <dewar@adacore.com>
* exp_imgv.adb (Expand_Image_Attribute): Generate extra boolean
parameter in call to Image_Wide_Character.
* s-imgwch.ads, s-imgwch.adb (Image_Wide_Character): Add boolean
parameter Ada_2005 to deal with annoying FFFE/FFFF inconsistency.
(Image_Wide_Character): Add boolean parameter Ada_2005 to deal with
annoying FFFE/FFFF inconsistency.
From-SVN: r108293
Javier Miranda [Fri, 9 Dec 2005 17:18:26 +0000 (18:18 +0100)]
exp_ch5.adb (Expand_N_Assignment_Statement): In case of tagged types and the assignment to a class-wide object...
2005-12-05 Javier Miranda <miranda@adacore.com>
* exp_ch5.adb (Expand_N_Assignment_Statement): In case of tagged types
and the assignment to a class-wide object, before the assignment we
generate a run-time check to ensure that the tag of the Target is
covered by the tag of the source.
From-SVN: r108292
Pascal Obry [Fri, 9 Dec 2005 17:18:03 +0000 (18:18 +0100)]
g-diopit.adb (Find): Fix test to exit the iterator and make sure that the iterator is quitting...
2005-12-05 Pascal Obry <obry@adacore.com>
* g-diopit.adb (Find): Fix test to exit the iterator and make sure that
the iterator is quitting iteration on parent directory.
From-SVN: r108291