Jan-Benedict Glaw [Tue, 8 Jan 2013 22:46:38 +0000 (22:46 +0000)]
config.sub: Merge from config repo.
* config.sub: Merge from config repo.
* config.guess: Dito.
From-SVN: r195039
Jan-Benedict Glaw [Tue, 8 Jan 2013 22:34:23 +0000 (22:34 +0000)]
Makefile.def: Merge from binutils.
* Makefile.def: Merge from binutils.
* Makefile.in: Dito.
From-SVN: r195038
Jonathan Wakely [Tue, 8 Jan 2013 21:29:20 +0000 (21:29 +0000)]
* doc/xml/manual/status_cxx2011.xml: Document that N3189 is missing.
From-SVN: r195036
Jonathan Wakely [Tue, 8 Jan 2013 21:01:14 +0000 (21:01 +0000)]
re PR c++/55908 (Problem binding a const member function to a const object)
PR libstdc++/55908
* include/std/functional (_Mem_fn::operator()): Fix constraints to
avoid ambiguity.
* testsuite/20_util/function_objects/mem_fn/55908.cc: New.
* testsuite/20_util/bind/ref_neg.cc: Adjust dg-error line numbers.
From-SVN: r195035
Jan Hubicka [Tue, 8 Jan 2013 20:23:05 +0000 (21:23 +0100)]
re PR tree-optimization/55823 (ice in inline_call, at ipa-inline-transform.c:270)
PR tree-optimization/55823
* ipa-prop.c (update_indirect_edges_after_inlining): Fix ordering issue.
From-SVN: r195033
Uros Bizjak [Tue, 8 Jan 2013 18:38:30 +0000 (19:38 +0100)]
* gcc.target/i386/pr55845.c (foo): Remove unneeded initialization.
From-SVN: r195029
Jakub Jelinek [Tue, 8 Jan 2013 18:00:10 +0000 (19:00 +0100)]
re PR rtl-optimization/55845 (454.calculix miscompares with -march=btver2 -O3 -ffastmath -fschedule-insns -mvzeroupper for test data run)
PR rtl-optimization/55845
* df-problems.c (can_move_insns_across): Stop scanning at
volatile_insn_p source instruction or give up if
across_from .. across_to range contains any volatile_insn_p
instructions.
* gcc.target/i386/pr55845.c: New test.
From-SVN: r195028
Tejas Belagod [Tue, 8 Jan 2013 17:19:57 +0000 (17:19 +0000)]
aarch64-simd.md (vec_init<mode>): New.
2013-01-08 Tejas Belagod <tejas.belagod@arm.com>
* config/aarch64/aarch64-simd.md (vec_init<mode>): New.
* config/aarch64/aarch64-protos.h (aarch64_expand_vector_init): Declare.
* config/aarch64/aarch64.c (aarch64_simd_dup_constant,
aarch64_simd_make_constant, aarch64_expand_vector_init): New.
From-SVN: r195027
Jakub Jelinek [Tue, 8 Jan 2013 17:01:58 +0000 (18:01 +0100)]
re PR fortran/55341 (address-sanitizer and Fortran)
PR fortran/55341
* asan.c (asan_clear_shadow): New function.
(asan_emit_stack_protection): Use it.
From-SVN: r195025
Tejas Belagod [Tue, 8 Jan 2013 16:23:38 +0000 (16:23 +0000)]
vect-mull-compile.c: Explicitly scan for instructions generated instead of number of occurances.
2013-01-08 Tejas Belagod <tejas.belagod@arm.com>
* gcc.target/aarch64/vect-mull-compile.c: Explicitly scan for
instructions generated instead of number of occurances.
From-SVN: r195024
Tejas Belagod [Tue, 8 Jan 2013 16:21:51 +0000 (16:21 +0000)]
aarch64-simd.md (aarch64_simd_vec_<su>mult_lo_<mode>, [...]): Separate instruction and operand with tab instead of space.
2013-01-08 Tejas Belagod <tejas.belagod@arm.com>
* config/aarch64/aarch64-simd.md (aarch64_simd_vec_<su>mult_lo_<mode>,
aarch64_simd_vec_<su>mult_hi_<mode>): Separate instruction and operand
with tab instead of space.
From-SVN: r195023
Nick Clifton [Tue, 8 Jan 2013 15:01:48 +0000 (15:01 +0000)]
rl78.md (mulsi3_g13): Correct values for MDBL and MDBH registers.
* config/rl78/rl78.md (mulsi3_g13): Correct values for MDBL and
MDBH registers.
From-SVN: r195020
Nick Clifton [Tue, 8 Jan 2013 15:00:22 +0000 (15:00 +0000)]
rl78.c (rl78_expand_prologue): Always select register bank 0 at the start of an interrupt handler.
* config/rl78/rl78.c (rl78_expand_prologue): Always select
register bank 0 at the start of an interrupt handler.
From-SVN: r195019
James Greenhalgh [Tue, 8 Jan 2013 14:57:33 +0000 (14:57 +0000)]
[AARCH64] Add support for floating-point vcond.
gcc/
* config/aarch64/aarch64-simd.md
(aarch64_simd_bsl<mode>_internal): Add floating-point modes.
(aarch64_simd_bsl): Likewise.
(aarch64_vcond_internal<mode>): Likewise.
(vcond<mode><mode>): Likewise.
(aarch64_cm<cmp><mode>): Fix constraints, add new modes.
* config/aarch64/iterators.md (V_cmp_result): Add V2DF.
gcc/testsuite/
* gcc/testsuite/gcc.target/aarch64/vect-fcm-eq-d.c: New.
* gcc/testsuite/gcc.target/aarch64/vect-fcm-eq-f.c: Likewise.
* gcc/testsuite/gcc.target/aarch64/vect-fcm-ge-d.c: Likewise.
* gcc/testsuite/gcc.target/aarch64/vect-fcm-ge-f.c: Likewise.
* gcc/testsuite/gcc.target/aarch64/vect-fcm-gt-d.c: Likewise.
* gcc/testsuite/gcc.target/aarch64/vect-fcm-gt-f.c: Likewise.
* gcc/testsuite/gcc.target/aarch64/vect-fcm.x: Likewise.
* gcc/testsuite/lib/target-supports.exp
(check_effective_target_vect_cond): Enable for AArch64.
From-SVN: r195018
James Greenhalgh [Tue, 8 Jan 2013 14:49:01 +0000 (14:49 +0000)]
[AARCH64] Fix support for vectorization over sqrt (), sqrtf ().
gcc/
* config/aarch64/aarch64-builtins.c
(aarch64_builtin_vectorized_function): Handle sqrt, sqrtf.
gcc/testsuite/
* gcc.target/aarch64/vsqrt.c (test_square_root_v2sf): Use
endian-safe float pool loading.
(test_square_root_v4sf): Likewise.
(test_square_root_v2df): Likewise.
* lib/target-supports.exp
(check_effective_target_vect_call_sqrtf): Add AArch64.
From-SVN: r195017
Martin Jambor [Tue, 8 Jan 2013 14:10:44 +0000 (15:10 +0100)]
re PR debug/55579 (SRA doesn't create debug stmts when they would be useful)
2013-01-08 Martin Jambor <mjambor@suse.cz>
PR debug/55579
* tree-sra.c (analyze_access_subtree): Return true also after
potentially creating a debug-only replacement.
testsuite/
* gcc.dg/tree-ssa/pr55579.c: New test.
From-SVN: r195015
Joel Brobecker [Tue, 8 Jan 2013 12:34:12 +0000 (12:34 +0000)]
statement before variable declaration in cp_parser_initializer_list.
gcc/cp/ChangeLog:
* parser.c (cp_parser_initializer_list): Move declaration
of variable non_const to start of lexical block.
From-SVN: r195013
Rainer Orth [Tue, 8 Jan 2013 12:24:54 +0000 (12:24 +0000)]
Fix g++.dg/debug/dwarf2/pr54508.C on Solaris 9/x86
* g++.dg/debug/dwarf2/pr54508.C: Allow for more whitespace after
asm comments.
From-SVN: r195012
Rainer Orth [Tue, 8 Jan 2013 09:47:55 +0000 (09:47 +0000)]
Restrict -Wa,-nH use to Solaris (PR libstdc++/55594)
PR libstdc++/55594
* acinclude.m4 (GLIBCXX_CHECK_ASSEMBLER_HWCAP): Restrict test to
Solaris targets.
* configure: Regenerate.
From-SVN: r195009
Jakub Jelinek [Tue, 8 Jan 2013 08:38:50 +0000 (09:38 +0100)]
re PR tree-optimization/55890 (calling a builtin func through a cast triggers an ICE)
PR middle-end/55890
* tree-ssa-ccp.c (evaluate_stmt): Use gimple_call_builtin_p.
* gcc.dg/torture/pr55890-3.c: New test.
From-SVN: r195008
Jakub Jelinek [Tue, 8 Jan 2013 08:33:43 +0000 (09:33 +0100)]
re PR middle-end/54120 (FAIL: gfortran.fortran-torture/execute/random_2.f90 execution)
PR tree-optimization/54120
* tree-vrp.c (range_fits_type_p): Don't allow
src_precision < precision from signed vr to unsigned_p
if vr->min or vr->max is negative.
(simplify_float_conversion_using_ranges): Test can_float_p
against CODE_FOR_nothing.
From-SVN: r195007
Jakub Jelinek [Tue, 8 Jan 2013 08:32:12 +0000 (09:32 +0100)]
re PR middle-end/55851 (ICE in size_binop_loc, at fold-const.c:1385)
PR middle-end/55851
* fold-const.c (int_binop_types_match_p): Allow all INTEGRAL_TYPE_P
types instead of just INTEGER_TYPE types.
* gcc.c-torture/compile/pr55851.c: New test.
Co-Authored-By: Richard Biener <rguenther@suse.de>
From-SVN: r195006
Jakub Jelinek [Tue, 8 Jan 2013 08:14:04 +0000 (09:14 +0100)]
re PR sanitizer/55844 (-fsanitize=address -Os -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer -m64 doesn't work)
PR sanitizer/55844
* c-c++-common/asan/null-deref-1.c: Add -fno-shrink-wrap to
dg-options.
From-SVN: r195005
Paul Thomas [Tue, 8 Jan 2013 06:13:52 +0000 (06:13 +0000)]
re PR fortran/55618 (Failures with ISO_Varying_String test suite)
2013-01-08 Paul Thomas <pault@gcc.gnu.org>
PR fortran/55618
* trans-expr.c (gfc_conv_procedure_call): Dereference scalar
character function arguments to elemental procedures in
scalarization loops.
2013-01-08 Paul Thomas <pault@gcc.gnu.org>
PR fortran/55618
* gfortran.dg/elemental_scalar_args_2.f90: New test.
From-SVN: r195004
GCC Administrator [Tue, 8 Jan 2013 00:19:33 +0000 (00:19 +0000)]
Daily bump.
From-SVN: r195002
Mark Kettenis [Mon, 7 Jan 2013 22:49:56 +0000 (22:49 +0000)]
config.host (i[34567]86-*-openbsd* and x86_64-*-openbsd*): Add to lists of i[34567]86-*-* and x86_64-*-* soft-fp targets.
libgcc/
* config.host (i[34567]86-*-openbsd* and x86_64-*-openbsd*):
Add to lists of i[34567]86-*-* and x86_64-*-* soft-fp targets.
gcc/
* config/i386/openbsdelf.h (LIBGCC2_HAS_TF_MODE, LIBGCC2_TF_CEXT,
TF_SIZE): Define.
From-SVN: r194999
Steve Ellcey [Mon, 7 Jan 2013 22:16:45 +0000 (22:16 +0000)]
re PR target/42661 (Documented -mmad option not accepted.)
2013-01-07 Steve Ellcey <sellcey@mips.com>
PR target/42661
* config/mips/mips.opt: Change mad to mmad to match documentation.
From-SVN: r194998
Paul Thomas [Mon, 7 Jan 2013 19:10:32 +0000 (19:10 +0000)]
re PR fortran/53876 ([OOP] ICE with class array)
2013-01-07 Paul Thomas <pault@gcc.gnu.org>
PR fortran/53876
PR fortran/54990
PR fortran/54992
* ChangeLog: Correct format error in revision 194953
2013-01-07 Paul Thomas <pault@gcc.gnu.org>
PR fortran/53876
PR fortran/54990
PR fortran/54992
* ChangeLog: Correct format error in revision 194953
From-SVN: r194994
Georg-Johann Lay [Mon, 7 Jan 2013 18:37:47 +0000 (18:37 +0000)]
re PR target/55897 ([avr] Allocate __memx data to .progmemx.data)
PR target/55897
* doc/extend.texi (AVR Named Address Spaces): __memx goes into
.progmemx.data now.
From-SVN: r194992
Georg-Johann Lay [Mon, 7 Jan 2013 18:34:40 +0000 (18:34 +0000)]
re PR target/55897 ([avr] Allocate __memx data to .progmemx.data)
PR target/55897
* config/avr/avr.h (ADDR_SPACE_COUNT): New enum.
(avr_addrspace_t): Add .section_name field.
* config/avr/avr.c (progmem_section): Use ADDR_SPACE_COUNT as
array size.
(avr_addrspace): Same. Initialize .section_name. Remove last
NULL entry. Put __memx into .progmemx.data.
(progmem_section_prefix): Remove.
(avr_asm_init_sections): No need to initialize progmem_section.
(avr_asm_named_section): Use avr_addrspace[].section_name to get
section name prefix.
(avr_asm_select_section): Ditto. And use get_unnamed_section to
retrieve the progmem section.
* avr-c.c (avr_cpu_cpp_builtins): Use ADDR_SPACE_COUNT as loop
boundary to run over avr_addrspace[].
(avr_register_target_pragmas): Ditto.
From-SVN: r194991
Tobias Burnus [Mon, 7 Jan 2013 18:30:11 +0000 (19:30 +0100)]
re PR fortran/55763 (Issues with some simpler CLASS(*) programs)
2013-01-07 Tobias Burnus <burnus@net-b.de>
PR fortran/55763
* gfortran.h (gfc_check_assign_symbol): Update prototype.
* decl.c (add_init_expr_to_sym, do_parm): Update call.
* expr.c (gfc_check_assign_symbol): Handle BT_CLASS and
improve error location; support components.
(gfc_check_pointer_assign): Handle component assignments.
* resolve.c (resolve_fl_derived0): Call gfc_check_assign_symbol.
(resolve_values): Update call.
(resolve_structure_cons): Avoid double diagnostic.
2013-01-07 Tobias Burnus <burnus@net-b.de>
PR fortran/55763
* gfortran.dg/pointer_init_2.f90: Update dg-error.
* gfortran.dg/pointer_init_7.f90: New.
From-SVN: r194990
H.J. Lu [Mon, 7 Jan 2013 18:23:42 +0000 (18:23 +0000)]
Remove "-I" from LIBSTDCXX_RAW_CXX_LDFLAGS
config/
* libstdc++-raw-cxx.m4 (GCC_LIBSTDCXX_RAW_CXX_FLAGS): Remove
"-I" from LIBSTDCXX_RAW_CXX_LDFLAGS.
libjava/
* Makefile.am (lib_gnu_awt_xlib_la_LDFLAGS): Replace
LIBSTDCXX_RAW_CXX_LDLAGS with LIBSTDCXX_RAW_CXX_LDFLAGS.
* Makefile.in: Regenerated.
libsanitizer/
* asan/Makefile.am (libasan_la_LIBADD): Replace
LIBSTDCXX_RAW_CXX_LDLAGS with LIBSTDCXX_RAW_CXX_LDFLAGS.
* tsan/Makefile.am (libtsan_la_LIBADD): Likewise.
* Makefile.in: Regenerated.
* configure: Likewise.
* asan/Makefile.in: Likewise.
* interception/Makefile.in: Likewise.
* sanitizer_common/Makefile.in: Likewise.
* tsan/Makefile.in: Likewise.
From-SVN: r194989
Jason Merrill [Mon, 7 Jan 2013 18:00:18 +0000 (13:00 -0500)]
re PR c++/55753 ([C++11][4.7/4.8 Regression] ICE constexpr ctor, tsubst_copy_and_build, at cp/pt.c:14336)
PR c++/55753
* tree.c (build_aggr_init_expr): Do nothing in a template.
* pt.c (tsubst_copy_and_build) [CALL_EXPR]: Strip an ADDR_EXPR off
a FUNCTION_DECL before tsubsting.
From-SVN: r194986
Jakub Jelinek [Mon, 7 Jan 2013 17:46:30 +0000 (18:46 +0100)]
varasm.c (output_constant_def_contents): For asan_protect_global protected strings...
* varasm.c (output_constant_def_contents): For asan_protect_global
protected strings, adjust DECL_ALIGN if needed, before testing for
anchored symbols.
(place_block_symbol): Adjust size for asan protected STRING_CSTs if
TREE_CONSTANT_POOL_ADDRESS_P. Increase alignment for asan protected
normal decls.
(output_object_block): For asan protected decls, emit asan padding
after their contents.
* asan.c (asan_protect_global): Don't check TREE_ASM_WRITTEN here.
(asan_finish_file): Test it here instead.
From-SVN: r194984
Nick Clifton [Mon, 7 Jan 2013 16:54:33 +0000 (16:54 +0000)]
Support -fuse-ld=bfd and -fuse-ld=gold
PR driver/55470
* collect2.c (main): Support -fuse-ld=bfd and -fuse-ld=gold.
* common.opt: Add fuse-ld=bfd and fuse-ld=gold.
* gcc.c (LINK_COMMAND_SPEC): Pass -fuse-ld=* to collect2.
* opts.c (comman_handle_option): Ignore -fuse-ld=bfd and
-fuse-ld=gold.
* doc/invoke.texi: Document -fuse-ld=bfd and -fuse-ld=gold.
Co-Authored-By: Doug Kwan <dougkwan@google.com>
Co-Authored-By: H.J. Lu <hongjiu.lu@intel.com>
Co-Authored-By: Matthias Klose <doko@debian.org>
From-SVN: r194983
Georg-Johann Lay [Mon, 7 Jan 2013 16:19:17 +0000 (16:19 +0000)]
Typo
From-SVN: r194980
Richard Biener [Mon, 7 Jan 2013 16:05:20 +0000 (16:05 +0000)]
Fix 32-bit gcc.dg/lto/pr55525 with Sun ld
* gcc.dg/lto/pr55525_0.c (s): Size like char *.
From-SVN: r194979
Georg-Johann Lay [Mon, 7 Jan 2013 15:57:08 +0000 (15:57 +0000)]
PR target/PR54461
PR target/PR54461
* doc/install.texi (Cross-Compiler-Specific Options): Document
--with-avrlibc.
From-SVN: r194978
Tejas Belagod [Mon, 7 Jan 2013 15:39:53 +0000 (15:39 +0000)]
arm_neon.h (vmovn_high_is16, [...]): Fix source operand number and update copyright.
2013-01-07 Tejas Belagod <tejas.belagod@arm.com>
* config/aarch64/arm_neon.h (vmovn_high_is16, vmovn_high_s32,
vmovn_high_s64, vmovn_high_u16, vmovn_high_u32, vmovn_high_u64,
vqmovn_high_s16, vqmovn_high_s32, vqmovn_high_s64, vqmovn_high_u16,
vqmovn_high_u32, vqmovn_high_u64, vqmovun_high_s16, vqmovun_high_s32,
vqmovun_high_s64): Fix source operand number and update copyright.
From-SVN: r194977
Richard Biener [Mon, 7 Jan 2013 15:34:43 +0000 (15:34 +0000)]
re PR tree-optimization/55890 (calling a builtin func through a cast triggers an ICE)
2013-01-07 Richard Biener <rguenther@suse.de>
PR middle-end/55890
* gimple.h (gimple_call_builtin_p): New overload.
* gimple.c (validate_call): New function.
(gimple_call_builtin_p): Likewise.
* tree-ssa-structalias.c (find_func_aliases_for_builtin_call):
Use gimple_call_builtin_p.
(find_func_clobbers): Likewise.
* tree-ssa-strlen.c (adjust_last_stmt): Likewise.
(strlen_optimize_stmt): Likewise.
* gcc.dg/torture/pr55890-1.c: New testcase.
* gcc.dg/torture/pr55890-2.c: Likewise.
From-SVN: r194975
James Greenhalgh [Mon, 7 Jan 2013 15:32:58 +0000 (15:32 +0000)]
[AARCH64] Make argument of ld1 intrinsics const.
gcc/
* config/aarch64/arm_neon.h (vld1_dup_*): Make argument const.
(vld1q_dup_*): Likewise.
(vld1_*): Likewise.
(vld1q_*): Likewise.
(vld1_lane_*): Likewise.
(vld1q_lane_*): Likewise.
From-SVN: r194974
Richard Biener [Mon, 7 Jan 2013 15:28:14 +0000 (15:28 +0000)]
lto-streamer.h (LTO_minor_version): Bump to 2.
2013-01-07 Richard Biener <rguenther@suse.de>
* lto-streamer.h (LTO_minor_version): Bump to 2.
From-SVN: r194973
James Greenhalgh [Mon, 7 Jan 2013 15:22:06 +0000 (15:22 +0000)]
[AARCH64] Add support for vector and scalar floating-point immediate loads.
gcc/
* config/aarch64/aarch64-protos.h
(aarch64_const_double_zero_rtx_p): Rename to...
(aarch64_float_const_zero_rtx_p): ...this.
(aarch64_float_const_representable_p): New.
(aarch64_output_simd_mov_immediate): Likewise.
* config/aarch64/aarch64-simd.md (*aarch64_simd_mov<mode>): Refactor
move immediate case.
* config/aarch64/aarch64.c
(aarch64_const_double_zero_rtx_p): Rename to...
(aarch64_float_const_zero_rtx_p): ...this.
(aarch64_print_operand): Allow printing of new constants.
(aarch64_valid_floating_const): New.
(aarch64_legitimate_constant_p): Check for valid floating-point
constants.
(aarch64_simd_valid_immediate): Likewise.
(aarch64_vect_float_const_representable_p): New.
(aarch64_float_const_representable_p): Likewise.
(aarch64_simd_imm_zero_p): Also allow for floating-point 0.0.
(aarch64_output_simd_mov_immediate): New.
* config/aarch64/aarch64.md (*movsf_aarch64): Add new alternative.
(*movdf_aarch64): Likewise.
* config/aarch64/constraints.md (Ufc): New.
(Y): call aarch64_float_const_zero_rtx.
* config/aarch64/predicates.md (aarch64_fp_compare_operand): New.
gcc/testsuite/
* gcc.target/aarch64/fmovd.c: New.
* gcc.target/aarch64/fmovf.c: Likewise.
* gcc.target/aarch64/fmovd-zero.c: Likewise.
* gcc.target/aarch64/fmovf-zero.c: Likewise.
* gcc.target/aarch64/vect-fmovd.c: Likewise.
* gcc.target/aarch64/vect-fmovf.c: Likewise.
* gcc.target/aarch64/vect-fmovd-zero.c: Likewise.
* gcc.target/aarch64/vect-fmovf-zero.c: Likewise.
From-SVN: r194972
Richard Biener [Mon, 7 Jan 2013 14:06:26 +0000 (14:06 +0000)]
re PR tree-optimization/55888 (ICE in bitmap_set_replace_value, at tree-ssa-pre.c:867)
2013-01-07 Richard Biener <rguenther@suse.de>
PR tree-optimization/55888
PR tree-optimization/55862
* tree-ssa-pre.c (phi_translate_1): Revert previous change.
(valid_in_sets): Check if a NAME has a leader in AVAIL_OUT,
not if it is contained therein.
* gcc.dg/torture/pr55888.c: New testcase.
From-SVN: r194971
Georg-Johann Lay [Mon, 7 Jan 2013 13:05:42 +0000 (13:05 +0000)]
t-avr: Typo.
* config/avr/t-avr: Typo.
From-SVN: r194969
Georg-Johann Lay [Mon, 7 Jan 2013 12:45:13 +0000 (12:45 +0000)]
re PR target/55243 (STAMP variable is not defined in t-avr)
PR55243
* config/avr/t-avr: Don't automatically rebuild
$(srcdir)/config/avr/t-multilib
$(srcdir)/config/avr/avr-tables.opt
$(srcdir)/doc/avr-mmcu.texi
(avr-mcus): New phony target to build them on request.
(s-avr-mlib, s-avr-mmcu-texi): Remove.
* avr/avr-mcus.def: Adjust comments.
From-SVN: r194968
Uros Bizjak [Mon, 7 Jan 2013 11:17:00 +0000 (12:17 +0100)]
i386.c (DEFAULT_PCC_STRUCT_RETURN): Remove.
* config/i386/i386.c (DEFAULT_PCC_STRUCT_RETURN): Remove.
From-SVN: r194967
Tobias Burnus [Mon, 7 Jan 2013 11:10:53 +0000 (12:10 +0100)]
re PR fortran/55852 (internal compiler error: in gfc_build_intrinsic_call, at fortran/expr.c:4647)
2013-01-07 Tobias Burnus <burnus@net-b.de>
Thomas Koenig <tkoenig@gcc.gnu.org>
PR fortran/55852
* expr.c (gfc_build_intrinsic_call): Avoid clashes
with user's procedures.
* gfortran.h (gfc_build_intrinsic_call): Update prototype.
* simplify.c (gfc_simplify_size): Update call.
* class.c (finalization_scalarizer, finalization_get_offset,
finalizer_insert_packed_call, generate_finalization_wrapper):
Clean up by using gfc_build_intrinsic_call.
2013-01-07 Tobias Burnus <burnus@net-b.de>
PR fortran/55852
* gfortran.dg/intrinsic_size_3.f90: New.
Co-Authored-By: Thomas Koenig <tkoenig@gcc.gnu.org>
From-SVN: r194966
Eric Botcazou [Mon, 7 Jan 2013 10:39:45 +0000 (10:39 +0000)]
decl.c (gnat_to_gnu_entity): Adjust comment about type extension with discriminants.
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Adjust
comment about type extension with discriminants.
<E_Record_Subtype>: Remove useless test and reorder conditions.
(elaborate_entity) <E_Record_Subtype>: Likewise.
From-SVN: r194965
Richard Biener [Mon, 7 Jan 2013 10:14:48 +0000 (10:14 +0000)]
re PR ada/864 (--program-suffix is ignored (for ada))
2013-01-04 Richard Biener <rguenther@suse.de>
PR ada/864
* gcc-interface/Make-lang.in (ada.install-common): Always apply
program_transform_name.
From-SVN: r194964
Tobias Burnus [Mon, 7 Jan 2013 08:36:16 +0000 (09:36 +0100)]
re PR fortran/55763 (Issues with some simpler CLASS(*) programs)
2012-01-07 Tobias Burnus <burnus@net-b.de>
PR fortran/55763
* resolve.c (resolve_select_type): Reject intrinsic types for
a non-unlimited-polymorphic selector.
2012-01-07 Tobias Burnus <burnus@net-b.de>
PR fortran/55763
* gfortran.dg/select_type_32.f90: New.
From-SVN: r194962
Dodji Seketeli [Mon, 7 Jan 2013 08:06:46 +0000 (09:06 +0100)]
PR c++/55311 - Cannot specialize alias template with arg of type array of char
Consider this test case:
1 template <const char *const C, typename T>
2 struct A
3 {};
4
5 struct B {};
6
7 extern constexpr char HELLO_WORLD[] = "hello world";
8
9 A<HELLO_WORLD, B> g; // <-- This works fine
10
11 template <typename T>
12 using PartiallySpecialized = A<HELLO_WORLD, T>; // <-- This fails
13
At line 12 G++ fails to instantiate the alias template that has a
string variable initialized with a string literal, with the error
message:
test.cc:12:46: error: ‘"hello world"’ is not a valid template argument of type ‘const char*’ because ‘"hello world"’ is not a variable
using PartiallySpecialized = A<HELLO_WORLD, T>; // <-- This fails
^
Note that instantiating the template A at line 9 with the same
arguments as in the problematic case above works.
This happens in the context of lookup_template_class_1, when it handles
the alias template instantiation A<HELLO_WORLD, T> and thus passes the
VAR_DECL for HELLO_WORLD to convert_nontype_argument.
Note that from there decay_conversion replaces the the VAR_DECL with
its STRING_CST initializer[1]. Latter on, convert_nontype_argument
checks that the HELLO_WORLD constant it received as argument was
indeed a VAR_DECL:
else
{
tree decl;
decl = ((TREE_CODE (expr) == ADDR_EXPR)
? TREE_OPERAND (expr, 0) : expr);
if (TREE_CODE (decl) != VAR_DECL)
{
error ("%qE is not a valid template argument of type %qT "
"because %qE is not a variable",
expr, type, decl);
return NULL_TREE;
}
But the issue is, that VAR_DECL has been replaced by STRING_CST, so
the last 'if' above fails.
The fix is to teach decay_conversion to return the address of array,
rather than returning its initializer.
Bootstrapped and tested on x86_64-unknown-linux-gnu against trunk.
gcc/cp/
PR c++/55311
* pt.c (decay_conversion): Do not return the initializer of an array.
gcc/testsuite/
PR c++/55311
* g++.dg/cpp0x/alias-decl-30.C: New test.
* g++.dg/init/array21.C: New test.
From-SVN: r194961
Dodji Seketeli [Mon, 7 Jan 2013 08:03:33 +0000 (08:03 +0000)]
PR c++/52343 - error with alias template as template template argument
In the example accompanying this patch, check_instantiated_arg tries
to ensure that a non-type template argument should be a constant if it
has integral or enumeration type.
The problem is that an alias template which type-id is, e.g, an
integer, looks like an argument that has integral/enumeration type:
its TREE_TYPE is an integer type. So check_instantiated_arg
mistenkaly barks that this integral non-type argument is not a
constant.
Bootstrapped and tested on x86_64-unknown-linux-gnu against trunk.
gcc/cp/
PR c++/52343
* pt.c (check_instantiated_arg): Allow type template arguments.
gcc/testsuite/
PR c++/52343
* g++.dg/cpp0x/alias-decl-29.C: New test.
From-SVN: r194960
Jonathan Wakely [Mon, 7 Jan 2013 00:50:16 +0000 (00:50 +0000)]
re PR libstdc++/55847 (mistake bad_weak_ptr::what() message)
PR libstdc++/55847
* src/c++11/shared_ptr.cc (bad_weak_ptr::what()): Correct string.
* testsuite/20_util/shared_ptr/cons/weak_ptr_expired.cc: Verify
string.
PR libstdc++/55728
* include/std/functional (bad_function_call::what()): Declare.
* src/c++11/functional.cc (bad_function_call::what()): Define.
* config/abi/pre/gnu.ver (bad_function_call::what()): Export.
* testsuite/20_util/bad_function_call/what.cc: New.
From-SVN: r194958
GCC Administrator [Mon, 7 Jan 2013 00:18:25 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194957
Jonathan Wakely [Sun, 6 Jan 2013 21:58:18 +0000 (21:58 +0000)]
unordered_map.h: Fix typo in comments.
* include/bits/unordered_map.h: Fix typo in comments.
* doc/xml/manual/status_cxx2011.xml: Add implementation-defined bucket
counts for unordered associative containers.
From-SVN: r194954
Paul Thomas [Sun, 6 Jan 2013 21:32:48 +0000 (21:32 +0000)]
PR fortran/PR53876 PR fortran/PR54990 PR fortran/PR54992
2013-01-06 Paul Thomas <pault@gcc.gnu.org>
PR fortran/PR53876
PR fortran/PR54990
PR fortran/PR54992
* trans-array.c (build_array_ref): Check the TYPE_CANONICAL
to see if it is GFC_CLASS_TYPE_P.
* trans-expr.c (gfc_get_vptr_from_expr): The same.
(gfc_conv_class_to_class): If the types are not the same,
cast parmese->expr to the type of ctree.
* trans-types.c (gfc_get_derived_type): GFC_CLASS_TYPE_P of
CLASS components must be set.
2013-01-06 Paul Thomas <pault@gcc.gnu.org>
PR fortran/PR53876
PR fortran/PR54990
PR fortran/PR54992
* gfortran.dg/class_array_15.f03: New test.
From-SVN: r194953
Richard Sandiford [Sun, 6 Jan 2013 21:27:37 +0000 (21:27 +0000)]
file-find.c, [...]: Add FSF as copyright holder.
gcc/
* file-find.c, file-find.h, realmpfr.c: Add FSF as copyright holder.
From-SVN: r194952
Jonathan Wakely [Sun, 6 Jan 2013 21:19:39 +0000 (21:19 +0000)]
* doc/xml/manual/abi.xml: Update library and symbol versions.
From-SVN: r194950
Mikael Morin [Sun, 6 Jan 2013 15:50:09 +0000 (15:50 +0000)]
re PR fortran/42769 ([OOP] ICE in resolve_typebound_procedure)
PR fortran/42769
PR fortran/45836
PR fortran/45900
* module.c (read_module): Don't reuse local symtree if the associated
symbol isn't exactly the one wanted. Don't reuse local symtree if it is
ambiguous.
* resolve.c (resolve_call): Use symtree's name instead of symbol's to
lookup the symtree.
PR fortran/42769
PR fortran/45836
PR fortran/45900
* gfortran.dg/use_23.f90: New test.
* gfortran.dg/use_24.f90: New test.
* gfortran.dg/use_25.f90: New test.
* gfortran.dg/use_26.f90: New test.
* gfortran.dg/use_27.f90: New test.
From-SVN: r194949
Tobias Burnus [Sun, 6 Jan 2013 12:43:45 +0000 (13:43 +0100)]
re PR fortran/54678 (second call to get_environment_variable gives valgrind warning with 8-byte integers)
2013-01-06 Tobias Burnus <burnus@net-b.de>
PR fortran/54678
* intrinsics/env.c (get_environment_variable_i8): Don't use
uninitialized variable.
From-SVN: r194948
Eric Botcazou [Sun, 6 Jan 2013 12:37:11 +0000 (12:37 +0000)]
* gnatvsn.ads (Current_Year): Bump to 2013.
From-SVN: r194947
Olivier Hainque [Sun, 6 Jan 2013 12:28:58 +0000 (12:28 +0000)]
decl.c (gnat_to_gnu_field): Emit a specialized diagnostic for component size mismatch wrt volatile requirements.
* gcc-interface/decl.c (gnat_to_gnu_field): Emit a specialized
diagnostic for component size mismatch wrt volatile requirements.
Add a gcc_unreachable() at the end of the checks for size. Split
the check on volatile for positions into one check on atomic and
a subsequent one on volatile.
From-SVN: r194946
Eric Botcazou [Sun, 6 Jan 2013 12:10:06 +0000 (12:10 +0000)]
* gcc-interface/decl.c (elaborate_entity) <E_Record_Type>: Delete.
From-SVN: r194945
Eric Botcazou [Sun, 6 Jan 2013 11:58:36 +0000 (11:58 +0000)]
decl.c (gnat_to_gnu_entity): Do not pack the field of the record type made for a misaligned type.
* gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Do not
pack the field of the record type made for a misaligned type.
From-SVN: r194942
Richard Sandiford [Sun, 6 Jan 2013 11:53:01 +0000 (11:53 +0000)]
insert_fn_imps.hpp: Fix typo in copyright years.
libstdc++-v3/
* include/ext/pb_ds/detail/splay_tree_/insert_fn_imps.hpp: Fix typo
in copyright years.
* testsuite/22_locale/time_get/get_weekday/wchar_t/3.cc: Likewise.
From-SVN: r194941
Richard Sandiford [Sun, 6 Jan 2013 11:48:04 +0000 (11:48 +0000)]
gen-mul-tables.cc: Put copyright on one line.
gcc/
* config/tilepro/gen-mul-tables.cc: Put copyright on one line.
From-SVN: r194940
Eric Botcazou [Sun, 6 Jan 2013 11:41:47 +0000 (11:41 +0000)]
decl.c (annotate_value): Be prepared for discriminants inherited from parent record types.
* gcc-interface/decl.c (annotate_value) <COMPONENT_REF>: Be prepared
for discriminants inherited from parent record types.
From-SVN: r194939
GCC Administrator [Sun, 6 Jan 2013 00:18:43 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r194936
David Edelsohn [Sat, 5 Jan 2013 14:04:56 +0000 (14:04 +0000)]
aix53.h (LIB_SPEC): Add -lpthreads when compiling to generate profiling.
* config/rs6000/aix53.h (LIB_SPEC): Add -lpthreads when compiling
to generate profiling.
* config/rs6000/aix64.h (LIB_SPEC): Same.
From-SVN: r194930
Mikael Morin [Sat, 5 Jan 2013 13:26:48 +0000 (13:26 +0000)]
Add PR reference in ChangeLogs
From-SVN: r194929
Steven G. Kargl [Sat, 5 Jan 2013 13:20:08 +0000 (13:20 +0000)]
re PR fortran/55827 (ICE with multiple fortran modules and character lenght determined by an interfaced pure function)
2013-01-05 Steven G. Kargl <kargl@gcc.gnu.org>
Mikael Morin <mikael@gcc.gnu.org>
PR fortran/55827
* class.c (gfc_fix_class_refs): Adapt ts initialization for the case
e->symtree == NULL.
* trans-expr.c (gfc_conv_function_expr): Init sym earlier. Use it.
2013-01-05 Steven G. Kargl <kargl@gcc.gnu.org>
Mikael Morin <mikael@gcc.gnu.org>
PR fortran/55827
* gfortran.dg/use_22.f90: New test.
Co-Authored-By: Mikael Morin <mikael@gcc.gnu.org>
From-SVN: r194928
Tobias Burnus [Sat, 5 Jan 2013 09:11:19 +0000 (10:11 +0100)]
class.c (finalize_component): Used passed offset expr.
2013-01-05 Tobias Burnus <burnus@net-b.de>
* class.c (finalize_component): Used passed offset expr.
(finalization_get_offset): New static function.
(finalizer_insert_packed_call, generate_finalization_wrapper):
Use it to handle noncontiguous arrays.
From-SVN: r194927
GCC Administrator [Sat, 5 Jan 2013 00:17:45 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r194924
Andrew Pinski [Fri, 4 Jan 2013 22:30:37 +0000 (22:30 +0000)]
aarch64.c (aarch64_fixed_condition_code_regs): New function.
2013-01-04 Andrew Pinski <apinski@cavium.com>
* config/aarch64/aarch64.c (aarch64_fixed_condition_code_regs):
New function.
(TARGET_FIXED_CONDITION_CODE_REGS): Define.
2013-01-04 Andrew Pinski <apinski@cavium.com>
* gcc.target/aarch64/cmp-1.c: New testcase.
From-SVN: r194920
Tobias Burnus [Fri, 4 Jan 2013 22:16:26 +0000 (23:16 +0100)]
trans.c (gfc_build_final_call): New function.
2013-01-04 Tobias Burnus <burnus@net-b.de>
* trans.c (gfc_build_final_call): New function.
* trans.h (gfc_build_final_call, gfc_conv_scalar_to_descriptor):
New function prototypes.
* trans-expr.c (gfc_conv_scalar_to_descriptor): Renamed from
conv_scalar_to_descriptor, removed static attribute.
(gfc_conv_procedure_call): Honor renaming.
From-SVN: r194919
Tobias Burnus [Fri, 4 Jan 2013 21:51:34 +0000 (22:51 +0100)]
intrinsic.c (add_functions): New internal intrinsic function GFC_PREFIX ("stride").
2013-01-04 Tobias Burnus <burnus@net-b.de>
* intrinsic.c (add_functions): New internal intrinsic
function GFC_PREFIX ("stride").
* gfortran.h (gfc_isym_id): Add GFC_ISYM_STRIDE.
* intrinsic.h (gfc_resolve_stride): New prototypes.
* iresolve.c (gfc_resolve_stride): New function.
* trans-intrinsic.c (conv_intrinsic_stride): New static
function.
(gfc_conv_intrinsic_function): Use it.
From-SVN: r194918
Tobias Burnus [Fri, 4 Jan 2013 21:48:21 +0000 (22:48 +0100)]
class.c (gfc_find_intrinsic_vtab): Add _final component.
2013-01-04 Tobias Burnus <burnus@net-b.de>
* class.c (gfc_find_intrinsic_vtab): Add _final
component.
From-SVN: r194917
Paul Thomas [Fri, 4 Jan 2013 20:50:15 +0000 (20:50 +0000)]
re PR fortran/55172 ([OOP] gfc_variable_attr(): Bad array reference in SELECT TYPE)
2013-01-04 Paul Thomas <pault@gcc.gnu.org>
PR fortran/55172
* match.c (copy_ts_from_selector_to_associate): Remove call to
gfc_resolve_expr and replace it with explicit setting of the
array reference type.
* resolve.c (resolve_select_type): It is an error if the
selector is coindexed.
2013-01-04 Paul Thomas <pault@gcc.gnu.org>
PR fortran/55172
* gfortran.dg/select_type_31.f03: New test.
From-SVN: r194916
Ian Lance Taylor [Fri, 4 Jan 2013 19:00:06 +0000 (19:00 +0000)]
re PR other/54800 (libiberty/simple-object-mach-o.c:704: possible optimisation ?)
PR other/54800
* simple-object-mach-o.c (simple_object_mach_o_segment): Don't
bother to zero out a buffer we are about to set anyhow.
From-SVN: r194914
Uros Bizjak [Fri, 4 Jan 2013 18:19:22 +0000 (19:19 +0100)]
i386.c (ix86_legitimize_address): Call convert_to_mode unconditionally.
* config/i386/i386.c (ix86_legitimize_address): Call convert_to_mode
unconditionally.
(ix86_expand_move): Ditto.
(ix86_zero_extend_to_Pmode): Ditto.
(ix86_expand_call): Ditto.
(ix86_expand_special_args_builtin): Ditto.
(ix86_expand_builtin): Ditto.
From-SVN: r194913
Jason Merrill [Fri, 4 Jan 2013 16:50:28 +0000 (11:50 -0500)]
re PR c++/55877 (Anon visibility issues)
PR c++/55877
* decl.c (reset_type_linkage, bt_reset_linkage): New.
(grokdeclarator): Use reset_type_linkage.
* name-lookup.c (binding_table_foreach): Handle null table.
* tree.c (decl_anon_ns_mem_p): Check TYPE_MAIN_DECL, not TYPE_NAME.
From-SVN: r194910
Paolo Carlini [Fri, 4 Jan 2013 15:30:24 +0000 (15:30 +0000)]
PR c++/54526 (again)
/libcpp
2013-01-04 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/54526 (again)
* lex.c (_cpp_lex_direct): In C++11 mode, implement 2.5 p3, bullet 2.
/gcc/cp
2013-01-04 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/54526 (again)
* parser.c (cp_parser_template_id): Revert core of previous change
(keep adjusted inform message).
/gcc/testsuite
2013-01-04 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/54526 (again)
* g++.dg/cpp0x/parse2.C: Extend.
* g++.old-deja/g++.other/crash28.C: Adjust.
From-SVN: r194909
Richard Biener [Fri, 4 Jan 2013 13:28:53 +0000 (13:28 +0000)]
re PR tree-optimization/55862 (ICE in compute_antic, at tree-ssa-pre.c:2495)
2013-01-04 Richard Biener <rguenther@suse.de>
PR tree-optimization/55862
* tree-ssa-pre.c (phi_translate_1): Valueize SSA names after
translating them through PHI nodes.
* gcc.dg/torture/pr55862.c: New testcase.
From-SVN: r194906
Martin Jambor [Fri, 4 Jan 2013 13:20:38 +0000 (14:20 +0100)]
re PR tree-optimization/55755 (Invalid VIEW_CONVERT_EXPR produced by SRA)
2013-01-04 Martin Jambor <mjambor@suse.cz>
PR tree-optimization/55755
* tree-sra.c (sra_modify_assign): Do not check that an access has no
children when trying to avoid producing a VIEW_CONVERT_EXPR.
testsuite/
* gcc.dg/torture/pr55755.c: New test.
* gcc.dg/tree-ssa/sra-13.c: Likewise.
* gcc.dg/tree-ssa/pr45144.c: Update.
From-SVN: r194905
Jakub Jelinek [Fri, 4 Jan 2013 12:49:55 +0000 (13:49 +0100)]
Update Copyright years for files modified in 2011 and/or 2012.
From-SVN: r194903
Marek Polacek [Fri, 4 Jan 2013 11:15:55 +0000 (11:15 +0000)]
re PR middle-end/55859 (Mention -Og/-Ofast in "error: argument to '-O' should be a non-negative integer")
PR55859.
From-SVN: r194901
Richard Biener [Fri, 4 Jan 2013 10:45:37 +0000 (10:45 +0000)]
re PR middle-end/55863 (Fails to fold (i + 2) - (i + 1) to 1)
2013-01-04 Richard Biener <rguenther@suse.de>
PR middle-end/55863
* fold-const.c (split_tree): Undo -X - 1 to ~X folding for
reassociation.
* gcc.dg/fold-reassoc-2.c: New testcase.
From-SVN: r194899
Nick Clifton [Fri, 4 Jan 2013 10:21:55 +0000 (10:21 +0000)]
lib1funcs.S: Only provide CALLT support functions if the CALLT instruction is supported.
* config/v850/lib1funcs.S: Only provide CALLT support functions if
the CALLT instruction is supported.
From-SVN: r194898
Arnaud Charlet [Fri, 4 Jan 2013 10:09:29 +0000 (11:09 +0100)]
[multiple changes]
2013-01-04 Robert Dewar <dewar@adacore.com>
* sinfo.ads: Clean up order of N_xxx subtypes
2013-01-04 Vincent Celier <celier@adacore.com>
* prj-conf.adb (Check_Target): Allow --autoconf= with no target.
From-SVN: r194897
Arnaud Charlet [Fri, 4 Jan 2013 10:08:58 +0000 (11:08 +0100)]
[multiple changes]
2013-01-04 Robert Dewar <dewar@adacore.com>
* warnsw.adb: Minor fixes to -gnatw.d handling.
2013-01-04 Robert Dewar <dewar@adacore.com>
* einfo.adb, atree.adb: Enlarge entities to make 63 more flags, 6 more
fields.
2013-01-04 Joel Brobecker <brobecker@adacore.com brobecker>
* gnat_ugn.texi: Fix typo.
2013-01-04 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document alignment choice for subtypes.
2013-01-04 Robert Dewar <dewar@adacore.com>
* validsw.ads: Minor fix to comment.
2013-01-04 Doug Rupp <rupp@adacore.com>
* Makefile.rtl (GNATRTL_NONTASKING_OBJS,
GNATRTL_ALTIVEC_OBJS): Factor g-al* objects.
* gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Add g-al* sources.
(GNATRTL_ALTIVEC_OBJS): Override to null for VMS.
Rename leon vxworks toolchain as leon-wrs-vxworks.
* gcc-interface/Make-lang.in: Update dependencies
2013-01-04 Pascal Obry <obry@adacore.com>
* prj.ads (For_Each_Source): Add Locally_Removed parameter.
(Source_Iterator): Add Locally_Removed field.
* prj.adb (For_Each_Source): Ignore Locally_Removed files if needed.
(Next): Likewise.
2013-01-04 Robert Dewar <dewar@adacore.com>
* exp_attr.adb: Minor reformatting.
2013-01-04 Robert Dewar <dewar@adacore.com>
* checks.adb (Insert_Valid_Check): Fix handling of renamed
packed array element.
* exp_ch4.adb (Expand_Concatenate): Fix some missing parent
fields in generated code.
* exp_util.adb (Side_Effect_Free): Improve detection of cases
needing renaming.
2013-01-04 Robert Dewar <dewar@adacore.com>
* sinfo.ads: Clean up order of N_xxx subtypes
2013-01-04 Vincent Celier <celier@adacore.com>
* prj-conf.adb (Check_Target): Allow --autoconf= with no target.
From-SVN: r194896
Robert Dewar [Fri, 4 Jan 2013 09:28:49 +0000 (09:28 +0000)]
types.ads, [...]: Minor reformatting.
2013-01-04 Robert Dewar <dewar@adacore.com>
* types.ads, prj-conf.adb, par-tchk.adb: Minor reformatting.
2013-01-04 Robert Dewar <dewar@adacore.com>
* par-ch6.adb (P_Subprogram): Better handling of missing IS
after expression function.
* par-util.adb (No_Constraint): Improve handling to avoid bad warnings.
2013-01-04 Robert Dewar <dewar@adacore.com>
* exp_util.ads, exp_util.adb (Insert_Actions): In expression with
actions case, new actions are appended to the sequence rather than
prepended.
2013-01-04 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Document -gnatw.d/w.D (does no apply in VMS mode).
* usage.adb: Add lines for -gnatw.d/w.D switches.
* warnsw.adb: Minor fixes (some missing cases of setting
Warning_Doc_Switch). Reject -gnatw.d and -gnatw.D in VMS mode.
From-SVN: r194895
Arnaud Charlet [Fri, 4 Jan 2013 09:25:59 +0000 (10:25 +0100)]
[multiple changes]
2013-01-04 Robert Dewar <dewar@adacore.com>
* exp_util.adb (Remove_Side_Effects): Make sure scope suppress
is restored on exit.
2013-01-04 Robert Dewar <dewar@adacore.com>
* usage.adb: Document -gnateF (check overflow for predefined Float).
2013-01-04 Robert Dewar <dewar@adacore.com>
* sem_res.adb (Resolve_Type_Conversion): Remove incorrect
prevention of call to Apply_Type_Conversion_Checks, which resulted
in missing check flags in formal mode.
2013-01-04 Vincent Celier <celier@adacore.com>
* makeutl.ads (Db_Switch_Args): New table used by gprbuild.
* prj-conf.adb (Check_Builder_Switches): Check for switches
--config= (Get_Db_Switches): New procedure to get the --db
switches so that they are used when invoking gprconfig in
auto-configuration.
(Do_Autoconf): When invoking gprconfig, use the --db switches, if any.
From-SVN: r194894
Arnaud Charlet [Fri, 4 Jan 2013 09:24:06 +0000 (10:24 +0100)]
[multiple changes]
2013-01-04 Pascal Obry <obry@adacore.com>
* prj-nmsc.adb: Minor reformatting.
2013-01-04 Vincent Celier <celier@adacore.com>
* makeutl.ads (Root_Environment): New variable, moved rom
gprbuild (Load_Standard_Base): New Boolean variable, moved
from gprbuild.
* prj-conf.adb (Check_Builder_Switches): New procedure to check
for switch --RTS in package Builder. If a runtime specified
by --RTS is a relative path name, but not a base name, then
find the path on the Project Search Path.
(Do_Autoconf): Call Check_Builder_Switches.
(Locate_Runtime): New procedure, moved from gprbuild, to get the
absolute paths of runtimes when they are not specified as a base name.
* prj-conf.ads (Locate_Runtime): New procedure, moved from gprbuild.
From-SVN: r194893
Ed Schonberg [Fri, 4 Jan 2013 09:21:55 +0000 (09:21 +0000)]
sem_ch3.adb (Build_Private_Derived_Type): Set Has_Private_Ancestor on type derived from an untagged private type whose...
2013-01-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Build_Private_Derived_Type): Set
Has_Private_Ancestor on type derived from an untagged private
type whose full view has discriminants
* sem_aggr.adb (Resolve_Record_Aggregate): Reject non-extension
aggregate for untagged record type with private ancestor.
From-SVN: r194892
Thomas Quinot [Fri, 4 Jan 2013 09:19:49 +0000 (09:19 +0000)]
sem_elab.adb, [...]: Minor reformatting.
2013-01-04 Thomas Quinot <quinot@adacore.com>
* sem_elab.adb, sem_ch3.adb: Minor reformatting.
From-SVN: r194891
Arnaud Charlet [Fri, 4 Jan 2013 09:18:25 +0000 (10:18 +0100)]
[multiple changes]
2013-01-04 Robert Dewar <dewar@adacore.com>
* table.adb: Minor reformatting.
2013-01-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Check_Redundant_Withs): A with_clause that does
not come from source does not generate a warning for redundant
with_clauses.
2013-01-04 Hristian Kirtchev <kirtchev@adacore.com>
* aspects.adb, aspects.ads: Add Aspect_Global to all relevant tables.
* par-prag.adb: Add pragma Global to the list of pragmas that
do not need special processing by the parser.
* sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect
Global into a pragma without any form of legality checks. The
work is done by Analyze_Pragma. The aspect and pragma are both
marked as needing delayed processing. Insert the corresponding
pragma of aspect Abstract_State in the visible declarations of the
related package.
(Check_Aspect_At_Freeze_Point): Aspect Global
does not need processing even though it is marked as delayed.
Alphabetize the list on aspect names.
* sem_prag.adb: Add a value for pragma Global in table Sig_Flags.
(Analyze_Pragma): Add ??? comment about the grammar of pragma
Abstract_State. Move the error location from the pragma to the
state to improve the quality of error placement. Add legality
checks for pragma Global.
* snames.ads-tmpl Add the following specially recognized names
2013-01-04 Eric Botcazou <ebotcazou@adacore.com>
* sem_ch3.adb: Fix minor typo.
2013-01-04 Ed Schonberg <schonberg@adacore.com>
* par-ch13.adb (Aspect_Specifications_Present): In Strict mode,
accept an aspect name followed by a comma, indicating a defaulted
boolean aspect.
From-SVN: r194890
Arnaud Charlet [Fri, 4 Jan 2013 09:14:29 +0000 (10:14 +0100)]
2013-01-04 Joel Brobecker <brobecker@adacore.com brobecker>
* gnat_ugn.texi: Document procedure to codesign GDB on Darwin.
Update doc on gnattest --separates switch.
2013-01-04 Thomas Quinot <quinot@adacore.com>
* s-chepoo.ads: Minor reformatting.
2013-01-04 Arnaud Charlet <charlet@adacore.com>
* usage.adb: Remove mention of -gnatN in usage.
From-SVN: r194889
Robert Dewar [Fri, 4 Jan 2013 09:12:00 +0000 (09:12 +0000)]
exp_prag.adb, [...]: Minor reformatting.
2013-01-04 Robert Dewar <dewar@adacore.com>
* exp_prag.adb, gnatcmd.adb, exp_util.adb, table.adb, sem_prag.adb,
freeze.adb, sem_ch4.adb, sem_warn.adb, opt.ads, exp_aggr.adb,
prj-conf.adb, sem_ch13.adb: Minor reformatting.
From-SVN: r194888
Arnaud Charlet [Fri, 4 Jan 2013 09:08:50 +0000 (10:08 +0100)]
[multiple changes]
2013-01-04 Thomas Quinot <quinot@adacore.com>
* sinfo.ads: Minor documentation update.
2013-01-04 Thomas Quinot <quinot@adacore.com>
* sem_ch3.adb, einfo.adb (Analyze_Object_Declaration): Do not set Ekind
before resolving initialization expression.
2013-01-04 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Generate_Index_Checks): Delay the generation of
the check for an indexed component where the prefix mentions
Loop_Entry until the attribute has been properly expanded.
* exp_ch5.adb (Expand_Loop_Entry_Attributes): Perform minor
decoration of the constant that captures the value of Loop_Entry's
prefix at the entry point into a loop. Generate index checks
for an attribute reference that has been transformed into an
indexed component.
2013-01-04 Thomas Quinot <quinot@adacore.com>
* exp_prag.adb, exp_util.adb, exp_util.ads, freeze.adb, exp_aggr.adb,
sem_ch13.adb (Exp_Aggr.Collect_Initialization_Statements): Nothing to
do if Obj is already frozen.
(Exp_Util.Find_Init_Call): Rename to...
(Exp_Util.Remove_Init_Call): New subprogram, renamed from
Find_Init_Call. Remove the initialization call from the enclosing
list if found, and if it is from an Initialization_Statements
attribute, reset it.
(Exp_Util.Append_Freeze_Action): Minor code reorganization.
(Exp_Util.Append_Freeze_Actions): Ensure a freeze node has been
allocated (as is already done in Append_Freeze_Action).
(Freeze.Freeze_Entity): For an object with captured
Initialization_Statements and non-delayed freezeing, unwrap the
initialization statements and insert and them directly in the
enclosing list.
(Sem_Ch13.Check_Address_Clause): For an object
with Initialization_Statements and an address clause, unwrap the
initialization statements when moving them to the freeze actions.
From-SVN: r194887
projects / gcc.git / log