aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2014-11-10re PR tree-optimization/63800 (ICE on valid code at -O3 on x86_64-linux-gnu)Richard Biener4-2/+48
2014-11-10 Richard Biener <rguenther@suse.de> PR tree-optimization/63800 * tree-ssa-pre.c (eliminate_push_avail): Push in a way so we can restore the previous availability in after_dom_children. (eliminate_dom_walker::after_dom_children): Restore previous availability. * gcc.dg/torture/pr63800.c: New testcase. From-SVN: r217288
2014-11-10re PR tree-optimization/63798 (FAIL: gcc.target/powerpc/ppc-fmadd-1.c ↵Richard Biener2-0/+20
scan-assembler-not f(add|sub|mul|neg)) 2014-11-10 Richard Biener <rguenther@suse.de> PR middle-end/63798 * expr.c (expand_expr_real_2): When expanding FMA_EXPRs properly treat the embedded multiplication as commutative when looking for feeding negates. From-SVN: r217287
2014-11-10* config/avr/avr.h (CPLUSPLUS_CPP_SPEC): Define.Joern Rennecke2-0/+8
From-SVN: r217286
2014-11-10ICF is disabled for the test because of default char signedness on powerpc64 ↵Martin Liska2-1/+7
target. From-SVN: r217285
2014-11-10match.pd: Implement pattern from simplify_conversion_from_bitmask.Richard Biener3-90/+18
2014-11-10 Richard Biener <rguenther@suse.de> * match.pd: Implement pattern from simplify_conversion_from_bitmask. * tree-ssa-forwprop.c (simplify_conversion_from_bitmask): Remove. (pass_forwprop::execute): Do not call simplify_conversion_from_bitmask. From-SVN: r217284
2014-11-10align-7.c: Skip for -flto -fno-fat-lto-objects.Marek Polacek5-1/+12
* c-c++-common/ubsan/align-7.c: Skip for -flto -fno-fat-lto-objects. * c-c++-common/ubsan/align-8.c: Likewise. * g++.dg/ubsan/null-4.C: Likewise. * g++.dg/ubsan/null-5.C: Likewise. From-SVN: r217282
2014-11-10match.pd: Move rest of the conversion combining patterns from ↵Richard Biener3-126/+35
tree-ssa-forwprop.c. 2014-11-10 Richard Biener <rguenther@suse.de> * match.pd: Move rest of the conversion combining patterns from tree-ssa-forwprop.c. * tree-ssa-forwprop.c (combine_conversions): Remove. (pass_forwprop::execute): Do not call it. From-SVN: r217279
2014-11-10gimple-low.c (lower_function_body): Clear the location of the first inserted ↵Eric Botcazou4-1/+44
representative return if... * gimple-low.c (lower_function_body): Clear the location of the first inserted representative return if it also fills in for the fallthru. From-SVN: r217278
2014-11-10tree-if-conv.c (add_to_predicate_list): Check unconditionally that bb is ↵Yuri Rumyantsev4-8/+70
always executed to early exit. gcc/ * tree-if-conv.c (add_to_predicate_list): Check unconditionally that bb is always executed to early exit. Use predicate of cd-equivalent block for join blocks if it exists. (if_convertible_loop_p_1): Recompute POST_DOMINATOR tree. (tree_if_conversion): Free post-dominance information. gcc/testsuite/ * gcc.dg/tree-ssa/ifc-cd.c: New test. From-SVN: r217277
2014-11-10DR 799Jason Merrill3-2/+6
DR 799 * typeck.c (build_reinterpret_cast_1): reinterpret_cast to the same scalar type is an rvalue. From-SVN: r217276
2014-11-10DR 2007Jason Merrill3-4/+29
DR 2007 * call.c (build_new_op_1): Don't do non-class lookup for =, -> or []. From-SVN: r217275
2014-11-09avx512vldqintrin.h (_mm256_broadcast_f32x2): __mmask8.Jason Merrill3-4/+11
* config/i386/avx512vldqintrin.h (_mm256_broadcast_f32x2): __mmask8. * config/i386/avx512vlintrin.h (_mm256_mask_cvtepi32_storeu_epi16) (_mm_mask_cvtusepi32_storeu_epi16) (_mm_mask_cvtsepi64_storeu_epi32): Return void. From-SVN: r217274
2014-11-10PR 47007 and 61847 Locale failures in libgfortran.Janne Blomqvist10-22/+215
2014-11-10 Janne Blomqvist <jb@gcc.gnu.org> PR libfortran/47007 PR libfortran/61847 * config.h.in: Regenerated. * configure: Regenerated. * configure.ac (AC_CHECK_HEADERS_ONCE): Check for xlocale.h. (AC_CHECK_FUNCS_ONCE): Check for newlocale, freelocale, uselocale, strerror_l. * io/io.h (locale.h): Include. (xlocale.h): Include if present. (c_locale): New variable. (old_locale): New variable. (old_locale_ctr): New variable. (old_locale_lock): New variable. (st_parameter_dt): Add old_locale member. * io/transfer.c (data_transfer_init): Set locale to "C" if doing formatted transfer. (finalize_transfer): Reset locale to previous. * io/unit.c (c_locale): New variable. (old_locale): New variable. (old_locale_ctr): New variable. (old_locale_lock): New variable. (init_units): Init c_locale, init old_locale_lock. (close_units): Free c_locale. * runtime/error.c (locale.h): Include. (xlocale.h): Include if present. (gf_strerror): Use strerror_l if available. Reset locale to LC_GLOBAL_LOCALE for strerror_r branch. 2014-11-10 Janne Blomqvist <jb@gcc.gnu.org> PR libfortran/47007 PR libfortran/61847 * gfortran.texi: Add note about locale issues to thread-safety section. From-SVN: r217273
2014-11-10Daily bump.GCC Administrator1-1/+1
From-SVN: r217272
2014-11-09Correct ChangeLogH.J. Lu1-1/+1
From-SVN: r217268
2014-11-09Fix buffer overflow in avx256-unaligned-{load|store}-7.cH.J. Lu3-5/+12
* testsuite/63305 * gcc.target/i386/avx256-unaligned-load-7.c (avx_test): Fix buffer overflow. * gcc.target/i386/avx256-unaligned-store-7.c (avx_test): Likewise. From-SVN: r217267
2014-11-09* config/avr/predicates.md (low_io_address_operand): Fix typo.Joern Rennecke2-1/+5
From-SVN: r217266
2014-11-09re PR rtl-optimization/63620 (RELOAD lost SET_GOT dependency on Darwin)Vladimir Makarov5-95/+421
2014-11-09 Vladimir Makarov <vmakarov@redhat.com> PR rtl-optimization/63620 * lra-constraints.c (substitute_pseudo): Add prefix lra_ to the name. Move to lra.c. Make it external. (substitute_pseudo_within_insn): Ditto. (inherit_reload_reg, split_reg, remove_inheritance_pseudos): Use the new names. (undo_optional_reloads): Ditto. * lra-int.h (lra_dump_bitmap_with_title, lra_substitute_pseudo): New prototypes. (lra_substitute_pseudo_within_insn): Ditto. * lra-lives.c (bb_killed_pseudos, bb_gen_pseudos): New. (mark_regno_live): Add parameter. Update bb_gen_pseudos. (mark_regno_dead): Add parameter. Update bb_gen_pseudos and bb_killed_pseudos. (struct bb_data, bb_data_t, bb_data): New. (get_bb_data, get_bb_data_by_index): Ditto. (all_hard_regs_bitmap): New. (live_trans_fun, live_con_fun_0, live_con_fun_n, all_blocks): New. (initiate_live_solver, finish_live_solver): New. (process_bb_lives): Change return type. Add code updating local live data and removing dead insns. Pass new argument to mark_regno_live and mark_regno_dead. Check changing bb pseudo life info. Return the result. (lra_create_live_ranges): Add code to do global pseudo live analysis. (lra_live_ranges_init): Call initiate_live_solver. (lra_live_ranges_finish): Call finish_live_solver. * lra.c (lra_dump_bitmap_with_title): New. (lra_substitute_pseudo, lra_substitute_pseudo_within_insn): Move from lra-constraints.c. From-SVN: r217265
2014-11-09* gcc.target/powerpc/pr51623.c: Fix implicit declarations.Andreas Schwab2-0/+9
From-SVN: r217264
2014-11-09match.pd: Add patterns convering two conversions in a row from fold-const.c.Richard Biener8-180/+111
2014-11-09 Richard Biener <rguenther@suse.de> * match.pd: Add patterns convering two conversions in a row from fold-const.c. * fold-const.c (fold_unary_loc): Remove them here. * tree-ssa-forwprop.c (combine_conversions): Likewise. * genmatch.c (dt_node::gen_kids): Check whether we may follow SSA use-def chains. * g++.dg/cpp0x/constexpr-reinterpret1.C: XFAIL. * gcc.dg/tree-ssa/pr21031.c: XFAIL. From-SVN: r217260
2014-11-09Daily bump.GCC Administrator1-1/+1
From-SVN: r217259
2014-11-08aarch64.c: Include rtl-iter.h.Richard Sandiford2-17/+18
gcc/ * config/aarch64/aarch64.c: Include rtl-iter.h. (aarch64_tls_operand_p_1): Delete. (aarch64_tls_operand_p): Use FOR_EACH_SUBRTX. From-SVN: r217256
2014-11-08arm.c (arm_note_pic_base): Delete.Richard Sandiford2-11/+15
gcc/ * config/arm/arm.c (arm_note_pic_base): Delete. (arm_cannot_copy_insn_p): Use FOR_EACH_SUBRTX. From-SVN: r217255
2014-11-08arm.c: Include rtl-iter.h.Richard Sandiford2-20/+20
gcc/ * config/arm/arm.c: Include rtl-iter.h. (arm_tls_referenced_p_1): Delete. (arm_tls_referenced_p): Use FOR_EACH_SUBRTX. From-SVN: r217254
2014-11-08aarch-common.c: Include rtl-iter.h.Richard Sandiford2-70/+39
gcc/ * config/arm/aarch-common.c: Include rtl-iter.h. (search_term, arm_find_sub_rtx_with_search_term): Delete. (arm_find_sub_rtx_with_code): Use FOR_EACH_SUBRTX_VAR. (arm_get_set_operands): Pass the insn pattern rather than the insn itself. (arm_no_early_store_addr_dep): Likewise. From-SVN: r217253
2014-11-08arm.c (arm_set_return_address): Mark the store as frame related, if any.Eric Botcazou2-2/+16
* config/arm/arm.c (arm_set_return_address): Mark the store as frame related, if any. (thumb_set_return_address): Likewise. From-SVN: r217251
2014-11-08DR 1558Jason Merrill5-6/+63
DR 1558 * pt.c (dependent_alias_template_spec_p): New. (dependent_type_p_r): Handle dependent alias template specialization. (template_args_equal): A dependent alias template specializations is not equal to its underlying type as a template argument. * tree.c (strip_typedefs): Don't strip a dependent alias template-id. From-SVN: r217250
2014-11-08Daily bump.GCC Administrator1-1/+1
From-SVN: r217245
2014-11-0720141107-1.c: New testcase.Andrew Pinski2-0/+31
2014-11-07 Andrew Pinski <apinski@cavium.com> * gcc.c-torture/execute/20141107-1.c: New testcase. From-SVN: r217242
2014-11-07parser.c (cp_parser_unqualified_id): Handle __func__ here.Jason Merrill4-37/+27
* parser.c (cp_parser_unqualified_id): Handle __func__ here. (cp_parser_primary_expression): Not here. From-SVN: r217241
2014-11-07Fix typo and line wrap in ChangeLogJeff Law1-2/+2
From-SVN: r217240
2014-11-07re PR tree-optimization/61515 (Extremely long compile time for generated code)Jeff Law2-4/+35
PR tree-optimization/61515 * tree-ssa-threadedge.c (invalidate_equivalences): Walk the unwinding stack rather than looking at ever SSA_NAME's value. From-SVN: r217239
2014-11-07re PR tree-optimization/63605 (wrong code at -O3 on x86_64-linux-gnu)Richard Biener4-1/+34
2014-11-07 Richard Biener <rguenther@suse.de> PR tree-optimization/63605 * fold-const.c (fold_binary_loc): Properly use element_precision for types that may not be scalar. * gcc.dg/vect/pr63605.c: New testcase. From-SVN: r217238
2014-11-07re PR target/63534 (Bootstrap failure on x86_64/i686-linux)Evgeny Stupachenko2-32/+8
PR target/63534 gcc/ * config/i386/i386.md (builtin_setjmp_receiver): Use pic_offset_table_rtx for PIC register. (nonlocal_goto_receiver): Delete. From-SVN: r217237
2014-11-07* g++.dg/pr61289-2.C: Renamed from pr61289-2.c.Jeff Law2-0/+4
From-SVN: r217234
2014-11-07config.gcc (sparc-*-rtems*): Clean away unused t-elf.Daniel Hellstrom3-3/+17
2014-11-07 Daniel Hellstrom <daniel@gaisler.com> * config.gcc (sparc-*-rtems*): Clean away unused t-elf. * config/sparc/t-rtems: Add leon3v7 and muser-mode multilibs. From-SVN: r217231
2014-11-07[PATCH] gnu11 cleanup for gcc.target/arm/lp1243022.cJiong Wang2-0/+7
gcc/testsuite/ * gcc.target/arm/lp1243022.c (xhci_test_trb_in_td): Add return type. (xhci_check_trb_in_td_math): Likewise. From-SVN: r217230
2014-11-07re PR c++/63366 (C++ __complex is not equivalent to __complex double)Thomas Preud'homme3-11/+33
PR c++/63366 * decl.c (grokdeclarator): Fix __complex meaning __complex double. From-SVN: r217229
2014-11-07[PATCH] Add AArch64 to the target list for 20040204-1.cJiong Wang2-1/+5
gcc/testsuite/ * gcc.dg/tree-ssa/20040204-1.c: Add aarch64*-*-* to the list. From-SVN: r217228
2014-11-07[multiple changes]Arnaud Charlet25-77/+186
2014-11-07 Arnaud Charlet <charlet@adacore.com> * debug.adb, snames.adb-tmpl (Is_Keyword_Name): Consider 'overriding' a keyword in Ada 95 mode when -gnatd.D is used. * gnat_ugn.texi: Document -gnatd.D. 2014-11-07 Vasiliy Fofanov <fofanov@adacore.com> * gnatls.adb: Lower severity of the program's return value in some common cases. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Decorate_Type): The limited view of a tagged type has an empty list of primitive operations. 2014-11-07 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch3.adb (Analyze_Object_Declaration): Update references to SPARK RM. (Process_Full_View): Update references to SPARK RM. * sem_ch6.adb (Analyze_Generic_Subprogram_Body): Update references to SPARK RM. (Analyze_Subprogram_Body_Helper): Update references to SPARK RM. * sem_ch7.adb (Analyze_Package_Body_Helper): Update references to SPARK RM. * sem_prag.adb (Check_Ghost_Constituent): Update references to SPARK RM. * sem_res.adb (Check_Ghost_Policy): Update references to SPARK RM. (Resolve_Actuals): Ensure that the actual parameter of a Ghost subprogram whose formal is of mode IN OUT or OUT is Ghost. * sem_util.adb (Check_Ghost_Completion): Update references to SPARK RM. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * exp_ch7.adb (Make_Final_Call): If type of designated object is derived from that of the formal of the Deep_Finalize procedure, add an unchecked conversion to prevent spurious type error. 2014-11-07 Robert Dewar <dewar@adacore.com> * table.adb, inline.adb, einfo.adb, gnat1drv.adb, exp_ch13.adb, exp_fixd.adb, prj-conf.adb, exp_strm.adb, a-cofove.adb, exp_ch3.ads: Minor reformatting. 2014-11-07 Robert Dewar <dewar@adacore.com> * sem_ch12.adb, sem_ch13.adb, prj-tree.adb: Minor reformatting. From-SVN: r217227
2014-11-07[multiple changes]Arnaud Charlet6-33/+67
2014-11-07 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb (Set_Is_Checked_Ghost_Entity, Set_Is_Ignored_Ghost_Entity): Add exceptions to the assertion check. * sem_ch6.adb (Check_Conformance): Consider only source subprograms when checking for Ghost conformance. * sem_prag.adb (Analyze_Pragma): Handle the case where pragma Ghost applies to a stand alone subprogram body that acts as a compilation unit. * sem_res.adb: Minor reformatting (merge if statements). 2014-11-07 Ed Schonberg <schonberg@adacore.com> * exp_strm.adb (Build_Record_Or_Elementary_Input_Function): Check whether underlying type is constrained before generating the object declaration for the result object of the function. From-SVN: r217226
2014-11-07[multiple changes]Arnaud Charlet10-25/+81
2014-11-07 Robert Dewar <dewar@adacore.com> * freeze.adb: Code clean up. 2014-11-07 Yannick Moy <moy@adacore.com> * a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cfinve.ads, * a-cforma.ads, a-cforse.ads, a-cofove.ads: Mark First_To_Previous, Current_To_Last and Strict_Equal as Ghost. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb: Code clean up. From-SVN: r217225
2014-11-07[multiple changes]Arnaud Charlet9-76/+116
2014-11-07 Hristian Kirtchev <kirtchev@adacore.com> * freeze.adb (Freeze_Entity): Issue an error regardless of the SPARK_Mode when a ghost type is effectively volatile. * sem_ch3.adb (Analyze_Object_Contract): Decouple the checks related to Ghost from SPARK_Mode. * sem_res.adb (Check_Ghost_Policy): Issue an error regardless of the SPARK_Mode when the Ghost policies do not match. * sem_util.adb (Check_Ghost_Completion): Issue an error regardless of the SPARK_Mode when the Ghost policies do not match. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * sem_ch5.adb (Analyze_Iterator_Specification): return if name in iterator does not have any usable aspect for iteration. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Null_Procedure): Reject a null procedure that there is a previous null procedure in scope with a matching profile. 2014-11-07 Hristian Kirtchev <kirtchev@adacore.com> * atree.adb (Copy_Separate_Tree): Copy the aspect specifications. * inline.adb (Has_Some_Contract): Do the check only when the related entity has been analyzed. From-SVN: r217224
2014-11-07[multiple changes]Arnaud Charlet3-26/+86
2014-11-07 Ed Schonberg <schonberg@adacore.com> * exp_fixd.adb (Expand_Multiply_Fixed_By_Fixed_Giving_Integer): If the restriction No_Floating_Point is in effect, and the operands have the same type, introduce a temporary to hold the fixed point result, to prevent the use of floating-point operations at run-time. 2014-11-07 Robert Dewar <dewar@adacore.com> * freeze.adb (Check_Address_Clause): Minor reformatting (Find_Constant): Minor reformatting. (Freeze_Array_Type): Modify check for packed declarations. (Freeze_Entity): Minor reformatting. From-SVN: r217223
2014-11-07re PR ipa/63580 (ICE : error: invalid argument to gimple call)Martin Liska4-0/+45
PR ipa/63580 * cgraphunit.c (cgraph_node::create_wrapper): TREE_ADDRESSABLE is set to false for a newly created thunk. * g++.dg/ipa/pr63580.C: New test. From-SVN: r217222
2014-11-07* ja.po: Update.Joseph Myers2-18/+13
From-SVN: r217220
2014-11-07re PR tree-optimization/63747 (icf mis-compares switch gimple)Martin Liska4-0/+64
PR ipa/63747 * gcc.dg/ipa/pr63747.c: New test. * ipa-icf-gimple.c (func_checker::compare_gimple_switch): Missing checking for CASE_LOW and CASE_HIGH added. From-SVN: r217219
2014-11-07re PR tree-optimization/63595 (Segmentation faults inside kernel)Martin Liska4-2/+105
PR ipa/63595 * g++.dg/ipa/pr63595.C: New test. * cgraphunit.c (cgraph_node::expand_thunk): DECL_BY_REFERENCE is correctly handled for thunks created by IPA ICF. From-SVN: r217218
2014-11-07[PATCH] PR63676, exit tree fold when node be TREE_CLOBBER_PJiong Wang2-0/+10
gcc/ PR tree-optimization/63676 * gimple-fold.c (fold_gimple_assign): Do not fold node when TREE_CLOBBER_P be true. From-SVN: r217215
2014-11-07re PR middle-end/63770 (ICE on valid code at all optimization levels on ↵Richard Biener4-8/+35
x86_64-linux-gnu) 2014-11-07 Richard Biener <rguenther@suse.de> PR middle-end/63770 * match.pd: Guard conflicting GENERIC pattern properly. * gcc.dg/pr63770.c: New testcase. From-SVN: r217214