gcc.git
8 years agoCorrectly advance iterator in offloading machine mode stream reading
Thomas Schwinge [Mon, 10 Aug 2015 15:22:24 +0000 (17:22 +0200)]
Correctly advance iterator in offloading machine mode stream reading

gcc/
* lto-streamer-in.c (lto_input_mode_table): Correctly advance
iterator.

Co-Authored-By: Ilya Verbin <ilya.verbin@intel.com>
From-SVN: r226758

8 years ago[AArch64] Recommit correct version for improving TLS descriptor pattern
Ramana Radhakrishnan [Mon, 10 Aug 2015 10:06:28 +0000 (10:06 +0000)]
[AArch64] Recommit correct version for improving TLS descriptor pattern

2015-08-06    Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
      Jiong Wang  <jiong.wang@arm.com>

gcc/
  * config/aarch64/aarch64.d (tlsdesc_small_pseudo_<mode>): New pattern.
  * config/aarch64/aarch64.h (reg_class): New enumeration FIXED_REG0.
  (REG_CLASS_NAMES): Likewise.
  (REG_CLASS_CONTENTS): Likewise.
  * config/aarch64/aarch64.c (aarch64_class_max_nregs): Likewise.
  (aarch64_register_move_cost): Likewise.
  (aarch64_load_symref_appropriately): Invoke the new added pattern if
  possible.
  * config/aarch64/constraints.md (Uc0): New constraint.

gcc/testsuite/
  * gcc.target/aarch64/tlsdesc_hoist.c: New testcase.

From-SVN: r226757

8 years ago[AArch64] Revert wrong commit of "Improve TLS Descriptor pattern to release RTL loop...
Jiong Wang [Mon, 10 Aug 2015 10:00:56 +0000 (10:00 +0000)]
[AArch64] Revert wrong commit of "Improve TLS Descriptor pattern to release RTL loop IV opt"

Revert the wrong commit of

  2015-08-06    Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
      Jiong Wang  <jiong.wang@arm.com>

* config/aarch64/aarch64.d (tlsdesc_small_pseudo_<mode>): New pattern.
* config/aarch64/aarch64.h (reg_class): New enumeration FIXED_REG0.
(REG_CLASS_NAMES): Likewise.
(REG_CLASS_CONTENTS): Likewise.
* config/aarch64/aarch64.c (aarch64_class_max_nregs): Likewise.
(aarch64_register_move_cost): Likewise.
(aarch64_load_symref_appropriately): Invoke the new added pattern if
possible.
* config/aarch64/constraints.md (Uc0): New constraint.

From-SVN: r226756

