1. 20 Oct, 2010 21 commits
  2. 19 Oct, 2010 19 commits
    • re PR c++/46046 (internal compiler error with SFINAE expression in a template inside a template) · fd9852df
      /cp
      2010-10-19  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	PR c++/46046
      	* pt.c (add_to_template_args): Check extra_args for error_mark_node.
      	(coerce_template_parms): Likewise for args.
      
      /testsuite
      2010-10-19  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	PR c++/46046
      	* g++.dg/template/crash104.C: New.
      
      From-SVN: r165708
      Paolo Carlini committed
    • tm.texi.in (TARGET_ASM_JUMP_ALIGN_MAX_SKIP): New. · ad0c4c36
      * doc/tm.texi.in (TARGET_ASM_JUMP_ALIGN_MAX_SKIP): New.
      (TARGET_ASM_LABEL_ALIGN_AFTER_BARRIER_MAX_SKIP): Change to hook.
      (TARGET_ASM_LOOP_ALIGN_MAX_SKIP): Likewise.
      (TARGET_ASM_LABEL_ALIGN_MAX_SKIP): Likewise.
      * doc/tm.texi: Regenerate.
      * targhooks.h (default_label_align_after_barrier_max_skip,
      default_loop_align_max_skip, default_label_align_max_skip,
      default_jump_align_max_skip): Declare.
      * target.def (label_align_after_barrier_max_skip): New.
      (loop_align_max_skip): New.
      (label_align_max_skip): New.
      (jump_align_max_skip): New.
      * system.h (poison): Add those macros to the list.
      * final.c (LABEL_ALIGN_MAX_SKIP): Remove.
      (LOOP_ALIGN_MAX_SKIP): Remove.
      (LABEL_ALIGN_AFTER_BARRIER_MAX_SKIP): Remove.
      (JUMP_ALIGN_MAX_SKIP): Remove.
      (default_label_align_after_barrier_max_skip): New.
      (default_loop_align_max_skip): New.
      (default_label_align_max_skip): New.
      (default_jump_align_max_skip): New.
      (compute_alignments): Use the new hooks.
      (shorten_branches): Likewise.
      
      From-SVN: r165707
      DJ Delorie committed
    • Add patterns for FMA3. · 351877cf
      From-SVN: r165705
      Richard Henderson committed
    • lower-subreg.c (resolve_shift_zext): Delete conditional code for… · b5829a84
      lower-subreg.c (resolve_shift_zext): Delete conditional code for WORDS_BIG_ENDIAN != BYTES_BIG_ENDIAN.
      
      * lower-subreg.c (resolve_shift_zext): Delete conditional code for
      WORDS_BIG_ENDIAN != BYTES_BIG_ENDIAN.
      
      From-SVN: r165703
      Paul Koning committed
    • Add FMA patterns for ia64. · 46935749
      From-SVN: r165702
      Richard Henderson committed
    • Use sjlj unwind. · 16a1a239
      From-SVN: r165701
      Michael Eager committed
    • re PR fortran/43414 (DWARF4: Use DW_AT_main_subprogram for MAIN__) · d35ce109
      	PR fortran/43414
      	* dwarf2out.c (add_calling_convention_attribute): Flag main
      	Fortran subroutine with DW_AT_main_subprogram.
      
      From-SVN: r165699
      Francois-Xavier Coudert committed
    • [multiple changes] · a961aa79
      2010-10-19  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_ch4.adb, exp_ch4.ads (Expand_Quantified_Expression): New procedure
      	* exp_util.adb (Insert_Actions): Include Quantified_Expression.
      	* expander.adb: Call Expand_Qualified_Expression.
      	* par.adb: New procedure P_Quantified_Expression. Make
      	P_Loop_Parameter_Specification global for use in quantified expressions.
      	* par-ch3.adb (P_Subtype_Mark_Resync): Allow "some" as an identifier if
      	version < Ada2012.
      	* par-ch4.adb: New procedure P_Quantified_Expression.
      	* par-ch5.adb: P_Loop_Parameter_Specification is now global.
      	* scans.adb, scans.ads: Introduce token Some. For now leave as
      	unreserved.
      	* scn.adb (Scan_Reserved_Identifier): For earlier versions of Ada,
      	treat Some as a regular identifier.
      	* sem.adb: Call Analyze_Quantified_Expression.
      	* sem_ch4.adb, sem_ch4.ads: New procedure Analyze_Quantified_Expression.
      	* sem_ch5.adb, sem_ch5.ads: Analyze_Iteration_Scheme is public, for use
      	in quantified expressions.
      	* sem_res.adb: New procedure Resolve_Qualified_Expression.
      	* sinfo.adb, sinfo.ads: New node N_Quantified_Expression
      	* snames.ads-tmpl: New name Some.
      	* sprint.adb: Output quantified_expression.
      
      2010-10-19  Robert Dewar  <dewar@adacore.com>
      
      	* a-exexda.adb: Minor reformatting
      	Minor code reorganization.
      
      From-SVN: r165698
      Arnaud Charlet committed
    • re PR tree-optimization/46081 (FAIL: gcc.dg/ipa/ipa-pta-10.c) · 11c260d7
      2010-10-19  Richard Guenther  <rguenther@suse.de>
      
      	PR testsuite/46081
      	* gcc.dg/ipa/ipa-pta-10.c: Adjust.
      
      From-SVN: r165697
      Richard Guenther committed
    • [multiple changes] · 437f8c1e
      2010-10-19  Robert Dewar  <dewar@adacore.com>
      
      	* sem_eval.adb: Minor reformatting.
      
      2010-10-19  Tristan Gingold  <gingold@adacore.com>
      
      	* exp_ch4.adb (Expand_N_And_Op, Expand_N_Or_Op, Expand_N_Xor_Op): Call
      	Expand_Intrinsic_Call if the function is intrinsic.
      	* exp_intr_adb (Expand_Binary_Operator): Handle VMS case for logical
      	binary operator on the unsigned_quadword record.
      	* exp_intr.ads (Expand_Intrinsic_Call): Update comments.
      
      2010-10-19  Geert Bosch  <bosch@adacore.com>
      
      	* gnat_rm.texi (pragma Float_Representation): Fix typo.
      
      2010-10-19  Arnaud Charlet  <charlet@adacore.com>
      
      	* switch-c.adb (Scan_Front_End_Switches): Add handling of -gnateE.
      	* fe.h (Exception_Extra_Info): Declare.
      	* usage.adb (usage): Add -gnateE doc.
      	* checks.adb (Install_Null_Excluding_Check): Use better sloc.
      	* sem_util.adb (Insert_Explicit_Dereference): Ditto.
      	* gnat_ugn.texi: Document -gnateE switch.
      	* a-except.adb (Set_Exception_C_Msg): New parameter Column.
      	* a-except-2005.adb (Set_Exception_C_Msg): New parameter Column.
      	(Raise_Constraint_Error_Msg): Ditto.
      	(Image): New helper function.
      	(Rcheck_00_Ext, Rcheck_05_Ext, Rcheck_12_Ext): New procedure with more
      	detailed exception information.
      	Adjust calls to Set_Exception_C_Msg and Raise_Constraint_Error_Msg.
      	* a-exexda.adb (Set_Exception_C_Msg): New parameter Column.
      	* opt.ads (Exception_Extra_Info): New flag.
      	* gcc-interface/utils.c (gnat_raise_decls_ext): New.
      	* gcc-interface/utils2.c (build_call_raise_range,
      	build_call_raise_column): New functions.
      	* gcc-interface/gigi.h (exception_info_kind, gnat_raise_decls_ext,
      	build_call_raise_range, build_call_raise_column): Declare.
      	gcc-interface/trans.c (build_raise_check): New function.
      	(gigi): Initialize gnat_raise_decls_ext.
      	(gnat_to_gnu): Add initial support for -gnateE switch.
      	* gcc-interface/Make-lang.in: Update dependencies.
      
      From-SVN: r165696
      Arnaud Charlet committed
    • [multiple changes] · e606088a
      2010-10-19  Geert Bosch  <bosch@adacore.com>
      
      	* ttypef.ads: Change VAXDF_Last to be -VAXDF_First, as type is
      	symmetric.
      
      2010-10-19  Robert Dewar  <dewar@adacore.com>
      
      	* atree.h (Field29): Fix incorrect definition.
      	* einfo.adb (Invariant_Procedure): New attribute
      	(Has_Invariants): New flag
      	(Has_Inheritable_Invariants): New flag
      	(OK_To_Reference): New flag
      	Minor code reorganization (use Next_Rep_Item function)
      	* einfo.ads (Invariant_Procedure): New attribute
      	(Has_Invariants): New flag
      	(Has_Inheritable_Invariants): New flag
      	(OK_To_Reference): New flag
      	* exp_ch3.adb (Expand_N_Object_Declaration): Add check for invariant
      	* exp_ch4.adb (Expand_N_Type_Conversion): Check invariant on type
      	conversion.  Minor reformatting.
      	* exp_util.ads, exp_util.adb (Make_Invariant_Call): New procedure.
      	* opt.ads (List_Inherited_Aspects): New name for List_Inherited_Pre_Post
      	* par-prag.adb: Add dummy entry for pragma Invariant.
      	* sem_ch13.adb (Build_Invariant_Procedure): New procedure
      	(Analyze_Aspect_Specification): Add support for Invariant aspect
      	* sem_ch13.ads (Build_Invariant_Procedure): New procedure
      	* sem_ch3.adb (Build_Derived_Type): Propagate invariant information
      	(Process_Full_View): Deal with invariants, building invariant procedure
      	Minor reformatting
      	* sem_ch6.adb (Process_PPCs): Add processing of invariants
      	* sem_ch7.adb (Analyze_Package_Specification): Build invariant
      	procedures.
      	* sem_prag.adb: Implement pragma Invariant.
      	* sem_res.adb (Resolve_Entity_Name): Allow type reference if
      	OK_To_Reference set.
      	* sem_warn.adb (List_Inherited_Aspects): New name for
      	List_Inherited_Pre_Post.
      	* snames.ads-tmpl: Add entries for pragma Invariant.
      	* treepr.adb (Print_Entity_Information): Add handling of Field29.
      	* usage.adb: Warning .l/.L applies to invariant as well as pre/post.
      
      From-SVN: r165694
      Arnaud Charlet committed
    • Minor reformatting. · c95e0edc
      From-SVN: r165693
      Arnaud Charlet committed
    • [multiple changes] · 4adf3c50
      2010-10-19  Javier Miranda  <miranda@adacore.com>
      
      	* par-ch4.adb: Update documentation of Ada 2012 syntax rules for
      	membership test.
      
      2010-10-19  Bob Duff  <duff@adacore.com>
      
      	* sem_attr.adb (Eval_Attribute): Implement Max_Alignment_For_Allocation
      	attribute.
      	* exp_attr.adb (Expand_N_Attribute_Reference): Add
      	Attribute_Max_Alignment_For_Allocation to the case statement.
      	* snames.ads-tmpl (Name_Max_Alignment_For_Allocation,
      	Attribute_Max_Alignment_For_Allocation): New attribute name.
      
      2010-10-19  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch3.adb (OK_For_Limited_Init_In_05): a call to an access to
      	parameterless function appears syntactically as an explicit dereference.
      
      2010-10-19  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_ch8.adb, sem_ch12.adb, opt.ads, sem_ch6.adb, sem_res.adb,
      	i-cexten.ads, exp_disp.adb, exp_ch4.adb, exp_ch9.adb: Minor reformatting
      
      2010-10-19  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_util.adb (Collect_Primitive_Operations): A function with an
      	anonymous access result designating T is a primitive operation of T.
      
      From-SVN: r165692
      Arnaud Charlet committed
    • rx.c (rx_function_value): Small integer types are promotes to SImode. · e2f289f3
              * config/rx/rx.c (rx_function_value): Small integer types are
              promotes to SImode.
              (rx_promote_function_mode): New function.
              (TARGET_PROMOTE_FUNCTION_MODE): Define.
      
      From-SVN: r165690
      Nick Clifton committed
    • [multiple changes] · 46202729
      2010-10-19  Tristan Gingold  <gingold@adacore.com>
      
      	* init.c: On Alpha/VMS, only adjust PC for HPARITH.
      
      2010-10-19  Tristan Gingold  <gingold@adacore.com>
      
      	* sem_attr.adb (Eval_Attribute): Handle Attribute_Ref, which can be
      	evaluated on VMS.
      
      2010-10-19  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch12.adb (Check_Generic_Child_Unit): Handle properly the case of
      	an instantiation of a renaming of the implicit generic child that
      	appears within an instance of its parent.
      
      2010-10-19  Thomas Quinot  <quinot@adacore.com>
      
      	* exp_ch9.adb: Minor reformatting.
      	* einfo.adb, einfo.ads, atree.adb, atree.ads, exp_dist.adb, atree.h:
      	(Referenced_Object): Remove unused entity attribute.
      	(Direct_Primitive_Operations): Move to Elist10, this is set for all
      	tagged types, including synchronous ones, so can't use field15 which is
      	used as Storage_Size_Variable for task types and Entry_Bodies_Array for
      	protected types.
      	(Add_RACW_Primitive_Declarations_And_Bodies): Remove bogus guard
      	against Concurrent_Types (we must handle the case of a RACW designating
      	a class-wide private synchronous type).
      	Use Direct_Primitive_Operations, not Primitive_Operations, since we
      	really want the former.
      
      2010-10-19  Bob Duff  <duff@adacore.com>
      
      	* sem_ch8.adb (Pop_Scope): Change "return;" to "raise Program_Error;".
      
      2010-10-19  Javier Miranda  <miranda@adacore.com>
      
      	* exp_ch4.adb (Expand_Set_Membership.Make_Cond): Add missing support
      	for N_Range nodes.
      
      From-SVN: r165689
      Arnaud Charlet committed
    • einfo.ads, atree.ads: Minor comment fixes. · 6c946a9f
      2010-10-19  Thomas Quinot  <quinot@adacore.com>
      
      	* einfo.ads, atree.ads: Minor comment fixes.
      
      From-SVN: r165688
      Thomas Quinot committed
    • mep.c (mep_print_operand): Use targetm.strip_name_encoding. · 9018b19c
              * config/mep/mep.c (mep_print_operand): Use
              targetm.strip_name_encoding.
              (mep_output_aligned_common): Likewise.
      
      From-SVN: r165682
      Nick Clifton committed
    • line-map.h (source_location): Remove obsolete comment mentioning location_s. · 078419c9
      2010-10-19  Basile Starynkevitch  <basile@starynkevitch.net>
      	* line-map.h (source_location): Remove obsolete comment
      	mentioning location_s.
      
      From-SVN: r165680
      Basile Starynkevitch committed
    • gengtype.c (new_structure): Remove ad-hoc "location_s" processing. · c512a6a0
      2010-10-19  Basile Starynkevitch  <basile@starynkevitch.net>
      	* gengtype.c (new_structure): Remove ad-hoc "location_s"
      	processing.
      
      From-SVN: r165679
      Basile Starynkevitch committed