aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2013-07-08[multiple changes]Arnaud Charlet3-2/+17
2013-07-08 Robert Dewar <dewar@adacore.com> * exp_ch4.adb: Minor reformatting. 2013-07-08 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Complete_Object_Operation): In ASIS mode, if the parent node is a selected component and the analysis as a call is successful, set the type of the selector in the parent node for subsequent checks, because the rewriting of the node does not take place during pre-analysis. From-SVN: r200761
2013-07-08[multiple changes]Arnaud Charlet4-22/+52
2013-07-08 Robert Dewar <dewar@adacore.com> * sem_ch8.adb, exp_ch3.adb: Minor reformatting. 2013-07-08 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Expand_N_Op_Eq): When comparing two Bounded_Strings, use the predefined equality function of the root Super_String type. From-SVN: r200760
2013-07-08[multiple changes]Arnaud Charlet8-467/+435
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Create_Alternative): Removed. (Expand_N_If_Expression): Remove constant In_Case_Or_If_Expression. Add local variable Ptr_Typ. Inspect the "then" and "else" action lists for transient controlled objects and generate code to finalize them. (Is_Controlled_Function_Call): Removed. (Process_Action): Update the comment on usage. Update the call to Process_Transient_Object. There is no need to continue the traversal of the object itself. (Process_Actions): New routine. (Process_Transient_Object): Moved to the top level of Exp_Ch4. Add a new formal and update the related comment on usage. * exp_util.adb (Within_Case_Or_If_Expression): Start the search from the parent of the node. 2013-07-08 Robert Dewar <dewar@adacore.com> * a-cusyqu.ads, a-cbprqu.ads, s-interr.ads, a-cuprqu.ads, a-cbsyqu.ads: Minor reformatting (proper formatting of overriding). From-SVN: r200759
2013-07-08[multiple changes]Arnaud Charlet4-48/+95
2013-07-08 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Attribute_Renaming): Treat 'Img as an attribute that can be renamed as a function. 2013-07-08 Thomas Quinot <quinot@adacore.com> * g-socket.ads: Document target dependency: FIONBIO may or may not be inherited from listening socket by accepted socket. 2013-07-08 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Apply_Accessibility_Check): Do not deallocate the object on targets that can't deallocate. From-SVN: r200758
2013-07-08[multiple changes]Arnaud Charlet3-3/+19
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Freeze_Type): Generate a subpools-related accessibility check only on profiles that include the corresponding library unit. 2013-07-08 Gary Dismukes <dismukes@adacore.com> * sem_ch8.adb: Minor typo fixes. From-SVN: r200757
2013-07-08[multiple changes]Arnaud Charlet5-13/+50
2013-07-08 Javier Miranda <miranda@adacore.com> * sem_ch8.adb (Save_Scope_Stack): Adding documentation. (Restore_Scope_Stack): Remove the elements of the list when the visibility of each entity is restored. 2013-07-08 Robert Dewar <dewar@adacore.com> * exp_ch9.adb, sem.ads, sem_util.adb: Minor reformatting. From-SVN: r200756
2013-07-08sem_ch8.adb, [...]: Minor reformatting.Robert Dewar3-6/+24
2013-07-08 Robert Dewar <dewar@adacore.com> * sem_ch8.adb, sem_ch8.ads: Minor reformatting. From-SVN: r200755
2013-07-08[multiple changes]Arnaud Charlet7-128/+85
2013-07-08 Gary Dismukes <dismukes@adacore.com> * gnat_rm.texi: Minor reformatting and rewording for consistency. 2013-07-08 Bob Duff <duff@adacore.com> * exp_ch3.adb (Build_Master): If Desig_Type is an incomplete view coming from a limited-with'ed package, use the nonlimited view in case it has tasks. 2013-07-08 Javier Miranda <miranda@adacore.com> * sem_ch8.ad[sb] (Save_Scope_Stack): Modified to return the list of entities which have been temporarily removed from immediate visibility. (Restore_Scope_Stack): Modified to receive an additional parameter with the list of entities whose immediate visibility must be restored. * sem.adb (Do_Analyze): Use new version of Save_Scope_Stack/Restore_Scope_Stack * sem_ch12.adb (Inline_Instance_Body): Use new version of Save_Scope_Stack and Restore_Scope_Stack From-SVN: r200754
2013-07-08[multiple changes]Arnaud Charlet6-86/+48
2013-07-08 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Analyze_Pragma): Remove variable Unit_Prag. Remove the check on duplicate mode for the configuration form of the pragma. (Redefinition_Error): Removed. 2013-07-08 Robert Dewar <dewar@adacore.com> * lib.ads, gnat_rm.texi, einfo.ads, sem_ch13.adb: Minor reformatting and editing. From-SVN: r200753
2013-07-08sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode...Ed Schonberg3-9/+18
2013-07-08 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode, pre-analyze only the original expression attached to the source aspect, not the relocated expression of the pragma, to prevent malformed trees in ASIS mode. * sem_ch13.adb (Analyze_Aspect_Specifications): Revert previous patch: the expression in the aspect for pre/post must be relocated to the pragma for proper analysis. From-SVN: r200752
2013-07-08i386-opts.h (enum stringop_alg): Add vector_loop.Michael Zolotukhin7-226/+259
ChangeLog: * config/i386/i386-opts.h (enum stringop_alg): Add vector_loop. * config/i386/i386.c (expand_set_or_movmem_via_loop): Use adjust_address instead of change_address to keep info about alignment. (emit_strmov): Remove. (emit_memmov): New function. (expand_movmem_epilogue): Refactor to properly handle bigger sizes. (expand_movmem_epilogue): Likewise and return updated rtx for destination. (expand_constant_movmem_prologue): Likewise and return updated rtx for destination and source. (decide_alignment): Refactor, handle vector_loop. (ix86_expand_movmem): Likewise. (ix86_expand_setmem): Likewise. * config/i386/i386.opt (Enum): Add vector_loop to option stringop_alg. testsuite/ChangeLog: * gcc.target/i386/memcpy-vector_loop-1.c: New. * gcc.target/i386/memcpy-vector_loop-2.c: New. From-SVN: r200751
2013-07-08Daily bump.GCC Administrator1-1/+1
From-SVN: r200747
2013-07-07driver-i386.c (host_detect_local_cpu): Do not check signature_TM2_ebx, it ↵Uros Bizjak2-2/+6
interferes with signature_INTEL_ebx. * config/i386/driver-i386.c (host_detect_local_cpu): Do not check signature_TM2_ebx, it interferes with signature_INTEL_ebx. From-SVN: r200744
2013-07-07Daily bump.GCC Administrator1-1/+1
From-SVN: r200742
2013-07-06re PR target/57807 (Compile failure with __builtin_ia32_unpcklpd with ↵Uros Bizjak6-84/+187
-masm=intel) 2013-07-06 Uros Bizjak <ubizjak@gmail.com> * config/i386/sse.md (sse_movlhps): Change alternative 3 of operand 2 to "m". 2013-07-06 Uros Bizjak <ubizjak@gmail.com> PR target/57807 * config/i386/sse.md (iptr): New mode attribute. (sse2_movq128): Add pointer size overrides for Intel asm dialect. (<sse>_vm<plusminus_insn><mode>3): Ditto. (<sse>_vmmul<mode>3): Ditto. (<sse>_vmdiv<mode>3): Ditto. (sse_vmrcpv4sf2): Ditto. (<sse>_vmsqrt<mode>2): Ditto. (sse_vmrsqrtv4sf2): Ditto. (<sse>_vm<code><mode>3): Ditto. (avx_vmcmp<mode>3): Ditto. (<sse>_vmmaskcmp<mode>3): Ditto. (<sse>_comi): Ditto. (<sse>_ucomi): Ditto. (*xop_vmfrcz_<mode>): Ditto. (*fmai_fmadd_<mode>): Ditto. (*fmai_fmsub_<mode>): Ditto. (*fmai_fnmadd_<mode>): Ditto. (*fmai_fnmsub_<mode>): Ditto. (*fma4i_vmfmadd_<mode>): Ditto. (*fma4i_vmfmsub_<mode>): Ditto. (*fma4i_vmfnmadd_<mode>): Ditto. (*fma4i_vmfnmsub_<mode>): Ditto. (*xop_vmfrcz_<mode>): Ditto. (sse_cvtps2pi): Ditto. (sse_cvttps2pi): Ditto. (sse_cvtss2si): Ditto. (sse_cvtss2si_2): Ditto. (sse_cvtss2siq_2): Ditto. (sse_cvttss2si): Ditto. (sse_cvttss2siq): Ditto. (sse_cvtsd2si): Ditto. (sse_cvtsd2si_2): Ditto. (sse_cvtsd2siq_2): Ditto. (sse_cvttsd2si): Ditto. (sse_cvttsd2siq): Ditto. (sse_cvtsd2ss): Ditto. (sse_cvtss2sd): Ditto. (avx2_pbroadcast<mode>): Ditto. (avx2_pbroadcast<mode>_1): Ditto. (*avx_vperm_broadcast_v4sf): Ditto. (sse_movhlps): Ditto for movlp[sd]/movhp[sd] alternatives. (sse_movlhps): Ditto. (sse_storehps): Ditto. (sse_loadhps): Ditto. (sse_storelps): Ditto. (sse_loadlps): Ditto. (*vec_concatv4sf): Ditto. (*vec_interleave_highv2df): Ditto. (*vec_interleave_lowv2df): Ditto. (*vec_extractv2df_1_sse): Ditto. (*vec_extractv2df_0_sse): Ditto. (sse2_storelpd): Ditto. (sse2_loadlpd): Ditto. (sse2_movsd): Ditto. (*vec_concatv4si): Ditto. (vec_concatv2di): Ditto. * config/i386/mmx.md (mmx_punpcklbw): Add pointer size overrides for Intel asm dialect. (mmx_punpcklwd): Ditto. (mmx_punpckldq): Ditto. * config/i386/i386.c (ix86_print_operand) ['H']: Output 'qword ptr' for intel assembler dialect. testsuite/ChangeLog: 2013-07-06 Uros Bizjak <ubizjak@gmail.com> PR target/57807 * gcc.target/i386/pr57807.c: New test. From-SVN: r200737
2013-07-06re PR target/29776 (result of ffs/clz/ctz/popcount/parity are already ↵Jakub Jelinek7-21/+259
sign-extended) PR target/29776 * fold-const.c (tree_call_nonnegative_warnv_p): Return true for BUILT_IN_C{LZ,LRSB}*. * tree.h (CASE_INT_FN): Add FN##IMAX case. * tree-vrp.c (extract_range_basic): Handle BUILT_IN_{FFS,PARITY,POPCOUNT,C{LZ,TZ,LRSB}}*. For BUILT_IN_CONSTANT_P if argument isn't (D) of PARM_DECL, fall thru to code calling set_value*. * builtins.c (expand_builtin): Remove *IMAX cases. (fold_builtin_bitop): For BUILT_IN_CLRSB* return NULL_TREE if width is bigger than 2*HWI. * libgcc2.c (__floattisf): Avoid undefined signed overflow. * gcc.dg/tree-ssa/vrp89.c: New test. From-SVN: r200731
2013-07-06re PR c++/28262 (Inconsistent "default arguments are only permitted for ↵Paolo Carlini4-0/+22
function parameters".) /cp 2013-07-06 Paolo Carlini <paolo.carlini@oracle.com> PR c++/28262 * parser.c (cp_parser_init_declarator): If we are parsing a typedef set parser->default_arg_ok_p to false before cp_parser_declarator. /testsuite 2013-07-06 Paolo Carlini <paolo.carlini@oracle.com> PR c++/28262 * g++.dg/parse/defarg16.C: New. From-SVN: r200730
2013-07-06Daily bump.GCC Administrator1-1/+1
From-SVN: r200728
2013-07-05re PR rtl-optimization/55342 ([LRA,x86] Non-optimal code for simple loop ↵Vladimir Makarov7-27/+218
with LRA) 2013-07-05 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/55342 * lra-int.h (lra_subreg_reload_pseudos): New. * lra.c: Add undoing optional reloads to the block diagram. (lra_subreg_reload_pseudos): New. (lra_optional_reload_pseudos): Change comments. (lra): Init and clear lra_subreg_reload_pseudos. Clear lra_optional_reload_pseudos after undo transformations. * lra-assigns.c (pseudo_prefix_title): New. (lra_setup_reg_renumber): Use it. (spill_for): Ditto. Check subreg reload pseudos too. (assign_by_spills): Consider subreg reload pseudos too. * lra-constraints.c (simplify_operand_subreg): Use lra_subreg_reload_pseudos instead of lra_optional_reload_pseudos. (curr_insn_transform): Recognize and do optional reloads. (undo_optional_reloads): New. (lra_undo_inheritance): Call undo_optional_reloads. 2013-07-05 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/55342 * gcc.target/i386/pr55342.c: New. From-SVN: r200723
2013-07-05ChangeLog: Fix whitespace.Uros Bizjak2-37/+30
* ChangeLog: Fix whitespace. * testsuite/ChangeLog: Ditto. From-SVN: r200721
2013-07-05Fix pr57518.c test case.Marcus Shawcroft2-1/+5
From-SVN: r200720
2013-07-05re PR c++/14263 (Cryptic diagnostic for cast from virtual base class not ↵Paolo Carlini4-3/+46
using dynamic_cast) /cp 2013-07-05 Paolo Carlini <paolo.carlini@oracle.com> PR c++/14263 * class.c (build_base_path): Improve diagnostic. /testsuite 2013-07-05 Paolo Carlini <paolo.carlini@oracle.com> PR c++/14263 * g++.dg/inherit/virtual10.C: New. From-SVN: r200718
2013-07-05aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.Hristian Kirtchev21-243/+958
2013-07-05 Hristian Kirtchev <kirtchev@adacore.com> * aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect. * aspects.ads: Add an entry for SPARK_Mode in tables Aspect_Id, Aspect_Argument, Aspect_Names. * atree.adb (Node32): New routine. (Set_Node32): New routine. * atree.ads (Node32): New routine. (Set_Node32): New routine. * einfo.adb: Node32 is now used as SPARK_Mode_Pragmas. (Set_SPARK_Mode_Pragmas): New routine. (SPARK_Mode_Pragmas): New routine. (Write_Field32_Name): Add and entry for SPARK_Modes. * einfo.ads: Add attribute SPARK_Mode_Pragmas along with usage in various entities. (Set_SPARK_Mode_Pragmas): New routine and pragma Inline. (SPARK_Mode_Pragmas): New routine and pragma Inline. * gnat_rm.texi: Add sections explaining the syntax and semantics of aspect/pragma SPARK_Mode. * gnat_ugn.texi: Add pragma SPARK_Mode to the list of configuration pragmas. * lib.adb (Set_SPARK_Mode_Pragma): New routine. (SPARK_Mode_Pragma): New routine. * lib.ads: Alphabetize the comments on fields of record Unit_Record. Add new field SPARK_Mode_Pragma along with comment on its usage. Update the layout of record Unit_Record. (Set_SPARK_Mode_Pragma): New routine and pragma Inline. (SPARK_Mode_Pragma): New routine and pragma Inline. * lib-load.adb (Create_Dummy_Package_Unit): Initialize field SPARK_Mode_Pragma. (Load_Main_Source): Initialize field SPARK_Mode_Pragma. (Load_Unit): Initialize field SPARK_Mode_Pragma. * lib-writ.adb (Add_Preprocessing_Dependency): Initialize field SPARK_Mode_Pragma. (Ensure_System_Dependency): Initialize field SPARK_Mode_Pragma. * opt.ads: Alphabetize verification flags. Store the compilation-wide SPARK mode in variable Global_SPARK_Mode. * par-prag.adb: Pragma SPARK_Mode does not need special processing by the parser. * sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect SPARK_Mode into a pragma. (Check_Aspect_At_Freeze_Point): Aspect SPARK_Mode does not need delayed processing. * sem_prag.adb: Add an entry for SPARK_Mode in table Sig_Flags. (Analyze_Pragma): Add processing for pragma SPARK_Mode. (Get_SPARK_Mode_Id): New routine. (Is_Elaboration_SPARK_Mode): New routine. (Is_Private_SPARK_Mode): New routine. * sem_prag.ads (Get_SPARK_Mode_Id): New routine. (Is_Elaboration_SPARK_Mode): New routine. (Is_Private_SPARK_Mode): New routine. * sinfo.ads: Update the comment on the usage of field Next_Pragma. * snames.ads-tmpl: Add new predefined name for SPARK_Mode and Auto. Add new pragma Id for SPARK_Mode. * types.ads: Add new type SPARK_Mode_Id. From-SVN: r200711
2013-07-05sem_ch13.adb (Analyze_Aspect_Specifications): For pre/postconditions copy ↵Ed Schonberg2-2/+12
the expression to the generated pragma... 2013-07-05 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): For pre/postconditions copy the expression to the generated pragma, to avoid sharing between the original aspect and the pragma node, because in ASIS_Mode both will be independently analyzed. From-SVN: r200710
2013-07-05exp_ch3.adb (Build_Variant_Record_Equality): Add pairs of formals for each ↵Ed Schonberg3-105/+241
discriminant of an unchecked union. 2013-07-05 Ed Schonberg <schonberg@adacore.com> * exp_ch3.adb (Build_Variant_Record_Equality): Add pairs of formals for each discriminant of an unchecked union. (Make_Eq_Case): Suprogram accepts a list of discriminants. Nested variants are supported. New helper function Corresponding_Formal. * exp_ch4.adb (Build_Equality_Call): For unchecked unions, loop through discriminants to create list of inferred values, and modify call to equality routine accordingly. From-SVN: r200709
2013-07-05[multiple changes]Arnaud Charlet9-140/+347
2013-07-05 Claire Dross <dross@adacore.com> * a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cforma.ads, a-cforse.ads, a-cofove.ads: Add preconditions when needed + container types are not tagged any more. 2013-07-05 Thomas Quinot <quinot@adacore.com> * freeze.adb (Freeze_Entity): For an object with captured initialization statements, do not remove Init_Stmts from the enclosing list, as Freeze_All might rely on it to know where to stop freezing. From-SVN: r200708
2013-07-05exp_ch4.adb, [...]: Minor reformatting.Robert Dewar5-120/+140
2013-07-05 Robert Dewar <dewar@adacore.com> * exp_ch4.adb, a-cfdlli.ads, a-ngelfu.ads, s-bignum.adb: Minor reformatting. From-SVN: r200707
2013-07-05exp_ch4.adb (Expand_Composite_Equality): Use the full view when the base ↵Hristian Kirtchev2-0/+12
type is private. 2013-07-05 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Expand_Composite_Equality): Use the full view when the base type is private. From-SVN: r200706
2013-07-05[multiple changes]Arnaud Charlet8-32/+139
2013-07-05 Claire Dross <dross@adacore.com> * a-cfdlli.ads: Add preconditions when needed. 2013-07-05 Robert Dewar <dewar@adacore.com> * sem_ch8.adb: Minor reformatting. 2013-07-05 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Access_Subprogram_Declaration): Use Generate_Reference_To_Formals. * lib-xref.adb (Generate_Reference_To_Formals): In the case of access to subprograms, the formals are found in the designated subprogram type. 2013-07-05 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Document that comments can be lined up with previous non-blank line. * styleg.adb (Check_Comment): Allow indentation to match previous non-blank line (Same_Column_As_Previous_Line): New function From-SVN: r200705
2013-07-05[multiple changes]Arnaud Charlet5-17/+143
2013-07-05 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Update doc on missing pragmas. * sem_ch12.adb: Minor comment additions. 2013-07-05 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Analyze_Pragma): Ensure that Contract_Cases, Depends and Global are analyzed when they apply to a subprogram compilation unit. The pragmas are all added unconditionally to the construct's contract. This ensures that proof tools can locate the pragmas. 2013-07-05 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Freeze_Actual_Profile): An instance within a generic unit does not freeze a generic private type of the enclosing generic. This rule must also apply to a type derived from a generic private type. From-SVN: r200704
2013-07-05[multiple changes]Arnaud Charlet3-3/+68
2013-07-05 Arnaud Charlet <charlet@adacore.com> * gnat_rm.texi: Add missing documentation for pragmas. 2013-07-05 Yannick Moy <moy@adacore.com> * sem_ch12.adb: Minor comment. From-SVN: r200702
2013-07-05gnat_rm.texi: Document that -gnatR and -gnatD cannot be used together.Robert Dewar3-0/+56
2013-07-05 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document that -gnatR and -gnatD cannot be used together. * switch-c.adb: Do not allow -gnatD and -gnatR to both be specified. From-SVN: r200701
2013-07-05[multiple changes]Arnaud Charlet6-8/+91
2013-07-05 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Add missing documentation for pragmas. * sem_ch8.adb: Minor reformatting. * gnat_ugn.texi: Document that -gnatR and -gnatD cannot be used together. 2013-07-05 Yannick Moy <moy@adacore.com> * sem_ch12.ads, sem_ch12.adb (Need_Subprogram_Instance_Body): Force instance of subprogram body in SPARK mode, by testing Expander_Active (set in SPARK mode) instead of Full_Expander_Active (not set in SPARK mode). * sem_ch8.adb: Minor reformatting. From-SVN: r200700
2013-07-05freeze.adb (Freeze_Entity): Remove test of obsolete flag Propagate_Exceptions...Robert Dewar5-28/+38
2013-07-05 Robert Dewar <dewar@adacore.com> * freeze.adb (Freeze_Entity): Remove test of obsolete flag Propagate_Exceptions, and associated useless code that did nothing. * gnat_rm.texi: Add documentation for obsolete pragma Propagate_Exceptions. * opt.ads (Propagate_Exceptions): Obsolete flag removed. * sem_prag.adb (Analyze_Pragma, case Propagate_Exceptions): Remove useless and obsolete setting of Propagate_Exceptions flag. From-SVN: r200698
2013-07-05gnat_rm.texi, [...]: Minor comment/text fixes.Robert Dewar3-1/+17
2013-07-05 Robert Dewar <dewar@adacore.com> * gnat_rm.texi, sem_prag.adb: Minor comment/text fixes. From-SVN: r200697
2013-07-05gnat_rm.texi: Add missing doc for various pragmas.Robert Dewar2-51/+210
2013-07-05 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Add missing doc for various pragmas. From-SVN: r200696
2013-07-05par_sco.adb, [...]: Minor reformatting.Robert Dewar7-89/+124
2013-07-05 Robert Dewar <dewar@adacore.com> * par_sco.adb, sem_ch12.adb, par-ch5.adb: Minor reformatting. * gnat_rm.texi: Document pragma Profile_Warnings. * restrict.ads, sem_prag.adb: Minor reformatting. From-SVN: r200695
2013-07-05[multiple changes]Arnaud Charlet3-2/+26
2013-07-05 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Check_Formal_Package_Instance): Handle properly a formal subprogram that was defaulted in the formal package. 2013-07-05 Thomas Quinot <quinot@adacore.com> * par_sco.adb (Traverse_Declarations_Or_Statements): Ignore N_Implicit_Label_Declaration nodes. From-SVN: r200694
2013-07-05* tree-complex.c (expand_complex_operations_1): Fix typo.Thomas Quinot2-1/+5
From-SVN: r200693
2013-07-05[multiple changes]Arnaud Charlet14-180/+357
2013-07-05 Robert Dewar <dewar@adacore.com> * a-cfhase.adb, sem_prag.adb, a-cfhama.adb: Minor reformatting. 2013-07-05 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Copy_Generic_Node): Check that name in function call is a valid entity name before preserving entity in generic copy. 2013-07-05 Thomas Quinot <quinot@adacore.com> * par-ch5.adb: Minor reformatting. 2013-07-05 Thomas Quinot <quinot@adacore.com> * sinfo.ads: Minor clarification to documentation for N_Implicit_Label_Declaration. 2013-07-05 Hristian Kirtchev <kirtchev@adacore.com> * a-except-2005.adb, a-except.adb: Add constant Rmsg_17. Correct the values of all remaining constants. (Rcheck_35): New routine along with pragmas Export and No_Return. (Rcheck_PE_Aliased_Parameters): New routine along with pragmas Export and No_Return. (Rcheck_PE_All_Guards_Closed, Rcheck_PE_Bad_Predicated_Generic_Type, Rcheck_PE_Current_Task_In_Entry_Body, Rcheck_PE_Duplicated_Entry_Address, Rcheck_PE_Explicit_Raise, Rcheck_PE_Implicit_Return, Rcheck_PE_Misaligned_Address_Value, Rcheck_PE_Missing_Return, Rcheck_PE_Overlaid_Controlled_Object, Rcheck_PE_Potentially_Blocking_Operation Rcheck_PE_Stubbed_Subprogram_Called, Rcheck_PE_Unchecked_Union_Restriction, Rcheck_PE_Non_Transportable_Actual, Rcheck_SE_Empty_Storage_Pool, Rcheck_SE_Explicit_Raise, Rcheck_SE_Infinite_Recursion, Rcheck_SE_Object_Too_Large, Rcheck_PE_Finalize_Raised_Exception): Update the use of Rmsg_XX. (Rcheck_17, Rcheck_18, Rcheck_19, Rcheck_20, Rcheck_21, Rcheck_22, Rcheck_23, Rcheck_24, Rcheck_25, Rcheck_26, Rcheck_27, Rcheck_28, Rcheck_29, Rcheck_30, Rcheck_31, Rcheck_32, Rcheck_33, Rcheck_34, Rcheck_35): Update corresponding renamed subprograms. * checks.adb: Add with and use clause for Stringt. (Apply_Parameter_Aliasing_Checks): Make constant Loc visible in all subprograms of Apply_Parameter_Aliasing_Checks. Remove local variable Cond. Initialize Check at the start of the routine. Use routine Overlap_Check to construct a simple or a detailed run-time check. Update the creation of the simple check. (Overlap_Check): New routine. * exp_ch11.adb (Get_RT_Exception_Name): Add a value for PE_Aliased_Parameters. * types.ads: Add new enumeration literal PE_Aliased_Parameters. Update the corresponding integer values of all RT_Exception_Code literals. * types.h: Add new constant PE_Aliased_Parameters. Correct the values of all remaining constants. 2013-07-05 Yannick Moy <moy@adacore.com> * gnat_rm.texi: Minor renaming of SPARK into SPARK 2005 in documentation. From-SVN: r200690
2013-07-05sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class-wide condition...Ed Schonberg2-0/+13
2013-07-05 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class-wide condition, when replacing the name of a formal by a conversion to the class-wide type, exempt selector names that appear in parameter associations. From-SVN: r200689
2013-07-05Daily bump.GCC Administrator1-1/+1
From-SVN: r200686
2013-07-04re PR c/57821 ('array is too large' error is missing when sizetype overflows)Joern Rennecke6-6/+45
gcc/c: PR c/57821 * c-typeck.c (set_init_index): When folding, check for index overflow. gcc/c-family: PR c/57821 * c-common.c (complete_array_type): Delay folding first index like other indices. When folding, check for index overflow. gcc/testsuite: PR c/57821 * gcc.dg/large-size-array-6.c: New test. From-SVN: r200683
2013-07-04re PR c++/38634 (ICE with wrong number of template parameters)Paolo Carlini5-16/+47
/cp 2013-07-04 Paolo Carlini <paolo.carlini@oracle.com> PR c++/38634 * decl.c (start_preparsed_function): Return a bool, false if push_template_decl fails. (start_function): Adjust. * cp-tree.h: Update. /testsuite 2013-07-04 Paolo Carlini <paolo.carlini@oracle.com> PR c++/38634 * g++.dg/template/crash116.C: New. From-SVN: r200682
2013-07-04vrp66.c: Make conditional on { target { ! int16 } } .Joern Rennecke3-1/+920
* gcc.dg/tree-ssa/vrp66.c: Make conditional on { target { ! int16 } } . * gcc.dg/tree-ssa/vrp66-int16-sw.c: New test. From-SVN: r200679
2013-07-04Vector Cost Model.Tejas Belagod3-0/+159
2013-07-04 Tejas Belagod <tejas.belagod@arm.com> Vector Cost Model. * config/aarch64/aarch64-protos.h (cpu_vector_cost): New. (tune_params): New member 'const vec_costs'. * config/aarch64/aarch64.c (generic_vector_cost): New. (generic_tunings): New member 'generic_vector_cost'. (aarch64_builtin_vectorization_cost): New. (aarch64_add_stmt_cost): New. (TARGET_VECTORIZE_ADD_STMT_COST): New. (TARGET_VECTORIZE_BUILTIN_VECTORIZATION_COST): New. From-SVN: r200670
2013-07-04re PR c++/54998 (Internal compiler error with union member initialization ↵Paolo Carlini2-0/+26
using default constructor) 2013-07-04 Paolo Carlini <paolo.carlini@oracle.com> PR c++/54998 * g++.dg/cpp0x/nsdmi-list3.C: New. From-SVN: r200667
2013-07-04Daily bump.GCC Administrator1-1/+1
From-SVN: r200654
2013-07-03re PR target/57777 (Python module fails compilation with "-march=core-avx2 -O3")Jakub Jelinek4-12/+43
PR target/57777 * config/i386/predicates.md (vsib_address_operand): Disallow SYMBOL_REF or LABEL_REF in parts.disp if TARGET_64BIT && flag_pic. * gcc.target/i386/pr57777.c: New test. From-SVN: r200649
2013-07-03re PR c++/57771 (g++ misinterprets >> in static_cast)Jakub Jelinek4-0/+27
PR c++/57771 * parser.c (cp_parser_postfix_expression) <case RID_STATCAST> Temporarily set parser->greater_than_is_operator_p for cp_parser_expression and restore from saved value afterwards. * g++.dg/template/arg9.C: New test. From-SVN: r200647
generated by cgit v1.1 at 2025-09-24 00:43:30 +0000