1. 29 Aug, 2011 7 commits
    • [multiple changes] · 1197ddb1
      2011-08-29  Geert Bosch  <bosch@adacore.com>
      
      	* s-vaflop-vms-alpha.adb (Neg_F): Use subtraction instead of negation
      	instruction, as the latter may produce -0.0, which is not a valid VAX
      	F float number.
      	(Neg_G): Likewise for VAX F float.
      
      2011-08-29  Robert Dewar  <dewar@adacore.com>
      
      	* exp_util.adb: Minor reformatting.
      
      2011-08-29  Yannick Moy  <moy@adacore.com>
      
      	* sem_ch3.adb: Minor comment update.
      
      2011-08-29  Thomas Quinot  <quinot@adacore.com>
      
      	* checks.adb (Apply_Type_Conversion_Checks): Use the Underlying_Type of
      	the operand type.
      
      2011-08-29  Thomas Quinot  <quinot@adacore.com>
      
      	* par_sco.adb (Traverse_Declarations_Or_Statements): Do not flush
      	current statement sequence on a generic instantiation or a subprogram
      	declaration.
      
      From-SVN: r178161
      Arnaud Charlet committed
    • [multiple changes] · 8f66cda7
      2011-08-29  Robert Dewar  <dewar@adacore.com>
      
      	* sem_type.adb, einfo.ads, freeze.adb, exp_ch4.adb, sem_ch13.adb:
      	Minor reformatting.
      
      2011-08-29  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* exp_util.adb (Requires_Cleanup_Actions (List_Id, Boolean, Boolean)):
      	Correct the check which involves the freeze node of a controlled or
      	access-to-controlled type.
      
      2011-08-29  Geert Bosch  <bosch@adacore.com>
      
      	* sem_warn.adb (Check_Code_Statement): Remove check for consecutive Asm
      	statements.
      	* s-vaflop-vms-alpha.adb: Remove bogus Volatile => True arguments from
      	Asm statements.
      
      From-SVN: r178160
      Arnaud Charlet committed
    • [multiple changes] · cf161d66
      2011-08-29  Yannick Moy  <moy@adacore.com>
      
      	* sem_ch3.adb (Array_Type_Declaration): Insert a subtype declaration
      	for every index type and component type that is not a subtype_mark.
      	(Process_Subtype): Set Etype of subtype.
      
      2011-08-29  Robert Dewar  <dewar@adacore.com>
      
      	* a-cbmutr.adb, a-cimutr.adb, a-comutr.adb, prj-nmsc.adb: Minor code
      	reorganization.  Minor reformatting.
      
      From-SVN: r178159
      Arnaud Charlet committed
    • [multiple changes] · 7cc83cd8
      2011-08-29  Steve Baird  <baird@adacore.com>
      
      	* exp_ch4.adb (Expand_N_Op_Expon): Suppress N_Op_Expon node expansion
      	for CodePeer and ALFA modes.
      
      2011-08-29  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_type.adb (Collect_Interps): Within an instance, collect a homonym
      	that comes from an enclosing scope if it is not the renaming of an
      	actual, to handle properly a spurious ambiguity in an instance.
      
      From-SVN: r178158
      Arnaud Charlet committed
    • [multiple changes] · 76af4137
      2011-08-29  Eric Botcazou  <ebotcazou@adacore.com>
      
      	* sem_ch13.adb (Alignment_Check_For_Esize_Change): Rename to...
      	(Alignment_Check_For_Size_Change): ...this.  Add SIZE parameter and
      	use it instead of the Esize of the first parameter.
      	(Analyze_Attribute_Definition_Clause) <Object_Size>: Adjust call to
      	above change.
      	<Size>: Likewise.  Call it for composite types on the RM size.
      
      2011-08-29  Yannick Moy  <moy@adacore.com>
      
      	* exp_ch4.adb (Expand_N_Op_Not): Do not expand not on array.
      	* sem_util.adb (Unique_Name): Correct behaviour for names of
      	compilation units.
      
      From-SVN: r178157
      Arnaud Charlet committed
    • [multiple changes] · 9b20e59b
      2011-08-29  Yannick Moy  <moy@adacore.com>
      
      	* sem_prag.adb (Check_Precondition_Postcondition): In formal
      	verification mode, analyze pragma expression for correctness, for
      	pre/post on library-level subprogram, as it is not expanded later.
      
      2011-08-29  Yannick Moy  <moy@adacore.com>
      
      	* exp_aggr.adb (Expand_Array_Aggregate): Do not expand array aggregates
      	in formal verification.
      
      2011-08-29  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_util.adb: Minor reformatting.
      	* freeze.adb, sem_ch13.adb: Fix comment: Bit_Order is an attribute,
      	there's no pragma.
      	* par_sco.ads, par_sco.adb: Update comments.
      
      2011-08-29  Yannick Moy  <moy@adacore.com>
      
      	* einfo.adb, einfo.ads: Remove flag Is_Postcondition_Proc and
      	associated getter/setter.
      	* sem_ch6.adb: Remove reference to Is_Postcondition_Proc.
      
      2011-08-29  Vincent Celier  <celier@adacore.com>
      
      	* prj-attr.adb: New Compiler attribute Dependency_Kind and Language_Kind
      	* prj-conf.adb: Add_Default_GNAT_Naming_Scheme: Add a package Compiler
      	with declarations for Language_Kind and Dependency_Kind for Ada.
      	* prj-nmsc.adb (Check_Unit_Name): New name of procedure Check_Ada_Name
      	(Process_Compiler): Take into account the new attributes Dependency_Kind
      	and Language_Kind.
      	(Check_Configuration): Check if language kind is unit based, not if the
      	language name is Ada.
      	(Process_Exceptions_Unit_Based): Ditto
      	(Add_Language): Remove default additions of language and dependency kind
      	* prj.ads: Minor comment change
      	* snames.ads-tmpl: New standard names Dependency_Kind and Language_Kind
      
      2011-08-29  Johannes Kanig  <kanig@adacore.com>
      
      	* debug.adb: Update comments.
      
      From-SVN: r178156
      Arnaud Charlet committed
    • Daily bump. · 6d2a312e
      From-SVN: r178152
      GCC Administrator committed
  2. 28 Aug, 2011 7 commits
    • move.h (swap(_Tp(&)[_Nm], _Tp(&)[_Nm])): Remove workaround for c++/49045. · 75f5cbb1
      2011-08-28  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	* include/bits/move.h (swap(_Tp(&)[_Nm], _Tp(&)[_Nm])): Remove
      	workaround for c++/49045.
      	* include/bits/algorithmfwd.h: Likewise.
      
      From-SVN: r178147
      Paolo Carlini committed
    • Fix the use of linemap_add and remove unnecessary kludge · 892a371f
      libcpp/
      
      	* line-map.c (linemap_add): Assert that reason must not be
      	LC_RENAME when called for the first time on a "main input file".
      
      c-family/
      
      	* c-pch.c (c_common_read_pch): Call linemap_add with LC_ENTER as it's
      	the first time it's being called on this main TU.
      
      gcc/lto/
      
      	* lto-lang.c (lto_init): Likewise.  Also, avoid calling
      	linemap_add twice.
      
      gcc/fortran/
      
      	* scanner.c (load_file): Don't abuse LC_RENAME reason while
      	(indirectly) calling linemap_add.
      
      From-SVN: r178146
      Dodji Seketeli committed
    • Core DR 342 PR c++/48582 · e90abaa0
      	Core DR 342
      	PR c++/48582
      	* pt.c (check_valid_ptrmem_cst_expr): A null member pointer value
      	is valid in C++11.
      	(convert_nontype_argument): Likewise.  Implicitly convert nullptr
      	and do constant folding.
      	* mangle.c (write_template_arg_literal): Mangle null member
      	pointer values as 0.
      	* call.c (null_member_pointer_value_p): New.
      	* cp-tree.h: Declare it.
      
      From-SVN: r178144
      Jason Merrill committed
    • * ja.po: Update. · 2aef967b
      From-SVN: r178142
      Joseph Myers committed
    • re PR bootstrap/50218 (tree-ssa-loop-ivopts.c triggers… · 76725a03
      re PR bootstrap/50218 (tree-ssa-loop-ivopts.c triggers -Werror=maybe-uninitialized breaking i686-linux bootstrap)
      
      2011-08-28  Mikael Pettersson  <mikpe@it.uu.se>
      
      	PR bootstrap/50218
      	* tree-ssa-loop-ivopts.c (determine_use_iv_cost_condition): Initialize
      	comp.
      
      From-SVN: r178141
      Mikael Pettersson committed
    • re PR fortran/48066 (Segfault with SUM of zero-sized array) · 3d2244b9
      2011-08-28  Thomas Koenig  <tkoenig@gcc.gnu.org>
      
      	PR fortran/40866
      	* generated/iall_i1.c: Regenerated.
      	* generated/iall_i16.c: Regenerated.
      	* generated/iall_i2.c: Regenerated.
      	* generated/iall_i4.c: Regenerated.
      	* generated/iall_i8.c: Regenerated.
      	* generated/iany_i1.c: Regenerated.
      	* generated/iany_i16.c: Regenerated.
      	* generated/iany_i2.c: Regenerated.
      	* generated/iany_i4.c: Regenerated.
      	* generated/iany_i8.c: Regenerated.
      	* generated/iparity_i1.c: Regenerated.
      	* generated/iparity_i16.c: Regenerated.
      	* generated/iparity_i2.c: Regenerated.
      	* generated/iparity_i4.c: Regenerated.
      	* generated/iparity_i8.c: Regenerated.
      	* generated/norm2_r10.c: Regenerated.
      	* generated/norm2_r16.c: Regenerated.
      	* generated/norm2_r4.c: Regenerated.
      	* generated/norm2_r8.c: Regenerated.
      	* generated/parity_l1.c: Regenerated.
      	* generated/parity_l16.c: Regenerated.
      	* generated/parity_l2.c: Regenerated.
      	* generated/parity_l4.c: Regenerated.
      	* generated/parity_l8.c: Regenerated.
      	* generated/misc_specifics.F90: Regenerated (comment change).
      	* generated/_abs_c10.F90: Regenerated (comment change).
      	* generated/_abs_c16.F90: Regenerated (comment change).
      	* generated/_abs_c4.F90: Regenerated (comment change).
      	* generated/_abs_c8.F90: Regenerated (comment change).
      	* generated/_abs_i16.F90: Regenerated (comment change).
      	* generated/_abs_i4.F90: Regenerated (comment change).
      	* generated/_abs_i8.F90: Regenerated (comment change).
      	* generated/_abs_r10.F90: Regenerated (comment change).
      	* generated/_abs_r16.F90: Regenerated (comment change).
      	* generated/_abs_r4.F90: Regenerated (comment change).
      	* generated/_abs_r8.F90: Regenerated (comment change).
      	* generated/_acosh_r10.F90: Regenerated (comment change).
      	* generated/_acosh_r16.F90: Regenerated (comment change).
      	* generated/_acosh_r4.F90: Regenerated (comment change).
      	* generated/_acosh_r8.F90: Regenerated (comment change).
      	* generated/_acos_r10.F90: Regenerated (comment change).
      	* generated/_acos_r16.F90: Regenerated (comment change).
      	* generated/_acos_r4.F90: Regenerated (comment change).
      	* generated/_acos_r8.F90: Regenerated (comment change).
      	* generated/_aimag_c10.F90: Regenerated (comment change).
      	* generated/_aimag_c16.F90: Regenerated (comment change).
      	* generated/_aimag_c4.F90: Regenerated (comment change).
      	* generated/_aimag_c8.F90: Regenerated (comment change).
      	* generated/_aint_r10.F90: Regenerated (comment change).
      	* generated/_aint_r16.F90: Regenerated (comment change).
      	* generated/_aint_r4.F90: Regenerated (comment change).
      	* generated/_aint_r8.F90: Regenerated (comment change).
      	* generated/_anint_r10.F90: Regenerated (comment change).
      	* generated/_anint_r16.F90: Regenerated (comment change).
      	* generated/_anint_r4.F90: Regenerated (comment change).
      	* generated/_anint_r8.F90: Regenerated (comment change).
      	* generated/_asinh_r10.F90: Regenerated (comment change).
      	* generated/_asinh_r16.F90: Regenerated (comment change).
      	* generated/_asinh_r4.F90: Regenerated (comment change).
      	* generated/_asinh_r8.F90: Regenerated (comment change).
      	* generated/_asin_r10.F90: Regenerated (comment change).
      	* generated/_asin_r16.F90: Regenerated (comment change).
      	* generated/_asin_r4.F90: Regenerated (comment change).
      	* generated/_asin_r8.F90: Regenerated (comment change).
      	* generated/_atan2_r10.F90: Regenerated (comment change).
      	* generated/_atan2_r16.F90: Regenerated (comment change).
      	* generated/_atan2_r4.F90: Regenerated (comment change).
      	* generated/_atan2_r8.F90: Regenerated (comment change).
      	* generated/_atanh_r10.F90: Regenerated (comment change).
      	* generated/_atanh_r16.F90: Regenerated (comment change).
      	* generated/_atanh_r4.F90: Regenerated (comment change).
      	* generated/_atanh_r8.F90: Regenerated (comment change).
      	* generated/_atan_r10.F90: Regenerated (comment change).
      	* generated/_atan_r16.F90: Regenerated (comment change).
      	* generated/_atan_r4.F90: Regenerated (comment change).
      	* generated/_atan_r8.F90: Regenerated (comment change).
      	* generated/_conjg_c10.F90: Regenerated (comment change).
      	* generated/_conjg_c16.F90: Regenerated (comment change).
      	* generated/_conjg_c4.F90: Regenerated (comment change).
      	* generated/_conjg_c8.F90: Regenerated (comment change).
      	* generated/_cosh_r10.F90: Regenerated (comment change).
      	* generated/_cosh_r16.F90: Regenerated (comment change).
      	* generated/_cosh_r4.F90: Regenerated (comment change).
      	* generated/_cosh_r8.F90: Regenerated (comment change).
      	* generated/_cos_c10.F90: Regenerated (comment change).
      	* generated/_cos_c16.F90: Regenerated (comment change).
      	* generated/_cos_c4.F90: Regenerated (comment change).
      	* generated/_cos_c8.F90: Regenerated (comment change).
      	* generated/_cos_r10.F90: Regenerated (comment change).
      	* generated/_cos_r16.F90: Regenerated (comment change).
      	* generated/_cos_r4.F90: Regenerated (comment change).
      	* generated/_cos_r8.F90: Regenerated (comment change).
      	* generated/_dim_i16.F90: Regenerated (comment change).
      	* generated/_dim_i4.F90: Regenerated (comment change).
      	* generated/_dim_i8.F90: Regenerated (comment change).
      	* generated/_dim_r10.F90: Regenerated (comment change).
      	* generated/_dim_r16.F90: Regenerated (comment change).
      	* generated/_dim_r4.F90: Regenerated (comment change).
      	* generated/_dim_r8.F90: Regenerated (comment change).
      	* generated/_exp_c10.F90: Regenerated (comment change).
      	* generated/_exp_c16.F90: Regenerated (comment change).
      	* generated/_exp_c4.F90: Regenerated (comment change).
      	* generated/_exp_c8.F90: Regenerated (comment change).
      	* generated/_exp_r10.F90: Regenerated (comment change).
      	* generated/_exp_r16.F90: Regenerated (comment change).
      	* generated/_exp_r4.F90: Regenerated (comment change).
      	* generated/_exp_r8.F90: Regenerated (comment change).
      	* generated/_log10_r10.F90: Regenerated (comment change).
      	* generated/_log10_r16.F90: Regenerated (comment change).
      	* generated/_log10_r4.F90: Regenerated (comment change).
      	* generated/_log10_r8.F90: Regenerated (comment change).
      	* generated/_log_c10.F90: Regenerated (comment change).
      	* generated/_log_c16.F90: Regenerated (comment change).
      	* generated/_log_c4.F90: Regenerated (comment change).
      	* generated/_log_c8.F90: Regenerated (comment change).
      	* generated/_log_r10.F90: Regenerated (comment change).
      	* generated/_log_r16.F90: Regenerated (comment change).
      	* generated/_log_r4.F90: Regenerated (comment change).
      	* generated/_log_r8.F90: Regenerated (comment change).
      	* generated/_mod_i16.F90: Regenerated (comment change).
      	* generated/_mod_i4.F90: Regenerated (comment change).
      	* generated/_mod_i8.F90: Regenerated (comment change).
      	* generated/_mod_r10.F90: Regenerated (comment change).
      	* generated/_mod_r16.F90: Regenerated (comment change).
      	* generated/_mod_r4.F90: Regenerated (comment change).
      	* generated/_mod_r8.F90: Regenerated (comment change).
      	* generated/_sign_i16.F90: Regenerated (comment change).
      	* generated/_sign_i4.F90: Regenerated (comment change).
      	* generated/_sign_i8.F90: Regenerated (comment change).
      	* generated/_sign_r10.F90: Regenerated (comment change).
      	* generated/_sign_r16.F90: Regenerated (comment change).
      	* generated/_sign_r4.F90: Regenerated (comment change).
      	* generated/_sign_r8.F90: Regenerated (comment change).
      	* generated/_sinh_r10.F90: Regenerated (comment change).
      	* generated/_sinh_r16.F90: Regenerated (comment change).
      	* generated/_sinh_r4.F90: Regenerated (comment change).
      	* generated/_sinh_r8.F90: Regenerated (comment change).
      	* generated/_sin_c10.F90: Regenerated (comment change).
      	* generated/_sin_c16.F90: Regenerated (comment change).
      	* generated/_sin_c4.F90: Regenerated (comment change).
      	* generated/_sin_c8.F90: Regenerated (comment change).
      	* generated/_sin_r10.F90: Regenerated (comment change).
      	* generated/_sin_r16.F90: Regenerated (comment change).
      	* generated/_sin_r4.F90: Regenerated (comment change).
      	* generated/_sin_r8.F90: Regenerated (comment change).
      	* generated/_sqrt_c10.F90: Regenerated (comment change).
      	* generated/_sqrt_c16.F90: Regenerated (comment change).
      	* generated/_sqrt_c4.F90: Regenerated (comment change).
      	* generated/_sqrt_c8.F90: Regenerated (comment change).
      	* generated/_sqrt_r10.F90: Regenerated (comment change).
      	* generated/_sqrt_r16.F90: Regenerated (comment change).
      	* generated/_sqrt_r4.F90: Regenerated (comment change).
      	* generated/_sqrt_r8.F90: Regenerated (comment change).
      	* generated/_tanh_r10.F90: Regenerated (comment change).
      	* generated/_tanh_r16.F90: Regenerated (comment change).
      	* generated/_tanh_r4.F90: Regenerated (comment change).
      	* generated/_tanh_r8.F90: Regenerated (comment change).
      	* generated/_tan_r10.F90: Regenerated (comment change).
      	* generated/_tan_r16.F90: Regenerated (comment change).
      	* generated/_tan_r4.F90: Regenerated (comment change).
      	* generated/_tan_r8.F90: Regenerated (comment change).
      
      From-SVN: r178140
      Thomas Koenig committed
    • Daily bump. · aa35481f
      From-SVN: r178139
      GCC Administrator committed
  3. 27 Aug, 2011 4 commits
    • rtl.texi (simple_return): Document. · 26898771
      	* doc/rtl.texi (simple_return): Document.
      	(parallel, PATTERN): Here too.
      	* doc/md.texi (return): Mention it's allowed to expand to simple_return
      	in some cases.
      	(simple_return): Document standard pattern.
      	* gengenrtl.c (special_rtx): SIMPLE_RETURN is special.
      	* final.c (final_scan_insn): Use ANY_RETURN_P on body.
      	* reorg.c (function_return_label, function_simple_return_label):
      	New static variables, replacing...
      	(end_of_function_label): ... this.
      	(simplejump_or_return_p): New static function.
      	(optimize_skip, steal_delay_list_from_fallthrough,
      	fill_slots_from_thread): Use it.
      	(relax_delay_slots): Likewise.  Use ANY_RETURN_P on body.
      	(rare_destination, follow_jumps): Use ANY_RETURN_P on body.
      	(find_end_label): Take a new arg which is one of the two return
      	rtxs.  Depending on which, set either function_return_label or
      	function_simple_return_label.  All callers changed.
      	(make_return_insns): Make both kinds.
      	(dbr_schedule): Adjust for two kinds of end labels.
      	* function.c (emit_return_into_block): Set JUMP_LABEL properly.
      	* genemit.c (gen_exp): Handle SIMPLE_RETURN.
      	(gen_expand, gen_split): Use ANY_RETURN_P.
      	* df-scan.c (df_uses_record): Handle SIMPLE_RETURN.
      	* rtl.def (SIMPLE_RETURN): New code.
      	* ifcvt.c (find_if_case_1): Be more careful about
      	redirecting jumps to the EXIT_BLOCK.
      	* jump.c (condjump_p, condjump_in_parallel_p, any_condjump_p,
      	returnjump_p_1): Handle SIMPLE_RETURNs.
      	* print-rtl.c (print_rtx): Likewise.
      	* rtl.c (copy_rtx): Likewise.
      	* bt-load.c (compute_defs_uses_and_gen): Use ANY_RETURN_P.
      	* combine.c (simplify_set): Likewise.
      	* resource.c (find_dead_or_set_registers, mark_set_resources):
      	Likewise.
      	* emit-rtl.c (verify_rtx_sharing, classify_insn, copy_insn_1,
      	copy_rtx_if_shared_1, mark_used_flags): Handle SIMPLE_RETURNs.
      	(init_emit_regs): Initialize simple_return_rtx.
      	* cfglayout.c (fixup_reorder_chain): Pass a JUMP_LABEL to
      	force_nonfallthru_and_redirect.
      	* rtl.h (ANY_RETURN_P): Allow SIMPLE_RETURN.
      	(GR_SIMPLE_RETURN): New enum value.
      	(simple_return_rtx): New macro.
      	* basic-block.h (force_nonfallthru_and_redirect): Adjust
      	declaration.
      	* cfgrtl.c (force_nonfallthru_and_redirect): Take a new jump_label
      	argument.  All callers changed.  Be careful about what kinds of
      	returnjumps to generate.
      	* config/i386/3i86.c (ix86_pad_returns, ix86_count_insn_bb,
      	ix86_pad_short_function): Likewise.
      	* config/arm/arm.c (arm_final_prescan_insn): Handle both kinds
      	of return.
      	* config/mips/mips.md (any_return): New code_iterator.
      	(optab): Add cases for return and simple_return.
      	(return): Expand to a simple_return.
      	(simple_return): New pattern.
      	(*<optab>, *<optab>_internal for any_return): New patterns.
      	(return_internal): Remove.
      	* config/mips/mips.c (mips_expand_epilogue): Make the last insn
      	a simple_return_internal.
      
      From-SVN: r178135
      Bernd Schmidt committed
    • sse.md (*absneg<mode>2): Fix split condition. · 3b0eee5d
      	* config/i386/sse.md (*absneg<mode>2): Fix split condition.
      	(vec_extract_lo_<mode>): Prevent both operands in memory.
      	(vec_extract_lo_v16hi): Ditto.
      	(*vec_extract_v4sf_mem): Add TARGET_SSE insn constraint.
      
      	* config/i386/sse.md (mulv16qi3): Attach REG_EQUAL note.
      	(*sse2_mulv4si3): Ditto.
      	(mulv2di3): Ditto.
      	* config/i386/i386.c (legitimize_tls_address): Change REG_EQIV
      	notes to REG_EQUAL.
      
      From-SVN: r178132
      Uros Bizjak committed
    • re PR target/50202 (ICE: in final_scan_insn, at final.c:2709 (could not split… · b807694e
      re PR target/50202 (ICE: in final_scan_insn, at final.c:2709 (could not split insn) with __builtin_ia32_pcmpistri128)
      
      	PR target/50202
      	* config/i386/sse.md (sse4_2_pcmpestr): Emit NOTE_INSN_DELETED note
      	when all outputs are unused.
      	(sse4_2_pcmpestr): Ditto.
      
      testsuite/ChangeLog:
      
      	PR target/50202
      	* gcc.target/i386/pr50202.c: New test.
      
      From-SVN: r178130
      Uros Bizjak committed
    • Daily bump. · 851018fb
      From-SVN: r178129
      GCC Administrator committed
  4. 26 Aug, 2011 20 commits
  5. 25 Aug, 2011 2 commits