gcc.git
11 years agolibgo: Update to Go 1.1.1.
Ian Lance Taylor [Tue, 16 Jul 2013 06:54:42 +0000 (06:54 +0000)]
libgo: Update to Go 1.1.1.

From-SVN: r200974

11 years agoDaily bump.
GCC Administrator [Tue, 16 Jul 2013 00:16:46 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r200972

11 years agomips.h (ISA_HAS_MULS, [...]): Fix comment typos.
Maciej W. Rozycki [Tue, 16 Jul 2013 00:16:26 +0000 (00:16 +0000)]
mips.h (ISA_HAS_MULS, [...]): Fix comment typos.

* config/mips/mips.h (ISA_HAS_MULS, ISA_HAS_MSAC, ISA_HAS_MACC):
Fix comment typos.

From-SVN: r200969

11 years agotree-vect-data-refs.c (dr_group_sort_cmp): Do not use hash function in compare functi...
Cong Hou [Tue, 16 Jul 2013 00:03:07 +0000 (20:03 -0400)]
tree-vect-data-refs.c (dr_group_sort_cmp): Do not use hash function in compare function for sorting.

2013-07-15  Cong Hou  <congh@google.com>

gcc/
        * tree-vect-data-refs.c (dr_group_sort_cmp): Do not use hash function in compare function for sorting.

gcc/testsuite/

        * gcc.target/i386/l_fma_float_1.c: Update the instruction to be counted.
        * gcc.target/i386/l_fma_float_3.c: Likewise.
        * gcc.target/i386/l_fma_double_1.c: Likewise.
        * gcc.target/i386/l_fma_double_3.c: Likewise

From-SVN: r200968

11 years agolibgcc2.c: Don't include <limits.h>.
Matthias Klose [Mon, 15 Jul 2013 18:33:06 +0000 (18:33 +0000)]
libgcc2.c: Don't include <limits.h>.

2013-07-15  Matthias Klose  <doko@ubuntu.com>

        * libgcc2.c: Don't include <limits.h>.

From-SVN: r200963

11 years agoacinclude.m4 (LIBITM_CHECK_AS_HTM): New.
Peter Bergner [Mon, 15 Jul 2013 17:23:49 +0000 (12:23 -0500)]
acinclude.m4 (LIBITM_CHECK_AS_HTM): New.

libitm/
        * acinclude.m4 (LIBITM_CHECK_AS_HTM): New.
        * configure.ac: Use it.
(AC_CHECK_HEADERS): Check for sys/auxv.h.
(AC_CHECK_FUNCS): Check for getauxval.
        * config.h.in, configure: Rebuild.
* configure.tgt (target_cpu): Add -mhtm to XCFLAGS.
* config/powerpc/target.h: Include sys/auxv.h and htmintrin.h.
(USE_HTM_FASTPATH): Define.
(_TBEGIN_STARTED, _TBEGIN_INDETERMINATE, _TBEGIN_PERSISTENT,
_HTM_RETRIES) New macros.
(htm_abort, htm_abort_should_retry, htm_available, htm_begin, htm_init,
htm_begin_success, htm_commit, htm_transaction_active): New functions.

gcc/
* config.gcc (powerpc*-*-*): Install htmintrin.h and htmxlintrin.h.
* config/rs6000/t-rs6000 (MD_INCLUDES): Add htm.md.
* config/rs6000/rs6000.opt: Add -mhtm option.
* config/rs6000/rs6000-cpus.def (POWERPC_MASKS): Add OPTION_MASK_HTM.
(ISA_2_7_MASKS_SERVER): Add OPTION_MASK_HTM.
* config/rs6000/rs6000-c.c (rs6000_target_modify_macros): Define
__HTM__ if the HTM instructions are available.
* config/rs6000/predicates.md (u3bit_cint_operand, u10bit_cint_operand,
htm_spr_reg_operand): New define_predicates.
* config/rs6000/rs6000.md (define_attr "type"): Add htm.
(TFHAR_REGNO, TFIAR_REGNO, TEXASR_REGNO): New define_constants.
Include htm.md.
* config/rs6000/rs6000-builtin.def (BU_HTM_0, BU_HTM_1, BU_HTM_2,
BU_HTM_3, BU_HTM_SPR0, BU_HTM_SPR1): Add support macros for defining
HTM builtin functions.
* config/rs6000/rs6000.c (RS6000_BUILTIN_H): New macro.
(rs6000_reg_names, alt_reg_names): Add HTM SPR register names.
(rs6000_init_hard_regno_mode_ok): Add support for HTM instructions.
(rs6000_builtin_mask_calculate): Likewise.
(rs6000_option_override_internal): Likewise.
(bdesc_htm): Add new HTM builtin support.
(htm_spr_num): New function.
(htm_spr_regno): Likewise.
(rs6000_htm_spr_icode): Likewise.
(htm_expand_builtin): Likewise.
(htm_init_builtins): Likewise.
(rs6000_expand_builtin): Add support for HTM builtin functions.
(rs6000_init_builtins): Likewise.
(rs6000_invalid_builtin, rs6000_opt_mask): Add support for -mhtm option.
* config/rs6000/rs6000.h (ASM_CPU_SPEC): Add support for -mhtm.
(TARGET_HTM, MASK_HTM): Define macros.
(FIRST_PSEUDO_REGISTER): Adjust for new HTM SPR registers.
(FIXED_REGISTERS): Likewise.
(CALL_USED_REGISTERS): Likewise.
(CALL_REALLY_USED_REGISTERS): Likewise.
(REG_ALLOC_ORDER): Likewise.
(enum reg_class): Likewise.
(REG_CLASS_NAMES): Likewise.
(REG_CLASS_CONTENTS): Likewise.
(REGISTER_NAMES): Likewise.
(ADDITIONAL_REGISTER_NAMES): Likewise.
(RS6000_BTC_SPR, RS6000_BTC_VOID, RS6000_BTC_32BIT, RS6000_BTC_64BIT,
RS6000_BTC_MISC_MASK, RS6000_BTM_HTM): New macros.
(RS6000_BTM_COMMON): Add RS6000_BTM_HTM.
* config/rs6000/htm.md: New file.
* config/rs6000/htmintrin.h: New file.
* config/rs6000/htmxlintrin.h: New file.

gcc/testsuite/
        * lib/target-supports.exp (check_effective_target_powerpc_htm_ok): New
        function to test if HTM is available.
* gcc.target/powerpc/htm-xl-intrin-1.c: New test.
* gcc.target/powerpc/htm-builtin-1.c: New test.

From-SVN: r200960

11 years ago[AArch64] -mcmodel=tiny -fPIC GOT support.
Marcus Shawcroft [Mon, 15 Jul 2013 11:27:39 +0000 (11:27 +0000)]
[AArch64] -mcmodel=tiny -fPIC GOT support.

From-SVN: r200956

11 years agotrans-array.h (gfc_deallocate_alloc_comp_no_caf, [...]): New prototype.
Tobias Burnus [Mon, 15 Jul 2013 08:25:48 +0000 (10:25 +0200)]
trans-array.h (gfc_deallocate_alloc_comp_no_caf, [...]): New prototype.

2013-07-15  Tobias Burnus  <burnus@net-b.de>

        * trans-array.h (gfc_deallocate_alloc_comp_no_caf,
        gfc_reassign_alloc_comp_caf): New prototype.
        * trans-array.c (enum): Add DEALLOCATE_ALLOC_COMP_NO_CAF
        and COPY_ALLOC_COMP_CAF.
        (structure_alloc_comps): Handle it.
        (gfc_reassign_alloc_comp_caf,
        gfc_deallocate_alloc_comp_no_caf): New function.
        (gfc_alloc_allocatable_for_assignment): Call it.
        * trans-expr.c (gfc_trans_scalar_assign,
        gfc_trans_arrayfunc_assign, gfc_trans_assignment_1): Ditto.
        * parse.c (parse_derived): Correctly set coarray_comp.
        * resolve.c (resolve_symbol): Improve error wording.

2013-07-15  Tobias Burnus  <burnus@net-b.de>

        * gfortran.dg/coarray_lib_realloc_1.f90: New.
        * gfortran.dg/coarray/lib_realloc_1.f90: New.
        * gfortran.dg/coarray_6.f90: Add dg-error.

From-SVN: r200955

11 years agore PR fortran/37336 ([F03] Finish derived-type finalization)
Tobias Burnus [Mon, 15 Jul 2013 08:17:24 +0000 (10:17 +0200)]
re PR fortran/37336 ([F03] Finish derived-type finalization)

2013-07-15  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37336
        * trans.c (gfc_add_comp_finalizer_call): New function.
        * trans.h (gfc_add_comp_finalizer_call): New prototype.
        * trans-array.c (structure_alloc_comps): Call it.

2013-07-15  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37336
        * gfortran.dg/finalize_18.f90: New.

From-SVN: r200954

11 years agoDaily bump.
GCC Administrator [Mon, 15 Jul 2013 00:16:48 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r200953

11 years agore PR fortran/52669 (No warning in unused private variable in modules)
Thomas Koenig [Sun, 14 Jul 2013 19:16:56 +0000 (19:16 +0000)]
re PR fortran/52669 (No warning in unused private variable in modules)

2013-07-14  Thomas Koenig  <tkoenig@gcc.gnu.org>
    Tobias Burnus  <burnus@gcc.gnu.org>

PR fortran/52669
* trans-decl.c (gfc_finish_var_decl):  Move setting of
PRIVATE for a module variable if the module has a private
default or -fmodule-private is given to...
(gfc_create_module_variable): here. Optionally
warn about private module variable which is not used.

2013-07-14  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/52669
* fortran.dg/module_variable_1.f90:  New test.
* fortran.dg/module_variable_2.f90:  New test.

Co-Authored-By: Tobias Burnus <burnus@gcc.gnu.org>
From-SVN: r200950

11 years agoExtract lambda functions from semantics.c.
Adam Butcher [Sun, 14 Jul 2013 17:29:55 +0000 (18:29 +0100)]
Extract lambda functions from semantics.c.

* gcc/cp/semantics.c (build_lambda_expr),
(build_lambda_object), (begin_lambda_type), (lambda_return_type),
(lambda_function), (lambda_capture_field_type), (is_capture_proxy),
(is_normal_capture_proxy), (insert_capture_proxy),
(insert_pending_capture_proxies), (lambda_proxy_type),
(build_capture_proxy), (vla_capture_type),
(register_capture_members), (add_default_capture),
(lambda_expr_this_capture), (maybe_resolve_dummy),
(nonlambda_method_basetype), (maybe_add_lambda_conv_op) and
(is_lambda_ignored_entity): Moved definitions into ...
* gcc/cp/lambda.c: ... this new file.

From-SVN: r200948

11 years agocall.c (build_conditional_expr_1): Handle the case with 1 vector and 2 scalars.
Marc Glisse [Sun, 14 Jul 2013 08:36:47 +0000 (10:36 +0200)]
call.c (build_conditional_expr_1): Handle the case with 1 vector and 2 scalars.

2013-07-14  Marc Glisse  <marc.glisse@inria.fr>

gcc/cp/
* call.c (build_conditional_expr_1): Handle the case with 1 vector
and 2 scalars. Call save_expr before building a vector.
* typeck.c (cp_build_binary_op): Check complain before complaining.

gcc/testsuite/
* g++.dg/ext/vector19.C: Adapt.
* g++.dg/ext/vector23.C: New testcase.

From-SVN: r200947

11 years agographite: Do not depend on 2D + 1 form in parallelism check
Tobias Grosser [Sun, 14 Jul 2013 06:45:08 +0000 (06:45 +0000)]
graphite: Do not depend on 2D + 1 form in parallelism check

    PR tree-optimization/54094
    * graphite-clast-to-gimple.c (translate_clast_for_loop): Derive the
      scheduling dimension for the parallelism check from the polyhedral
      information in the AST.
    * graphite-dependences.c (carries_deps): Do not assume the schedule is
      in 2D + 1 form.

From-SVN: r200946

11 years agoDaily bump.
GCC Administrator [Sun, 14 Jul 2013 00:16:24 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r200944

11 years agore PR c++/55203 (No unused warning for variables of non-trivial types)
Lubos Lunak [Sat, 13 Jul 2013 23:16:18 +0000 (01:16 +0200)]
re PR c++/55203 (No unused warning for variables of non-trivial types)

PR c++/55203
c-family/
* c-common.c (c_common_attribute_table): Add warn_unused.
(handle_warn_unused_attribute): New.
cp/
* init.c (build_aggr_init): Check for warn_unused attribute.
* decl.c (poplevel): Likewise.

From-SVN: r200941

11 years agoprint-tree.c (debug_vec_tree): Use debug_raw.
Jason Merrill [Sat, 13 Jul 2013 23:10:29 +0000 (19:10 -0400)]
print-tree.c (debug_vec_tree): Use debug_raw.

* print-tree.c (debug_vec_tree): Use debug_raw.
(debug_raw (vec<tree, va_gc> &)): New.
(debug_raw (vec<tree, va_gc> *)): New.
* tree.h: Declare them.

From-SVN: r200940

11 years agore PR c++/57402 (ICE: in make_decl_rtl, at varasm.c:1147 when initializing variable...
Jason Merrill [Sat, 13 Jul 2013 23:10:24 +0000 (19:10 -0400)]
re PR c++/57402 (ICE: in make_decl_rtl, at varasm.c:1147 when initializing variable-sized array)

PR c++/57402
* init.c (build_vec_init): Use {} for arrays of class type.
(build_vec_delete): Don't take the address of the array.

From-SVN: r200939

11 years agore PR c++/57793 (ICE with bitfields in get_bit_range)
Jason Merrill [Sat, 13 Jul 2013 23:10:17 +0000 (19:10 -0400)]
re PR c++/57793 (ICE with bitfields in get_bit_range)

PR c++/57793
c/
* c-decl.c (finish_struct): Check for too-large class.
cp/
* class.c (layout_class_type): Check for too-large class.

From-SVN: r200938

11 years agocall.c (can_convert): Allow user-defined conversions.
Jason Merrill [Sat, 13 Jul 2013 23:10:12 +0000 (19:10 -0400)]
call.c (can_convert): Allow user-defined conversions.

* call.c (can_convert): Allow user-defined conversions.
(can_convert_standard): New.
* cp-tree.h: Declare it.
* cvt.c (convert_to_reference): Use it.
* pt.c (convert_nontype_argument): Likewise.
* search.c (check_final_overrider): Likewise.
Don't worry about user-defined conversions.

From-SVN: r200937

11 years agoifcvt.c (ifcvt_after_combine): New static variable.
Bin Cheng [Sat, 13 Jul 2013 08:51:18 +0000 (08:51 +0000)]
ifcvt.c (ifcvt_after_combine): New static variable.

* ifcvt.c (ifcvt_after_combine): New static variable.
(cheap_bb_rtx_cost_p): Set scale to REG_BR_PROB_BASE when optimizing
for size.
(if_convert): New parameter after_combine.  Set ifcvt_after_combine.
(rest_of_handle_if_conversion, rest_of_handle_if_after_combine,
rest_of_handle_if_after_reload): Pass new argument for if_convert.

From-SVN: r200936

11 years agoDaily bump.
GCC Administrator [Sat, 13 Jul 2013 00:16:49 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r200935

11 years ago* config/mips/mips.c (mips_expand_call): Remove empty statement.
Maciej W. Rozycki [Fri, 12 Jul 2013 21:06:42 +0000 (21:06 +0000)]
* config/mips/mips.c (mips_expand_call): Remove empty statement.

From-SVN: r200928

11 years agore PR middle-end/55771 (Negation and type conversion incorrectly exchanged)
Michael Matz [Fri, 12 Jul 2013 15:41:49 +0000 (15:41 +0000)]
re PR middle-end/55771 (Negation and type conversion incorrectly exchanged)

PR middle-end/55771
* convert.c (convert_to_real): Reject non-float inner types.

testsuite/
* c-c++-common/pr55771.c: New test.

From-SVN: r200926

11 years ago2013-07-12 Tejas Belagod <tejas.belagod@arm.com>
Tejas Belagod [Fri, 12 Jul 2013 12:50:23 +0000 (13:50 +0100)]
2013-07-12  Tejas Belagod  <tejas.belagod@arm.com>

gcc/
* config/aarch64/aarch64-protos.h
(aarch64_simd_immediate_valid_for_move): Remove.
* config/aarch64/aarch64.c (simd_immediate_info): New member.
(aarch64_simd_valid_immediate): Recognize idioms for shifting ones
cases.
(aarch64_output_simd_mov_immediate): Print the correct shift specifier.

testsuite/

* gcc.target/aarch64/vect-movi.c: New.

From-SVN: r200922

11 years agoconfig/rl78/constraints.md (U): New constraint.
Kaushik Phatak [Fri, 12 Jul 2013 08:38:24 +0000 (08:38 +0000)]
config/rl78/constraints.md (U): New constraint.

From-SVN: r200919

11 years agoDaily bump.
GCC Administrator [Fri, 12 Jul 2013 00:16:24 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r200918

11 years agomips.c (mips_conditional_register_usage): Do not use t[0-7] registers in MIPS16 mode...
Steve Ellcey [Thu, 11 Jul 2013 22:25:44 +0000 (22:25 +0000)]
mips.c (mips_conditional_register_usage): Do not use t[0-7] registers in MIPS16 mode when optimizing for size.

2013-07-11  Steve Ellcey  <sellcey@mips.com>

* config/mips/mips.c (mips_conditional_register_usage): Do not
use t[0-7] registers in MIPS16 mode when optimizing for size.

From-SVN: r200914

11 years agore PR c++/57362 (unsupported __attribute__((target())) values appear to cause loop...
Sriraman Tallam [Thu, 11 Jul 2013 22:09:55 +0000 (22:09 +0000)]
re PR c++/57362 (unsupported __attribute__((target())) values appear to cause loop and/or pathological behavior)

PR 57362

PR target/57362
* config/i386/i386.c (dispatch_function_versions): Fix array
indexing of function_version_info to match actual_versions.

PR target/57362
* g++.dg/ext/pr57362.C: New.

From-SVN: r200913

11 years ago* fi.po: Update.
Joseph Myers [Thu, 11 Jul 2013 21:47:04 +0000 (22:47 +0100)]
* fi.po: Update.

From-SVN: r200911

11 years agoThis patch adds a call to ggc_free from va_gc::release, which is called by vec_free.
Teresa Johnson [Thu, 11 Jul 2013 21:32:14 +0000 (21:32 +0000)]
This patch adds a call to ggc_free from va_gc::release, which is called by vec_free.

This patch adds a call to ggc_free from va_gc::release, which is
called by vec_free. This restores the functionality of the old VEC_free
and reduces the memory footprint during compilation.

2013-07-11  Teresa Johnson  <tejohnson@google.com>

* vec.h (struct va_gc): Move release out-of-line.
(va_gc::release): Call ggc_free on released vec.

From-SVN: r200909

11 years agors6000.md (""*tls_gd_low<TLSmode:tls_abi_suffix>"): Require GOT register as additiona...
Ulrich Weigand [Thu, 11 Jul 2013 16:36:09 +0000 (16:36 +0000)]
rs6000.md (""*tls_gd_low<TLSmode:tls_abi_suffix>"): Require GOT register as additional operand in UNSPEC.

* config/rs6000/rs6000.md (""*tls_gd_low<TLSmode:tls_abi_suffix>"):
Require GOT register as additional operand in UNSPEC.
("*tls_ld_low<TLSmode:tls_abi_suffix>"): Likewise.
("*tls_got_dtprel_low<TLSmode:tls_abi_suffix>"): Likewise.
("*tls_got_tprel_low<TLSmode:tls_abi_suffix>"): Likewise.
("*tls_gd<TLSmode:tls_abi_suffix>"): Update splitter.
("*tls_ld<TLSmode:tls_abi_suffix>"): Likewise.
("tls_got_dtprel_<TLSmode:tls_abi_suffix>"): Likewise.
("tls_got_tprel_<TLSmode:tls_abi_suffix>"): Likewise.

From-SVN: r200904

11 years agore PR target/57631 (Use assembler name for sanity checking of ISR names provided...
Georg-Johann Lay [Thu, 11 Jul 2013 08:41:13 +0000 (08:41 +0000)]
re PR target/57631 (Use assembler name for sanity checking of ISR names provided it is set)

gcc/
PR target/57631
* config/avr/avr.c (avr_set_current_function): Sanity-check signal
name seen by assembler/linker rather if available.

gcc/testsuite/
PR target/57631
* gcc.target/avr/torture/pr57631.c: New test.

From-SVN: r200901

11 years agoDefine _REENTRANT with -pthread on aarch64-linux
Andreas Schwab [Thu, 11 Jul 2013 07:03:26 +0000 (07:03 +0000)]
Define _REENTRANT with -pthread on aarch64-linux

* config/aarch64/aarch64-linux.h (CPP_SPEC): Define.

From-SVN: r200900

11 years agolra-constraints.c (curr_insn_transform): Switch off optional reloads.
Vladimir Makarov [Thu, 11 Jul 2013 02:12:00 +0000 (02:12 +0000)]
lra-constraints.c (curr_insn_transform): Switch off optional reloads.

2013-07-10  Vladimir Makarov  <vmakarov@redhat.com>

* lra-constraints.c (curr_insn_transform): Switch off optional
reloads.

From-SVN: r200899

11 years agoDaily bump.
GCC Administrator [Thu, 11 Jul 2013 00:16:16 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r200896

11 years agotm.texi.in: Move hook documentation to ....
Joseph Myers [Wed, 10 Jul 2013 23:24:24 +0000 (00:24 +0100)]
tm.texi.in: Move hook documentation to ....

* doc/tm.texi.in: Move hook documentation to ....
* target.def: ... here.

From-SVN: r200893

11 years agore PR c++/57827 (compiler segmentation fault)
Paolo Carlini [Wed, 10 Jul 2013 23:16:38 +0000 (23:16 +0000)]
re PR c++/57827 (compiler segmentation fault)

2013-07-10  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/57827
* g++.dg/cpp0x/constexpr-ice7.C: New.

From-SVN: r200892

11 years agotm.texi.in (TARGET_CANONICALIZE_COMPARISON): Remove stray text on @hook line.
Joseph Myers [Wed, 10 Jul 2013 21:36:12 +0000 (22:36 +0100)]
tm.texi.in (TARGET_CANONICALIZE_COMPARISON): Remove stray text on @hook line.

* doc/tm.texi.in (TARGET_CANONICALIZE_COMPARISON): Remove stray
text on @hook line.
* doc/tm.texi: Regenerate.

From-SVN: r200891

11 years agore PR target/57792 (toplevel configure should enable "--with-sysroot="`xcrun --show...
Jack Howarth [Wed, 10 Jul 2013 21:22:34 +0000 (21:22 +0000)]
re PR target/57792 (toplevel configure should enable "--with-sysroot="`xcrun --show-sdk-path`"" for darwin13 and later)

2013-07-10  Jack Howarth  <howarth@bromo.med.uc.edu>

PR target/57792
* configure.ac: Use --with-sysroot=\"`xcrun --show-sdk-path`\" on darwin13 and later.
* configure: Regenerated.

From-SVN: r200890

11 years ago20020118-1.c: Force 128-bit stack alignment for EABI targets.
Janis Johnson [Wed, 10 Jul 2013 21:02:17 +0000 (21:02 +0000)]
20020118-1.c: Force 128-bit stack alignment for EABI targets.

* gcc.target/powerpc/20020118-1.c: Force 128-bit stack alignment
for EABI targets.
* gcc.c-torture/execute/nest-align-1.x: New.

From-SVN: r200887

11 years agore PR target/57792 (toplevel configure should enable "--with-sysroot="`xcrun --show...
Jack Howarth [Wed, 10 Jul 2013 20:52:45 +0000 (20:52 +0000)]
re PR target/57792 (toplevel configure should enable "--with-sysroot="`xcrun --show-sdk-path`"" for darwin13 and later)

2013-07-10  Jack Howarth  <howarth@bromo.med.uc.edu>

    PR target/57792
    * configure.ac: Use --with-sysroot=\"`xcrun --show-sdk-path`\" on darwin13 and later.
    * configure: Regenerated.

From-SVN: r200886

11 years ago* Corrected missinge blank line in gcc/ChangeLog Entries
Graham Stott [Wed, 10 Jul 2013 18:17:56 +0000 (18:17 +0000)]
* Corrected missinge blank line in gcc/ChangeLog Entries
and move one entry to c-family/ChangeLog

From-SVN: r200881

11 years agore PR c++/57874 (No SFINAE on ADL lookup failure)
Paolo Carlini [Wed, 10 Jul 2013 17:45:43 +0000 (17:45 +0000)]
re PR c++/57874 (No SFINAE on ADL lookup failure)

2013-07-10  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/57874
* g++.dg/cpp0x/sfinae48.C: New.

From-SVN: r200880

11 years agore PR preprocessor/57824 (Raw string literals not handled correctly in macro argument...
Jakub Jelinek [Wed, 10 Jul 2013 16:52:19 +0000 (18:52 +0200)]
re PR preprocessor/57824 (Raw string literals not handled correctly in macro arguments or deferred pragmas)

PR preprocessor/57824
* lex.c (lex_raw_string): Allow reading new-lines if
in_deferred_pragma or if parsing_args and there is still
data in the current buffer.

* c-c++-common/raw-string-17.c: New test.
* c-c++-common/gomp/pr57824.c: New test.

From-SVN: r200879

11 years agoc-ppoutput.c (scan_translation_unit): Call account_for_newlines for all CPP_TOKEN_FLD...
Jakub Jelinek [Wed, 10 Jul 2013 16:49:24 +0000 (18:49 +0200)]
c-ppoutput.c (scan_translation_unit): Call account_for_newlines for all CPP_TOKEN_FLD_STR tokens, not just CPP_COMMENT.

* c-ppoutput.c (scan_translation_unit): Call account_for_newlines
for all CPP_TOKEN_FLD_STR tokens, not just CPP_COMMENT.

* include/cpplib.h (cpp_token_val_index): Change parameter type to
const cpp_token *.
* lex.c (cpp_token_val_index): Likewise.

* c-c++-common/raw-string-18.c: New test.
* c-c++-common/raw-string-19.c: New test.

From-SVN: r200878

11 years agore PR c++/57869 ([C++11] Casting a object pointer to a function pointer should not...
Paolo Carlini [Wed, 10 Jul 2013 16:45:25 +0000 (16:45 +0000)]
re PR c++/57869 ([C++11] Casting a object pointer to a function pointer should not warn about a forbidden conversion)

/c-family
2013-07-10  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/57869
* c.opt: Add Wconditionally-supported.

/cp
2013-07-10  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/57869
* typeck.c (build_reinterpret_cast_1): With -Wconditionally-supported
warn about casting between pointer-to-function and pointer-to-object.

/gcc
2013-07-10  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/57869
* doc/invoke.texi: Document -Wconditionally-supported.

/testsuite
2013-07-10  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/57869
* g++.dg/cpp0x/reinterpret_cast1.C: New.
* g++.dg/warn/Wconditionally-supported-1.C: Likewise.
* g++.dg/conversion/dr195.C: Update.
* g++.dg/expr/cast2.C: Likewise.

From-SVN: r200876

11 years agore PR preprocessor/57757 (CPP extra inserted whitespace needs to be reviewed for...
Jakub Jelinek [Wed, 10 Jul 2013 16:40:49 +0000 (18:40 +0200)]
re PR preprocessor/57757 (CPP extra inserted whitespace needs to be reviewed for C++11 user-defined literals)

PR preprocessor/57757
* lex.c (cpp_avoid_paste): Avoid pasting CPP_{,W,UTF8}STRING
or CPP_STRING{16,32} with CPP_NAME or SPELL_LITERAL token that
starts if a-zA-Z_.

* g++.dg/cpp/paste1.C: New test.
* g++.dg/cpp/paste2.C: New test.

From-SVN: r200875

11 years agore PR target/57844 (ICE: unrecognizable addqi3 insn with -msp8 and frame size of...
Georg-Johann Lay [Wed, 10 Jul 2013 12:39:18 +0000 (12:39 +0000)]
re PR target/57844 (ICE: unrecognizable addqi3 insn with -msp8 and frame size of 128 bytes)

PR target/57844
* config/avr/avr.c (avr_prologue_setup_frame): Trunk -size to mode
of my_fp.

From-SVN: r200872

11 years agore PR target/57506 ([avr] Some devices are present twice in avr-mcus.def)
Georg-Johann Lay [Wed, 10 Jul 2013 12:32:05 +0000 (12:32 +0000)]
re PR target/57506 ([avr] Some devices are present twice in avr-mcus.def)

PR target/57506
* config/avr/avr-mcus.def (atmega16hva, atmega16hva2, atmega16hvb)
(atmega16m1, atmega16u4, atmega32a, atmega32c1, atmega32hvb)
(atmega32m1, atmega32u4, atmega32u6, atmega64c1, atmega64m1):
Remove duplicate devices.
* config/avr/gen-avr-mmcu-texi.c (print_mcus): Fail on duplicate MCUs.
* config/avr/t-multilib: Regenerate.
* config/avr/avr-tables.opt: Regenerate.
* doc/avr-mmcu.texi: Regenerate.

From-SVN: r200870

11 years agore PR target/56987 (gcc/config/avr/avr.opt:80: "change" -> "changed"?)
Georg-Johann Lay [Wed, 10 Jul 2013 11:21:41 +0000 (11:21 +0000)]
re PR target/56987 (gcc/config/avr/avr.opt:80: "change" -> "changed"?)

PR target/56987
* config/avr/avr.opt (Waddr-space-convert): Fix typo.

From-SVN: r200869

11 years agomips.c (mips_rtx_costs): Very slightly increase the cost of MULT when optimizing...
Graham Stott [Wed, 10 Jul 2013 09:26:13 +0000 (09:26 +0000)]
mips.c (mips_rtx_costs): Very slightly increase the cost of MULT when optimizing for size.

* config/mips/mips.c (mips_rtx_costs): Very slightly increase
the cost of MULT when optimizing for size.

* gcc.target/mips/mulsize-1.c: New.
* gcc.target/mips/mulsize-2.c: New.
* gcc.target/mips/mulsize-3.c: New.
* gcc.target/mips/mulsize-4.c: New.

From-SVN: r200867

11 years agocr16-protos.h: Don't include target.h.
Jan-Benedict Glaw [Wed, 10 Jul 2013 08:08:07 +0000 (08:08 +0000)]
cr16-protos.h: Don't include target.h.

2013-07-10  Jan-Benedict Glaw  <jbglaw@lug-owl.de>

gcc/
* config/cr16/cr16-protos.h: Don't include target.h.

From-SVN: r200865

11 years agore PR c++/57402 (ICE: in make_decl_rtl, at varasm.c:1147 when initializing variable...
Jason Merrill [Wed, 10 Jul 2013 00:37:49 +0000 (20:37 -0400)]
re PR c++/57402 (ICE: in make_decl_rtl, at varasm.c:1147 when initializing variable-sized array)

PR c++/57402
* init.c (build_vec_init): Don't take shortcuts when initializing
a VLA.

From-SVN: r200860

11 years agoDaily bump.
GCC Administrator [Wed, 10 Jul 2013 00:16:39 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r200859

11 years agors6000.c (rs6000_init_hard_regno_mode_ok): Only adjust register size for TDmode and...
Joseph Myers [Tue, 9 Jul 2013 22:35:46 +0000 (23:35 +0100)]
rs6000.c (rs6000_init_hard_regno_mode_ok): Only adjust register size for TDmode and TFmode for VSX registers.

* config/rs6000/rs6000.c (rs6000_init_hard_regno_mode_ok): Only
adjust register size for TDmode and TFmode for VSX registers.

From-SVN: r200853

11 years agore PR c++/57471 (Bizarre error for template parameter pack)
Jason Merrill [Tue, 9 Jul 2013 21:52:40 +0000 (17:52 -0400)]
re PR c++/57471 (Bizarre error for template parameter pack)

PR c++/57471
* parser.c (cp_parser_sizeof_pack): Clear parser scopes.

From-SVN: r200852

11 years ago* config.host (powerpc-*-eabispe*): Add t-fdpbit to tmake_file.
Janis Johnson [Tue, 9 Jul 2013 21:31:09 +0000 (21:31 +0000)]
* config.host (powerpc-*-eabispe*): Add t-fdpbit to tmake_file.

From-SVN: r200846

11 years agore PR c++/57658 (ICE in tsubst_copy, at cp/pt.c:12213)
Jason Merrill [Tue, 9 Jul 2013 18:50:28 +0000 (14:50 -0400)]
re PR c++/57658 (ICE in tsubst_copy, at cp/pt.c:12213)

PR c++/57658
* semantics.c (finish_id_expression): Return the id for an
unevaluated outer variable.

From-SVN: r200845

11 years agore PR c++/57526 (use of X before deduction of auto error for seemingly good code)
Jason Merrill [Tue, 9 Jul 2013 17:56:43 +0000 (13:56 -0400)]
re PR c++/57526 (use of X before deduction of auto error for seemingly good code)

PR c++/57526
* semantics.c (lambda_capture_field_type): Build a DECLTYPE_TYPE
if the variable type uses 'auto'.

From-SVN: r200844

11 years agore PR c++/57437 (C++11: mutable lambdas)
Jason Merrill [Tue, 9 Jul 2013 17:56:32 +0000 (13:56 -0400)]
re PR c++/57437 (C++11: mutable lambdas)

PR c++/57437
* typeck.c (check_return_expr): Lambda proxies aren't eligible
for nrv or return by move.

From-SVN: r200843

11 years agore PR c++/57532 (operator& broken when used on rvalues)
Jason Merrill [Tue, 9 Jul 2013 17:56:14 +0000 (13:56 -0400)]
re PR c++/57532 (operator& broken when used on rvalues)

PR c++/57532
* parser.c (cp_parser_ref_qualifier_opt): Don't tentatively parse
a ref-qualifier in C++98 mode.

From-SVN: r200842

11 years agore PR c++/57545 (Generation of debug symbols leads to internal compiler error)
Jason Merrill [Tue, 9 Jul 2013 17:56:03 +0000 (13:56 -0400)]
re PR c++/57545 (Generation of debug symbols leads to internal compiler error)

PR c++/57545
* pt.c (convert_nontype_argument) [INTEGER_CST]: Force the
argument to have the exact type of the parameter.

From-SVN: r200841

11 years agore PR regression/57551 (g++.dg/ext/visibility/anon6.C scan-assembler 1BIiE1cE)
Jason Merrill [Tue, 9 Jul 2013 17:55:43 +0000 (13:55 -0400)]
re PR regression/57551 (g++.dg/ext/visibility/anon6.C scan-assembler 1BIiE1cE)

PR c++/57551
* semantics.c (cxx_eval_indirect_ref): Don't try to look through
a POINTER_PLUS_EXPR for type punning diagnostic.

From-SVN: r200840

11 years agore PR c++/57831 (pointer to member function inaccessible through using statement...
Jason Merrill [Tue, 9 Jul 2013 17:55:24 +0000 (13:55 -0400)]
re PR c++/57831 (pointer to member function inaccessible through using statement (or ICE))

PR c++/57831
* pt.c (tsubst_copy): Handle USING_DECL.

From-SVN: r200839

11 years agore PR c++/53094 (constexpr vector subscripting)
Marc Glisse [Tue, 9 Jul 2013 15:58:36 +0000 (17:58 +0200)]
re PR c++/53094 (constexpr vector subscripting)

2013-07-09  Marc Glisse  <marc.glisse@inria.fr>

PR c++/53094
gcc/cp/
* semantics.c (cxx_eval_bit_field_ref): Handle VECTOR_CST.

gcc/testsuite/
* g++.dg/cpp0x/constexpr-53094-1.C: Adjust.
* g++.dg/ext/vector24.C: New testcase.

From-SVN: r200822

11 years agore PR c++/53000 (Conditional operator does not behave as standardized)
Marc Glisse [Tue, 9 Jul 2013 15:55:49 +0000 (17:55 +0200)]
re PR c++/53000 (Conditional operator does not behave as standardized)

2013-07-09  Marc Glisse  <marc.glisse@inria.fr>

PR c++/53000
gcc/cp/
* call.c (build_conditional_expr_1): Preserve xvalues.

gcc/testsuite/
* g++.dg/cpp0x/decltype17.C: Adjust.

From-SVN: r200821

11 years agoImplement class regex_traits.
Tim Shen [Tue, 9 Jul 2013 13:41:10 +0000 (13:41 +0000)]
Implement class regex_traits.

2013-07-09  Tim Shen  <timshen91@gmail.com>

Implement class regex_traits.
* include/bits/regex.h: Implement lookup_classname and
lookup_collatename; modify isctype; partially implement
transform_primary.
* testsuite/28_regex/traits/char/isctype.cc: Add more test cases.
* testsuite/28_regex/traits/char/lookup_classname.cc: Likewise.
* testsuite/28_regex/traits/char/lookup_collatename.cc: Likewise.
* testsuite/28_regex/traits/char/transform_primary.cc: Likewise.
* testsuite/28_regex/traits/wchar_t/isctype.cc: New.
* testsuite/28_regex/traits/wchar_t/lookup_classname.cc: New.
* testsuite/28_regex/traits/wchar_t/lookup_collatename.cc: New.
* testsuite/28_regex/traits/wchar_t/transform_primary.cc: New.

From-SVN: r200818

11 years agoconfigure.ac: Add AC_CONFIG_AUX_DIR.
Simon Baldwin [Tue, 9 Jul 2013 10:24:39 +0000 (10:24 +0000)]
configure.ac: Add AC_CONFIG_AUX_DIR.

* configure.ac: Add AC_CONFIG_AUX_DIR.
* configure: Regenerated.

From-SVN: r200814

11 years agore PR c++/51786 ([c++0x] Invalid declaration with decltype accepted)
Paolo Carlini [Tue, 9 Jul 2013 09:28:09 +0000 (09:28 +0000)]
re PR c++/51786 ([c++0x] Invalid declaration with decltype accepted)

/cp
2013-07-09  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/51786
* parser.c (cp_parser_simple_declaration): Before calling shadow_tag
also check declares_class_or_enum.

/testsuite
2013-07-09  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/51786
* g++.dg/cpp0x/pr51786.C: New.

From-SVN: r200813

11 years agomakefile.vms (OBJS): Add dwarfnames.obj
Tristan Gingold [Tue, 9 Jul 2013 07:43:35 +0000 (07:43 +0000)]
makefile.vms (OBJS): Add dwarfnames.obj

2013-07-09  Tristan Gingold  <gingold@adacore.com>

* makefile.vms (OBJS): Add dwarfnames.obj

From-SVN: r200812

11 years agore PR c++/57550 (bogus "error ... is private")
Jason Merrill [Tue, 9 Jul 2013 03:19:36 +0000 (23:19 -0400)]
re PR c++/57550 (bogus "error ... is private")

PR c++/57550
* pt.c (fn_type_unification): Only defer during substitution.
(type_unification_real): Defer during defarg substitution,
add checks parm to pass back deferred checks.
(unify, do_auto_deduction): Adjust.
* semantics.c (reopen_deferring_access_checks): New.
* cp-tree.h: Declare it.

From-SVN: r200808

11 years agoDaily bump.
GCC Administrator [Tue, 9 Jul 2013 00:16:22 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r200806

11 years ago* gcc.target/powerpc/tfmode_off.c: Skip for EABI targets.
Janis Johnson [Mon, 8 Jul 2013 20:19:35 +0000 (20:19 +0000)]
* gcc.target/powerpc/tfmode_off.c: Skip for EABI targets.

From-SVN: r200802

11 years ago* gcc.target/powerpc/ppc-spe64-1.c: Update expected error message.
Janis Johnson [Mon, 8 Jul 2013 19:34:39 +0000 (19:34 +0000)]
* gcc.target/powerpc/ppc-spe64-1.c: Update expected error message.

From-SVN: r200799

11 years ago* gcc.target/powerpc/pr47197.c: Require powerpc_altivec_ok.
Janis Johnson [Mon, 8 Jul 2013 19:33:52 +0000 (19:33 +0000)]
* gcc.target/powerpc/pr47197.c: Require powerpc_altivec_ok.

From-SVN: r200798

11 years agosd-vsx.c: Require dfp.
Janis Johnson [Mon, 8 Jul 2013 19:33:10 +0000 (19:33 +0000)]
sd-vsx.c: Require dfp.

* gcc.target/powerpc/sd-vsx.c: Require dfp.
* gcc.target/powerpc/sd-pwr6.c: Likewise.

From-SVN: r200797

11 years agore PR fortran/57834 (C_F_POINTER (only with -std=): accepts only explicit- and assume...
Tobias Burnus [Mon, 8 Jul 2013 19:05:16 +0000 (21:05 +0200)]
re PR fortran/57834 (C_F_POINTER (only with -std=): accepts only explicit- and assumed-size arrays for FPTR when SHAPE is present)

2013-07-08  Tobias Burnus  <burnus@net-b.de>

        PR fortran/57834
        * check.c (is_c_interoperable): Add special case for
        * c_f_pointer.
        (explicit-size, gfc_check_c_f_pointer, gfc_check_c_loc): Update
        call.

2013-07-08  Tobias Burnus  <burnus@net-b.de>

        PR fortran/57834
        * gfortran.dg/c_f_pointer_tests_8.f90: New.

From-SVN: r200794

11 years agore PR c++/56892 (dllexport prevents inline inside dll)
Kai Tietz [Mon, 8 Jul 2013 17:54:55 +0000 (19:54 +0200)]
re PR c++/56892 (dllexport prevents inline inside dll)

PR target/56892
* config/i386/i386.c (TARGET_FUNCTION_ATTRIBUTE_INLINABLE_P): Define as
hook_bool_const_tree_true.

From-SVN: r200792

11 years agore PR fortran/50554 (INQUIRE cannot redefine DO index (r178939))
Tobias Burnus [Mon, 8 Jul 2013 16:13:57 +0000 (18:13 +0200)]
re PR fortran/50554 (INQUIRE cannot redefine DO index    (r178939))

2013-07-08  Tobias Burnus  <burnus@net-b.de>

        PR fortran/50554
        * io.c (match_inquire_element): Add missing do-var check.

2013-07-08  Tobias Burnus  <burnus@net-b.de>

        PR fortran/50554
        * gfortran.dg/do_check_9.f90: New.

From-SVN: r200790

11 years agos390.c: Replace F*_REGNUM with FPR*_REGNUM.
Andreas Krebbel [Mon, 8 Jul 2013 14:20:33 +0000 (14:20 +0000)]
s390.c: Replace F*_REGNUM with FPR*_REGNUM.

2013-07-08  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* config/s390/s390.c: Replace F*_REGNUM with FPR*_REGNUM.
* config/s390/s390.h: Remove F*_REGNUM macro definitions.
* config/s390/s390.md: Define FPR*_REGNUM constants.
Fix FPR2_REGNUM constant (18 -> 17).
("*trunc<BFP:mode><DFP_ALL:mode>2")
("*trunc<DFP_ALL:mode><BFP:mode>2")
("trunc<BFP:mode><DFP_ALL:mode>2")
("trunc<DFP_ALL:mode><BFP:mode>2")
("*extend<BFP:mode><DFP_ALL:mode>2")
("*extend<DFP_ALL:mode><BFP:mode>2")
("extend<BFP:mode><DFP_ALL:mode>2")
("extend<DFP_ALL:mode><BFP:mode>2"): Replace FPR2_REGNUM with
FPR4_REGNUM.

From-SVN: r200787

11 years agore PR fortran/57785 (DOT_PRODUCT error with constant complex array)
Tobias Burnus [Mon, 8 Jul 2013 13:48:19 +0000 (15:48 +0200)]
re PR fortran/57785 (DOT_PRODUCT error with constant complex array)

2013-07-08  Tobias Burnus  <burnus@net-b.de>

        PR fortran/57785
        * simplify.c (compute_dot_product): Complex conjugate for
        dot_product.
        (gfc_simplify_dot_product, gfc_simplify_matmul): Update call.

2013-07-08  Tobias Burnus  <burnus@net-b.de>

        PR fortran/57785
        * gfortran.dg/dot_product_2.f90: New.

From-SVN: r200786

11 years agore PR fortran/57469 (Erroneous warning for unused dummy arguments used in namelist)
Tobias Burnus [Mon, 8 Jul 2013 12:15:11 +0000 (14:15 +0200)]
re PR fortran/57469 (Erroneous warning for unused dummy arguments used in namelist)

2013-07-08  Tobias Burnus  <burnus@net-b.de>

        PR fortran/57469
        * trans-decl.c (generate_local_decl): Don't warn that
        a dummy is unused, when it is in a namelist.

2013-07-08  Tobias Burnus  <burnus@net-b.de>

        PR fortran/57469
        * gfortran.dg/warn_unused_dummy_argument_4.f90: New.

From-SVN: r200785

11 years agodefined_assignment_7.f90: Fix dg-do.
Manfred Schwarb [Mon, 8 Jul 2013 12:09:13 +0000 (14:09 +0200)]
defined_assignment_7.f90: Fix dg-do.

2013-07-08  Manfred Schwarb  <manfred99@gmx.ch>

        * gfortran.dg/defined_assignment_7.f90: Fix dg-do.
        * gfortran.dg/finalize_10.f90: Fix dg-final.

From-SVN: r200784

11 years ago* Makefile.in: (c-family-warn): Define to $(STRICT_WARN)
Graham Stott [Mon, 8 Jul 2013 11:14:02 +0000 (11:14 +0000)]
* Makefile.in: (c-family-warn): Define to $(STRICT_WARN)

From-SVN: r200783

11 years agoarray-notation-common.c (length_mismatch_in_expr_p): Delete unused variables l_length...
Graham Stott [Mon, 8 Jul 2013 10:41:13 +0000 (10:41 +0000)]
array-notation-common.c (length_mismatch_in_expr_p): Delete unused variables l_length and l_node.

* c-family/array-notation-common.c (length_mismatch_in_expr_p): Delete
unused variables l_length and l_node.

From-SVN: r200781

11 years agos390.c: Rename cfun_set_fpr_bit to cfun_set_fpr_save and cfun_fpr_bit_p to cfun_fpr_s...
Andreas Krebbel [Mon, 8 Jul 2013 09:18:50 +0000 (09:18 +0000)]
s390.c: Rename cfun_set_fpr_bit to cfun_set_fpr_save and cfun_fpr_bit_p to cfun_fpr_save_p.

2013-07-08  Andreas Krebbel  <Andreas.Krebbel@de.ibm.com>

* config/s390/s390.c: Rename cfun_set_fpr_bit to cfun_set_fpr_save
and cfun_fpr_bit_p to cfun_fpr_save_p.
(s390_frame_area, s390_register_info, s390_frame_info)
(s390_emit_prologue, s390_emit_epilogue)
(s390_conditional_register_usage): Use the *_REGNUM macros for FPR
register numbers.
* config/s390/s390.h: Define *_REGNUM macros for floating point
register numbers.

From-SVN: r200780

11 years ago* Makefile.in (tree-ssa-reassoc.o): Add dependency on $(PARAMS_H).
Eric Botcazou [Mon, 8 Jul 2013 09:13:54 +0000 (09:13 +0000)]
* Makefile.in (tree-ssa-reassoc.o): Add dependency on $(PARAMS_H).

From-SVN: r200777

11 years agore PR rtl-optimization/57786 (wasted work in distribute_notes)
Po-Chun Chang [Mon, 8 Jul 2013 09:05:38 +0000 (09:05 +0000)]
re PR rtl-optimization/57786 (wasted work in distribute_notes)

PR rtl-optimization/57786
* combine.c (distribute_notes) <case REG_DEAD>: Change all_used to bool
and break out of the loop when it is set to false.

From-SVN: r200776

11 years agore PR target/57819 (Suboptimal shift patterns)
Jakub Jelinek [Mon, 8 Jul 2013 08:48:40 +0000 (10:48 +0200)]
re PR target/57819 (Suboptimal shift patterns)

PR target/57819
* simplify-rtx.c (simplify_unary_operation_1) <case ZERO_EXTEND>:
Simplify (zero_extend:SI (subreg:QI (and:SI (reg:SI)
(const_int 63)) 0)).
* combine.c (make_extraction): Create ZERO_EXTEND or SIGN_EXTEND
using simplify_gen_unary instead of gen_rtx_*_EXTEND.
* config/i386/i386.md (*jcc_bt<mode>_1): New define_insn_and_split.

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

From-SVN: r200775

11 years agoeinfo.adb (Get_Pragma): Handle the retrieval of delayed pragmas stored in N_Contract...
Hristian Kirtchev [Mon, 8 Jul 2013 08:19:20 +0000 (08:19 +0000)]
einfo.adb (Get_Pragma): Handle the retrieval of delayed pragmas stored in N_Contract nodes.

2013-07-08  Hristian Kirtchev  <kirtchev@adacore.com>

* einfo.adb (Get_Pragma): Handle the retrieval of delayed
pragmas stored in N_Contract nodes.
* einfo.ads (Get_Pragma): Update the comment on usage.
* sem_prag.adb (Check_Precondition_Postcondition): Retain a copy
of the pragma when it applies to a body that acts as a spec. The
copy is preanalyzed and chained on the contract of the body.

From-SVN: r200774

11 years ago[multiple changes]
Arnaud Charlet [Mon, 8 Jul 2013 08:17:14 +0000 (10:17 +0200)]
[multiple changes]

2013-07-08  Robert Dewar  <dewar@adacore.com>

* rtsfind.adb: Minor comment fix.

2013-07-08  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch4.adb (Check_Ghost_Subprogram_Call): Do not check the placement
of a Ghost function call when the enclosing context is being
preanalyzed.

2013-07-08  Ed Schonberg  <schonberg@adacore.com>

* exp_ch6.adb (Expand_Inlined_Call, Process_Formals): If the
expression in a return statement is a numeric literal, qualify
it with the return type for proper resolution.

From-SVN: r200772

11 years ago[multiple changes]
Arnaud Charlet [Mon, 8 Jul 2013 08:15:25 +0000 (10:15 +0200)]
[multiple changes]

2013-07-08  Robert Dewar  <dewar@adacore.com>

* sem.ads: Minor comment updates.
* s-restri.ads, exp_ch6.adb, lib-load.ads, exp_ch3.adb, sem_ch10.adb:
Minor reformatting.

2013-07-08  Robert Dewar  <dewar@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference): Add dummy entry
for Restriction_Set.
* gnat_rm.texi: Add missing menu entry for Attribute Ref Add
documentation for attribute Restriction_Set.
* lib-writ.adb (Write_With_Lines): Generate special W lines
for Restriction_Set.
* lib-writ.ads: Document special use of W lines for
Restriction_Set.
* lib.ads (Restriction_Set_Dependences): New table.
* par-ch4.adb (Is_Parameterless_Attribute): Add Loop_Entry to
list (Scan_Name_Extension_Apostrophe): Remove kludge test for
Loop_Entry (Scan_Name_Extension_Apostrophe): Handle No_Dependence
for Restricton_Set.
* restrict.adb (Check_SPARK_Restriction): Put in Alfa order
(OK_No_Dependence_Unit_Name): New function.
* restrict.ads (OK_No_Dependence_Unit_Name): New function.
* rtsfind.adb: Minor reformatting Minor code reorganization.
* sem_attr.adb (Analyze_Attribute): Add processing for
Restriction_Set.
* sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings):
Remove Check_Unit_Name and use new function
OK_No_Dependence_Unit_Name instead.
* sinfo.ads: Minor comment updates.
* snames.ads-tmpl: Add entry for Restriction_Set attribute.

2013-07-08  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Apply_Accessibility_Check): Remove local constant
Pool_Id and local variable Free_Stmt. Do not deallocate the faulty
object as "free" is not available on all targets/profiles.

2013-07-08  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications): Handle
Storage_Size aspect for task type in case discriminant is
referenced.
(Analyze_Attribute_Definition_Clause): Do not flag Storage_Size
attribute definition clause as obsolescent if from aspect.

From-SVN: r200771

11 years ago[multiple changes]
Arnaud Charlet [Mon, 8 Jul 2013 08:11:50 +0000 (10:11 +0200)]
[multiple changes]

2013-07-08  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Add documentation for Img returning a function.
* par-prag.adb: Minor reformatting.
* restrict.adb: Minor reformatting and code reorganization.

2013-07-08  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb: add guard to ASIS transform.

From-SVN: r200769

11 years agore PR rtl-optimization/57829 (Wrong constant folding)
Jakub Jelinek [Mon, 8 Jul 2013 08:11:08 +0000 (10:11 +0200)]
re PR rtl-optimization/57829 (Wrong constant folding)

PR rtl-optimization/57829
* simplify-rtx.c (simplify_binary_operation_1) <case IOR>: Ensure that
mask bits outside of mode are just sign-extension from mode to HWI.

* gcc.c-torture/execute/pr57829.c: New test.

From-SVN: r200768

11 years ago[multiple changes]
Arnaud Charlet [Mon, 8 Jul 2013 08:10:20 +0000 (10:10 +0200)]
[multiple changes]

2013-07-08  Ed Schonberg  <schonberg@adacore.com>

* exp_ch9.adb (Expand_N_Asynchronous_Select): If the trigger
of the asynchronous select is a dispatching call, transform the
abortable part into a procedure, to avoid duplication of local
loop variables that may appear within.

2013-07-08  Vincent Celier  <celier@adacore.com>

* projects.texi: Update the documentation of suffixes in package
Naming.

2013-07-08  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Conforming_Types): Anonymous_access_to_subprograsm
types are type conformant if the designated type of one is
protected and the other is not. Convention only matters when
checking subtype conformance.

2013-07-08  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb (Make_Call_Into_Operator): In ASIS mode, propagate
back the fully resolved operands to the original function call
so that all semantic information remains available to ASIS.

From-SVN: r200767

11 years ago[multiple changes]
Arnaud Charlet [Mon, 8 Jul 2013 08:08:00 +0000 (10:08 +0200)]
[multiple changes]

2013-07-08  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb: minor reformatting (remove obsolete comment).
* sem_ch9.adb: improve error message on illegal trigger.

2013-07-08  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb: Minor reformatting.

From-SVN: r200766

11 years ago[multiple changes]
Arnaud Charlet [Mon, 8 Jul 2013 08:05:45 +0000 (10:05 +0200)]
[multiple changes]

2013-07-08  Robert Dewar  <dewar@adacore.com>

* gnatcmd.adb: Minor reformatting.

2013-07-08  Robert Dewar  <dewar@adacore.com>

* targparm.adb (Get_Target_Parameters): Recognize pragma
Partition_Elaboration_Policy.

2013-07-08  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Minor update to mention partition elaboration policy.

2013-07-08  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Comple_Object_Operation): Revert previous change.
(Analyze_Indexed_Component_Form): In ASIS mode, if node has been
transformed but not rewritten as a function call (as is the case
in a generic), analyze it as such.

2013-07-08  Thomas Quinot  <quinot@adacore.com>

* gnat_rm.texi: Minor rewording: add missing word "operators"
in documentation for restriction No_Direct_Boolean_Operator.

2013-07-08  Robert Dewar  <dewar@adacore.com>

* errout.adb (Set_Msg_Txt): No longer sets Is_Style_Msg,
Is_Warning_Msg, or Is_Unconditional_Msg (all are set elsewhere
now).
* errout.ads: Insertions ! and !! no longer have to be at the
end of the message, they can be anywhere in the message.
* erroutc.adb (Test_Style_Warning_Serious_Unconditional_Msg):
Replaces Test_Style_Warning_Serious_Msg
* erroutc.ads (Has_Double_Exclam): New flag New comments for
existing flags (Test_Style_Warning_Serious_Unconditional_Msg):
Replaces Test_Style_Warning_Serious_Msg
* errutil.adb (Test_Style_Warning_Serious_Unconditional_Msg):
Replaces Test_Style_Warning_Serious_Msg

From-SVN: r200765

11 years ago[multiple changes]
Arnaud Charlet [Mon, 8 Jul 2013 08:03:04 +0000 (10:03 +0200)]
[multiple changes]

2013-07-08  Robert Dewar  <dewar@adacore.com>

* par-prag.adb (Process_Restrictions_Or_Restriction_Warnings):
Recognize SPARK_05 as synonym for SPARK in restrictions pragma.
* restrict.ads, restrict.adb (SPARK_Hides): Table moved to body, only
referenced there.
* scng.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch8.adb,
sem_res.adb, sem_util.adb: Use restriction SPARK_05 instead of SPARK.
* snames.ads-tmpl (Name_No_Obsolescent_Features): New entry.

2013-07-08  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (Check_Files): Use a response file for gnatls
when possible.

From-SVN: r200764

11 years ago[multiple changes]
Arnaud Charlet [Mon, 8 Jul 2013 07:59:55 +0000 (09:59 +0200)]
[multiple changes]

2013-07-08  Gary Dismukes  <dismukes@adacore.com>

* freeze.adb: Minor typo fixes.

2013-07-08  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document SPARK_05 (replaces SPARK) Document
obsolete recognition of SPARK Document all other obsolete synonyms
for old restrictions.
* restrict.adb (Check_SPARK_Restriction): SPARK_05 replaces
SPARK (Process_Restriction_Synonyms): Handle SPARK as synonym
for SPARK_05.
* restrict.ads: Restriction SPARK_05 replaces SPARK.
* s-rident.ads: Replace restriction SPARK by SPARK_05 Add SPARK
as synonym for SPARK_05.
* sem_prag.adb: Minor reformatting.
* snames.ads-tmpl: Add entries for Name_SPARK and Name_SPARK_05.

From-SVN: r200763