platform/upstream/gcc.git
12 years agoDaily bump.
GCC Administrator [Thu, 26 Jan 2012 00:18:57 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r183547

12 years agoRemove a couple of object files committed by accident.
Ian Lance Taylor [Wed, 25 Jan 2012 23:13:36 +0000 (23:13 +0000)]
Remove a couple of object files committed by accident.

From-SVN: r183542

12 years agore PR fortran/51995 ([OOP] Polymorphic class fails at runtime)
Tobias Burnus [Wed, 25 Jan 2012 22:21:14 +0000 (23:21 +0100)]
re PR fortran/51995 ([OOP] Polymorphic class fails at runtime)

2012-01-25  Tobias Burnus  <burnus@net-b.de>

        PR fortran/51995
        * class.c (gfc_build_class_symbol): Fix invalid freeing
        issue with fclass->f2k_derived.

From-SVN: r183541

12 years agolibgo: Update to weekly.2012-01-20.
Ian Lance Taylor [Wed, 25 Jan 2012 21:54:22 +0000 (21:54 +0000)]
libgo: Update to weekly.2012-01-20.

From-SVN: r183540

12 years agolibgo: Update to weekly.2012-01-15.
Ian Lance Taylor [Wed, 25 Jan 2012 20:56:26 +0000 (20:56 +0000)]
libgo: Update to weekly.2012-01-15.

From-SVN: r183539

12 years agoRevert * trans-mem.c (requires_barrier): Do not instrument thread local
Richard Henderson [Wed, 25 Jan 2012 20:35:34 +0000 (12:35 -0800)]
Revert * trans-mem.c (requires_barrier): Do not instrument thread local
variables and emit save/restore for them.

From-SVN: r183538

12 years agore PR lto/51698 ([trans-mem] TM runtime and application with LTO)
Aldy Hernandez [Wed, 25 Jan 2012 20:32:57 +0000 (20:32 +0000)]
re PR lto/51698 ([trans-mem] TM runtime and application with LTO)

        PR lto/51698
        * builtin-types.def: (BT_CONST_DOUBLE_PTR): New.
        (BT_FN_VOID_PTR_CONST_PTR_SIZE): New.
        (BT_FN_VOID_PTR_INT_SIZE): New.
        (BT_FN_UINT_UINT_VAR): Remove.
        (BT_FN_UINT32_UINT32_VAR): New.
        (BT_FN_DOUBLE_VPTR): Remove.
        (BT_FN_DOUBLE_CONST_DOUBLE_PTR): New.
        * gtm-builtins.def (_ITM_abortTransaction): Set return type to
        void.
        (_ITM_changeTransactionMode): Same.
        (_ITM_memmoveRtWt): Change return type to void.
        (_ITM_memcpyRtWt): Same.
        (_ITM_memsetW): Same.
        (_ITM_RaRD): Change types to double.
        (_ITM_RD): Same.
        (_ITM_RaWD): Same.
        (_ITM_RfWD): Same.
        * builtins.def (DEF_TM_BUILTIN): Set BOTH_P to true.
testsuite/
        PR lto/51698
        * gcc.dg/lto/trans-mem-4_0.c: New.
        * gcc.dg/lto/trans-mem-4_1.c: New.
        * gcc.dg/lto/trans-mem-2_0.c: Provide correct argument types for
        TM builtins.
        * gcc.dg/lto/trans-mem-1_0.c: Require stdint_types.
        * gcc.dg/lto/trans-mem-1_1.c: Provide correct argument types for
        TM builtins.
        * gcc.dg/lto/trans-mem-3_0.c: Require stdint_types.
        * gcc.dg/lto/trans-mem-3_1.c: Provide correct argument types for
        TM builtins.

From-SVN: r183537

12 years agore PR middle-end/51986 (uninitialized variable warning regression prevents bootstrap)
Jakub Jelinek [Wed, 25 Jan 2012 20:22:53 +0000 (21:22 +0100)]
re PR middle-end/51986 (uninitialized variable warning regression prevents bootstrap)

PR middle-end/51986
* sched-deps.c (sched_get_condition_with_rev_uncached): Don't test
for pat == 0.

From-SVN: r183536

12 years agoint24-mul.c: Rename __pgm to __flash.
Georg-Johann Lay [Wed, 25 Jan 2012 20:20:01 +0000 (20:20 +0000)]
int24-mul.c: Rename __pgm to __flash.

* gcc.target/avr/torture/int24-mul.c: Rename __pgm to __flash.

From-SVN: r183535

12 years agoAdd missing function name
Richard Sandiford [Wed, 25 Jan 2012 20:13:45 +0000 (20:13 +0000)]
Add missing function name

From-SVN: r183534

12 years agogo-test.exp (go-gc-tests): Handle a few more test lines.
Ian Lance Taylor [Wed, 25 Jan 2012 19:14:32 +0000 (19:14 +0000)]
go-test.exp (go-gc-tests): Handle a few more test lines.

* go.test/go-test.exp (go-gc-tests): Handle a few more test
lines.

From-SVN: r183533

12 years agomips.c: Don't process ASM_OPERANDS.
Richard Sandiford [Wed, 25 Jan 2012 19:04:44 +0000 (19:04 +0000)]
mips.c: Don't process ASM_OPERANDS.

gcc/
* config/mips/mips.c: Don't process ASM_OPERANDS.

From-SVN: r183532

12 years ago1.cc: Add dg-require-time.
Richard Sandiford [Wed, 25 Jan 2012 19:00:30 +0000 (19:00 +0000)]
1.cc: Add dg-require-time.

libstdc++-v3/
* testsuite/20_util/system_clock/1.cc: Add dg-require-time.
* testsuite/22_locale/time_put/put/wchar_t/12439_1.cc: Likewise.
* testsuite/22_locale/time_put/put/wchar_t/12439_2.cc: Likewise.
* testsuite/22_locale/time_put/put/wchar_t/12439_3.cc: Likewise.
* testsuite/27_io/basic_istream/readsome/wchar_t/6746-2.cc: Add
dg-require-fileio.
* testsuite/27_io/basic_istream/seekg/wchar_t/fstream.cc: Likewise.
* testsuite/27_io/basic_istream/tellg/wchar_t/1.cc: Likewise.
* testsuite/27_io/basic_istream/tellg/wchar_t/fstream.cc: Likewise.
* testsuite/27_io/basic_ostream/seekp/wchar_t/2346-fstream.cc:
Likewise.
* testsuite/27_io/basic_ostream/tellp/wchar_t/1.cc: Likewise.

From-SVN: r183531

12 years agocompiler: Always re-lower lowered expressions.
Ian Lance Taylor [Wed, 25 Jan 2012 18:54:34 +0000 (18:54 +0000)]
compiler: Always re-lower lowered expressions.

From-SVN: r183530

12 years agore PR target/49868 (Implement named address space to place/access data in flash memory)
Georg-Johann Lay [Wed, 25 Jan 2012 18:17:07 +0000 (18:17 +0000)]
re PR target/49868 (Implement named address space to place/access data in flash memory)

PR target/49868
Rename __pgm to __flash.
Rename __pgm1 to __flash1.
Rename __pgm2 to __flash2.
Rename __pgm3 to __flash3.
Rename __pgm4 to __flash4.
Rename __pgm5 to __flash5.
Rename __pgmx to __memx.
* doc/extend.texi (AVR Named Address Spaces)
Rename address space names as indicated above.
* config/avr/avr.c (avr_addrspace): Ditto.
* config/avr/avr-protos.h
(avr_mem_pgmx_p): Rename to avr_mem_memx_p.
(avr_mem_pgm_p): Rename to avr_mem_flash_p.
* config/avr/predicates.md: Ditto.
* config/avr/avr.c Ditto, and
(avr_decl_pgmx_p): Rename to avr_decl_memx_p.
(avr_decl_pgm_p): Rename to avr_decl_flash_p.
* config/avr/avr.h (ADDR_SPACE_PGM): Rename to ADDR_SPACE_FLASH.
(ADDR_SPACE_PGM1): Rename to ADDR_SPACE_FLASH1.
(ADDR_SPACE_PGM2): Rename to ADDR_SPACE_FLASH2.
(ADDR_SPACE_PGM3): Rename to ADDR_SPACE_FLASH3.
(ADDR_SPACE_PGM4): Rename to ADDR_SPACE_FLASH4.
(ADDR_SPACE_PGM5): Rename to ADDR_SPACE_FLASH5.
(ADDR_SPACE_PGMX): Rename to ADDR_SPACE_MEMX.
* config/avr/avr.c: Ditto.
* config/avr/avr.md: Ditto.

From-SVN: r183529

12 years agore PR fortran/51995 ([OOP] Polymorphic class fails at runtime)
Tobias Burnus [Wed, 25 Jan 2012 17:34:39 +0000 (18:34 +0100)]
re PR fortran/51995 ([OOP] Polymorphic class fails at runtime)

2012-01-25  Tobias Burnus  <burnus@net-b.de>

        PR fortran/51995
        * class.c (gfc_build_class_symbol): Ensure that
        fclass->f2k_derived is set.

2012-01-25  Tobias Burnus  <burnus@net-b.de>

        PR fortran/51995
        * gfortran.dg/typebound_proc_25.f90: New.

From-SVN: r183528

12 years agore PR c++/51992 (internal compiler error: tree code ‘target_expr’ is not supported...
Jason Merrill [Wed, 25 Jan 2012 17:16:28 +0000 (12:16 -0500)]
re PR c++/51992 (internal compiler error: tree code ‘target_expr’ is not supported in LTO streams)

PR c++/51992
* tree.c (find_decls_types_in_node): Walk gimple_call_fntype.

From-SVN: r183527

12 years agore PR tree-optimization/51987 (Predictive commoning wrong-code with non-volatile...
Jakub Jelinek [Wed, 25 Jan 2012 15:38:51 +0000 (16:38 +0100)]
re PR tree-optimization/51987 (Predictive commoning wrong-code with non-volatile asm)

PR tree-optimization/51987
* tree-data-ref.c (get_references_in_stmt): Handle references in
non-volatile GIMPLE_ASM.

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

From-SVN: r183524

12 years agotree-ssa-sccvn.c (vn_reference_eq): Also compare if both bases are dereferenced.
Richard Guenther [Wed, 25 Jan 2012 15:36:43 +0000 (15:36 +0000)]
tree-ssa-sccvn.c (vn_reference_eq): Also compare if both bases are dereferenced.

2012-01-25  Richard Guenther  <rguenther@suse.de>

* tree-ssa-sccvn.c (vn_reference_eq): Also compare if both
bases are dereferenced.

From-SVN: r183522

12 years agoFor Greta Yorsh.
Greta Yorsh [Wed, 25 Jan 2012 15:04:39 +0000 (15:04 +0000)]
For Greta Yorsh.

2012-01-25  Greta Yorsh  <Greta.Yorsh@arm.com>

* gcc.dg/tm/lto-1.c: Require lto support in target.

From-SVN: r183521

12 years agore PR rtl-optimization/48374 (ICE: in single_succ_edge, at basic-block.h:562 with...
Andrey Belevantsev [Wed, 25 Jan 2012 13:20:43 +0000 (17:20 +0400)]
re PR rtl-optimization/48374 (ICE: in single_succ_edge, at basic-block.h:562 with -fselective-scheduling2 and __builtin_unreachable())

gcc:
PR rtl-optimization/48374
        * sel-sched-ir.h (get_all_loop_exits): Check for zero successors.

testsuite:
        PR rtl-optimization/48374
        * gcc.dg/pr48374.c: New test.

From-SVN: r183519

12 years agotree-predcom.c (tree_predictive_commoning_loop): Bail out when compute_data_dependenc...
Andrey Belevantsev [Wed, 25 Jan 2012 13:11:50 +0000 (17:11 +0400)]
tree-predcom.c (tree_predictive_commoning_loop): Bail out when compute_data_dependences_for_loop returns false.

        * tree-predcom.c (tree_predictive_commoning_loop): Bail out when
        compute_data_dependences_for_loop returns false.
        * tree-parloops.c (loop_parallel_p): Likewise.

From-SVN: r183518

12 years agoarm: Remove empty directory.
Matthias Klose [Wed, 25 Jan 2012 12:13:12 +0000 (12:13 +0000)]
arm: Remove empty directory.

2012-01-25  Matthias Klose  <doko@ubuntu.com>

        * config/linux/arm: Remove empty directory.
        * configure.tgt (config_path): Remove linux-arm for arm*-*-linux*.

From-SVN: r183516

12 years agorequirements: Remove empty directory.
Matthias Klose [Wed, 25 Jan 2012 12:04:48 +0000 (12:04 +0000)]
requirements: Remove empty directory.

2012-01-25  Matthias Klose  <doko@ubuntu.com>

        * testsuite/30_threads/condition_variable_any/requirements: Remove
        empty directory.

From-SVN: r183515

12 years agotree.h (get_pointer_alignment_1): Declare.
Richard Guenther [Wed, 25 Jan 2012 11:14:28 +0000 (11:14 +0000)]
tree.h (get_pointer_alignment_1): Declare.

2012-01-25  Richard Guenther  <rguenther@suse.de>

* tree.h (get_pointer_alignment_1): Declare.
* builtins.c (get_pointer_alignment_1): New function.
(get_pointer_alignment): Use it.

From-SVN: r183514

12 years agopr50908-2.c (dg-options): Add -fno-short-enums.
Greta Yorsh [Wed, 25 Jan 2012 10:59:11 +0000 (16:29 +0530)]
pr50908-2.c (dg-options): Add -fno-short-enums.

2012-01-25  Greta Yorsh  <Greta.Yorsh@arm.com>
* gcc.dg/pr50908-2.c (dg-options): Add -fno-short-enums.

From-SVN: r183513

12 years agore PR target/48308 (crosscompiling to arm fails with assembler: can't resolve '.LC4...
Ramana Radhakrishnan [Wed, 25 Jan 2012 08:52:39 +0000 (08:52 +0000)]
re PR target/48308 (crosscompiling to arm fails with assembler: can't resolve '.LC4' {.rodata.str1.1 section} - '.LPIC4' {*UND* section})

2012-01-25  Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>

PR rtl-optimization/48308
* combine.c (enum undo_kind): Add UNDO_LINKS.
(struct undo): Add member l to other_contents and where.
(do_SUBST_LINK): New.
(SUBST_LINK): New.
(try_combine): Handle LOG_LINKS for the dummy i1 case.
(undo_all): Handle UNDO_LINKS.

From-SVN: r183512

12 years agore PR fortran/51966 (ICE in gfc_conv_array_constructor_expr)
Tobias Burnus [Wed, 25 Jan 2012 06:59:21 +0000 (07:59 +0100)]
re PR fortran/51966 (ICE in gfc_conv_array_constructor_expr)

2012-01-24  Tobias Burnus  <burnus@net-b.de>

        PR fortran/51966
        * resolve.c (resolve_structure_cons): Only create an
        array constructors for nonscalars.

2012-01-24  Tobias Burnus  <burnus@net-b.de>

        PR fortran/51966
        * gfortran.dg/derived_constructor_char_3.f90: New.

From-SVN: r183510

12 years agore PR c++/51917 (g++.old-deja/g++.abi/vmihint.C FAILs)
Jason Merrill [Wed, 25 Jan 2012 04:39:52 +0000 (23:39 -0500)]
re PR c++/51917 (g++.old-deja/g++.abi/vmihint.C FAILs)

PR c++/51917
* decl.c (xref_basetypes): Check VEC_length instead of VEC_space.

From-SVN: r183509

12 years agoDaily bump.
GCC Administrator [Wed, 25 Jan 2012 00:19:21 +0000 (00:19 +0000)]
Daily bump.

From-SVN: r183507

12 years agoc-common.c (c_common_type_for_mode): Match signed/unsigned types exactly.
Mike Stump [Wed, 25 Jan 2012 00:06:27 +0000 (00:06 +0000)]
c-common.c (c_common_type_for_mode): Match signed/unsigned types exactly.

* c-common.c (c_common_type_for_mode): Match signed/unsigned types
exactly.

From-SVN: r183503

12 years agoUpdate to current Go testsuite.
Ian Lance Taylor [Wed, 25 Jan 2012 00:04:13 +0000 (00:04 +0000)]
Update to current Go testsuite.

* go.test/go-test.exp (filecmp): New procedure.
(errchk): Handle quoted square brackets.
(go-gc-tests): Set go_compile_args. Handle various new test
lines.  Skip a few new tests.
* lib/go-torture.exp (go-torture-execute): Use go_compile_args.

From-SVN: r183502

12 years agocompiler: Error if type switch case can not implement switch value.
Ian Lance Taylor [Tue, 24 Jan 2012 23:26:20 +0000 (23:26 +0000)]
compiler: Error if type switch case can not implement switch value.

From-SVN: r183500

12 years agocompiler: Do not allow slice of array literal.
Ian Lance Taylor [Tue, 24 Jan 2012 22:33:43 +0000 (22:33 +0000)]
compiler: Do not allow slice of array literal.

From-SVN: r183499

12 years agooptabs.c (maybe_emit_atomic_test_and_set): Mark model unused.
Richard Henderson [Tue, 24 Jan 2012 21:11:49 +0000 (13:11 -0800)]
optabs.c (maybe_emit_atomic_test_and_set): Mark model unused.

        * optabs.c (maybe_emit_atomic_test_and_set): Mark model unused.
        Allow non-QImode mem inputs.

From-SVN: r183497

12 years agocompiler: Simple statement in type switch is in different block.
Ian Lance Taylor [Tue, 24 Jan 2012 20:52:37 +0000 (20:52 +0000)]
compiler: Simple statement in type switch is in different block.

From-SVN: r183496

12 years agooptabs.c (gen_atomic_test_and_set): Use each argument.
Richard Sandiford [Tue, 24 Jan 2012 19:50:14 +0000 (19:50 +0000)]
optabs.c (gen_atomic_test_and_set): Use each argument.

gcc/
* optabs.c (gen_atomic_test_and_set): Use each argument.

From-SVN: r183494

12 years agogcc/testsuite/
Richard Sandiford [Tue, 24 Jan 2012 19:40:52 +0000 (19:40 +0000)]
gcc/testsuite/
* lib/target-supports.exp (proc check_effective_target_vect_perm)
(check_effective_target_vect_extract_even_odd)
(check_effective_target_vect_interleave): Return true for MIPS
paired-single.

From-SVN: r183493

12 years agogcc/
Richard Sandiford [Tue, 24 Jan 2012 19:35:25 +0000 (19:35 +0000)]
gcc/
* config/mips/mips-ps-3d.md (mips_addr_ps, reduc_splus_v2sf)
(mips_cvt_pw_ps, mips_cvt_ps_pw, mips_mulr_ps, mips_cabs_cond_<fmt>)
(mips_cabs_cond_4s, mips_cabs_cond_ps, bc1any4t, bc1any4f, bc1any2t)
(bc1any2f, mips_rsqrt1_<fmt>, mips_rsqrt2_<fmt>, mips_recip1_<fmt>)
(mips_recip2_<fmt>): Require TARGET_MIPS3D rather than
TARGET_PAIRED_SINGLE_FLOAT.

From-SVN: r183492

12 years agot-linux64: Delete.
Alan Modra [Tue, 24 Jan 2012 19:35:22 +0000 (06:05 +1030)]
t-linux64: Delete.

* config/rs6000/t-linux64: Delete.  Move..
* config/rs6000/t-ppc64-fp: ..softfp_wrap defines to here..
* config/rs6000/t-linux: ..and libgcc flags to here.

From-SVN: r183491

12 years agocompiler: Correct type of expressions involving character constants.
Ian Lance Taylor [Tue, 24 Jan 2012 19:33:52 +0000 (19:33 +0000)]
compiler: Correct type of expressions involving character constants.

From-SVN: r183490

12 years agoscal-to-vec1.c (one): New volatile variable.
Richard Sandiford [Tue, 24 Jan 2012 19:23:56 +0000 (19:23 +0000)]
scal-to-vec1.c (one): New volatile variable.

gcc/testsuite/
* gcc.c-torture/execute/scal-to-vec1.c (one): New volatile variable.
(main): Use it instead of argc.

From-SVN: r183489

12 years agolibitm: Fix wake-up of readers in futex-based serial lock.
Torvald Riegel [Tue, 24 Jan 2012 19:17:05 +0000 (19:17 +0000)]
libitm: Fix wake-up of readers in futex-based serial lock.

libitm/
* config/linux/rwlock.cc (GTM::gtm_rwlock::write_unlock): Fix reader
wake-up.

From-SVN: r183488

12 years agore PR c++/51973 ([C++11] Template parameter deduction fails for overloaded functions...
Jason Merrill [Tue, 24 Jan 2012 19:07:24 +0000 (14:07 -0500)]
re PR c++/51973 ([C++11] Template parameter deduction fails for overloaded functions when template parameters have defaulted arguments)

PR c++/51973
* tree.c (called_fns_equal): Check template args.
(cp_tree_equal): Call it.

From-SVN: r183487

12 years agortl.texi (MEM_IN_STRUCT_P, [...]): Delete.
Richard Sandiford [Tue, 24 Jan 2012 19:06:38 +0000 (19:06 +0000)]
rtl.texi (MEM_IN_STRUCT_P, [...]): Delete.

gcc/
* doc/rtl.texi (MEM_IN_STRUCT_P, MEM_SCALAR_P): Delete.
(in_struct, return_val): Remove MEM documentation.
* rtl.h (rtx_def): Remove MEM meanings from in_struct and return_val.
(MEM_IN_STRUCT_P, MEM_SCALAR_P): Delete.
(MEM_COPY_ATTRIBUTES): Remove references to MEM_IN_STRUCT_P
and MEM_SCALAR.
* emit-rtl.c (set_mem_attributes_minus_bitpos): Likewise.
* cfgexpand.c (add_alias_set_conflicts): Likewise.
* expr.c (store_field): Likewise.
* function.c (assign_stack_temp_for_type): Likewise.
* ifcvt.c (noce_try_cmove_arith): Likewise.
* reload1.c (reload): Likewise.
* config/alpha/alpha.c (alpha_set_memflags_1): Likewise.
(alpha_set_memflags): Likewise.
* config/m32c/m32c.c (m32c_immd_dbl_mov): Nullify.

gcc/testsuite/
* gcc.dg/memcpy-4.c: Don't expect /s on MEMs.

From-SVN: r183486

12 years agortl.h (true_dependence, [...]): Remove varies parameter.
Richard Sandiford [Tue, 24 Jan 2012 19:03:33 +0000 (19:03 +0000)]
rtl.h (true_dependence, [...]): Remove varies parameter.

gcc/
* rtl.h (true_dependence, canon_true_dependence): Remove varies
parameter.
* alias.c (fixed_scalar_and_varying_struct_p): Delete.
(true_dependence_1, write_dependence_p, may_alias_p): Don't call it.
(true_dependence_1, true_dependence, canon_true_dependence): Remove
varies parameter.
* cselib.c (cselib_rtx_varies_p): Delete.
(cselib_invalidate_mem): Update call to canon_true_dependence.
* dse.c (record_store, check_mem_read_rtx): Likewise.
(scan_reads_nospill): Likewise.
* cse.c (check_dependence): Likewise.
(cse_rtx_varies_p): Delete.
* expr.c (safe_from_p): Update call to true_dependence.
* ira.c (validate_equiv_mem_from_store): Likewise.
(memref_referenced_p): Likewise.
* postreload-gcse.c (find_mem_conflicts): Likewise.
* sched-deps.c (sched_analyze_2): Likewise.
* store-motion.c (load_kills_store): Likewise.
* config/frv/frv.c (frv_registers_conflict_p_1): Likewise.
* gcse.c (mems_conflict_for_gcse_p): Likewise.
(compute_transp): Update call to canon_true_dependence.

From-SVN: r183485

12 years agoatomic: Create and use maybe_emit_atomic_test_and_set.
Richard Henderson [Tue, 24 Jan 2012 17:55:29 +0000 (09:55 -0800)]
atomic: Create and use maybe_emit_atomic_test_and_set.

* optabs.c (CODE_FOR_atomic_test_and_set): Provide default.
(maybe_emit_atomic_test_and_set): New.
(expand_sync_lock_test_and_set): Use it.
(expand_atomic_test_and_set): Likewise.
* doc/extend.texi (__atomic_test_and_set): Adjust the docs to match
the implementation; clarify implementation defined details.
* doc/md.texi (atomic_test_and_set): Document.

From-SVN: r183483

12 years agocompiler: Verify types of sink variables.
Ian Lance Taylor [Tue, 24 Jan 2012 17:52:41 +0000 (17:52 +0000)]
compiler: Verify types of sink variables.

From-SVN: r183482

12 years agosparc: Use match_code in zero_or_v7_operand.
Richard Henderson [Tue, 24 Jan 2012 17:44:15 +0000 (09:44 -0800)]
sparc: Use match_code in zero_or_v7_operand.

Failure to do so means that genpreds doesn't know that we're
matching a const_int, and it generates the wrong mode test.

        * config/sparc/predicates.md (zero_or_v7_operand): Use match_code.

From-SVN: r183481

12 years agore PR target/51968 (gcc trunk (ARM) ICEs in final_scan_insn in final.c:2716, with...
Richard Henderson [Tue, 24 Jan 2012 17:33:41 +0000 (09:33 -0800)]
re PR target/51968 (gcc trunk (ARM) ICEs in final_scan_insn in final.c:2716, with "could not split insn" error msg)

PR target/51968
        * config/arm/arm.c (neon_split_vcombine): Emit deleted note
        to effect no-op split.

From-SVN: r183480

12 years agocompiler: Better handling of erroneous function signatures.
Ian Lance Taylor [Tue, 24 Jan 2012 17:22:40 +0000 (17:22 +0000)]
compiler: Better handling of erroneous function signatures.

From-SVN: r183479

12 years ago+ PR c++/51928 + * class.c (set_method_tm_attributes): Use TARGET_THUNK instead...
Aldy Hernandez [Tue, 24 Jan 2012 16:47:24 +0000 (16:47 +0000)]
+ PR c++/51928 + * class.c (set_method_tm_attributes): Use TARGET_THUNK instead...

+       PR c++/51928
+       * class.c (set_method_tm_attributes): Use TARGET_THUNK instead of
+       thunk for set_one_vmethod_tm_attributes.

Co-Authored-By: Patrick Marlier <patrick.marlier@gmail.com>
From-SVN: r183478

12 years ago+ * trans-mem.c (requires_barrier): Do not instrument thread local + variables and...
Aldy Hernandez [Tue, 24 Jan 2012 13:38:10 +0000 (13:38 +0000)]
+ * trans-mem.c (requires_barrier): Do not instrument thread local + variables and emit save/restore for them.

+       * trans-mem.c (requires_barrier): Do not instrument thread local
+       variables and emit save/restore for them.

Co-Authored-By: Patrick Marlier <patrick.marlier@gmail.com>
From-SVN: r183476

12 years agore PR c++/51812 (Virtual public inheritance and thunks leads to "undefined reference...
Jason Merrill [Tue, 24 Jan 2012 13:37:38 +0000 (08:37 -0500)]
re PR c++/51812 (Virtual public inheritance and thunks leads to "undefined reference" in header files.)

PR c++/51812
* cgraphunit.c (cgraph_decide_is_function_needed): Don't always
output static aliases.

From-SVN: r183475

12 years agore PR driver/47249 (ICE in common_handle_option, at opts.c:1695 with unknown option...
Jakub Jelinek [Tue, 24 Jan 2012 13:18:08 +0000 (14:18 +0100)]
re PR driver/47249 (ICE in common_handle_option, at opts.c:1695 with unknown option passed to cc1)

PR driver/47249
* common.opt (-pie, -shared, pie, shared): Change from Common to
Driver.
* gcc.c (display_help): Display help for -pie and -shared.

From-SVN: r183474

12 years agore PR target/49868 (Implement named address space to place/access data in flash memory)
Georg-Johann Lay [Tue, 24 Jan 2012 12:38:52 +0000 (12:38 +0000)]
re PR target/49868 (Implement named address space to place/access data in flash memory)

PR target/49868
* doc/extend.texi (AVR Named Address Spaces): Move sample code up.
Remove note on size/offset limitation.
(AVR Variable Attributes): Add example how to read data located
with progmem.  Refer to named address spaces.
* doc/invoke.texi (AVR Options): Fix typo.

From-SVN: r183473

12 years agore PR c++/51223 (ICE with invalid function parameter)
Paolo Carlini [Tue, 24 Jan 2012 10:39:03 +0000 (10:39 +0000)]
re PR c++/51223 (ICE with invalid function parameter)

/cp
2012-01-24  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/51223
* call.c (build_over_call): Check for error_mark_node as
TREE_VALUE when default arguments are processed.

/testsuite
2012-01-24  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/51223
* g++.dg/parse/crash58.C: New.

From-SVN: r183472

12 years ago[multiple changes]
Richard Guenther [Tue, 24 Jan 2012 09:17:01 +0000 (09:17 +0000)]
[multiple changes]

2012-01-24  Richard Guenther  <rguenther@suse.de>

Forward-port to trunk
2010-09-21  Jakub Jelinek  <jakub@redhat.com>

PR middle-end/45678
* expr.c (expand_expr_real_1) <case VIEW_CONVERT_EXPR>: If
op0 isn't sufficiently aligned and there is movmisalignM
insn for mode, use it to load op0 into a temporary register.

From-SVN: r183470

12 years agore PR target/51957 (ppc64 .debug_loc toc reference)
Jakub Jelinek [Tue, 24 Jan 2012 07:24:34 +0000 (08:24 +0100)]
re PR target/51957 (ppc64 .debug_loc toc reference)

PR target/51957
* target.def (const_not_ok_for_debug_p): New hook.
* doc/tm.texi.in (TARGET_CONST_NOT_OK_FOR_DEBUG_P): New hook
documentation.
* doc/tm.texi: Regenerated.
* dwarf2out.c (const_ok_for_output_1): If
targetm.const_not_ok_for_debug_p returns true, fail.
* config/rs6000/rs6000.c (rs6000_const_not_ok_for_debug_p): New
function.
(TARGET_CONST_NOT_OK_FOR_DEBUG_P): Redefine.

* gcc.dg/pr51957-1.c: New test.
* gcc.dg/pr51957-1.h: New file.
* gcc.dg/pr51957-2.c: New test.

From-SVN: r183468

12 years agotarget.h (gtm_jmpbuf): Move rip to the end of structure.
Uros Bizjak [Tue, 24 Jan 2012 07:23:57 +0000 (08:23 +0100)]
target.h (gtm_jmpbuf): Move rip to the end of structure.

* config/x86/target.h (gtm_jmpbuf) [__x86_64__]: Move rip to the
end of structure.
* config/x86/sjlj.S (_ITM_beginTransaction) [__x86_64__]: Update
offset values.  Do not copy return address.  Decrement stack
by 56 bytes only.
(GTM_longjump) [__x86_64__]: Update offset values.

From-SVN: r183467

12 years agocompiler: Better error message for invalid use of predeclared function.
Ian Lance Taylor [Tue, 24 Jan 2012 07:00:15 +0000 (07:00 +0000)]
compiler: Better error message for invalid use of predeclared function.

From-SVN: r183466

12 years agoMakefile.am (libstdc++convenience.la): Correct stamp rule, copy.
Benjamin Kosnik [Tue, 24 Jan 2012 05:22:23 +0000 (05:22 +0000)]
Makefile.am (libstdc++convenience.la): Correct stamp rule, copy.

2012-01-23  Benjamin Kosnik  <bkoz@redhat.com>

* src/Makefile.am (libstdc++convenience.la): Correct stamp rule, copy.
* src/Makefile.in: Regenerate.

From-SVN: r183465

12 years agoAdding line to ChangeLog for the change in MAINTAINERS file.
Harshit Chopra [Tue, 24 Jan 2012 01:14:09 +0000 (01:14 +0000)]
Adding line to ChangeLog for the change in MAINTAINERS file.

From-SVN: r183464

12 years agoAdding myself to MAINTAINERS file for write after approval.
Harshit Chopra [Tue, 24 Jan 2012 00:54:44 +0000 (00:54 +0000)]
Adding myself to MAINTAINERS file for write after approval.

From-SVN: r183463

12 years agoDaily bump.
GCC Administrator [Tue, 24 Jan 2012 00:18:44 +0000 (00:18 +0000)]
Daily bump.

From-SVN: r183462

12 years agocompiler: Give an error if a variable is defined but not used.
Ian Lance Taylor [Mon, 23 Jan 2012 23:55:31 +0000 (23:55 +0000)]
compiler: Give an error if a variable is defined but not used.

From-SVN: r183458

12 years ago[multiple changes]
Benjamin Kosnik [Mon, 23 Jan 2012 23:12:01 +0000 (23:12 +0000)]
[multiple changes]

2012-01-20  Benjamin Kosnik  <bkoz@redhat.com>

PR libstdc++/49829
Add libc++98convenience.la, libc++11convenience.la.
* src/c++98: New directory.
* src/c++11: New directory.
* acinclude.m4: (GLIBCXX_CONFIGURE): Add src-c++98, src-c++11.
* configure: Regenerated.
* Makefile.am (hosted_source): Add src-c++98, src-c++11 to SUBDIRS.
* Makefile.in: Regenerate.
* libsupc++/Makefile.am (AM_CXXFLAGS): USe XTEMPLATE_FLAGS for
-fno-implicit-templates.
* libsupc++/Makefile.in: Regenerate.
* src/Makefile.am (inst_sources): Move... C++11 files into
separate directory for libstdc++11convenience.la. Files are:
fstream-inst.cc, string-inst.cc, wlocale-inst.cc, wstring-inst.cc).
(sources): Move C++11 files. Files are: compatibility-c++0x.cc,
compatibility-atomic-c++0x.cc, debug.cc, functexcept.cc,
functional.cc, hash_c++0x.cc, hashtable_c++0x.cc, limits.cc,
system_error.cc, placeholders.cc, regex.cc, shared_ptr.cc,
mutex.cc, condition_variable.cc, chrono.cc, thread.cc, future.cc.
(libstdc++convenience.la): Add new target.
(SUBDIRS): Add c++11, c++98.
* src/Makefile.in: Regenerate.
* src/c++11/Makefile.am: New.
* src/c++11/Makefile.in: Generate.
* src/c++98/Makefile.am: New, C++98 files.
* src/c++98/Makefile.in: Generate.

2012-01-23  Benjamin Kosnik  <bkoz@redhat.com>

PR libstdc++/49829
Add libc++98convenience.la, libc++11convenience.la.
* src/c++98: New directory.
* src/c++11: New directory.
* acinclude.m4: (GLIBCXX_CONFIGURE): Add src-c++98, src-c++11.
* configure: Regenerated.
* Makefile.am (hosted_source): Add src-c++98, src-c++11 to SUBDIRS.
* Makefile.in: Regenerate.
* libsupc++/Makefile.am (AM_CXXFLAGS): USe XTEMPLATE_FLAGS for
-fno-implicit-templates.
* libsupc++/Makefile.in: Regenerate.
* src/Makefile.am (inst_sources): Move... C++11 files into
separate directory for libstdc++11convenience.la. Files are:
fstream-inst.cc, string-inst.cc, wlocale-inst.cc, wstring-inst.cc).
(sources): Move C++11 files. Files are: compatibility-c++0x.cc,
compatibility-atomic-c++0x.cc, debug.cc, functexcept.cc,
functional.cc, hash_c++0x.cc, hashtable_c++0x.cc, limits.cc,
system_error.cc, placeholders.cc, regex.cc, shared_ptr.cc,
mutex.cc, condition_variable.cc, chrono.cc, thread.cc, future.cc.
(libstdc++convenience.la): Add new target.
(SUBDIRS): Add c++11, c++98.
* src/Makefile.in: Regenerate.
* src/c++11/Makefile.am: New.
* src/c++11/Makefile.in: Generate.
* src/c++98/Makefile.am: New, C++98 files.
* src/c++98/Makefile.in: Generate.

From-SVN: r183457

12 years agore PR c++/51930 (Explicitly instantiated template gets hidden visibility)
Jason Merrill [Mon, 23 Jan 2012 20:48:31 +0000 (15:48 -0500)]
re PR c++/51930 (Explicitly instantiated template gets hidden visibility)

PR c++/51930
* decl2.c (determine_visibility): Check for visibility attribute
on template specialization.

From-SVN: r183455

12 years agouse scan-not-hidden
Jason Merrill [Mon, 23 Jan 2012 20:48:23 +0000 (15:48 -0500)]
use scan-not-hidden

From-SVN: r183454

12 years agore PR fortran/51948 ([OOP] Rejects valid: Function result value in MOVE_ALLOC, nested...
Tobias Burnus [Mon, 23 Jan 2012 20:38:23 +0000 (21:38 +0100)]
re PR fortran/51948 ([OOP] Rejects valid: Function result value in MOVE_ALLOC, nested in SELECT TYPE)

2012-01-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/51948
        * check.c (variable_check): Fix checking for
        result variables and deeply nested BLOCKs.

2012-01-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/51948
        * gfortran.dg/move_alloc_12.f90: New.

From-SVN: r183453

12 years agoUpdate my e-mail address.
James Lemke [Mon, 23 Jan 2012 20:32:05 +0000 (20:32 +0000)]
Update my e-mail address.

From-SVN: r183452

12 years agosysv.S (ffi_call_SYSV): Properly test for plain mc68000.
Andreas Schwab [Mon, 23 Jan 2012 20:00:44 +0000 (20:00 +0000)]
sysv.S (ffi_call_SYSV): Properly test for plain mc68000.

* src/m68k/sysv.S (ffi_call_SYSV): Properly test for plain
mc68000.  Test for __HAVE_68881__ in addition to __MC68881__.

From-SVN: r183451

12 years agore PR target/51900 (const variable initialization always zero)
Kai Tietz [Mon, 23 Jan 2012 19:55:35 +0000 (20:55 +0100)]
re PR target/51900 (const variable initialization always zero)

PR target/51900
* config/i386/predicates.md (symbolic_operand): Allow
UNSPEC_PCREL as PIC expression for lea.
* config/i386/winnt.c (i386_pe_binds_local_p): Reworked.
* config/i386/i386.c (ix86_delegitimize_address): Handle
UNSPEC_PCREL for none-MEM, too.

From-SVN: r183450

12 years agore PR middle-end/45416 (Code size regression from 4.4 for ARM)
Ramana Radhakrishnan [Mon, 23 Jan 2012 17:59:51 +0000 (17:59 +0000)]
re PR middle-end/45416 (Code size regression from 4.4 for ARM)

2012-01-23  Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>

       PR middle-end/45416
        * gcc.dg/pr45416.c: Skip if Thumb1. Handle ubfx.

From-SVN: r183446

12 years agore PR c++/51398 (ICE with invalid template parameter)
Paolo Carlini [Mon, 23 Jan 2012 17:56:42 +0000 (17:56 +0000)]
re PR c++/51398 (ICE with invalid template parameter)

/cp
2012-01-23  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/51398
* pt.c (parameter_of_template_p): Skip error_mark_node parameters.

/testsuite
2012-01-23  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/51398
* g++.dg/template/crash111.C: New.

From-SVN: r183445

12 years agotrans-mem.c (ipa_tm_create_version): Set externally_visible.
Aldy Hernandez [Mon, 23 Jan 2012 17:53:51 +0000 (17:53 +0000)]
trans-mem.c (ipa_tm_create_version): Set externally_visible.

        * trans-mem.c (ipa_tm_create_version): Set externally_visible.
        (ipa_tm_create_version_alias): Same.

From-SVN: r183444

12 years agocxh1001.a: Removed, test not suitable on all configurations.
Arnaud Charlet [Mon, 23 Jan 2012 17:49:03 +0000 (17:49 +0000)]
cxh1001.a: Removed, test not suitable on all configurations.

* ada/acats/tests/cxh/cxh1001.a: Removed, test not suitable on all
configurations.
* ada/acats/run_all.sh: Simplify by removing cxh1001 special case.

From-SVN: r183443

12 years agoDon't XFAIL 22_locale/num_put/put/*char/14220.cc on 32-bit Solaris 10/x86
Rainer Orth [Mon, 23 Jan 2012 17:46:34 +0000 (17:46 +0000)]
Don't XFAIL 22_locale/num_put/put/*char/14220.cc on 32-bit Solaris 10/x86

* testsuite/22_locale/num_put/put/char/14220.cc: Don't xfail on
32-bit Solaris 10/x86.
* testsuite/22_locale/num_put/put/wchar_t/14220.cc: Likewise.

From-SVN: r183442

12 years agoPR testsuite/51941 - FAIL g++.dg/debug/dwarf2/nested-3.C on Darwin
Dodji Seketeli [Mon, 23 Jan 2012 17:05:46 +0000 (17:05 +0000)]
PR testsuite/51941 - FAIL g++.dg/debug/dwarf2/nested-3.C on Darwin

gcc/testsuite/

PR testsuite/51941
* g++.dg/debug/dwarf2/nested-3.C:  Accept multiple lines between
the DW_TAG_class_type and DW_AT_name: "Executor".

From-SVN: r183441

12 years ago2012-01-23 Ramana Radhakrishnan <ramana.radhakrishnan@linaro.org>
Ramana Radhakrishnan [Mon, 23 Jan 2012 16:51:31 +0000 (16:51 +0000)]
2012-01-23  Ramana Radhakrishnan  <ramana.radhakrishnan@linaro.org>

        * lib/target-supports.exp
        (check_effective_target_vect_extract_even_odd): Handle
        ARM neon.
        (check_effective_target_vect_interleave): Likewise.

From-SVN: r183439

12 years agore PR c++/51925 (ICE in tsubst with using and template function)
Jason Merrill [Mon, 23 Jan 2012 16:35:31 +0000 (11:35 -0500)]
re PR c++/51925 (ICE in tsubst with using and template function)

PR c++/51925
* class.c (add_method): Set OVL_USED for using-decls.
* tree.c (ovl_scope): New.
* cp-tree.h: Declare it.
* parser.c (cp_parser_template_name): Use it.
* semantics.c (baselink_for_fns): Likewise.
* name-lookup.c (set_inherited_value_binding_p): Likewise.

From-SVN: r183438

12 years agore PR target/51934 (FAIL: g++.dg/torture/pr51344.C -O0 (test for excess errors...
Jason Merrill [Mon, 23 Jan 2012 15:30:48 +0000 (10:30 -0500)]
re PR target/51934 (FAIL: g++.dg/torture/pr51344.C  -O0  (test for excess errors)  due to "cdecl attribute ignored" warning)

PR target/51934
* g++.dg/torture/pr51344.C: Limit to x86.

From-SVN: r183436

12 years agore PR libitm/51830 (FAIL: libitm.c/mem(cpy|set)-1.c execution test)
Uros Bizjak [Mon, 23 Jan 2012 14:57:44 +0000 (15:57 +0100)]
re PR libitm/51830 (FAIL: libitm.c/mem(cpy|set)-1.c execution test)

PR libitm/51830
* builtin-types.def (BT_FN_UINT_UINT_VAR): New.
* gtm-builtins.def (BUILT_IN_TM_START): Declare as BT_FN_UINT_UINT_VAR.

libitm/ChangeLog:

PR libitm/51830
* config/x86/sjlj.S (_ITM_beginTransaction) [!__x86_64__]: Load
the first function argument to %eax.

From-SVN: r183435

12 years agore PR target/51934 (FAIL: g++.dg/torture/pr51344.C -O0 (test for excess errors...
Jason Merrill [Mon, 23 Jan 2012 14:43:25 +0000 (09:43 -0500)]
re PR target/51934 (FAIL: g++.dg/torture/pr51344.C  -O0  (test for excess errors)  due to "cdecl attribute ignored" warning)

PR target/51934
* g++.dg/torture/pr51344.C: Use noreturn instead of cdecl.

From-SVN: r183434

12 years agore PR lto/51916 (FAIL: gcc.dg/lto/trans-mem-3 c_lto_trans-mem-3_0.o-c_lto_trans-mem...
Aldy Hernandez [Mon, 23 Jan 2012 14:07:41 +0000 (14:07 +0000)]
re PR lto/51916 (FAIL: gcc.dg/lto/trans-mem-3 c_lto_trans-mem-3_0.o-c_lto_trans-mem-3_1.o link, -flto (internal compiler error))

       PR lto/51916
        * lto-wrapper.c (run_gcc): Pass the LTO section name to
        simple_object_start_read.

Co-Authored-By: Iain Sandoe <developer@sandoe-acoustics.co.uk>
Co-Authored-By: Patrick Marlier <patrick.marlier@gmail.com>
From-SVN: r183433

12 years agoomp.c: Require target with pthread support.
Greta Yorsh [Mon, 23 Jan 2012 13:07:58 +0000 (18:37 +0530)]
omp.c: Require target with pthread support.

2012-01-23  Greta Yorsh  <Greta.Yorsh@arm.com>
* c-c++-common/tm/omp.c: Require target with pthread support.

From-SVN: r183432

12 years agoRemove _ITM_getThreadnum
Rainer Orth [Mon, 23 Jan 2012 13:05:00 +0000 (13:05 +0000)]
Remove _ITM_getThreadnum

* libitm.h (_ITM_getThreadnum): Remove.
* libitm.map (_ITM_getThreadnum): Remove from LIBITM_1.0.

From-SVN: r183431

12 years agoClear hardware capabilities on libitm.so with Sun ld
Rainer Orth [Mon, 23 Jan 2012 13:03:25 +0000 (13:03 +0000)]
Clear hardware capabilities on libitm.so with Sun ld

* clearcap.map: New file.
* acinclude.m4 (LIBITM_CHECK_LINKER_HWCAP): New test.
* configure.ac: Call it.
Clear HWCAP_LDFLAGS if defaulting to -mavx.
* Makefile.am (AM_LDFLAGS): Add $(HWCAP_LDFLAGS)
* configure: Regenerate.
* Makefile.in: Regenerate.
* testsuite/Makefile.in: Regenerate.

From-SVN: r183430

12 years agore PR middle-end/51895 (ICE in simplify_subreg)
Richard Guenther [Mon, 23 Jan 2012 11:59:53 +0000 (11:59 +0000)]
re PR middle-end/51895 (ICE in simplify_subreg)

2012-01-23  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/51895
* tree-sra.c (decide_one_param_reduction): Avoid sub-optimal
parameter decomposition into BLKmode components.

From-SVN: r183429

12 years agotree-ssa-structalias.c (intra_create_variable_infos): Do not create fake variables...
Eric Botcazou [Mon, 23 Jan 2012 11:19:22 +0000 (11:19 +0000)]
tree-ssa-structalias.c (intra_create_variable_infos): Do not create fake variables for restrict-qualified pointers whose pointed-to...

* tree-ssa-structalias.c (intra_create_variable_infos): Do not create
fake variables for restrict-qualified pointers whose pointed-to type
contains a placeholder.

From-SVN: r183427

12 years agolang.c (java_init_options_struct): Set frontend_set_flag_trapping_math.
Andreas Schwab [Mon, 23 Jan 2012 11:07:55 +0000 (11:07 +0000)]
lang.c (java_init_options_struct): Set frontend_set_flag_trapping_math.

* lang.c (java_init_options_struct): Set
frontend_set_flag_trapping_math.

From-SVN: r183425

12 years agore PR middle-end/51949 (expand_call: seg fault caused by IPA split)
Richard Guenther [Mon, 23 Jan 2012 10:52:57 +0000 (10:52 +0000)]
re PR middle-end/51949 (expand_call: seg fault caused by IPA split)

2012-01-23  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/51949
* ipa-split.c (execute_split_functions): Do not split malloc
functions.

* gcc.dg/torture/pr51949.c: New testcase.

From-SVN: r183424

12 years ago[multiple changes]
Arnaud Charlet [Mon, 23 Jan 2012 09:54:49 +0000 (10:54 +0100)]
[multiple changes]

2012-01-23  Robert Dewar  <dewar@adacore.com>

* sem_prag.ads, sem_prag.adb: Minor reformatting.

2012-01-23  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications): Check for
language defined aspect applied to renaming or formal type
declaration (not permitted)

2012-01-23  Matthew Heaney  <heaney@adacore.com>

* a-cdlili.adb, a-cidlli.adb, a-cbdlli.adb (Vet): Replaced
comment with pragma Assert.

From-SVN: r183423

12 years agosem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call to Make_Aspect_For_PPC_In...
Vincent Pucci [Mon, 23 Jan 2012 09:44:36 +0000 (09:44 +0000)]
sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode.

2012-01-23  Vincent Pucci  <pucci@adacore.com>

* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): Call
to Make_Aspect_For_PPC_In_Gen_Sub_Decl added in ASIS mode.
* sem_prag.adb, sem_prag.ads (Make_Aspect_For_PPC_In_Gen_Sub_Decl): New
routine. In ASIS mode, convert any PPC pragmas into aspects in generic
subprogram declaration in order to enable the analysis of PPC boolean
expressions.

From-SVN: r183422

12 years agoMinor reformatting.
Arnaud Charlet [Mon, 23 Jan 2012 09:42:26 +0000 (10:42 +0100)]
Minor reformatting.

From-SVN: r183421

12 years ago[multiple changes]
Arnaud Charlet [Mon, 23 Jan 2012 09:41:36 +0000 (10:41 +0100)]
[multiple changes]

2012-01-23  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb (Analyze_Object_Declaration): Properly
handle Current_Value for volatile variables (also propagate
Treat_As_Volatile from type to object).

2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch12.adb (Install_Body): Detect the case
where the enclosing context is a package with a stub body that
has already been replaced by the actual body. In such cases,
the freeze node for the enclosing context must be inserted after
the real body.

2012-01-23  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_Pragma, case Debug): Freeze the called
subprogram before expanding the pragma into an if-statement with
a block, to ensure that when the subprogram is null its body is
properly generated before expansion.

From-SVN: r183420

12 years ago[multiple changes]
Arnaud Charlet [Mon, 23 Jan 2012 09:39:27 +0000 (10:39 +0100)]
[multiple changes]

2012-01-23  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch12.adb (Analyze_Associations): Alphabetize local variables and
constants. Rename Actual_Types to Actuals_To_Freeze. Rename Next_Formal
to Saved_Formal.
Freeze all eligible subprograms which appear as actuals in
the instantiation.
(Has_Fully_Defined_Profile): New routine.
(Renames_Standard_Subprogram): New routine.
(Earlier): Add local variable N. Comment update. Do not use source
locations when trying to determine whether one node precedes another.

2012-01-23  Gary Dismukes  <dismukes@adacore.com>

* exp_ch4.adb (Expand_Concatenate): In the case
where the result of a concatentation can be null, set the to
result have both the low and high bounds of the right operand (not
just the high bound, as was the case prior to this fix). Also,
fix the saved high bound setting (Last_Opnd_High_Bound) in the
empty string literal case (should have been low bound minus one,
rather than plus one).

2012-01-23  Thomas Quinot  <quinot@adacore.com>

* scos.ads, put_scos.adb, get_scos.adb (Get_SCOs, Put_SCOs): Do not
omit statement SCOs for disabled pragmas.

From-SVN: r183419

12 years agoa-cohase.ads, [...] (Cursor'Read, [...]): Declare in private part.
Matthew Heaney [Mon, 23 Jan 2012 09:35:53 +0000 (09:35 +0000)]
a-cohase.ads, [...] (Cursor'Read, [...]): Declare in private part.

2012-01-23  Matthew Heaney  <heaney@adacore.com>

* a-cohase.ads, a-cihase.ads, a-cbhase.ads, a-coorse.ads,
a-ciorse.ads, a-cborse.ads, a-cohama.ads, a-cihama.ads, a-cbhama.ads,
a-coorma.ads, a-ciorma.ads, a-cborma.ads, a-cdlili.ads, a-cidlli.ads,
a-cbdlli.ads, a-convec.ads, a-coinve.ads, a-cobove.ads (Cursor'Read,
Cursor'Write): Declare in private part.
(Reference_Type'Read, Reference_Type'Write): Ditto.
(Constant_Reference_Type'Read, Constant_Reference_Type'Write): Ditto.

From-SVN: r183418

12 years agoa-catizo.ads, [...]: Minor reformatting.
Robert Dewar [Mon, 23 Jan 2012 09:33:31 +0000 (09:33 +0000)]
a-catizo.ads, [...]: Minor reformatting.

2012-01-23  Robert Dewar  <dewar@adacore.com>

* a-catizo.ads, a-calend.adb, a-calend.ads, par-ch13.adb: Minor
reformatting.

From-SVN: r183417

12 years agore PR rtl-optimization/51933 (wrong code due to -free)
Jakub Jelinek [Mon, 23 Jan 2012 09:25:52 +0000 (10:25 +0100)]
re PR rtl-optimization/51933 (wrong code due to -free)

PR rtl-optimization/51933
* ree.c (transform_ifelse): Return true right away if dstreg is
already wider or equal to cand->mode.
(enum ext_modified_kind, struct ext_modified, ext_state): New types.
(make_defs_and_copies_lists): Remove defs_list and copies_list
arguments, add state argument, just truncate state->work_list
instead of always allocating and freeing the vector.  Assert that
get_defs succeeds instead of returning 2.  Changed return type to
bool.
(merge_def_and_ext): Add state argument.  If SET_DEST doesn't
have ext_src_mode, see if it has been modified already with the
right kind of extension and has been extended before from the
ext_src_mode.  If SET_DEST is already wider or equal to cand->mode,
just return true.  Remember the original mode in state->modified
array.
(combine_reaching_defs): Add state argument.  Don't allocate and
free here def_list, copied_list and vec vectors, instead just
VEC_truncate the vectors in *state.  Don't handle outcome == 2
here.
(find_and_remove_re): Set DF_DEFER_INSN_RESCAN df flag.
Add state variable, clear vectors in it, initialize state.modified
if needed.  Free all the vectors at the end and state.modified too.
Don't skip a candidate if the extension expression has been modified.

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

From-SVN: r183416