8 years agore PR fortran/64022 ([F2003][IEEE] ieee_support_flag does not handle kind=10 and...
Uros Bizjak [Mon, 10 Aug 2015 05:13:01 +0000 (07:13 +0200)]
re PR fortran/64022 ([F2003][IEEE] ieee_support_flag does not handle kind=10 and kind=16 REAL variables)

PR fortran/64022
* gfortran.dg/ieee/large_4.f90: New test.

From-SVN: r226755

8 years agoDaily bump.
GCC Administrator [Mon, 10 Aug 2015 00:16:12 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r226754

8 years agooptions.texi (EnabledBy): Document that the argument must be a Common option.
Manuel López-Ibáñez [Sun, 9 Aug 2015 19:30:17 +0000 (19:30 +0000)]
options.texi (EnabledBy): Document that the argument must be a Common option.

gcc/ChangeLog:

2015-08-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>

* doc/options.texi (EnabledBy): Document that the argument must be
a Common option.
* doc/invoke.texi (Wnull-dereference): Move after Wnonnull.
Not enabled by -Wall.
* optc-gen.awk: Give nicer error messages. Detect if the argument
of EnabledBy is not a Common option.
* common.opt (Wnull-dereference): Not enabled by -Wall.
* opt-functions.awk (lang_enabled_by): Nicer error messages.

gcc/c-family/ChangeLog:

2015-08-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>

* c.opt (Wchkp): Use LangEnabledBy instead of EnabledBy.

From-SVN: r226751

8 years agore PR libfortran/66936 (io/unix.c gratuitously uses S_IRWXG and S_IRWXO on the basis...
Francois-Xavier Coudert [Sun, 9 Aug 2015 16:43:42 +0000 (16:43 +0000)]
re PR libfortran/66936 (io/unix.c gratuitously uses S_IRWXG and S_IRWXO on the basis that umask() is available)

PR libfortran/66936
* io/unix.c (__MINGW32__): Undefine HAVE_UMASK.

From-SVN: r226750

8 years agoTreat model == 0x4f as Broadwell
H.J. Lu [Sun, 9 Aug 2015 13:59:08 +0000 (13:59 +0000)]
Treat model == 0x4f as Broadwell

From Intel SDM Vol 3:

Table 35-29 lists MSRs that are common to processors based on the
Broadwell microarchitectures (including CPUID signatures 06_3DH,
06_47H, 06_4FH, and 06_56H).

* config/i386/driver-i386.c (host_detect_local_cpu): Treat
model == 0x4f as Broadwell.

From-SVN: r226749

8 years agoMakefile.am (libquadmath_la_SOURCES): Add math/logbq.c.
Francois-Xavier Coudert [Sun, 9 Aug 2015 08:46:52 +0000 (08:46 +0000)]
Makefile.am (libquadmath_la_SOURCES): Add math/logbq.c.

* Makefile.am (libquadmath_la_SOURCES): Add math/logbq.c.
* Makefile.in: Regenerate.
* libquadmath.texi: Document logbq.
* quadmath.h: Add logbq prototype.
* quadmath.map: Add logbq.
* quadmath_weak.h: Add logbq prototype.
* math/logbq.c: New file

From-SVN: r226748

8 years agoDaily bump.
GCC Administrator [Sun, 9 Aug 2015 00:16:13 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r226746

8 years agoImplement N4279, Improved insertion interface for unique-key maps.
Ville Voutilainen [Sat, 8 Aug 2015 22:57:13 +0000 (01:57 +0300)]
Implement N4279, Improved insertion interface for unique-key maps.

2015-08-09  Ville Voutilainen  <ville.voutilainen@gmail.com>

Implement N4279, Improved insertion interface for unique-key maps.
* include/bits/stl_map.h (try_emplace, insert_or_assign): New.
* include/bits/stl_tree.h (_M_get_insert_unique_pos,
_M_get_insert_equal_pos, _M_get_insert_hint_unique_pos,
_M_get_insert_hint_equal_pos): Make public.
* include/bits/unordered_map.h (try_emplace, insert_or_assign): New.
* testsuite/23_containers/map/modifiers/insert_or_assign/1.cc:
Likewise.
* testsuite/23_containers/map/modifiers/try_emplace/1.cc: Likewise.
* testsuite/23_containers/unordered_map/modifiers/insert_or_assign.cc:
Likewise.
* testsuite/23_containers/unordered_map/modifiers/try_emplace.cc:
Likewise.

From-SVN: r226743

8 years agore PR c++/67144 ([C++1z] ICE; in get_constraints, at cp/pt.c:23346)
Jason Merrill [Sat, 8 Aug 2015 22:04:34 +0000 (18:04 -0400)]
re PR c++/67144 ([C++1z] ICE; in get_constraints, at cp/pt.c:23346)

PR c++/67144
* call.c (joust): Only call more_constrained on decls.

From-SVN: r226740

8 years agore PR c++/67152 ([concepts] bogus "partial specialization of ‘foo<T>’ after instantia...
Jason Merrill [Sat, 8 Aug 2015 22:01:39 +0000 (18:01 -0400)]
re PR c++/67152 ([concepts] bogus "partial specialization of ‘foo<T>’ after instantiation" error)

PR c++/67152
* pt.c (process_partial_specialization): Call
associate_classtype_constraints.

From-SVN: r226739

8 years agore PR c++/67159 ([c++concepts] Segfault while diagnosing constraint violation)
Jason Merrill [Sat, 8 Aug 2015 22:01:29 +0000 (18:01 -0400)]
re PR c++/67159 ([c++concepts] Segfault while diagnosing constraint violation)

PR c++/67159
* constraint.cc (finish_template_introduction):
SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT.

From-SVN: r226738

8 years agore PR c++/67142 ([C++1z] ICE: tree check: expected template_decl, have field_decl...
Jason Merrill [Sat, 8 Aug 2015 22:01:21 +0000 (18:01 -0400)]
re PR c++/67142 ([C++1z] ICE: tree check: expected template_decl, have field_decl in equal, at cp/pt.c:1665)

PR c++/67142
* pt.c (equal): Make sure tmpl is actually a template.

From-SVN: r226737

8 years agore PR libstdc++/67114 ([MinGW64] build failure with POSIX threads enabled)
Jason Merrill [Sat, 8 Aug 2015 22:01:12 +0000 (18:01 -0400)]
re PR libstdc++/67114 ([MinGW64] build failure with POSIX threads enabled)

PR c++/67114
* call.c (joust): Only call more_constrained on decls.

From-SVN: r226736

8 years agore PR fortran/67059 (gfortran --version output is inconsistent with the rest of GCC)
Francois-Xavier Coudert [Sat, 8 Aug 2015 19:59:16 +0000 (19:59 +0000)]
re PR fortran/67059 (gfortran --version output is inconsistent with the rest of GCC)

PR fortran/67059
* gfortranspec.c (lang_specific_driver): Adjust --version output.

From-SVN: r226734

8 years agoImplement N4089 Safe conversions in unique_ptr<T[]> (LWG 2118) and N4366 LWG 2228...
Ville Voutilainen [Sat, 8 Aug 2015 11:07:34 +0000 (14:07 +0300)]
Implement N4089 Safe conversions in unique_ptr<T[]> (LWG 2118) and N4366 LWG 2228...

2015-08-08  Ville Voutilainen  <ville.voutilainen@gmail.com>

Implement N4089 Safe conversions in unique_ptr<T[]> (LWG 2118)
and N4366 LWG 2228: Missing SFINAE rule in unique_ptr
templated assignment
* include/bits/unique_ptr.h
(__remove_cv, __is_derived_Tp): Remove.
(default_delete::default_delete(const default_delete<_Up[]>)):
Constrain with array convertibility.
(default_delete::operator(_Up*)): Turn into a template,
constrain with array convertibility.
(__safe_conversion_up): New, single object version.
(unique_ptr(unique_ptr<_Up, _Ep>&&)): Constrain with deleter
convertibility.
(unique_ptr::operator=(unique_ptr<_Up, _Ep>&&)): Likewise, and add
is_assignable as a constraint.
(__safe_conversion_up): Array version, renamed from __safe_conversion,
updated to implement N4089.
(__safe_conversion_raw): New.
(unique_ptr(_Up)): Turn into a template, constrain with array
convertibility.
(unique_ptr(_Up,
        typename conditional<is_reference<deleter_type>::value,
        deleter_type, const deleter_type&>::type)): Likewise.
(unique_ptr(_Up, typename
  remove_reference<deleter_type>::type&&)): Likewise.
(unique_ptr(unique_ptr<_Up, _Ep>&&)): Likewise.
(operator=(unique_ptr<_Up, _Ep>&&)): Likewise, and add
is_assignable as a constraint (array version).
(reset(_Up)): Turn into a template, constrain with array
convertibility.
(reset(nullptr_t)): New.
* testsuite/20_util/default_delete/48631_neg.cc: Adjust.
* testsuite/20_util/unique_ptr/assign/48635.cc: Likewise.
* testsuite/20_util/unique_ptr/assign/48635_neg.cc: Likewise.
* testsuite/20_util/unique_ptr/assign/cv_qual.cc: Likewise.
* testsuite/20_util/unique_ptr/cons/cv_qual.cc: Likewise.
* testsuite/20_util/unique_ptr/dr2228.cc: New.
* testsuite/20_util/unique_ptr/modifiers/cv_qual.cc: Adjust.

From-SVN: r226733

8 years agoWhen undoing symbols, also restore common block lists
Bud Davis [Sat, 8 Aug 2015 10:40:06 +0000 (10:40 +0000)]
When undoing symbols, also restore common block lists

gcc/fortran/
2015-08-08  Bud Davis  <jmdavis@link.com>
    Mikael Morin  <mikael@gcc.gnu.org>

PR fortran/59746
* symbol.c (gfc_restore_last_undo_checkpoint): Delete a common block
symbol if it was put in the list.

gcc/testsuite/
2015-08-08  Bud Davis  <jmdavis@link.com>

PR fortran/59746
* gfortran.dg/common_22.f90: New.

Co-Authored-By: Mikael Morin <mikael@gcc.gnu.org>
From-SVN: r226732

8 years agore PR rtl-optimization/67028 (combine bug. Different assumptions about subreg in...
Segher Boessenkool [Sat, 8 Aug 2015 01:51:27 +0000 (03:51 +0200)]
re PR rtl-optimization/67028 (combine bug. Different assumptions about subreg in different places.)

PR rtl-optimization/67028
* combine.c (simplify_comparison): Fix comment.  Rearrange code.
Add test to see if a const_int fits in the new mode.

gcc/testsuite/
PR rtl-optimization/67028
* gcc.dg/pr67028.c: New testcase.

From-SVN: r226731

8 years ago* config/rx/rx.c (rx_mode_dependent_address_p): Remove unneeded asserts.
DJ Delorie [Sat, 8 Aug 2015 01:09:20 +0000 (21:09 -0400)]
* config/rx/rx.c (rx_mode_dependent_address_p): Remove unneeded asserts.

From-SVN: r226730

8 years agoDaily bump.
GCC Administrator [Sat, 8 Aug 2015 00:16:11 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r226729

8 years agore PR libfortran/66458 (Loading libgfortran.so changes the FPU exception flags)
Francois-Xavier Coudert [Fri, 7 Aug 2015 16:23:53 +0000 (16:23 +0000)]
re PR libfortran/66458 (Loading libgfortran.so changes the FPU exception flags)

PR libfortran/66458
* runtime/main.c (init): Only call set_fpu() if requested by user.

From-SVN: r226725

8 years agoAdd alternative_mask to ira_implicitly_set_insn_hard_regs
H.J. Lu [Fri, 7 Aug 2015 16:18:09 +0000 (16:18 +0000)]
Add alternative_mask to ira_implicitly_set_insn_hard_regs

Since ira_implicitly_set_insn_hard_regs may be called outside of
ira-lives.c, it can't use the local variable, preferred_alternatives.
This patch adds an alternative_mask argument to
ira_implicitly_set_insn_hard_regs.

gcc/

PR rtl-optimization/67029
* ira-color.c: Include "recog.h" before including "ira-int.h".
* target-globals.c: Likewise.
* ira-lives.c (ira_implicitly_set_insn_hard_regs): Add an
adds an alternative_mask argument and use it instead of
preferred_alternatives.
* ira.h (ira_implicitly_set_insn_hard_regs): Moved to ...
* ira-int.h (ira_implicitly_set_insn_hard_regs): Here.
* sched-deps.c: Include "ira-int.h" after including "ira.h".
(sched_analyze_insn): Update call to
ira_implicitly_set_insn_hard_regs.
* sel-sched.c: Include "ira-int.h" after including "ira.h".
(implicit_clobber_conflict_p): Update call to
ira_implicitly_set_insn_hard_regs.

gcc/testsuite/

PR rtl-optimization/67029
* gcc.dg/pr67029.c: New test.

From-SVN: r226724

8 years agore PR fortran/64104 ([F2003][IEEE] Allow IEEE functions in specification expressions)
Francois-Xavier Coudert [Fri, 7 Aug 2015 15:02:15 +0000 (15:02 +0000)]
re PR fortran/64104 ([F2003][IEEE] Allow IEEE functions in specification expressions)

PR fortran/64104

* expr.c (gfc_check_init_expr): Allow some IEEE functions in
constant expressions.
(external_spec_function): Allow some IEEE functions in specification
expressions.
* simplify.c (gfc_simplify_ieee_selected_real_kind): Remove.
(simplify_ieee_selected_real_kind, simplify_ieee_support,
matches_ieee_function_name, gfc_simplify_ieee_functions): New
functions.
* gfortran.h (gfc_simplify_ieee_selected_real_kind): Remove
prototype.
(gfc_simplify_ieee_functions): Add prototype.

* gfortran.dg/ieee/ieee_8.f90: New test.

From-SVN: r226723

8 years ago[AArch64] Check branch types for noplt testcases
Jiong Wang [Fri, 7 Aug 2015 13:26:23 +0000 (13:26 +0000)]
[AArch64] Check branch types for noplt testcases

2015-08-07  Jiong Wang  <jiong.wang@arm.com>

gcc/testsuite/
  * gcc.target/aarch64/noplt_1.c: Check branch type instead of relocation
  modifers.
  * gcc.target/aarch64/noplt_2.c: Likewise.
  * gcc.target/aarch64/noplt_3.c: Likewise.

From-SVN: r226721

8 years agoMakefile.in (.INTERMEDIATE): Add gpl.pod.
Uros Bizjak [Fri, 7 Aug 2015 12:12:41 +0000 (14:12 +0200)]
Makefile.in (.INTERMEDIATE): Add gpl.pod.

* Makefile.in (.INTERMEDIATE): Add gpl.pod.

From-SVN: r226720

8 years agolibgo/testsuite: don't call kill without args
Ian Lance Taylor [Fri, 7 Aug 2015 10:10:00 +0000 (10:10 +0000)]
libgo/testsuite: don't call kill without args

    If the timeout subshell has no child processes,
    the "xargs | kill" will fail. Ensure there is
    some input for kill before calling it.

    Reviewed-on: https://go-review.googlesource.com/13295

From-SVN: r226719

8 years agoville
Jason Merrill [Fri, 7 Aug 2015 08:41:33 +0000 (04:41 -0400)]
ville

From-SVN: r226716

8 years agosh.c (sh_recog_treg_set_expr): Return false during expand phase to avoid codegen...
Kaz Kojima [Fri, 7 Aug 2015 08:11:45 +0000 (08:11 +0000)]
sh.c (sh_recog_treg_set_expr): Return false during expand phase to avoid codegen differences with -g.

* config/sh/sh.c (sh_recog_treg_set_expr): Return false during
expand phase to avoid codegen differences with -g.

From-SVN: r226715

8 years agotexi2pod.pl: Escape braces in regexp involving @strong{...}.
Uros Bizjak [Fri, 7 Aug 2015 06:38:07 +0000 (08:38 +0200)]
texi2pod.pl: Escape braces in regexp involving @strong{...}.

* doc/texi2pod.pl: Escape braces in regexp involving @strong{...}.

From-SVN: r226714

8 years agoAdd C++ Concepts TS support.
Andrew Sutton [Fri, 7 Aug 2015 05:44:49 +0000 (05:44 +0000)]
Add C++ Concepts TS support.

gcc/c-family/
* c-common.c (c_common_reswords): Add __is_same_as, concept, requires.
* c-common.h (enum rid): Add RID_IS_SAME_AS, RID_CONCEPT, RID_REQUIRES.
(D_CXX_CONCEPTS, D_CXX_CONCEPTS_FLAGS): New.
* c-cppbuiltin.c (c_cpp_builtins): Define __cpp_concepts.
* c-opts.c (set_std_cxx1z): Set flag_concepts.
* c.opt (fconcepts): New.
gcc/cp/
* constraint.cc, logic.cc: New files.
* Make-lang.in (CXX_AND_OBJCXX_OBJS): Add constraint.o and logic.o.
(c++.tags): Also process .cc files.
* call.c (enum rejection_reason_code): Add rr_constraint_failure.
(print_z_candidate): Handle it.
(constraint_failure): New.
(add_function_candidate): Check constraints.
(build_new_function_call): Handle evaluating concepts.
(joust): Check more_constrained.
* class.c (add_method): Check equivalently_constrained.
(build_clone): Copy constraints.
(currently_open_class): Return tree.
(resolve_address_of_overloaded_function): Check constraints.
* constexpr.c (cxx_eval_constant_expression): Handle REQUIRES_EXPR.
(potential_constant_expression_1): Likewise.
* cp-objcp-common.c (cp_tree_size): Handle CONSTRAINT_INFO.
(cp_common_init_ts): Handle WILDCARD_DECL and REQUIRES_EXPR.
* cp-tree.def: Add CONSTRAINT_INFO, WILDCARD_DECL, REQUIRES_EXPR,
SIMPLE_REQ, TYPE_REQ, COMPOUND_REQ, NESTED_REQ, PRED_CONSTR,
EXPR_CONSTR, TYPE_CONSTR, ICONV_CONSTR, DEDUCT_CONSTR,
EXCEPT_CONSTR, PARM_CONSTR, CONJ_CONSTR, DISJ_CONSTR.
* cp-tree.h (struct tree_constraint_info, check_nonnull)
(check_constraint_info, CI_TEMPLATE_REQS, CI_DECLARATOR_REQS)
(CI_ASSOCIATED_CONSTRAINTS, CI_NORMALIZED_CONSTRAINTS)
(CI_ASSUMPTIONS, TEMPLATE_PARMS_CONSTRAINTS)
(TEMPLATE_PARM_CONSTRAINTS, COMPOUND_REQ_NOEXCEPT_P)
(PLACEHOLDER_TYPE_CONSTRAINTS, PRED_CONSTR_EXPR, EXPR_CONSTR_EXPR)
(TYPE_CONSTR_TYPE, ICONV_CONSTR_EXPR, ICONV_CONSTR_TYPE)
(DEDUCT_CONSTR_EXPR, DEDUCT_CONSTR_PATTERN)
(DEDUCT_CONSTR_PLACEHOLDER, EXCEPT_CONSTR_EXPR, PARM_CONSTR_PARMS)
(PARM_CONSTR_OPERAND, CONSTRAINT_VAR_P, CONSTRAINED_PARM_CONCEPT)
(CONSTRAINED_PARM_EXTRA_ARGS, CONSTRAINED_PARM_PROTOTYPE)
(DECL_DECLARED_CONCEPT_P, WILDCARD_PACK_P, struct cp_unevaluated)
(struct local_specialization_stack, enum auto_deduction_context)
(variable_concept_p, concept_template_p)
(struct deferring_access_check_sentinel): New.
(enum cp_tree_node_structure_enum): Add TS_CP_CONSTRAINT_INFO.
(union lang_tree_node): Add constraint_info field.
(struct lang_decl_base): Add concept_p flag.
(enum cp_decl_spec): Add ds_concept.
(struct cp_declarator): Add requires_clause.
* cxx-pretty-print.c (cxx_pretty_printer::primary_expression)
(cxx_pretty_printer::expression): Handle REQUIRES_EXPR,
TRAIT_EXPR, *_CONSTR.
(pp_cxx_parameter_declaration_clause): Accept a chain of
PARM_DECLs.
(cxx_pretty_printer::declarator): Print requires-clause.
(pp_cxx_template_declaration): Likewise.
(pp_cxx_trait_expression): Handle CPTK_IS_SAME_AS.
(pp_cxx_requires_clause, pp_cxx_requirement)
(pp_cxx_requirement_list, pp_cxx_requirement_body)
(pp_cxx_requires_expr, pp_cxx_simple_requirement)
(pp_cxx_type_requirement, pp_cxx_compound_requirement)
(pp_cxx_nested_requirement, pp_cxx_predicate_constraint)
(pp_cxx_expression_constraint, pp_cxx_type_constraint)
(pp_cxx_implicit_conversion_constraint)
(pp_cxx_argument_deduction_constraint)
(pp_cxx_exception_constraint, pp_cxx_parameterized_constraint)
(pp_cxx_conjunction, pp_cxx_disjunction, pp_cxx_constraint): New.
* cxx-pretty-print.h: Declare them.
* decl.c (decls_match): Compare constraints.
(duplicate_decls): Likewise.  Remove constraints before freeing.
(cxx_init_decl_processing): Call init_constraint_processing.
(cp_finish_decl): Diagnose concept without initializer.
(grokfndecl, grokvardecl): Handle concepts and constraints.
(grokdeclarator): Handle concept, requires-clause.
(grokparms): No longer static.
(xref_tag_1): Check constraints.
(finish_function): Call check_function_concept.
(cp_tree_node_structure): Handle CONSTRAINT_INFO.
(check_concept_refinement, is_concept_var, check_concept_fn): New.
* decl2.c (check_classfn): Compare constraints.
(mark_used): Don't instantiate concepts.
* error.c (dump_template_decl): Print constraints.
(dump_function_decl): Likewise.
(dump_expr): Handle REQUIRES_EXPR, *_REQ, *_CONSTR.
* lex.c (init_reswords): Set D_CXX_CONCEPTS.
* method.c (implicitly_declare_fn): Copy constraints from
inherited ctor.
* parser.h (struct cp_parser): Add in_result_type_constraint_p and
prevent_constrained_type_specifiers fields.
* parser.c (make_call_declarator): Add requires_clause parm.
(cp_parser_new): Clear prevent_constrained_type_specifiers.
(cp_parser_primary_expression): Handle RID_IS_SAME_AS, RID_REQUIRES.
(cp_parser_postfix_expression): Set prevent_constrained_type_specifiers.
(cp_parser_trait_expr): Handle RID_IS_SAME_AS.
(cp_parser_declaration): Handle concept introduction.
(cp_parser_member_declaration): Likewise.
(cp_parser_template_parameter): Handle constrained parameter.
(cp_parser_type_parameter): Handle constraints.
(cp_parser_decl_specifier_seq): Handle RID_CONCEPT.
(cp_parser_template_id): Handle partial concept id.
(cp_parser_type_name): Add overload that takes typename_keyword_p.
Handle constrained parameter.
(cp_parser_nonclass_name): Handle concept names.
(cp_parser_alias_declaration): Handle constraints.
(cp_parser_late_return_type_opt): Also handle requires-clause.
(cp_parser_type_id_1): Handle deduction constraint.
(cp_parser_parameter_declaration): Handle constrained parameters.
(cp_parser_class_specifier_1): Handle constraints.
(cp_parser_template_declaration_after_parameters): Split out from
cp_parser_template_declaration_after_export.
(cp_parser_single_declaration): Handle constraints.
(synthesize_implicit_template_parm): Handle constraints.
(cp_parser_maybe_concept_name, cp_parser_maybe_partial_concept_id)
(cp_parser_introduction_list, get_id_declarator)
(get_unqualified_id, is_constrained_parameter)
(cp_parser_check_constrained_type_parm)
(cp_parser_constrained_type_template_parm)
(cp_parser_constrained_template_template_parm)
(constrained_non_type_template_parm, finish_constrained_parameter)
(declares_constrained_type_template_parameter)
(declares_constrained_template_template_parameter)
(check_type_concept, cp_parser_maybe_constrained_type_specifier)
(cp_parser_maybe_concept_name, cp_parser_maybe_partial_concept_id)
(cp_parser_requires_clause, cp_parser_requires_clause_opt)
(cp_parser_requires_expression)
(cp_parser_requirement_parameter_list, cp_parser_requirement_body)
(cp_parser_requirement_list, cp_parser_requirement)
(cp_parser_simple_requirement, cp_parser_type_requirement)
(cp_parser_compound_requirement, cp_parser_nested_requirement)
(cp_parser_template_introduction)
(cp_parser_explicit_template_declaration)
(get_concept_from_constraint): New.
* pt.c (local_specialization_stack): Implement.
(maybe_new_partial_specialization): New.
(maybe_process_partial_specialization): Use it.
(retrieve_local_specialization, register_local_specialization)
(template_parm_to_arg, build_template_decl, extract_fnparm_pack)
(tsubst_expr): No longer static.
(spec_hasher::equal): Compare constraints.
(determine_specialization): Handle constraints.
(check_explicit_specialization): Handle concepts.
(process_template_parm): Handle constraints.
(end_template_parm_list): Add overload taking no arguments.
(process_partial_specialization): Handle concepts and constraints.
Register partial specializations of variable templates.
(redeclare_class_template): Handle constraints.
(convert_template_argument): Handle WILDCARD_DECL.  Check
is_compatible_template_arg.
(coerce_template_parameter_pack): Handle wildcard packs.
(coerce_template_parms): DR 1430 also applies to concepts.  Add
overloads taking fewer parameters.
(lookup_template_class_1): Handle constraints.
(lookup_template_variable): Concepts are always bool.
(finish_template_variable): Handle concepts and constraints.
(tsubst_friend_class): Handle constraints.
(gen_elem_of_pack_expansion_instantiation): Handle constraints.
(tsubst_pack_expansion): Handle local parameters.
(tsubst_decl) [FUNCTION_DECL]: Handle constraints.
(tsubst) [TEMPLATE_TYPE_PARM]: Handle deduction constraints.
(tsubst_copy_and_build): Handle REQUIRES_EXPR.
(more_specialized_fn, more_specialized_partial_spec): Check constraints.
(more_specialized_inst): Split out from most_specialized_instantiation.
(most_specialized_partial_spec): Check constraints.
(instantiate_decl): Never instantiate a concept.
(value_dependent_expression_p): Handle REQUIRES_EXPR, TYPE_REQ,
variable concepts.
(type_dependent_expression_p): Handle WILDCARD_DECL, REQUIRES_EXPR.
(instantiation_dependent_r): Handle REQUIRES_EXPR and concepts.
(do_auto_deduction): Add overload taking tsubst flags and context enum.
Handle constraints.
(get_template_for_ordering, most_constrained_function)
(is_compatible_template_arg, convert_wildcard_argument)
(struct constr_entry, struct constr_hasher, decl_constraints)
(valid_constraints_p, get_constraints, set_constraints)
(remove_constraints, init_constraint_processing): New.
* ptree.c (cxx_print_xnode): Handle CONSTRAINT_INFO.
* search.c (lookup_member): Do lookup in the open partial
instantiation.
* semantics.c (finish_template_template_parm): Handle constraints.
(fixup_template_type): New.
(finish_template_type): Call it.
(trait_expr_value, finish_trait_expr): Handle CPTK_IS_SAME_AS.
* tree.c (cp_tree_equal): Handle local parameters, CONSTRAINT_INFO.
(cp_walk_subtrees): Handle REQUIRES_EXPR.
* typeck.c (cp_build_function_call_vec): Check constraints.

Co-Authored-By: Braden Obrzut <admin@maniacsvault.net>
Co-Authored-By: Jason Merrill <jason@redhat.com>
From-SVN: r226713

8 years agoMakefile.def (libiconv): Define bootstrap=true.
Yaakov Selkowitz [Fri, 7 Aug 2015 05:13:52 +0000 (05:13 +0000)]
Makefile.def (libiconv): Define bootstrap=true.

2015-08-06  Yaakov Selkowitz  <yselkowi@redhat.com>

* Makefile.def (libiconv): Define bootstrap=true.
Mark pdf/html/info as missing.
(configure-gcc): Depend on all-libiconv.
(all-gcc): Ditto.
(configure-libcpp): Ditto.
(all-libcpp): Ditto.
(configure-intl): Ditto.
(all-intl): Ditto.
* Makefile.in: Regenerate.

intl/
* configure: Reflects renaming of configure.in to configure.ac

libcpp/
* configure: Regenerate.

gcc/
* configure.ac: Define LIBICONV_DEP with in-tree libiconv.
* configure: Regenerate.

From-SVN: r226712

8 years agoDaily bump.
GCC Administrator [Fri, 7 Aug 2015 00:16:11 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r226705

8 years agoMove one condition out of gfc_trans_scalar_assign
Mikael Morin [Thu, 6 Aug 2015 20:47:36 +0000 (20:47 +0000)]
Move one condition out of gfc_trans_scalar_assign

* trans.h (gfc_trans_scalar_assign): Remove fourth argument.
* trans-expr.c (gfc_trans_scalar_assign): Merge fourth into sixth
argument.
(gfc_conv_subref_array_arg, gfc_trans_subarray_assign,
 gfc_trans_subcomponent_assign, gfc_trans_assignment_1): Update callers.
* trans-array.c (gfc_conv_expr_descriptor): Ditto.
* trans-stmt.c (forall_make_variable_temp,
generate_loop_for_temp_to_lhs, generate_loop_for_rhs_to_temp,
gfc_trans_where_assign, gfc_trans_where_3): Ditto.

From-SVN: r226700

8 years agojit.dg/test-benchmark.c: add a summary of timings
David Malcolm [Thu, 6 Aug 2015 19:05:52 +0000 (19:05 +0000)]
jit.dg/test-benchmark.c: add a summary of timings

gcc/testsuite/ChangeLog:
* jit.dg/test-benchmark.c (main): Record all elapsed times at each
optimization level, and print a summary at the end.

From-SVN: r226697

8 years ago* runtime/compile_options.c (set_options): Fix typos.
Francois-Xavier Coudert [Thu, 6 Aug 2015 17:42:19 +0000 (17:42 +0000)]
* runtime/compile_options.c (set_options): Fix typos.

From-SVN: r226686

8 years agore PR c++/66533 ([C++14] ICE: in dependent_type_p, at cp/pt.c:21073)
Jason Merrill [Thu, 6 Aug 2015 16:33:14 +0000 (12:33 -0400)]
re PR c++/66533 ([C++14] ICE: in dependent_type_p, at cp/pt.c:21073)

PR c++/66533
* parser.c (cp_parser_primary_expression): Don't skip to the end
of the statement if we're parsing tentatively.

From-SVN: r226684

8 years ago[AArch64] Improve TLS Descriptor pattern to release RTL loop IV opt
Jiong Wang [Thu, 6 Aug 2015 16:08:39 +0000 (16:08 +0000)]
[AArch64] Improve TLS Descriptor pattern to release RTL loop IV opt

The instruction sequences for preparing argument for TLS descriptor
runtime resolver and the later function call to resolver can actually be
hoisted out of the loop.

Currently we can't because we have exposed the hard register X0 as
destination of "set".  While GCC's RTL data flow infrastructure will
skip or do very conservative assumption when hard register involved in
and thus some loop IV opportunities are missed.

This patch add another "tlsdesc_small_pseudo_<mode>" pattern, and avoid
expose x0 to gcc generic code.

Generally, we define a new register class FIXED_R0 which only contains register
0, so the instruction sequences generated from the new add pattern is the same
as tlsdesc_small_<mode>, while the operand 0 is wrapped as pseudo register that
RTL IV opt can handle it.

Ideally, we should allow operand 0 to be any pseudo register, but then
we can't model the override of x0 caused by the function call which is
hidded by the UNSPEC.

So here, we restricting operand 0 to be x0, the override of x0 can be
reflected to the gcc.

2015-08-06    Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
      Jiong Wang  <jiong.wang@arm.com>
gcc/
  * config/aarch64/aarch64.d (tlsdesc_small_pseudo_<mode>): New pattern.
  * config/aarch64/aarch64.h (reg_class): New enumeration FIXED_REG0.
  (REG_CLASS_NAMES): Likewise.
  (REG_CLASS_CONTENTS): Likewise.
  * config/aarch64/aarch64.c (aarch64_class_max_nregs): Likewise.
  (aarch64_register_move_cost): Likewise.
  (aarch64_load_symref_appropriately): Invoke the new added pattern if
  possible.
  * config/aarch64/constraints.md (Uc0): New constraint.

gcc/testsuite/
  * gcc.target/aarch64/tlsdesc_hoist.c: New testcase.

From-SVN: r226683

8 years ago[AArch64] Tighten direct call pattern for sibcall to repair -fno-plt
Jiong Wang [Thu, 6 Aug 2015 16:02:16 +0000 (16:02 +0000)]
[AArch64] Tighten direct call pattern for sibcall to repair -fno-plt

2015-08-06  Jiong Wang  <jiong.wang@arm.com>

gcc/
  * config/aarch64/constraints.md (Usf): Add the test of
  aarch64_is_noplt_call_p.

gcc/testsuite/
  * gcc.target/aarch64/noplt_3.c: New testcase.

From-SVN: r226682

8 years ago[AArch64] Tighten direct call pattern to repair -fno-plt
Jiong Wang [Thu, 6 Aug 2015 15:57:36 +0000 (15:57 +0000)]
[AArch64] Tighten direct call pattern to repair -fno-plt

2015-08-06  Jiong Wang  <jiong.wang@arm.com>

gcc/
  * config/aarch64/aarch64-protos.h (aarch64_is_noplt_call_p): New declaration.
  * config/aarch64/aarch64.c (aarch64_is_noplt_call_p): New function.
  * config/aarch64/aarch64.md (call_value_symbol): Check noplt scenarios.
  (call_symbol): Likewise.

gcc/testsuite/
  * gcc.target/aarch64/noplt_1.c: New testcase.
  * gcc.target/aarch64/noplt_2.c: Likewise.

From-SVN: r226681

8 years agore PR c++/67130 (ICE: tree check: expected identifier_node, have template_decl in...
Jason Merrill [Thu, 6 Aug 2015 14:26:18 +0000 (10:26 -0400)]
re PR c++/67130 (ICE: tree check: expected identifier_node, have template_decl in write_unqualified_id, at cp/mangle.c:1218)

PR c++/67130
PR c++/67131
PR c++/66260
* mangle.c (write_expression) [TEMPLATE_ID_EXPR]: Handle variable
templates.
* pt.c (tsubst_copy_and_build): Check for argument substitution
failure.

From-SVN: r226676

8 years agoVectorize mult expressions with power 2 constants via shift, for targets has no vecto...
Venkataramanan Kumar [Thu, 6 Aug 2015 12:00:57 +0000 (12:00 +0000)]
Vectorize mult expressions with power 2 constants via shift, for targets has no vector multiplication support.

2015-08-06  Venkataramanan Kumar  <Venkataramanan.kumar@amd.com>

* tree-vect-patterns.c (vect_recog_mult_pattern): New function
for vectorizing multiplication patterns.
* tree-vectorizer.h: Adjust the number of patterns.

2015-08-06  Venkataramanan Kumar  <Venkataramanan.kumar@amd.com>

* gcc.dg/vect/vect-mult-pattern-1.c: New test.
* gcc.dg/vect/vect-mult-pattern-2.c: New test.

From-SVN: r226675

8 years agosse.md (*vec_concatv2df): Declare added alternatives as sselog type.
Uros Bizjak [Thu, 6 Aug 2015 11:12:06 +0000 (13:12 +0200)]
sse.md (*vec_concatv2df): Declare added alternatives as sselog type.

* config/i386/sse.md (*vec_concatv2df): Declare added
alternatives as sselog type.

From-SVN: r226674

8 years agoS/390: Fix dwarf reg size table for -m31 -mzarch.
Andreas Krebbel [Thu, 6 Aug 2015 10:23:38 +0000 (10:23 +0000)]
S/390: Fix dwarf reg size table for -m31 -mzarch.

gcc/ChangeLog:
    * config/s390/s390.c (s390_dwarf_frame_reg_mode): Return Pmode for
    all GPRs.

gcc/testsuite/ChangeLog:
    * gcc.target/s390/dwarfregtable-1.c: New test.
    * gcc.target/s390/dwarfregtable-2.c: New test.
    * gcc.target/s390/dwarfregtable-3.c: New test.

From-SVN: r226673

8 years agoS/390: Clobber VRs in __builtin_tbegin.
Andreas Krebbel [Thu, 6 Aug 2015 10:21:41 +0000 (10:21 +0000)]
S/390: Clobber VRs in __builtin_tbegin.

gcc/ChangeLog:
    * config/s390/s390.c (s390_expand_tbegin): Expand either
    tbegin_1_z13 or tbegin_1 depending on VX flag.
    * config/s390/s390.md ("tbegin_1_z13"): New expander.

gcc/testsuite/ChangeLog:
    * gcc.target/s390/htm-builtins-z13-1.c: New test.

From-SVN: r226672

8 years agoS/390: Doc: Add documentation for -mhtm, -mvx, and -mzvector.
Andreas Krebbel [Thu, 6 Aug 2015 10:18:20 +0000 (10:18 +0000)]
S/390: Doc: Add documentation for -mhtm, -mvx, and -mzvector.

gcc/ChangeLog:
    * config/s390/s390.opt: Clarify description for -mzvector
    * doc/invoke.texi: Add documentation for -mhtm, -mvx, and
    -mzvector.

From-SVN: r226671

8 years agore PR fortran/64022 ([F2003][IEEE] ieee_support_flag does not handle kind=10 and...
Francois-Xavier Coudert [Thu, 6 Aug 2015 09:22:30 +0000 (09:22 +0000)]
re PR fortran/64022 ([F2003][IEEE] ieee_support_flag does not handle kind=10 and kind=16 REAL variables)

PR fortran/64022
* gfortran.dg/ieee/large_2.f90: New test.
* gfortran.dg/ieee/large_3.F90: New test.

From-SVN: r226670

8 years agogimple.h (gimple_call_set_fn): Access op member directly.
Richard Biener [Thu, 6 Aug 2015 08:51:59 +0000 (08:51 +0000)]
gimple.h (gimple_call_set_fn): Access op member directly.

2015-08-06  Richard Biener  <rguenther@suse.de>

* gimple.h (gimple_call_set_fn): Access op member directly.
(gimple_call_chain_ptr): Likewise.
(gimple_call_set_chain): Likewise.
(gimple_cond_lhs_ptr): Likewise.
(gimple_cond_set_lhs): Likewise.
(gimple_cond_rhs_ptr): Likewise.
(gimple_cond_set_rhs): Likewise.
(gimple_cond_true_label): Likewise.
(gimple_cond_set_true_label): Likewise.
(gimple_cond_set_false_label): Likewise.
(gimple_cond_false_label): Likewise.
(gimple_label_label): Likewise.
(gimple_label_set_label): Likewise.
(gimple_goto_set_dest): Likewise.
(gimple_asm_input_op): Likewise.
(gimple_asm_input_op_ptr): Likewise.
(gimple_asm_set_input_op): Likewise.
(gimple_asm_output_op): Likewise.
(gimple_asm_output_op_ptr): Likewise.
(gimple_asm_set_output_op): Likewise.
(gimple_asm_clobber_op): Likewise.
(gimple_asm_set_clobber_op): Likewise.
(gimple_asm_label_op): Likewise.
(gimple_asm_set_label_op): Likewise.
(gimple_switch_index): Likewise.
(gimple_switch_index_ptr): Likewise.
(gimple_return_retval_ptr): Likewise.
(gimple_return_retval): Likewise.
(gimple_return_set_retval): Likewise.
(gimple_switch_set_index): Likewise.  Remove superfluous GIMPLE_CHECK.
(gimple_switch_label): Likewise.
(gimple_switch_set_label): Likewise.

From-SVN: r226669

8 years agogimple-fold.c (gimple_fold_stmt_to_constant_1): Simplify bool comparison canonicaliza...
Richard Biener [Thu, 6 Aug 2015 08:45:52 +0000 (08:45 +0000)]
gimple-fold.c (gimple_fold_stmt_to_constant_1): Simplify bool comparison canonicalization and restrict to integers.

2015-08-06  Richard Biener  <rguenther@suse.de>

* gimple-fold.c (gimple_fold_stmt_to_constant_1): Simplify
bool comparison canonicalization and restrict to integers.

From-SVN: r226668

8 years agore PR fortran/64022 ([F2003][IEEE] ieee_support_flag does not handle kind=10 and...
Francois-Xavier Coudert [Thu, 6 Aug 2015 08:38:59 +0000 (08:38 +0000)]
re PR fortran/64022 ([F2003][IEEE] ieee_support_flag does not handle kind=10 and kind=16 REAL variables)

PR fortran/64022
* gfortran.dg/ieee/large_1.f90: Adjust test.

From-SVN: r226665

8 years agopt.c (determine_specialization): Print candidates after 'no match' error.
Jason Merrill [Thu, 6 Aug 2015 01:33:32 +0000 (21:33 -0400)]
pt.c (determine_specialization): Print candidates after 'no match' error.

* pt.c (determine_specialization): Print candidates after 'no
match' error.

From-SVN: r226653

8 years agodecl.c (cp_finish_decl): Tidy.
Jason Merrill [Thu, 6 Aug 2015 01:33:27 +0000 (21:33 -0400)]
decl.c (cp_finish_decl): Tidy.

* decl.c (cp_finish_decl): Tidy.
* typeck.c (finish_class_member_access_expr): Use
type_dependent_expression_p.
* semantics.c (finish_id_expression): Use
type_dependent_expression_p.  Don't build_qualified_name for a
decl in non-dependent scope.
* pt.c (type_dependent_expression_p): A TEMPLATE_ID_EXPR of an
identifier is dependent.  Remove variable_template_p check.

From-SVN: r226652

8 years agoDaily bump.
GCC Administrator [Thu, 6 Aug 2015 00:16:14 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r226651

8 years agocoretypes.h (enum symbol_visibility): Relocate here.
Andrew MacLeod [Wed, 5 Aug 2015 23:18:09 +0000 (23:18 +0000)]
coretypes.h (enum symbol_visibility): Relocate here.

2015-08-05  Andrew MacLeod  <amacleod@redhat.com>

* coretypes.h (enum symbol_visibility): Relocate here.
* flag-types.h (enum symbol_visibility): Remove.
* tree-core.h (enum symbol_visibility): Remove.

From-SVN: r226648

8 years agoconstexpr.cc: Remove redundant -save-temps option.
Nikolai Bozhenov [Wed, 5 Aug 2015 20:57:03 +0000 (20:57 +0000)]
constexpr.cc: Remove redundant -save-temps option.

2015-08-05  Nikolai Bozhenov  <n.bozhenov@samsung.com>

* testsuite/20_util/enable_shared_from_this/cons/constexpr.cc: Remove
redundant -save-temps option.
* testsuite/20_util/shared_ptr/cons/constexpr.cc: Likewise.
* testsuite/20_util/unique_ptr/cons/constexpr.cc: Likewise.
* testsuite/20_util/weak_ptr/cons/constexpr.cc: Likewise.
* testsuite/30_threads/future/cons/constexpr.cc: Likewise.
* testsuite/30_threads/shared_future/cons/constexpr.cc: Likewise.

From-SVN: r226647

8 years agore PR go/66870 (split stack issues on ppc64le and ppc64)
Lynn Boger [Wed, 5 Aug 2015 18:07:16 +0000 (13:07 -0500)]
re PR go/66870 (split stack issues on ppc64le and ppc64)

2015-08-15 Lynn Boger <laboger@linux.vnet.ibm.com>

PR target/66870
* gcc/config/rs6000/rs6000.c (rs6000_emit_prologue): Check
for no_split_stack function attribute along with
flag_split_stack.
(rs6000_expand_split_stack_prologue): Likewise.

From-SVN: r226643

8 years agore PR c++/66260 ([C++14] Failure to compile variable template with recursively define...
Jason Merrill [Wed, 5 Aug 2015 17:56:14 +0000 (13:56 -0400)]
re PR c++/66260 ([C++14] Failure to compile variable template with recursively defined partial specialization)

PR c++/66260
PR c++/66596
PR c++/66649
PR c++/66923
* pt.c (lookup_template_variable): Use NULL_TREE for type.
(instantiate_template_1): Also set DECL_TI_ARGS based on
the immediate parent.
(tsubst_copy_and_build) [TEMPLATE_ID_EXPR]: Handle variable templates.
(finish_template_variable): Add complain parm.
* cp-tree.h: Adjust.

From-SVN: r226642

8 years agore PR c++/65195 (Variable template cannot be used as a function)
Jason Merrill [Wed, 5 Aug 2015 17:51:29 +0000 (13:51 -0400)]
re PR c++/65195 (Variable template cannot be used as a function)

PR c++/65195
PR c++/66619
* semantics.c (finish_id_expression): Call convert_from_reference
for variable template.

From-SVN: r226641

8 years agore PR c/16351 (NULL dereference warnings)
Manuel López-Ibáñez [Wed, 5 Aug 2015 17:36:29 +0000 (17:36 +0000)]
re PR c/16351 (NULL dereference warnings)

gcc/ChangeLog:

2015-08-05  Manuel López-Ibáñez  <manu@gcc.gnu.org>
    Jeff Law  <law@redhat.com>

PR c/16351
* doc/invoke.texi (Wnull-dereference): New.
* tree-vrp.c (infer_value_range): Update call to infer_nonnull_range.
* gimple-ssa-isolate-paths.c (find_implicit_erroneous_behaviour):
Warn for potential NULL dereferences.
(find_explicit_erroneous_behaviour): Warn for NULL dereferences.
* ubsan.c (instrument_nonnull_arg): Call
infer_nonnull_range_by_attribute.
(instrument_nonnull_return): Likewise.
* common.opt (Wnull-dereference); New.
* gimple.c (infer_nonnull_range): Remove bool arguments.
(infer_nonnull_range_by_dereference): New.
(infer_nonnull_range_by_attribute): New.
* gimple.h: Update declarations.

gcc/testsuite/ChangeLog:

2015-08-05  Manuel López-Ibáñez  <manu@gcc.gnu.org>
    Jeff Law  <law@redhat.com>

PR c/16351
* gcc.dg/tree-ssa/isolate-2.c: Close comment.
* gcc.dg/tree-ssa/isolate-4.c: Likewise.
* gcc.dg/tree-ssa/wnull-dereference.c: New test.
* gcc.dg/tree-ssa/isolate-1.c: Test warnings with -Wnull-dereference.
* gcc.dg/tree-ssa/isolate-3.c: Likewise.
* gcc.dg/tree-ssa/isolate-5.c: Likewise.

Co-Authored-By: Jeff Law <law@redhat.com>
From-SVN: r226640

8 years agogensupport.c (sequence_num): Replace with...
Richard Sandiford [Wed, 5 Aug 2015 15:47:31 +0000 (15:47 +0000)]
gensupport.c (sequence_num): Replace with...

gcc/
* gensupport.c (sequence_num): Replace with...
(insn_sequence_num, split_sequence_num, peephole2_sequence_num):
...these new variables.
(init_rtx_reader_args_cb): Update accordingly.
(get_num_code_insns): Likewise.
(read_md_rtx): Rework to use a while loop and get_c_test.
Use the new counters.  Remove redundant DEFINE_SUBST case.
* genoutput.c (gen_split): Delete.
(main): Don't call it.

From-SVN: r226635

8 years agogensupport.h (get_c_test): Declare.
Richard Sandiford [Wed, 5 Aug 2015 15:46:02 +0000 (15:46 +0000)]
gensupport.h (get_c_test): Declare.

gcc/
* gensupport.h (get_c_test): Declare.
* gensupport.c (get_c_test): New function.
* genconditions.c (main): Use it.
* genrecog.c (validate_pattern): Likewise.
(match_pattern_1): Likewise.  Remove c_test argument.
(match_pattern): Update accordingly and remove c_test argument.
(main): Update accordingly.

From-SVN: r226634

8 years agogensupport.h (get_num_insn_codes): Declare.
Richard Sandiford [Wed, 5 Aug 2015 15:44:23 +0000 (15:44 +0000)]
gensupport.h (get_num_insn_codes): Declare.

gcc/
* gensupport.h (get_num_insn_codes): Declare.
* gensupport.c (get_num_insn_codes): New function.
* genattrtab.c (optimize_attrs): Rename max_insn_code to
num_insn_codes.
(main): Likewise.  Use get_num_insn_codes.
* gencodes.c (main): Remove "last" and use get_num_insn_codes.

From-SVN: r226633

8 years agore PR middle-end/66311 (Problems with some integer(16) values)
Richard Sandiford [Wed, 5 Aug 2015 14:23:42 +0000 (14:23 +0000)]
re PR middle-end/66311 (Problems with some integer(16) values)

gcc/
PR middle-end/66311
* wide-int.cc (wi::from_mpz): Make sure that absolute mpz value
is zero- rather than sign-extended.

gcc/testsuite/
2015-08-05  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>

PR middle-end/66311
* gfortran.dg/pr66311.f90: New file.

From-SVN: r226632

8 years agotarget-insns.def (can_extend): Delete.
Richard Sandiford [Wed, 5 Aug 2015 14:21:11 +0000 (14:21 +0000)]
target-insns.def (can_extend): Delete.

gcc/
* target-insns.def (can_extend): Delete.

From-SVN: r226631

8 years agore PR tree-optimization/67121 (wrong code at -O3 on x86_64-linux-gnu)
Richard Biener [Wed, 5 Aug 2015 14:16:51 +0000 (14:16 +0000)]
re PR tree-optimization/67121 (wrong code at -O3 on x86_64-linux-gnu)

2015-08-05  Richard Biener  <rguenther@suse.de>

PR tree-optimization/67121
* tree-if-conv.c (combine_blocks): Clear range-info produced
by stmts no longer executed conditionally.

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

From-SVN: r226630

8 years agogcc * config/rl78/rl78.c (rl78_force_nonfar_3): Remove optimization
Nick Clifton [Wed, 5 Aug 2015 13:09:43 +0000 (13:09 +0000)]
gcc * config/rl78/rl78.c (rl78_force_nonfar_3): Remove optimization
to allow identical far pointers to remain.

tests * gcc.target/rl78: New directory.
        * gcc.target/rl78/rl78.exp: New file: Test driver.
        * gcc.target/rl78/test_addm3.c: New file: Test adds.

From-SVN: r226624

8 years agore PR middle-end/67120 (wrong code for volatile pointers at -O1 and above on x86_64...
Richard Biener [Wed, 5 Aug 2015 12:47:59 +0000 (12:47 +0000)]
re PR middle-end/67120 (wrong code for volatile pointers at -O1 and above on x86_64-linux-gnu)

2015-08-05  Richard Biener  <rguenther@suse.de>

PR middle-end/67120
* match.pd: Compare address bases with == if they are decls
or SSA names, not operand_equal_p.  Otherwise fail.

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

From-SVN: r226623

8 years agore PR fortran/52846 ([F2008] Support submodules)
Paul Thomas [Wed, 5 Aug 2015 12:06:25 +0000 (12:06 +0000)]
re PR fortran/52846 ([F2008] Support submodules)

2015-08-05  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/52846
* module.c (check_access): Return true if new static flag
'dump_smod' is true..
(gfc_dump_module): Rename original 'dump_module' and call from
new version. Use 'dump_smod' rather than the stack state to
determine if a submodule is being processed. The new version of
this procedure sets 'dump_smod' depending on the stack state and
then writes both the mod and smod files if a module is being
processed or just the smod for a submodule.
(gfc_use_module): Eliminate the check for module_name and
submodule_name being the same.
* trans-decl.c (gfc_finish_var_decl, gfc_build_qualified_array,
get_proc_pointer_decl): Set TREE_PUBLIC unconditionally and use
the conditions to set DECL_VISIBILITY as hidden and to set as
true DECL_VISIBILITY_SPECIFIED.

2015-08-05  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/52846

* lib/fortran-modules.exp: Call cleanup-submodules from
cleanup-modules.
* gfortran.dg/public_private_module_2.f90: Add two XFAILS to
cover the cases where private entities are no longer optimized
away.
* gfortran.dg/public_private_module_6.f90: Add an XFAIL for the
same reason.
* gfortran.dg/submodule_1.f08: Change cleanup module names.
* gfortran.dg/submodule_5.f08: The same.
* gfortran.dg/submodule_9.f08: The same.
* gfortran.dg/submodule_10.f08: New test

From-SVN: r226622

8 years agore PR c++/66595 ([C++14] ICE in partial specialization template variables)
Paolo Carlini [Wed, 5 Aug 2015 10:07:57 +0000 (10:07 +0000)]
re PR c++/66595 ([C++14] ICE in partial specialization template variables)

2015-08-05  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/66595
* g++.dg/cpp1y/var-templ35.C: New.

From-SVN: r226617

8 years agore PR tree-optimization/67055 (Segmentation fault in fold_builtin_alloca_with_align...
Richard Biener [Wed, 5 Aug 2015 10:01:12 +0000 (10:01 +0000)]
re PR tree-optimization/67055 (Segmentation fault in fold_builtin_alloca_with_align in tree-ssa-ccp.c)

2015-08-05  Richard Biener  <rguenther@suse.de>

PR tree-optimization/67055
* tree-ssa-ccp.c (fold_builtin_alloca_with_align): Handle
NULL gimple_block.

* g++.dg/torture/pr67055.C: New testcase.

From-SVN: r226616

8 years agoDisable AVX-512VL insns for scalar mode operands on -march=knl.
Kirill Yukhin [Wed, 5 Aug 2015 08:01:19 +0000 (08:01 +0000)]
Disable AVX-512VL insns for scalar mode operands on -march=knl.

gcc/
* config/i386/i386.md (define_attr "isa"): Addd avx512vl and
noavx512vl.
(define_attr "enabled"): Handle avx521vl and noavx512vl.
* config/i386/sse.md (define_insn "vec_dupv2df<mask_name>"): Split
AVX-512 alternative out of SSE.
(define_insn "*vec_concatv2df"): Ditto.

From-SVN: r226612

8 years agoMerge SSE and AVX ptest patterns.
Kirill Yukhin [Wed, 5 Aug 2015 07:58:54 +0000 (07:58 +0000)]
Merge SSE and AVX ptest patterns.

gcc/
* config/i386/i386.c (bdesc_args): Rename CODE_FOR_sse4_1_ptest into
CODE_FOR_sse4_1_ptestv2di and CODE_FOR_avx_vtestps256 into
CODE_FOR_avx_ptestv4di.
* config/i386/sse.md (define_mode_iterator V_AVX): New.
(define_mode_attr sse4_1): Extend to other 128/256-bit modes.
(define_insn "avx_ptest256"): Merge this ...
(define_insn "sse4_1_ptest"): And this ...
(define_insn "<sse4_1>_ptest<mode>"): Into this. Use V_AVX iterator.

From-SVN: r226611

8 years agore PR tree-optimization/67109 (ICE at -O3 on x86_64-linux-gnu in vect_analyze_slp_ins...
Richard Biener [Wed, 5 Aug 2015 07:48:34 +0000 (07:48 +0000)]
re PR tree-optimization/67109 (ICE at -O3 on x86_64-linux-gnu in vect_analyze_slp_instance, at tree-vect-slp.c:1793)

2015-08-05  Richard Biener  <rguenther@suse.de>

PR tree-optimization/67109
* tree-vect-data-refs.c (vect_analyze_group_access_1): Check
against too big groups.  Print whether this is a load or store
group.  Rename from ...
(vect_analyze_group_access): ... this which is now a wrapper
dissolving an invalid group.
(vect_analyze_data_ref_accesses): Print whether this is a load
or store group.

* gcc.dg/torture/pr67109.c: New testcase.
* gcc.dg/vect/vect-119.c: Adjust.

From-SVN: r226610

8 years agore PR c/67107 (ICE: SIGSEGV in tree_class_check with -frounding-math -funsafe-math...
Richard Biener [Wed, 5 Aug 2015 07:42:54 +0000 (07:42 +0000)]
re PR c/67107 (ICE: SIGSEGV in tree_class_check with -frounding-math -funsafe-math-optimizations)

2015-08-05  Richard Biener  <rguenther@suse.de>

PR middle-end/67107
* match.pd: Guard const_binop result checking against NULL_TREE
result.

* gcc.dg/pr67107.c: New testcase.

From-SVN: r226609

8 years agocse.c (cse_insn): Restoring old behaviour for src_eqv when dest and value in the...
Kugan Vivekanandarajah [Wed, 5 Aug 2015 01:08:49 +0000 (01:08 +0000)]
cse.c (cse_insn): Restoring old behaviour for src_eqv when dest and value in the REG_EQUAL are...

gcc/ChangeLog:

2015-08-05  Kugan Vivekanandarajah  <kuganv@linaro.org>

* cse.c (cse_insn): Restoring old behaviour for src_eqv
 when dest and value in the REG_EQUAL are same and dest
 is STRICT_LOW_PART.

From-SVN: r226606

8 years agoDaily bump.
GCC Administrator [Wed, 5 Aug 2015 00:16:11 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r226601

8 years agocompiler: Verify pointer type's underlying type.
Ian Lance Taylor [Tue, 4 Aug 2015 23:46:09 +0000 (23:46 +0000)]
compiler: Verify pointer type's underlying type.

    Fixes golang/go#11547.

    Reviewed-on: https://go-review.googlesource.com/13031

From-SVN: r226598

8 years agocompiler: Use context to determine types of complex expressions.
Ian Lance Taylor [Tue, 4 Aug 2015 22:27:48 +0000 (22:27 +0000)]
compiler: Use context to determine types of complex expressions.

    When determining the type of a complex expression, it is important
    to recognize cases where a complex value can be represented as a
    real number.

    Fixes golang/go#11572.

    Reviewed-on: https://go-review.googlesource.com/12541

From-SVN: r226596

8 years ago[MOXIE] Hookize PRINT_OPERAND and PRINT_OPERAND_ADDRESS
Anatoly Sokolov [Tue, 4 Aug 2015 19:51:28 +0000 (22:51 +0300)]
[MOXIE] Hookize PRINT_OPERAND and PRINT_OPERAND_ADDRESS

From-SVN: r226594

8 years agore PR c++/66197 (c++1z generic function wrong type for auto)
Paolo Carlini [Tue, 4 Aug 2015 17:22:05 +0000 (17:22 +0000)]
re PR c++/66197 (c++1z generic function wrong type for auto)

2015-08-04  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/66197
* g++.dg/cpp1z/abbrev2.C: New.

2015-08-04  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/cpp1z/static_assert-nomsg.C: Fix DejaGnu directive.

From-SVN: r226591

8 years ago[AArch64] PR target/66731 Fix fnmul insn with -frounding-math (rtx costs)
Szabolcs Nagy [Tue, 4 Aug 2015 16:22:32 +0000 (16:22 +0000)]
[AArch64] PR target/66731 Fix fnmul insn with -frounding-math (rtx costs)

2015-08-04  Szabolcs Nagy  <szabolcs.nagy@arm.com>

PR target/66731
* config/aarch64/aarch64.c (aarch64_rtx_costs): Fix NEG cost for FNMUL.
(aarch64_rtx_mult_cost): Fix MULT cost with -frounding-math.

From-SVN: r226586

8 years agotexi2pod.pl: Escape braces in regexp involving @strong{...}.
Uros Bizjak [Tue, 4 Aug 2015 16:15:45 +0000 (18:15 +0200)]
texi2pod.pl: Escape braces in regexp involving @strong{...}.

* texi2pod.pl: Escape braces in regexp involving @strong{...}.

From-SVN: r226585

8 years ago* pt.c (lookup_template_class_1): Clear elt.spec.
Jason Merrill [Tue, 4 Aug 2015 15:18:45 +0000 (11:18 -0400)]
* pt.c (lookup_template_class_1): Clear elt.spec.

From-SVN: r226581

8 years ago* tree.c (build_target_expr): Copy the location from value.
Jason Merrill [Tue, 4 Aug 2015 15:18:40 +0000 (11:18 -0400)]
* tree.c (build_target_expr): Copy the location from value.

From-SVN: r226580

8 years agore PR c++/66392 (rejects-valid: copy-initialization through user-defined conversion...
Paolo Carlini [Tue, 4 Aug 2015 14:54:07 +0000 (14:54 +0000)]
re PR c++/66392 (rejects-valid: copy-initialization through user-defined conversion sequence fails)

2015-08-04  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/66392
* g++.dg/init/explicit4.C: New.

From-SVN: r226579

8 years agovec-cmp-sel.c: Avoid test failure on machines without VSX an Power8 vector support.
Bill Schmidt [Tue, 4 Aug 2015 14:09:23 +0000 (14:09 +0000)]
vec-cmp-sel.c: Avoid test failure on machines without VSX an Power8 vector support.

2015-08-04  Bill Schmidt  <wschmidt@vnet.linux.ibm.com>

* gcc.target/powerpc/vec-cmp-sel.c: Avoid test failure on machines
without VSX an Power8 vector support.

From-SVN: r226578

8 years agogenmatch.c (dt_node::gen_kids_1): Use gassign and gcall in generated code.
Richard Biener [Tue, 4 Aug 2015 13:55:26 +0000 (13:55 +0000)]
genmatch.c (dt_node::gen_kids_1): Use gassign and gcall in generated code.

2015-08-04  Richard Biener  <rguenther@suse.de>

* genmatch.c (dt_node::gen_kids_1): Use gassign and gcall in
generated code.
(dt_operand::gen_gimple_expr): Adjust.

From-SVN: r226577

8 years agogimple-fold.c (gimple_fold_stmt_to_constant_1): Canonicalize bool compares on RHS.
Richard Biener [Tue, 4 Aug 2015 13:51:50 +0000 (13:51 +0000)]
gimple-fold.c (gimple_fold_stmt_to_constant_1): Canonicalize bool compares on RHS.

2015-08-04  Richard Biener  <rguenther@suse.de>

* gimple-fold.c (gimple_fold_stmt_to_constant_1): Canonicalize
bool compares on RHS.
* match.pd: Add X ==/!= !X is false/true pattern.

* gcc.dg/tree-ssa/ssa-ccp-38.c: New testcase.

From-SVN: r226576

8 years agoaarch64.c: Change inner loop statement cost to be consistent with other targets.
Pawel Kupidura [Tue, 4 Aug 2015 13:44:41 +0000 (13:44 +0000)]
aarch64.c: Change inner loop statement cost to be consistent with other targets.

gcc/
2015-08-04  Pawel Kupidura  <pawel.kupidura@arm.com>

* config/aarch64/aarch64.c: Change inner loop statement cost
to be consistent with other targets.

From-SVN: r226575

8 years agoneon.md (neon_vget_lanev2di): Handle big-endian targets.
Christophe Lyon [Tue, 4 Aug 2015 13:24:26 +0000 (13:24 +0000)]
neon.md (neon_vget_lanev2di): Handle big-endian targets.

2015-08-04  Christophe Lyon  <christophe.lyon@linaro.org>

* config/arm/neon.md (neon_vget_lanev2di): Handle big-endian
targets.

From-SVN: r226574

8 years agonvptx.h (struct nvptx_pseudo_info): Delete.
Nathan Sidwell [Tue, 4 Aug 2015 13:14:14 +0000 (13:14 +0000)]
nvptx.h (struct nvptx_pseudo_info): Delete.

* config/nvptx/nvptx.h (struct nvptx_pseudo_info): Delete.
(machine_function): Remove pseudos field.

From-SVN: r226573

8 years agoFix incorrect date in 2015-07-28 change.
Ben Elliston [Tue, 4 Aug 2015 12:59:57 +0000 (22:59 +1000)]
Fix incorrect date in 2015-07-28 change.

From-SVN: r226572

8 years agoCompile IAMCU tests with -fno-pie -no-pie
H.J. Lu [Tue, 4 Aug 2015 11:54:20 +0000 (11:54 +0000)]
Compile IAMCU tests with -fno-pie -no-pie

Since IAMCU tests clear all scratch integer registers with:

  asm __volatile__ ("xor %%eax, %%eax\n\t" \
                    "xor %%edx, %%edx\n\t" \
                    "xor %%ecx, %%ecx\n\t" \
                    ::: "eax", "edx", "ecx");

PIC register may be trashed between setting PIC register and using it.
This patch compiles AMCU tests with -fno-pie -no-pie.

PR target/67110
* gcc.target/i386/iamcu/abi-iamcu.exp (additional_flags): Add
-fno-pie -no-pie.

From-SVN: r226570

8 years agore PR c++/66427 (The compiler rejects too complex variable templates)
Paolo Carlini [Tue, 4 Aug 2015 11:05:02 +0000 (11:05 +0000)]
re PR c++/66427 (The compiler rejects too complex variable templates)

2015-08-04  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/66427
* g++.dg/cpp1y/var-templ34.C: New.

From-SVN: r226568

8 years ago[AArch64][14/14] Reuse target_option_current_node when passing pragma string to targe...
Kyrylo Tkachov [Tue, 4 Aug 2015 10:45:48 +0000 (10:45 +0000)]
[AArch64][14/14] Reuse target_option_current_node when passing pragma string to target attribute

* config/aarch64/aarch64.c (aarch64_option_valid_attribute_p):
Exit early and use target_option_current_node if processing current
pragma.

From-SVN: r226567

8 years ago[doc][13/14] Document AArch64 target attributes and pragmas
Kyrylo Tkachov [Tue, 4 Aug 2015 10:43:15 +0000 (10:43 +0000)]
[doc][13/14] Document AArch64 target attributes and pragmas

* doc/extend.texi (AArch64 Function Attributes): New node.
(AArch64 Pragmas): Likewise.

From-SVN: r226566

8 years ago[AArch64][12/14] Target attributes and target pragmas tests
Kyrylo Tkachov [Tue, 4 Aug 2015 10:41:31 +0000 (10:41 +0000)]
[AArch64][12/14] Target attributes and target pragmas tests

* gcc.target/aarch64/pragma_cpp_predefs_1.c: New test.
* gcc.target/aarch64/target_attr_1.c: Likewise.
* gcc.target/aarch64/target_attr_2.c: Likewise.
* gcc.target/aarch64/target_attr_3.c: Likewise.
* gcc.target/aarch64/target_attr_4.c: Likewise.
* gcc.target/aarch64/target_attr_5.c: Likewise.
* gcc.target/aarch64/target_attr_6.c: Likewise.
* gcc.target/aarch64/target_attr_7.c: Likewise.
* gcc.target/aarch64/target_attr_8.c: Likewise.
* gcc.target/aarch64/target_attr_9.c: Likewise.
* gcc.target/aarch64/target_attr_10.c: Likewise.
* gcc.target/aarch64/target_attr_11.c: Likewise.
* gcc.target/aarch64/target_attr_12.c: Likewise.
* gcc.target/aarch64/target_attr_13.c: Likewise.
* gcc.target/aarch64/target_attr_14.c: Likewise.
* gcc.target/aarch64/target_attr_15.c: Likewise.

From-SVN: r226565

8 years ago[AArch64][11/14] Re-layout SIMD builtin types on builtin expansion
Kyrylo Tkachov [Tue, 4 Aug 2015 10:39:42 +0000 (10:39 +0000)]
[AArch64][11/14] Re-layout SIMD builtin types on builtin expansion

* config/aarch64/aarch64.c (aarch64_option_valid_attribute_p):
Initialize simd builtins if TARGET_SIMD.
* config/aarch64/aarch64-builtins.c (aarch64_init_simd_builtins):
Make sure that the builtins are initialized only once no matter how
many times the function is called.
(aarch64_init_builtins): Unconditionally initialize crc builtins.
(aarch64_relayout_simd_param): New function.
(aarch64_simd_expand_args): Use above during argument expansion.
* config/aarch64/aarch64-c.c (aarch64_pragma_target_parse): Initialize
simd builtins if TARGET_SIMD.
* config/aarch64/aarch64-protos.h (aarch64_init_simd_builtins): New
prototype.
(aarch64_relayout_simd_types): Likewise.

* gcc.target/aarch64/target_attr_crypto_ice_1.c: New test.

From-SVN: r226564

8 years ago[AArch64][10/14] Implement target pragmas
Kyrylo Tkachov [Tue, 4 Aug 2015 10:35:16 +0000 (10:35 +0000)]
[AArch64][10/14] Implement target pragmas

* config.gcc (aarch64*-*-*): Specify c_target_objs and cxx_target_objs.
* config/aarch64/aarch64.h (REGISTER_TARGET_PRAGMAS): Define.
(TARGET_CPU_CPP_BUILTINS): Redefine to call aarch64_cpu_cpp_builtins.
* config/aarch64/aarch64.c (aarch64_override_options_internal): Remove
static keyword.
(aarch64_reset_previous_fndecl): New function.
(aarch64_handle_attr_isa_flags): Handle "+nothing" in the beginning of
the string.
* config/aarch64/aarch64-c.c: New file.
* config/aarch64/arm_acle.h: Add pragma +crc+nofp at the top.
Push and pop options at beginning and end.  Remove ifdef
__ARM_FEATURE_CRC32.
* config/aarch64/arm_neon.h: Remove #ifdef check on __ARM_NEON.
Add pragma +nothing+simd and +nothing+crypto where appropriate.
* config/aarch64/t-aarch64 (aarch64-c.o): New rule.
* config/aarch64/aarch64-protos.h (aarch64_cpu_cpp_builtins):
Define prototype.
(aarch64_register_pragmas): Likewise.
(aarch64_reset_previous_fndecl): Likewise.
(aarch64_process_target_attr): Likewise.
(aarch64_override_options_internal): Likewise.

* gcc.target/aarch64/arm_neon-nosimd-error.c: Delete.

From-SVN: r226563