1. 03 Jan, 2018 1 commit
  2. 12 Dec, 2017 1 commit
    • [SFN] introduce statement frontier notes, still disabled · 96a95ac1
      This patch completes the infrastructure for the introduction of
      statement frontiers in C-family languages.
      
      It brings in all the code remaining code needed to introduce and
      transform begin stmt trees, gimple stmts, insns and notes, and
      ultimately use them to generate the is_stmt column in DWARF2+ line
      number tables/programs, however none of it is activated: the option
      that would do so will be introduced in a subsequent patch.
      
      This patch depends on an earlier patch with not-quite-boilerplate
      changes towards SFN.
      
      for  gcc/c-family/ChangeLog
      
      	* c-semantics.c (pop_stmt_list): Move begin stmt marker into
      	subsequent statement list.
      
      for  gcc/c/ChangeLog
      
      	* c-objc-common.h (LANG_HOOKS_EMITS_BEGIN_STMT): Redefine as true.
      	* c-parser.c (add_debug_begin_stmt): New.
      	(c_parser_declaration_or_fndef): Call it.
      	(c_parser_compound_statement_nostart): Likewise.
      	(c_parser_statement_after_labels): Likewise.
      	* c-typeck (c_finish_stmt_expr): Skip begin stmts markers.
      
      for  gcc/cp/ChangeLog
      
      	* constexpr.c (check_constexpr_ctor_body_1): Skip begin stmt
      	markers.
      	(constexpr_fn_retval): Likewise.
      	(potential_constant_expression_1): Likewise.
      	(cxx_eval_statement_list): Check that a begin stmt marker is
      	not used as the value of a statement list.
      	(cxx_eval_constant_expression): Return begin stmt markers
      	unchanged.
      	* cp-array-notation.c (stmt_location): New.
      	(cp_expand_cond_array_notations): Use it.
      	* cp-objcp-common.h (LANG_HOOKS_EMITS_BEGIN_STMT): Redefine as true.
      	* parser.c (add_debug_begin_stmt): New.
      	(cp_parser_statement): Call it.
      	* pt.c (tsubst_copy): Handle begin stmt markers.
      
      for  gcc/ChangeLog
      
      	* cfgexpand.c (expand_gimple_basic_block): Handle begin stmt
      	markers.  Integrate source bind into debug stmt expand loop.
      	(pass_expand::execute): Check debug marker limit.  Avoid deep
      	TER and expand debug locations for debug bind insns only.
      	* cse.c (insn_live_p): Keep nonbind markers and debug bindings
      	followed by them.
      	* df-scan.c (df_insn_delete): Accept out-of-block debug insn.
      	* final.c (reemit_insn_block_notes): Take current block from
      	nonbind markers.  Declare note where it's first set.
      	(final_scan_insn): Handle begin stmt notes.  Emit is_stmt according to
      	begin stmt markers if enabled.
      	(notice_source_line): Handle nonbind markers.  Fail if their
      	location is unknown or that of builtins.
      	(rest_of_handle_final): Convert begin stmt markers to notes if
      	var-tracking didn't run.
      	(rest_of_clean_state): Skip begin stmt markers.
      	* gimple-pretty-print.c (dump_gimple_debug): Handle begin stmt
      	markers.
      	* function.c (allocate_struct_function): Set begin_stmt_markers.
      	* function.h (struct function): Add debug_marker_count counter
      	and debug_nonbind_markers flag.
      	* gimple-iterator.c (gsi_remove): Adjust debug_marker_count.
      	* gimple-low.c (lower_function_body): Adjust
      	debug_nonbind_markers.
      	(lower_stmt): Drop or skip gimple debug stmts.
      	(lower_try_catch): Skip debug stmts.
      	* gimple.c (gimple_build_debug_begin_stmt): New.
      	(gimple_copy): Increment debug_marker_count if copying one.
      	* gimple.h (gimple_build_debug_begin_stmt): Declare.
      	* gimplify.c (rexpr_location): New.
      	(rexpr_has_location): New.
      	(warn_switch_unreachable_r): Handle gimple debug stmts.
      	(shortcut_cond_r): Call expr_location.
      	(find_goto): New.
      	(find_goto_label): New.
      	(shortcut_cond_expr): Call expr_has_location, expr_location, and
      	find_goto_label.
      	(gimplify_cond_expr): Call find_goto_label, expr_has_location, and
      	expr_location.
      	(gimplify_expr): Handle begin stmt markers.  Reject debug expr decls.
      	* langhooks-def.h (LANG_HOOKS_EMITS_BEGIN_STMT): New.  Add to...
      	(LANG_HOOKS_INITIALIZER): ... this.
      	* langhooks.h (struct lang_hooks): Add emits_begin_stmt.
      	* lra-contraints.c (inherit_reload_reg): Tolerate between-blocks
      	debug insns.
      	(update_ebb_live_info): Skip debug insn markers.
      	* lra.c (debug_insn_static_data): Rename to...
      	(debug_bind_static_data): ... this.
      	(debug_marker_static_data): New.
      	(lra_set_insn_recog_data): Select one of the above depending
      	on debug insn kind.
      	(lra_update_isn_regno_info): Don't assume debug insns have
      	freqs.
      	(push_insns): Skip debug insns.
      	* lto-streamer-in.c (input_function): Drop debug stmts
      	depending on active options.  Adjust debug_nonbind_markers.
      	* params.def (PARAM_MAX_DEBUG_MARKER_COUNT): New.
      	* print-rtl.c (rtx_writer::print_rtx_operand_code_0): Handle
      	begin stmt marker notes.
      	(print_insn): Likewise.
      	* recog.c (extract_insn): Recognize rtl for debug markers.
      	* rtl.def (DEBUG_MARKER): New.
      	* tree-inline.c: Include params.h.
      	(remap_gimple_stmt): Handle nonbind markers.
      	(maybe_move_debug_stmts_to_successors): Likewise.
      	(copy_debug_stmt): Likewise.
      	* tree-iterator.c (append_to_statement_list_1): Append begin stmt
      	markers regardless of no side effects.
      	(tsi_link_before): Don't update container's side effects when adding
      	a begin stmt marker.
      	(tsi_link_after): Likewise.
      	(expr_first): Skip begin stmt markers.
      	(expr_last): Likewise.
      	* tree-pretty-print (dump_generic_node): Handle begin stmt markers.
      	* tree-ssa-threadedge.c (propagate_threaded_block_debug_info):
      	Disregard nonbind markers.
      	* tree.c (make_node_stat): Don't set side effects for begin stmt
      	markers.
      	(build1_stat): Likewise.
      	* tree.def (DEBUG_BEGIN_STMT): New.
      	* tree.h (GOTO_DESTINATION): Require a GOTO_EXPR.
      	* var-tracking.c (delete_debug_insns): Renamed to...
      	(delete_vta_debug_insns): ... this.
      	(reemit_marker_as_note): New.
      	(vt_initialize): Reemit markers.
      	(delete_vta_debug_insns): Likewise.
      	(vt_debug_insns_local): Reemit or delete markers.
      	(variable_tracking_main_1): Likewise.
      	* doc/generic.texi (DEBUG_BEGIN_STMT): Document.
      	* doc/gimple.texi (gimple_debug_begin_stmt_p): New.
      	(gimple_debug_nonbind_marker_p): New.
      	(gimple_build_debug_bind): Adjust.
      	(gimple_build_debug_begin_stmt): New.
      	* doc/invoke.texi (max-debug-marker-count): New param.
      	* doc/rtl.texi (debug_implicit_ptr, entry_value): New.
      	(debug_parameter_ref, debug_marker): New.
      	(NOTE_INSN_BEGIN_STMT): New.
      	(DEBUG_INSN): Describe begin stmt markers.
      
      From-SVN: r255568
      Alexandre Oliva committed
  3. 16 Nov, 2017 1 commit
    • [PATCH] New lang hook · 5f3682ff
      https://gcc.gnu.org/ml/gcc-patches/2017-11/msg01340.html
      	PR c++/82836
      	PR c++/82737
      	* tree.h (COPY_DECL_RTL): Rename parms for clarity.
      	(SET_DECL_ASSEMBLER_NAME): Forward to
      	overwrite_decl_assembler_name.
      	(COPY_DECL_ASSEMBLER_NAME): Rename parms for clarity.
      	(overwrite_decl_assembler_name): Declare.
      	* tree.c (overwrite_decl_assembler_name): New.
      	* langhooks-def.h (lhd_overwrite_decl_assembler_name): Declare.
      	(LANG_HOOKS_OVERWRITE_DECL_ASSEMBLER_NAME): Provide default.
      	(LANG_HOOKS_INITIALIZER): Add it.
      	* langhooks.h (struct lang_hooks): Add overwrite_decl_assembler_name.
      	* langhooks.c (lhd_set_decl_assembler_name): Use
      	SET_DECL_ASSEMBLER_NAME.
      	(lhd_overwrite_decl_assembler_name): Default implementation.
      
      	PR c++/82836
      	PR c++/82737
      	* cp-objcp-common.h (LANG_HOOKS_OVERWRITE_DECL_ASSEMBLER_NAME):
      	Override.
      	* cp-tree.h (overwrite_mangling): Declare.
      	* decl2.c (struct mangled_decl_hash): Entries are deletable.
      	(overwrite_mangling): New.
      
      	PR c++/82836
      	PR c++/82737
      	* g++.dg/pr82836.C: New.
      
      From-SVN: r254823
      Nathan Sidwell committed
  4. 08 Sep, 2017 1 commit
    • PR c++/70029 - ICE with ref-qualifier and -flto · 27c825c5
      	PR c++/70029 - ICE with ref-qualifier and -flto
      gcc/
      	* langhooks.h (struct lang_hooks_for_types): Add
      	copy_lang_qualifiers.
      	* attribs.c (build_type_attribute_qual_variant): Use it.
      	* langhooks-def.h (LANG_HOOKS_COPY_LANG_QUALIFIERS): Default to
      	NULL.
      	(LANG_HOOKS_FOR_TYPES_INITIALIZER): Use it.
      	* tree.c (verify_type): Re-enable TYPE_CANONICAL main variant check.
      gcc/cp/
      	* tree.c (cxx_copy_lang_qualifiers): New.
      	* cp-tree.h: Declare it.
      	* cp-objcp-common.h: Define LANG_HOOKS_COPY_LANG_QUALIFIERS.
      
      From-SVN: r251911
      Jason Merrill committed
  5. 19 May, 2017 1 commit
    • toplev.c (general_init): Call register dump lang hook. · 2a8a8d7b
      	LANG_HOOK_REGISTER_DUMPS
      	gcc/
      	* toplev.c (general_init): Call	register dump lang hook.
      	* doc/invoke.texi: Document -fdump-lang option family.
      	* dumpfile.c (dump_files): Remove class dump here.
      	(FIRST_AUTO_NUMBERED_DUMP): Adjust.
      	* dumpfile.h (tree_dump_index): Remove TDI_class.
      	* langhooks-def.h (lhd_register_dumps): Declare.
      	(LANG_HOOKS_REGISTER_DUMPS): Define.
      	(LANG_HOOKS_INITIALIZER): Add it.
      	* langhooks.c (lhd_register_dumps): Define.
      	* langhooks.h (struct lang_hooks): Add register_dumps.
      	c-family/
      	* c-opts.c (class_dump_file, class_dump_flags): Delete.
      	(c_common_parse_file): Remove class dump handling.
      	(get_dump_info): Likewise.
      	cp/
      	* class.c (class_dump_id): Define.
      	(dump_class_hierarchy, dump_vtable, dump_vtt): Use it.
      	* cp-objcp-common.c (cp_register_dumps): New.
      	* cp-objcp-common.h (cp_register_dumps): Declare.
      	(LANG_HOOKS_REGISTER_DUMPS): Override.
      	* cp-tree.h (class_dump_id): Declare.
      	testsuite/
      	* g++.dg/inherit/covariant7.C: Adjust.
      
      From-SVN: r248271
      Nathan Sidwell committed
  6. 19 Jan, 2017 1 commit
    • Make LTO's implementation of LANG_HOOKS_TYPE_FOR_SIZE the default · 8a3a6ab4
      gcc/jit/ChangeLog:
      	* dummy-frontend.c (jit_langhook_type_for_size): Delete.
      	(LANG_HOOKS_TYPE_FOR_SIZE): Don't redefine.
      
      gcc/ChangeLog:
      	* langhooks-def.h (lhd_type_for_size): New decl.
      	(LANG_HOOKS_TYPE_FOR_SIZE): Define as lhd_type_for_size.
      	* langhooks.c (lhd_type_for_size): New function, taken from
      	lto_type_for_size.
      
      gcc/lto/ChangeLog:
      	* lto-lang.c (builtin_type_for_size): Convert call to
      	lto_type_for_size to one through the langhook.
      	(lto_type_for_size): Move to langhooks.c and rename to
      	lhd_type_for_size.
      	(LANG_HOOKS_TYPE_FOR_SIZE): Don't redefine.
      
      From-SVN: r244646
      David Malcolm committed
  7. 01 Jan, 2017 1 commit
  8. 16 Dec, 2016 1 commit
    • re PR c++/71694 (store-data race with bitfields and tail-padding in C++) · b7fc43d7
      2016-12-16  Richard Biener  <rguenther@suse.de>
      
      	PR c++/71694
      	* langhooks-def.h (lhd_unit_size_without_reusable_padding): Declare.
      	(LANG_HOOKS_UNIT_SIZE_WITHOUT_REUSABLE_PADDING): Define.
      	(LANG_HOOKS_FOR_TYPES_INITIALIZER): Adjust.
      	* langhooks.h (struct lang_hooks_for_types): Add
      	unit_size_without_reusable_padding.
      	* langhooks.c (lhd_unit_size_without_reusable_padding): New.
      	* stor-layout.c (finish_bitfield_representative): Use
      	unit_size_without_reusable_padding langhook to decide on the
      	last representatives size.
      
      	cp/
      	* cp-objcp-common.h (cp_unit_size_without_reusable_padding): Declare.
      	(LANG_HOOKS_UNIT_SIZE_WITHOUT_REUSABLE_PADDING): Define.
      	* cp-objcp-common.c (cp_unit_size_without_reusable_padding): New.
      
      	* g++.dg/pr71694.C: New testcase.
      
      From-SVN: r243738
      Richard Biener committed
  9. 10 Nov, 2016 1 commit
    • omp-low.c (lower_omp_target): Fix up argument to is_reference. · b4c3a85b
      gcc/
      	* omp-low.c (lower_omp_target): Fix up argument to is_reference.
      	(expand_omp_ordered_sink): Handle TREE_PURPOSE of deps being
      	TRUNC_DIV_EXPR.
      	* gimplify.c (gimplify_scan_omp_clauses): Likewise.  Set
      	ctx->target_map_scalars_firstprivate on OMP_TARGET even for Fortran.
      	Remove omp_no_lastprivate callers.  Propagate lastprivate on combined
      	teams distribute parallel for simd even to distribute and teams
      	construct.  For OMP_CLAUSE_DEPEND add missing break at the end of
      	OMP_CLAUSE_DEPEND_SINK case.
      	(omp_notice_variable): Use lang_hooks.decls.omp_scalar_p.
      	(omp_no_lastprivate): Removed.
      	(gimplify_adjust_omp_clauses): Remove omp_no_lastprivate callers.
      	(gimplify_omp_for): Likewise.
      	(computable_teams_clause): Fail for automatic vars from current
      	function not yet seen in bind expr.
      	* langhooks.c (lhd_omp_scalar_p): New function.
      	* langhooks.h (struct lang_hooks_for_decls): Add omp_scalar_p.
      	* varpool.c (varpool_node::get_create): Set node->offloading
      	even for DECL_EXTERNAL decls.
      	* langhooks-def.h (lhd_omp_scalar_p): New prototype.
      	(LANG_HOOKS_OMP_SCALAR_P): Define.
      	(LANG_HOOKS_DECLS): Use it.
      gcc/fortran/
      	* openmp.c (gfc_free_omp_clauses): Free critical_name, grainsize,
      	hint, num_tasks, priority and if_exprs.
      	(gfc_match_omp_to_link, gfc_match_omp_depend_sink): New functions.
      	(enum omp_mask1, enum omp_mask2): New enums.
      	Change all OMP_CLAUSE_* defines into enum values, and change their
      	values from ((uint64_t) 1 << bit) to just bit.
      	(omp_mask, omp_inv_mask): New classes.  Add ctors and operators.
      	(gfc_match_omp_clauses): Change mask argument from uint64_t to
      	const omp_mask.  Assert OMP_MASK1_LAST and OMP_MASK2_LAST are
      	at most 64.  Move delete clause handling to where it
      	alphabetically belongs.  Parse defaultmap, grainsize, hint,
      	is_device_ptr, nogroup, nowait, num_tasks, priority, simd, threads
      	and use_device_ptr clauses.  Parse if clause modifier.  Parse map
      	clause always modifier, and release and delete kinds.  Parse ordered
      	clause with argument.  Parse schedule clause modifiers.  Differentiate
      	device clause parsing based on openacc flag.  Guard link clause
      	parsing with openacc flag.  Add support for parsing
      	linear clause modifiers.  Parse depend(source) and depend(sink: ...).
      	Use gfc_match_omp_to_link for to and link clauses in declare target
      	construct.
      	(match_acc): Change mask type from uint64_t to const omp_mask.
      	(OMP_SINGLE_CLAUSES, OMP_ORDERED_CLAUSES,
      	OMP_DECLARE_TARGET_CLAUSES, OMP_TASKLOOP_CLAUSES,
      	OMP_TARGET_ENTER_DATA_CLAUSES, OMP_TARGET_EXIT_DATA_CLAUSES): Define.
      	(OACC_PARALLEL_CLAUSES, OACC_KERNELS_CLAUSES, OACC_DATA_CLAUSES,
      	OACC_LOOP_CLAUSES, OACC_HOST_DATA_CLAUSES, OACC_DECLARE_CLAUSES,
      	OACC_ENTER_DATA_CLAUSES, OACC_EXIT_DATA_CLAUSES, OACC_WAIT_CLAUSES,
      	OACC_ROUTINE_CLAUSES, OMP_PARALLEL_CLAUSES, OMP_DECLARE_SIMD_CLAUSES,
      	OMP_SECTIONS_CLAUSES, OMP_TEAMS_CLAUSES, OMP_DISTRIBUTE_CLAUSES):
      	Replace first or only OMP_CLAUSE_* value in bitset with
      	omp_mask (OMP_CLAUSE_*).
      	(OMP_DO_CLAUSES): Likewise.  Add OMP_CLAUSE_LINEAR.
      	(OMP_SIMD_CLAUSES): Replace first or only OMP_CLAUSE_* value in
      	bitset with omp_mask (OMP_CLAUSE_*).  Add OMP_CLAUSE_SIMDLEN.
      	(OACC_UPDATE_CLAUSES): Replace first or only OMP_CLAUSE_* value in
      	bitset with omp_mask (OMP_CLAUSE_*).  Replace OMP_CLAUSE_OACC_DEVICE
      	with OMP_CLAUSE_DEVICE.
      	(OMP_TASK_CLAUSES): Replace first or only OMP_CLAUSE_* value in
      	bitset with omp_mask (OMP_CLAUSE_*).  Add OMP_CLAUSE_PRIORITY.
      	(OMP_TARGET_CLAUSES): Replace first or only OMP_CLAUSE_* value in
      	bitset with omp_mask (OMP_CLAUSE_*).  Add OMP_CLAUSE_DEPEND,
      	OMP_CLAUSE_NOWAIT, OMP_CLAUSE_PRIVATE, OMP_CLAUSE_FIRSTPRIVATE,
      	OMP_CLAUSE_DEFAULTMAP and OMP_CLAUSE_IS_DEVICE_PTR.
      	(OMP_TARGET_DATA_CLAUSES): Replace first or only OMP_CLAUSE_* value in
      	bitset with omp_mask (OMP_CLAUSE_*).  Add OMP_CLAUSE_USE_DEVICE_PTR.
      	(OMP_TARGET_UPDATE_CLAUSES): Replace first or only OMP_CLAUSE_* value
      	in bitset with omp_mask (OMP_CLAUSE_*).  Add OMP_CLAUSE_DEPEND and
      	OMP_CLAUSE_NOWAIT.
      	(match_omp): Change mask argument from unsigned int to
      	const omp_mask.
      	(gfc_match_omp_critical): Parse optional clauses and use omp_clauses
      	union member instead of omp_name.
      	(gfc_match_omp_end_critical): New function.
      	(gfc_match_omp_distribute_parallel_do): Remove ordered and linear
      	clauses from the mask.
      	(gfc_match_omp_distribute_parallel_do_simd): Use
      	& ~(omp_mask (OMP_CLAUSE_*)) instead of & ~OMP_CLAUSE_*.
      	(gfc_match_omp_target_teams_distribute_parallel_do_simd): Likewise.
      	(gfc_match_omp_teams_distribute_parallel_do_simd): Likewise.
      	(gfc_match_omp_do_simd): Likewise.  Don't remove ordered clause from
      	the mask.
      	(gfc_match_omp_parallel_do_simd): Likewise.
      	(gfc_match_omp_target_teams_distribute_parallel_do): Likewise.
      	(gfc_match_omp_teams_distribute_parallel_do): Likewise.
      	(gfc_match_omp_declare_simd): If not using the form with
      	(proc-name), require space before first clause.  Make (proc-name)
      	optional.  If not present, set proc_name to NULL.
      	(gfc_match_omp_declare_target): Rewritten for OpenMP 4.5.
      	(gfc_match_omp_single): Use OMP_SINGLE_CLAUSES.
      	(gfc_match_omp_task, gfc_match_omp_taskwait, gfc_match_omp_taskyield):
      	Move around to where they belong alphabetically.
      	(gfc_match_omp_target_enter_data, gfc_match_omp_target_exit_data,
      	gfc_match_omp_target_parallel, gfc_match_omp_target_parallel_do,
      	gfc_match_omp_target_parallel_do_simd, gfc_match_omp_target_simd,
      	gfc_match_omp_taskloop, gfc_match_omp_taskloop_simd):
      	New functions.
      	(gfc_match_omp_ordered): Parse clauses.
      	(gfc_match_omp_ordered_depend): New function.
      	(gfc_match_omp_cancel, gfc_match_omp_end_single): Use
      	omp_mask (OMP_CLAUSE_*) instead of OMP_CLAUSE_*.
      	(resolve_oacc_scalar_int_expr): Renamed to ...
      	(resolve_scalar_int_expr): ... this.  Fix up formatting.
      	(resolve_oacc_positive_int_expr): Renamed to ...
      	(resolve_positive_int_expr): ... this.  Fix up formatting.
      	(resolve_nonnegative_int_expr): New function.
      	(resolve_omp_clauses): Adjust callers, use the above functions
      	even for OpenMP clauses, add handling of new OpenMP 4.5 clauses.
      	Require orderedc >= collapse if specified. Handle depend(sink:)
      	and depend(source) restrictions.  Disallow linear clause when
      	orderedc is non-zero.  Diagnose linear clause modifiers when not in
      	declare simd.  Only check for integer type if ref modifier
      	is not used.  Remove diagnostics for required VALUE attribute.
      	Diagnose VALUE attribute with ref or uval modifiers.  Allow
      	non-constant linear-step, if it is a dummy argument alone and is
      	mentioned in uniform clause.  Diagnose map kinds not allowed
      	for various constructs.  Diagnose target {enter ,exit ,}data without
      	any map clauses.  Add dummy OMP_LIST_IS_DEVICE_PTR and
      	OMP_LIST_USE_DEVICE_PTR cases.
      	(gfc_resolve_omp_do_blocks): Set omp_current_do_collapse to orderedc
      	if non-zero.
      	(gfc_resolve_omp_parallel_blocks): Handle new OpenMP 4.5 constructs,
      	replace underscores with spaces in a few construct names.
      	(resolve_omp_do): Set collapse to orderedc if non-zero.  Handle new
      	OpenMP 4.5 constructs.
      	(resolve_oacc_loop_blocks): Call resolve_positive_int_expr instead
      	of resolve_oacc_positive_int_expr.
      	(gfc_resolve_omp_directive): Handle new OpenMP 4.5 constructs.
      	(gfc_resolve_omp_declare_simd): Allow ods->proc_name to be NULL.
      	* trans-openmp.c (gfc_omp_scalar_p): New function.
      	(doacross_steps): New variable.
      	(gfc_trans_omp_clauses): Handle new OpenMP 4.5 clauses and new clause
      	modifiers.
      	(gfc_trans_omp_critical): Adjust EXEC_OMP_CRITICAL handling.
      	(gfc_trans_omp_do): Handle doacross loops.  Clear sched_simd flag.
      	Handle EXEC_OMP_TASKLOOP.
      	(gfc_trans_omp_ordered): Translate omp clauses, allow NULL
      	code->block.
      	(GFC_OMP_SPLIT_TASKLOOP, GFC_OMP_MASK_TASKLOOP): New enum constants.
      	(gfc_split_omp_clauses): Copy orderedc together with ordered.  Change
      	firstprivate and lastprivate handling for OpenMP 4.5.
      	Handle EXEC_OMP_TARGET_SIMD, EXEC_OMP_TARGET_PARALLEL{,_DO,_DO_SIMD}
      	and EXEC_OMP_TASKLOOP{,_SIMD}.  Add handling for new OpenMP 4.5
      	clauses and clause modifiers and handle if clause without/with
      	modifiers.
      	(gfc_trans_omp_teams): Add omp_clauses argument, add it to other
      	teams clauses.  Don't wrap into OMP_TEAMS if -fopenmp-simd.
      	(gfc_trans_omp_target): For -fopenmp, translate num_teams and
      	thread_limit clauses on combined target teams early and pass to
      	gfc_trans_omp_teams.  Set OMP_TARGET_COMBINED if needed.
      	Handle EXEC_OMP_TARGET_PARALLEL{,_DO,_DO_SIMD} and
      	EXEC_OMP_TARGET_SIMD.
      	(gfc_trans_omp_taskloop, gfc_trans_omp_target_enter_data,
      	gfc_trans_omp_target_exit_data): New functions.
      	(gfc_trans_omp_directive): Handle EXEC_OMP_TARGET_{ENTER,EXIT}_DATA
      	EXEC_OMP_TASKLOOP{,_SIMD}, EXEC_OMP_TARGET_PARALLEL{,_DO,_DO_SIMD}
      	and EXEC_OMP_TARGET_SIMD.  Adjust gfc_trans_omp_teams caller.
      	* symbol.c (check_conflict): Handle omp_declare_target_link.
      	(gfc_add_omp_declare_target_link): New function.
      	(gfc_copy_attr): Copy omp_declare_target_link.
      	* dump-parse-tree.c (show_omp_namelist): Handle OMP_DEPEND_SINK_FIRST
      	depend_op.  Print linear clause modifiers.
      	(show_omp_clauses): Adjust for OpenMP 4.5 clause changes.
      	(show_omp_node): Print clauses for EXEC_OMP_ORDERED.  Allow NULL
      	c->block for EXEC_OMP_ORDERED.  Formatting fixes.  Adjust handling of
      	EXEC_OMP_CRITICAL, handle new OpenMP 4.5 constructs and some
      	forgotten OpenMP 4.0 constructs.
      	(show_code_node): Handle new OpenMP 4.5 constructs and some forgotten
      	OpenMP 4.0 constructs.
      	* gfortran.h (symbol_attribute): Add omp_declare_target_link bitfield.
      	(struct gfc_omp_namelist): Add u.common and u.linear_op fields.
      	(struct gfc_common_head): Change omp_declare_target into bitfield.
      	Add omp_declare_target_link bitfield.
      	(gfc_add_omp_declare_target_link): New prototype.
      	(enum gfc_statement): Add ST_OMP_TARGET_PARALLEL,
      	ST_OMP_END_TARGET_PARALLEL, ST_OMP_TARGET_PARALLEL_DO,
      	ST_OMP_END_TARGET_PARALLEL_DO, ST_OMP_TARGET_PARALLEL_DO_SIMD,
      	ST_OMP_END_TARGET_PARALLEL_DO_SIMD, ST_OMP_TARGET_ENTER_DATA,
      	ST_OMP_TARGET_EXIT_DATA, ST_OMP_TARGET_SIMD, ST_OMP_END_TARGET_SIMD,
      	ST_OMP_TASKLOOP, ST_OMP_END_TASKLOOP, ST_OMP_TASKLOOP_SIMD,
      	ST_OMP_END_TASKLOOP_SIMD and ST_OMP_ORDERED_DEPEND.
      	(enum gfc_omp_depend_op): Add OMP_DEPEND_SINK_FIRST and
      	OMP_DEPEND_SINK.
      	(enum gfc_omp_linear_op): New.
      	(struct gfc_omp_clauses): Add critical_name, depend_source,
      	orderedc, defaultmap, nogroup, sched_simd, sched_monotonic,
      	sched_nonmonotonic, simd, threads, grainsize, hint, num_tasks,
      	priority and if_exprs fields.
      	(enum gfc_exec_op): Add EXEC_OMP_END_CRITICAL,
      	EXEC_OMP_TARGET_ENTER_DATA, EXEC_OMP_TARGET_EXIT_DATA,
      	EXEC_OMP_TARGET_PARALLEL, EXEC_OMP_TARGET_PARALLEL_DO,
      	EXEC_OMP_TARGET_PARALLEL_DO_SIMD, EXEC_OMP_TARGET_SIMD,
      	EXEC_OMP_TASKLOOP, EXEC_OMP_TASKLOOP_SIMD.
      	(enum gfc_omp_map_op): Add OMP_MAP_RELEASE,
      	OMP_MAP_ALWAYS_TO, OMP_MAP_ALWAYS_FROM and OMP_MAP_ALWAYS_TOFROM.
      	(OMP_LIST_IS_DEVICE_PTR, OMP_LIST_USE_DEVICE_PTR): New.
      	(enum gfc_omp_if_kind): New.
      	* module.c (enum ab_attribute): Add AB_OMP_DECLARE_TARGET_LINK.
      	(attr_bits): Add AB_OMP_DECLARE_TARGET_LINK entry.
      	(mio_symbol_attribute): Save and restore omp_declare_target_link bit.
      	* trans.h (gfc_omp_scalar_p): New prototype.
      	* frontend-passes.c (gfc_code_walker): Handle new OpenMP 4.5
      	expressions.
      	* trans.c (trans_code): Handle new OpenMP 4.5 constructs.
      	* resolve.c (gfc_resolve_blocks): Likewise.
      	(gfc_resolve_code): Likewise.
      	* f95-lang.c (LANG_HOOKS_OMP_SCALAR_P): Redefine to gfc_omp_scalar_p.
      	(gfc_attribute_table): Add "omp declare target link".
      	* st.c (gfc_free_statement): Handle EXEC_OMP_END_CRITICAL like
      	EXEC_OMP_CRITICAL before, free clauses for EXEC_OMP_CRITICAL
      	and new OpenMP 4.5 constructs.  Free omp clauses even for
      	EXEC_OMP_ORDERED.
      	* match.c (match_exit_cycle): Rename collapse variable to count,
      	set it to orderedc if non-zero, instead of collapse.
      	* trans-decl.c (add_attributes_to_decl): Add "omp declare target link"
      	instead of "omp declare target" for omp_declare_target_link.
      	* trans-common.c (build_common_decl): Likewise.
      	* match.h (gfc_match_omp_target_enter_data,
      	gfc_match_omp_target_exit_data, gfc_match_omp_target_parallel,
      	gfc_match_omp_target_parallel_do,
      	gfc_match_omp_target_parallel_do_simd, gfc_match_omp_target_simd,
      	gfc_match_omp_taskloop, gfc_match_omp_taskloop_simd,
      	gfc_match_omp_end_critical, gfc_match_omp_ordered_depend): New
      	prototypes.
      	* parse.c (decode_omp_directive): Use gfc_match_omp_end_critical
      	instead of gfc_match_omp_critical for !$omp end critical.
      	Handle new OpenMP 4.5 constructs.  If ordered directive has
      	depend clause as the first of the clauses, use
      	gfc_match_omp_ordered_depend and ST_OMP_ORDERED_DEPEND instead of
      	gfc_match_omp_ordered and ST_OMP_ORDERED.
      	(case_executable): Add ST_OMP_TARGET_ENTER_DATA,
      	ST_OMP_TARGET_EXIT_DATA and ST_OMP_ORDERED_DEPEND cases.
      	(case_exec_markers): Add ST_OMP_TARGET_PARALLEL,
      	ST_OMP_TARGET_PARALLEL_DO, ST_OMP_TARGET_PARALLEL_DO_SIMD,
      	ST_OMP_TARGET_SIMD, ST_OMP_TASKLOOP and ST_OMP_TASKLOOP_SIMD cases.
      	(gfc_ascii_statement): Handle new OpenMP 4.5 constructs.
      	(parse_omp_do): Handle ST_OMP_TARGET_PARALLEL_DO,
      	ST_OMP_TARGET_PARALLEL_DO_SIMD, ST_OMP_TASKLOOP and
      	ST_OMP_TASKLOOP_SIMD.
      	(parse_omp_structured_block): Handle EXEC_OMP_END_CRITICAL instead
      	of EXEC_OMP_CRITICAL, adjust for EXEC_OMP_CRITICAL having omp clauses
      	now.
      	(parse_executable): Handle ST_OMP_TARGET_PARALLEL,
      	ST_OMP_TARGET_PARALLEL_DO, ST_OMP_TARGET_PARALLEL_DO_SIMD,
      	ST_OMP_TASKLOOP and ST_OMP_TASKLOOP_SIMD.
      gcc/testsuite/
      	* gfortran.dg/gomp/pr77516.f90: Add dg-warning.
      	* gfortran.dg/gomp/target1.f90: Remove ordered clause where it is
      	no longer allowed and corresponding ordered construct.
      	* gfortran.dg/gomp/linear-1.f90: New test.
      	* gfortran.dg/gomp/declare-simd-2.f90: New test.
      	* gfortran.dg/gomp/declare-target-1.f90: New test.
      	* gfortran.dg/gomp/declare-target-2.f90: New test.
      libgomp/
      	* testsuite/libgomp.fortran/examples-4/declare_target-1.f90
      	(fib_wrapper): Add map(from: x) clause.
      	* testsuite/libgomp.fortran/examples-4/declare_target-2.f90
      	(e_53_2): Likewise.
      	* testsuite/libgomp.fortran/examples-4/declare_target-4.f90
      	(accum): Add map(tmp) clause.
      	* testsuite/libgomp.fortran/examples-4/declare_target-5.f90
      	(accum): Add map(tofrom: tmp) clause.
      	* testsuite/libgomp.fortran/examples-4/target_data-3.f90
      	(gramSchmidt): Likewise.
      	* testsuite/libgomp.fortran/examples-4/teams-2.f90 (dotprod): Add
      	map(tofrom: sum) clause.
      	* testsuite/libgomp.fortran/nestedfn5.f90 (foo): Add twice
      	map (alloc: a, l) clause.  Add defaultmap(tofrom: scalar) clause.
      	* testsuite/libgomp.fortran/pr66199-2.f90: Adjust for linear clause
      	only allowed on the loop iterator.
      	* testsuite/libgomp.fortran/target4.f90 (foo): Add map(t) clause.
      	* testsuite/libgomp.fortran/taskloop2.f90: New test.
      	* testsuite/libgomp.fortran/taskloop4.f90: New test.
      	* testsuite/libgomp.fortran/doacross1.f90: New test.
      	* testsuite/libgomp.fortran/doacross3.f90: New test.
      	* testsuite/libgomp.fortran/taskloop1.f90: New test.
      	* testsuite/libgomp.fortran/taskloop3.f90: New test.
      	* testsuite/libgomp.fortran/doacross2.f90: New test.
      	* testsuite/libgomp.c/doacross-1.c (main): Add missing
      	#pragma omp atomic read.
      	* testsuite/libgomp.c/doacross-2.c (main): Likewise.
      	* testsuite/libgomp.c/doacross-3.c (main): Likewise.
      
      From-SVN: r242037
      Jakub Jelinek committed
  10. 03 Nov, 2016 1 commit
    • re PR debug/28767 (GCC should output DW_TAG_ptr_to_member for member functions) · 6905c577
      	PR debug/28767
      	PR debug/56974
      	* langhooks.h (struct lang_hooks_for_types): Add type_dwarf_attribute
      	langhook.
      	* langhooks.c (lhd_type_dwarf_attribute): New function.
      	* langhooks-def.h (lhd_type_dwarf_attribute): Declare.
      	(LANG_HOOKS_TYPE_DWARF_ATTRIBUTE): Define.
      	(LANG_HOOKS_FOR_TYPES_INITIALIZER): Add
      	LANG_HOOKS_TYPE_DWARF_ATTRIBUTE.
      	(check_qualified_type, check_aligned_type): Call it.
      	* dwarf2out.c (modified_type_die): Don't use type_main_variant
      	for FUNCTION_TYPE or METHOD_TYPE, instead walk over variants with
      	check_base_type and check_lang_type.
      	(gen_ptr_to_mbr_type_die): If lookup_type_die is already non-NULL,
      	return early.  For pointer-to-data-member add DW_AT_use_location
      	attribute.
      	(gen_subroutine_type_die): Add DW_AT_{,rvalue_}reference attribute
      	if needed.
      	(gen_type_die_with_usage): Don't use type_main_variant
      	for FUNCTION_TYPE or METHOD_TYPE, instead walk over variants with
      	check_base_type and check_lang_type.  Formatting fixes. Call
      	get_debug_type langhook.
      cp/
      	* tree.c (cp_check_qualified_type): Use check_base_type and
      	TYPE_QUALS comparison instead of check_qualified_type.
      	(cxx_type_hash_eq): Return false if type_memfn_rqual don't match.
      	* cp-objcp-common.c (cp_get_debug_type): New function.
      	(cp_decl_dwarf_attribute): Don't handle types here.
      	(cp_type_dwarf_attribute): New function.
      	* cp-objcp-common.h (cp_get_debug_type, cp_type_dwarf_attribute):
      	Declare.
      	(LANG_HOOKS_GET_DEBUG_TYPE, LANG_HOOKS_TYPE_DWARF_ATTRIBUTE):
      	Define.
      testsuite/
      	* g++.dg/debug/dwarf2/ptrdmem-1.C: New test.
      	* g++.dg/debug/dwarf2/ref-3.C: New test.
      	* g++.dg/debug/dwarf2/ref-4.C: New test.
      	* g++.dg/debug/dwarf2/refqual-1.C: New test.
      	* g++.dg/debug/dwarf2/refqual-2.C: New test.
      
      From-SVN: r241832
      Jakub Jelinek committed
  11. 17 Oct, 2016 1 commit
    • langhooks.h (struct lang_hooks_for_decls): Remove function_decl_explicit_p... · 81b42cc6
      	* langhooks.h (struct lang_hooks_for_decls): Remove
      	function_decl_explicit_p, function_decl_deleted_p and
      	function_decl_defaulted hooks.  Add decl_dwarf_attribute hook.
      	* langhooks-def.h (lhd_decl_dwarf_attribute): Declare.
      	(LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P,
      	LANG_HOOKS_FUNCTION_DECL_DELETED_P,
      	LANG_HOOKS_FUNCTION_DECL_DEFAULTED): Remove.
      	(LANG_HOOKS_DECL_DWARF_ATTRIBUTE): Define.
      	(LANG_HOOKS_DECLS): Remove LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P,
      	LANG_HOOKS_FUNCTION_DECL_DELETED_P and
      	LANG_HOOKS_FUNCTION_DECL_DEFAULTED.  Add
      	LANG_HOOKS_DECL_DWARF_ATTRIBUTE.
      	* langhooks.c (lhd_decl_dwarf_attribute): New function.
      	* dwarf2out.c (gen_subprogram_die): Use
      	lang_hooks.decls.decl_dwarf_attribute instead of
      	lang_hooks.decls.function_decl_*.
      cp/
      	* cp-objcp-common.h (cp_function_decl_explicit_p,
      	cp_function_decl_deleted_p, cp_function_decl_defaulted): Remove.
      	(cp_decl_dwarf_attribute): Declare.
      	(LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P,
      	LANG_HOOKS_FUNCTION_DECL_DELETED_P,
      	LANG_HOOKS_FUNCTION_DECL_DEFAULTED): Remove.
      	(LANG_HOOKS_DECL_DWARF_ATTRIBUTE): Redefine.
      	* cp-objcp-common.c (cp_function_decl_explicit_p,
      	cp_function_decl_deleted_p, cp_function_decl_defaulted): Remove.
      	(cp_decl_dwarf_attribute): New function.
      
      From-SVN: r241227
      Jakub Jelinek committed
  12. 16 Oct, 2016 1 commit
    • re PR ada/37139 (DEP prevents using Ada tasking) · 4c640e26
      	PR ada/37139
      	PR ada/67205
      	* common.opt (-ftrampolines): New option.
      	* doc/invoke.texi (Code Gen Options): Document it.
      	* doc/tm.texi.in (Trampolines): Add TARGET_CUSTOM_FUNCTION_DESCRIPTORS.
      	* doc/tm.texi: Regenerate.
      	* builtins.def: Add init_descriptor and adjust_descriptor.
      	* builtins.c (expand_builtin_init_trampoline): Do not issue a warning
      	on platforms with descriptors.
      	(expand_builtin_init_descriptor): New function.
      	(expand_builtin_adjust_descriptor): Likewise.
      	(expand_builtin) <BUILT_IN_INIT_DESCRIPTOR>: New case.
      	<BUILT_IN_ADJUST_DESCRIPTOR>: Likewise.
      	* calls.c (prepare_call_address): Remove SIBCALLP parameter and add
      	FLAGS parameter.  Deal with indirect calls by descriptor and adjust.
      	Set STATIC_CHAIN_REG_P on the static chain register, if any.
      	(call_expr_flags): Set ECF_BY_DESCRIPTOR for calls by descriptor.
      	(expand_call): Likewise.  Move around call to prepare_call_address
      	and pass all flags to it.
      	* cfgexpand.c (expand_call_stmt): Reinstate CALL_EXPR_BY_DESCRIPTOR.
      	* gimple.h (enum gf_mask): New GF_CALL_BY_DESCRIPTOR value.
      	(gimple_call_set_by_descriptor): New setter.
      	(gimple_call_by_descriptor_p): New getter.
      	* gimple.c (gimple_build_call_from_tree): SetCALL_EXPR_BY_DESCRIPTOR.
      	(gimple_call_flags): Deal with GF_CALL_BY_DESCRIPTOR.
      	* langhooks.h (struct lang_hooks): Add custom_function_descriptors.
      	* langhooks-def.h (LANG_HOOKS_CUSTOM_FUNCTION_DESCRIPTORS): Define.
      	(LANG_HOOKS_INITIALIZER): Add LANG_HOOKS_CUSTOM_FUNCTION_DESCRIPTORS.
      	* rtl.h (STATIC_CHAIN_REG_P): New macro.
      	* rtlanal.c (find_first_parameter_load): Skip static chain registers.
      	* target.def (custom_function_descriptors): New POD hook.
      	* tree.h (FUNC_ADDR_BY_DESCRIPTOR): New flag on ADDR_EXPR.
      	(CALL_EXPR_BY_DESCRIPTOR): New flag on CALL_EXPR.
      	* tree-core.h (ECF_BY_DESCRIPTOR): New mask.
      	Document FUNC_ADDR_BY_DESCRIPTOR and CALL_EXPR_BY_DESCRIPTOR.
      	* tree.c (make_node_stat) <tcc_declaration>: Use FUNCTION_ALIGNMENT.
      	(build_common_builtin_nodes): Initialize init_descriptor and
      	adjust_descriptor.
      	* tree-nested.c: Include target.h.
      	(struct nesting_info): Add 'any_descr_created' field.
      	(get_descriptor_type): New function.
      	(lookup_element_for_decl): New function extracted from...
      	(create_field_for_decl): Likewise.
      	(lookup_tramp_for_decl): ...here.  Adjust.
      	(lookup_descr_for_decl): New function.
      	(convert_tramp_reference_op): Deal with descriptors.
      	(build_init_call_stmt): New function extracted from...
      	(finalize_nesting_tree_1): ...here.  Adjust and deal withdescriptors.
      	* defaults.h (FUNCTION_ALIGNMENT): Define.
      	(TRAMPOLINE_ALIGNMENT): Set to above instead of FUNCTION_BOUNDARY.
      	* config/i386/i386.h (TARGET_CUSTOM_FUNCTION_DESCRIPTORS): Define.
      	* config/ia64/ia64.h (TARGET_CUSTOM_FUNCTION_DESCRIPTORS): Likewise.
      	* config/rs6000/rs6000.h (TARGET_CUSTOM_FUNCTION_DESCRIPTORS):Likewise.
      	* config/sparc/sparc.h (TARGET_CUSTOM_FUNCTION_DESCRIPTORS): Likewise.
      ada/
      	* gcc-interface/misc.c (LANG_HOOKS_CUSTOM_FUNCTION_DESCRIPTORS):Define.
      	* gcc-interface/trans.c (Attribute_to_gnu) <Attr_Access>: Deal with
      	a zero TARGET_CUSTOM_FUNCTION_DESCRIPTORS specially for Code_Address.
      	Otherwise, if TARGET_CUSTOM_FUNCTION_DESCRIPTORS is positive, set
      	FUNC_ADDR_BY_DESCRIPTOR for 'Access/'Unrestricted_Access of nested
      	subprograms if the type can use an internal representation.
      	(call_to_gnu): Likewise, but set CALL_EXPR_BY_DESCRIPTOR on indirect
      	calls if the type can use an internal representation.
      
      From-SVN: r241222
      Eric Botcazou committed
  13. 13 Oct, 2016 1 commit
    • re PR target/77957 (Undefined .LCTOC0 with -fstack-protector-strong -mminimal-toc -O0 on ppc64) · 1202f33e
      	PR target/77957
      	* hooks.h (hook_tree_void_null): Declare.
      	* hooks.c (hook_tree_void_null): New function.
      	* langhooks.c (lhd_return_null_tree_v): Remove.
      	* langhooks-def.h (lhd_return_null_tree_v): Remove.
      	* cfgexpand.c (stack_protect_prologue): If guard_decl is NULL,
      	set y to const0_rtx.
      	* function.c (stack_protect_epilogue): Likewise.
      	* config/tilepro/tilepro.c (TARGET_STACK_PROTECT_GUARD): Redefine
      	if TARGET_THREAD_SSP_OFFSET is defined.
      	* config/s390/s390.c (TARGET_STACK_PROTECT_GUARD): Likewise.
      	* config/sparc/sparc.c (TARGET_STACK_PROTECT_GUARD): Likewise.
      	* config/tilegx/tilegx.c (TARGET_STACK_PROTECT_GUARD): Likewise.
      	* config/rs6000/rs6000.c (TARGET_STACK_PROTECT_GUARD): Likewise.
      	* config/i386/i386.c (TARGET_STACK_PROTECT_GUARD): Likewise.
      	(ix86_stack_protect_guard): New function.
      c/
      	* c-objc-common.h (LANG_HOOKS_GETDECLS): Use hook_tree_void_null
      	instead of lhd_return_null_tree_v.
      ada/
      	* gcc-interface/misc.c (LANG_HOOKS_GETDECLS): Use hook_tree_void_null
      	instead of lhd_return_null_tree_v.
      
      From-SVN: r241087
      Jakub Jelinek committed
  14. 07 Sep, 2016 1 commit
    • Move class substring_loc from c-family into gcc · e5106e27
      gcc/ChangeLog:
      	* Makefile.in (OBJS): Add substring-locations.o.
      	* langhooks-def.h (class substring_loc): New forward decl.
      	(lhd_get_substring_location): New decl.
      	(LANG_HOOKS_GET_SUBSTRING_LOCATION): New macro.
      	(LANG_HOOKS_INITIALIZER): Add LANG_HOOKS_GET_SUBSTRING_LOCATION.
      	* langhooks.c (lhd_get_substring_location): New function.
      	* langhooks.h (class substring_loc): New forward decl.
      	(struct lang_hooks): Add field get_substring_location.
      	* substring-locations.c: New file, taking definition of
      	format_warning_va and format_warning_at_substring from
      	c-family/c-format.c, making them non-static.
      	* substring-locations.h (class substring_loc): Move class here
      	from c-family/c-common.h.  Add and rewrite comments.
      	(format_warning_va): New decl.
      	(format_warning_at_substring): New decl.
      	(get_source_location_for_substring): Add comment.
      
      gcc/c-family/ChangeLog:
      	* c-common.c (get_cpp_ttype_from_string_type): Handle being passed
      	a POINTER_TYPE.
      	(substring_loc::get_location): Move to substring-locations.c,
      	keeping implementation as...
      	(c_get_substring_location): New function, from the above, reworked
      	to use accessors rather than member lookup.
      	* c-common.h (class substring_loc): Move to substring-locations.h,
      	replacing with a forward decl.
      	(c_get_substring_location): New decl.
      	* c-format.c: Include "substring-locations.h".
      	(format_warning_va): Move to substring-locations.c.
      	(format_warning_at_substring): Likewise.
      
      gcc/c/ChangeLog:
      	* c-lang.c (LANG_HOOKS_GET_SUBSTRING_LOCATION): Use
      	c_get_substring_location for this new langhook.
      
      gcc/testsuite/ChangeLog:
      	* gcc.dg/plugin/diagnostic_plugin_test_string_literals.c: Include
      	"substring-locations.h".
      
      From-SVN: r240028
      David Malcolm committed
  15. 12 Aug, 2016 1 commit
    • [PR63240] generate debug info for defaulted member functions · e366d7d8
      This implements <http://dwarfstd.org/ShowIssue.php?issue=141215.3>, a
      proposal already accepted for inclusion in DWARF-5, but using
      DW_AT_GNU_defaulted instead of DW_AT_defaulted as the attribute name,
      because the attribute id for DW_AT_defaulted is not yet publicly
      available.
      
      for  include/ChangeLog
      
      	PR debug/63240
      	* dwarf2.def (DW_AT_deleted, DW_AT_defaulted): New.
      	* dwarf2.h (enu dwarf_defaulted_attribute): New.
      
      for  gcc/ChangeLog
      
      	PR debug/63240
      	* langhooks-def.h
      	(LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Const_tree-ify.
      	(LANG_HOOKS_FUNCTION_DECL_DELETED_P): Likewise.
      	(LANG_HOOKS_FUNCTION_DECL_DEFAULTED): Set default.
      	(LANG_HOOKS_DECLS): Add it.
      	* langhooks.h (struct lang_hooks_for_decls): Add
      	function_decl_defaulted.  Const_tree-ify
      	function_decl_explicit_p and function_decl_deleted_p.
      	* dwarf2out.c (gen_subprogram_die): Add DW_AT_defaulted
      	attribute.  Add DW_AT_deleted instead of DW_AT_GNU_deleted,
      	also at strict DWARF v5.
      
      for  gcc/cp/ChangeLog
      
      	PR debug/63240
      	* cp-objcp-common.c (cp_function_decl_defaulted): New.
      	(cp_function_decl_explicit_p): Const_tree-ify.
      	(cp_function_decl_deleted_p): Likewise.
      	* cp-objcp-common.h (cp_function_decl_defaulted): Declare.
      	(cp_function_decl_explicit_p): Const_tree-ify.
      	(cp_function_decl_deleted_p): Likewise.
      	(LANG_HOOKS_FUNCTION_DECL_DEFAULTED): Redefine.
      
      for  gcc/testsuite/ChangeLog
      
      	PR debug/63240
      	* g++.dg/debug/dwarf2/defaulted-member-function-1.C: New.
      	* g++.dg/debug/dwarf2/defaulted-member-function-2.C: New.
      	* g++.dg/debug/dwarf2/defaulted-member-function-3.C: New.
      	* g++.dg/debug/dwarf2/deleted-member-function.C: Expect
      	DW_AT_deleted.
      
      From-SVN: r239403
      Alexandre Oliva committed
  16. 08 Aug, 2016 1 commit
    • c-format.c: suggest the correct format string to use (PR c/64955) · 895aa8e1
      This adds fix-it hints to c-format.c so that it can (sometimes) suggest
      the format string the user should have used.
      
      The patch adds selftests for the new code in c-format.c.  These
      selftests are thus lang-specific.  This is the first time we've had
      lang-specific selftests, and hence the patch also adds a langhook for
      running them.  (Note that currently the Makefile only invokes the
      selftests for cc1).
      
      gcc/c-family/ChangeLog:
      	PR c/64955
      	* c-common.h (selftest::c_format_c_tests): New declaration.
      	(selftest::run_c_tests): New declaration.
      	* c-format.c: Include "selftest.h.
      	(format_warning_va): Add param "corrected_substring" and use
      	it to add a replacement fix-it hint.
      	(format_warning_at_substring): Likewise.
      	(format_warning_at_char): Update for new param of
      	format_warning_va.
      	(argument_parser::check_argument_type): Pass "fki" to
      	check_format_types.
      	(check_format_types): Add param "fki" and pass it to
      	format_type_warning.
      	(deref_n_times): New function.
      	(get_modifier_for_format_len): New function.
      	(selftest::test_get_modifier_for_format_len): New function.
      	(get_format_for_type): New function.
      	(format_type_warning): Add param "fki" and use it to attempt
      	to provide hints for argument types when calling
      	format_warning_at_substring.
      	(selftest::get_info): New function.
      	(selftest::assert_format_for_type_streq): New function.
      	(ASSERT_FORMAT_FOR_TYPE_STREQ): New macro.
      	(selftest::test_get_format_for_type_printf): New function.
      	(selftest::test_get_format_for_type_scanf): New function.
      	(selftest::c_format_c_tests): New function.
      
      gcc/c/ChangeLog:
      	PR c/64955
      	* c-lang.c (LANG_HOOKS_RUN_LANG_SELFTESTS): If CHECKING_P, wire
      	this up to selftest::run_c_tests.
      	(selftest::run_c_tests): New function.
      
      gcc/ChangeLog:
      	PR c/64955
      	* langhooks-def.h (LANG_HOOKS_RUN_LANG_SELFTESTS): New default
      	do-nothing langhook.
      	(LANG_HOOKS_INITIALIZER): Add LANG_HOOKS_RUN_LANG_SELFTESTS.
      	* langhooks.h (struct lang_hooks): Add run_lang_selftests.
      	* selftest-run-tests.c: Include "tree.h" and "langhooks.h".
      	(selftest::run_tests): Call lang_hooks.run_lang_selftests.
      
      gcc/testsuite/ChangeLog:
      	PR c/64955
      	* gcc.dg/format/diagnostic-ranges.c: Add fix-it hints to expected
      	output.
      
      From-SVN: r239260
      David Malcolm committed
  17. 12 May, 2016 1 commit
    • re PR c/70756 (Wrong column number shown for "error: invalid use of flexible array member") · 4f2e1536
      	PR c/70756
      	* c-common.c (pointer_int_sum): Call size_in_bytes_loc instead of
      	size_in_bytes and pass LOC to it.
      
      	* c-decl.c (build_compound_literal): Pass LOC down to
      	c_incomplete_type_error.
      	* c-tree.h (require_complete_type): Adjust declaration.
      	(c_incomplete_type_error): Likewise.
      	* c-typeck.c (require_complete_type): Add location parameter, pass it
      	down to c_incomplete_type_error.
      	(c_incomplete_type_error): Add location parameter, pass it down to
      	error_at.
      	(build_component_ref): Pass location down to c_incomplete_type_error.
      	(default_conversion): Pass location down to require_complete_type.
      	(build_array_ref): Likewise.
      	(build_function_call_vec): Likewise.
      	(convert_arguments): Likewise.
      	(build_unary_op): Likewise.
      	(build_c_cast): Likewise.
      	(build_modify_expr): Likewise.
      	(convert_for_assignment): Likewise.
      	(c_finish_omp_clauses): Likewise.
      
      	* call.c (build_new_op_1): Pass LOC to cp_build_modify_expr.
      	* cp-tree.h (cp_build_modify_expr): Update declaration.
      	(cxx_incomplete_type_error, cxx_incomplete_type_diagnostic): New inline
      	overloads.
      	* cp-ubsan.c (cp_ubsan_dfs_initialize_vtbl_ptrs): Pass INPUT_LOCATION to
      	cp_build_modify_expr.
      	* decl2.c (set_guard): Likewise.
      	(handle_tls_init): Likewise.
      	* init.c (perform_member_init): Likewise.
      	(expand_virtual_init): Likewise.
      	(build_new_1): Likewise.
      	(build_vec_delete_1): Likewise.
      	(get_temp_regvar): Likewise.
      	(build_vec_init): Likewise.
      	* method.c (do_build_copy_assign): Likewise.
      	(assignable_expr): Likewise.
      	* semantics.c (finish_omp_for): Likewise.
      	* typeck.c (cp_build_binary_op): Pass LOCATION to pointer_diff and
      	cp_pointer_int_sum.
      	(cp_pointer_int_sum): Add location parameter.  Pass it down to
      	pointer_int_sum.
      	(pointer_diff): Add location parameter.  Use it.
      	(build_modify_expr): Pass location down to cp_build_modify_expr.
      	(cp_build_modify_expr): Add location parameter.  Use it.
      	(build_x_modify_expr): Pass location down to cp_build_modify_expr.
      	* typeck2.c (cxx_incomplete_type_diagnostic,
      	cxx_incomplete_type_error): Add location parameter.
      
      	* langhooks-def.h (lhd_incomplete_type_error): Adjust declaration.
      	* langhooks.c (lhd_incomplete_type_error): Add location parameter.
      	* langhooks.h (incomplete_type_error): Likewise.
      	* tree.c (size_in_bytes_loc): Renamed from size_in_bytes.  Add location
      	parameter, pass it down to incomplete_type_error.
      	* tree.h (size_in_bytes): New inline overload.
      	(size_in_bytes_loc): Renamed from size_in_bytes.
      
      	* c-c++-common/pr70756-2.c: New test.
      	* c-c++-common/pr70756.c: New test.
      
      From-SVN: r236180
      Marek Polacek committed
  18. 04 Jan, 2016 1 commit
  19. 17 Dec, 2015 3 commits
    • DWARF: add a language hook for scalar biased types · 69c5f9d7
      Front-ends like GNAT for Ada sometimes use biased encodings for integral
      types.  This change creates a new language hook so that the bias
      information can make it into the debugging information back-end and
      introduces an experimental DWARF attribute to hold it.
      
      gcc/ada/ChangeLog:
      
      	* gcc-interface/misc.c (gnat_get_type_bias): New.
      	(LANG_HOOKS_GET_TYPE_BIAS): Redefine macro to implement the
      	get_type_bias language hook.
      
      gcc/ChangeLog:
      
      	* langhooks.h (struct lang_hooks_for_types): New get_bias_field.
      	* langhooks-def.h (LANG_HOOKS_GET_TYPE_BIAS): New.
      	(LANG_HOOKS_FOR_TYPES_INITIALIZER): Initialize the
      	get_bias_field.
      	* dwarf2out.c
      	(base_type_die): In non-strict DWARF mode, invoke the
      	get_type_bias language hook for INTEGER_TYPE nodes.  If it
      	returns a bias, emit an attribute for it.
      	(subrange_type_die): Change signature to handle bias.  If
      	non-strict DWARF mode, emit an attribute for it, if one passed.
      	(modified_type_die): For subrange types, invoke the
      	get_type_bias langage hook and pass the bias to
      	subrange_type_die.
      
      From-SVN: r231767
      Pierre-Marie de Rodat committed
    • DWARF: add a language hook for fixed-point types · 2971780e
      Support for fixed-point types in GCC is not powerful enough for Ada
      fixed-point types: GNAT uses regular scalar types to implement them.
      This new language hook makes it possible to output the desired debugging
      information anyway.
      
      gcc/ada/ChangeLog:
      
      	* gcc-interface/ada-tree.def (POWER_EXPR): New binary operation.
      	* gcc-interface/ada-tree.h (TYPE_FIXED_POINT_P): New macro.
      	(TYPE_IS_FIXED_POINT_P): New macro.
      	(TYPE_SCALE_FACTOR): New macro.
      	(SET_TYPE_SCALE_FACTOR): New macro.
      	* gcc-interface/decl.c: Include urealp.h
      	(gnat_to_gnu_entity): Attach trees to encode scale factors to
      	fixed-point types.
      	* gcc-interface/misc.c (gnat_print_type): Print scale factors
      	for fixed-point types.
      	(gnat_get_fixed_point_type_info): New.
      	(gnat_init_ts): Initialize data for the POWER_EXPR binary
      	operation.
      	(LANG_HOOKS_GET_FIXED_POINT_INFO): Redefine macro to implement
      	the get_fixed_point_type_info language hook.
      
      gcc/ChangeLog:
      
      	* langhooks.h (struct lang_hooks_for_types): Add a
      	get_fixed_point_type_info field.
      	* langhooks-def.h (LANG_HOOKS_GET_FIXED_POINT_TYPE_INFO): New
      	macro.
      	(LANG_HOOKS_FOR_TYPES_INITIALIZER): Initialize the
      	get_fixed_point_type_info field.
      	* dwarf2out.h (enum fixed_point_scale_factor): New.
      	(struct fixed_point_type_info): New.
      	* dwarf2out.c (base_type_die): In DWARFv3 or non-strict DWARF
      	mode, get fixed-point type information using the debugging hook
      	and describe it in DWARF, if any.
      
      From-SVN: r231764
      Pierre-Marie de Rodat committed
    • DWARF: add a language hook to override types in debugging information · eb59e428
      Many artificial types are introduced by GNAT in order to satisfy
      constraints in GCC's internal trees or to generate optimal code.  These
      hide original types from sources and miss useful information in the
      debugging information or add noise to it and make debugging confusing.
      This change introduces a new language hook to give a chance to
      front-ends to restore the source types in the debugging information.
      
      This change also enhance the array descriptor language hook to handle
      array-wide bit/byte stride.  Some arrays may contain dynamically-sized
      objects.  Debuggers need for these a hint to know the size allocated for
      each element, hence the need for the array-wide bit/byte stride.
      
      The Ada front-end is enhanced to take advantage of both hooks when
      -fgnat-encodings=minimal, in order to keep compatibility with GDB.
      
      gcc/ada/ChangeLog:
      
      	* gcc-interface/ada-tree.h (struct lang_type): Rename the t
      	field as t1 and add a t2 one.
      	(get_lang_specific): New.
      	(GET_TYPE_LANG_SPECIFIC): Refactor to use get_lang_specific.
      	(SET_TYPE_LANG_SPECIFIC): Likewise.
      	(GET_TYPE_LANG_SPECIFIC2): New macro.
      	(SET_TYPE_LANG_SPECIFIC2): New macro.
      	(TYPE_DEBUG_TYPE): New macro.
      	(SET_TYPE_DEBUG_TYPE): New macro.
      	* gcc-interface/decl.c (gnat_to_gnu_entity): When
      	-fgnat-encodings=minimal, set padding types' debug type to the
      	padded one (i.e. strip ___PAD GNAT encodings) and set
      	constrained record subtypes's debug type to the base type.
      	* gcc-interface/misc.c (gnat_print_type): Print debug types.
      	(gnat_get_debug_type): New.
      	(gnat_get_array_descr_info): When -fgnat-encodings=minimal, set
      	a byte stride for arrays that contain a type whose debug type
      	has variable length.
      	(LANG_HOOKS_GET_DEBUG_TYPE): Redefine macro to implement the
      	debug type language hook.
      	* gcc-interface/utils.c (maybe_pad_type): When
      	-fgnat-encodings=minimal, set padding types' debug type to the
      	padded one.  Restore XVZ variables creation when
      	-fgnat-encodings-minimal and use them to hold padding types'
      	byte size.  For library-level padding types, share this variable
      	across translation units.  Tag XVZ variables as artificial.
      
      gcc/ChangeLog:
      
      	* langhooks.h (struct lang_hooks_for_types): Add a
      	get_debug_type field.
      	* langhooks-def.h (LANG_HOOKS_GET_DEBUG_TYPE): New macro.
      	(LANG_HOOKS_FOR_TYPES_INITIALIZER): Initialize the
      	get_debug_type field.
      	* dwarf2out.h (struct array_descr_info): Add an array-wide
      	stride field.
      	* dwarf2out.c (modified_type_die): Invoke the get_debug_type
      	language hook, process its result instead, if any.
      	(gen_descr_array_type_die): Add array-wide stride processing.
      
      From-SVN: r231763
      Pierre-Marie de Rodat committed
  20. 05 Jun, 2015 1 commit
    • Merge debug-early branch into mainline. · d7438551
      	* dwarf2out.c: Remove deferred_locations*.
      	(dwarf2_debug_hooks): Add early_finish hook.
      	Remove global_decl hook.
      	Add early_global_decl and late_global_decl hook.
      	New global early_dwarf.
      	New structure set_early_dwarf.
      	(output_die): Indicate whether a DIE was generated early
      	when generating assembly with -dA.
      	(struct limbo_die_struct): Document created_for field.
      	Remove file_table_last_lookup.
      	(remove_AT): Return TRUE if successful.
      	(remove_child_TAG): Clear die_parent.
      	(reparent_child): New function abstracted from...
      	(splice_child_die): ...here.
      	(new_die): ICE if a DIE ends up in limbo too late.
      	(check_die): New.
      	(defer_location): Remove.
      	(add_subscript_info): Reuse DW_TAG_subrange_type if available.
      	(fill_variable_array_bounds): New.
      	(decl_start_label): Call fill_variable_array_bounds.
      	(gen_formal_parameter_die): Rewrite to reuse previously generated
      	DIEs.
      	(gen_subprogram_die): Same.
      	(gen_variable_die): Same.
      	(gen_const_die): Same.
      	(gen_label_die): Same.
      	(gen_lexical_block_die): Same.
      	(decl_will_get_specification_p): New.
      	(local_function_static): New.
      	(gen_struct_or_union_type_die): Fill in variable-length fields.
      	(gen_typedef_die): Fill in variable-length typedefs.
      	(gen_tagged_type_die): Gracefully return on error_mark_node.
      	Handle re-entrancy.
      	(gen_type_die_with_usage): Handle variable-length types.
      	Remove duplicate code for ARRAY_TYPE case.
      	(process_scope_var): Only process imported modules during early
      	dwarf.
      	(dwarf2out_early_global_decl): New.
      	(dwarf2out_late_global_decl): Rename from dwarf2out_global_decl.
      	(dwarf2out_type_decl): Set early_dwarf while calling
      	dwarf2out_decl.
      	(dwarf2out_decl): Verify that we did not recreate a previously
      	generated DIE.
      	Do not return on DECL_EXTERNALs in VAR_DECLs.
      	Abstract some code to local_function_static.
      	(lookup_filename): Remove use of file_table_last_lookup.
      	Gracefully exit on missing file_name.
      	(dwarf2out_finish): Verify limbo list.
      	Remove deferred_locations_list use.
      	Move deferred_asm_name and limbo flushing to...
      	(dwarf2out_early_finish): ...here.  New.
      	(dwarf2out_c_finalize): Remove set of deferred_location_list,
      	deferred_asm_name, and file_table_last_lookup.
      	* cgraph.h (referred_to_p): Add default argument.
      	* cgraphunit.c (referred_to_p): Add and handle include_self
      	argument.
      	(analyze_functions): Add first_time argument.
      	Call check_global_declaration for all symbols.
      	Call late_global_decl for nodes for moribund nodes.
      	(finalize_compilation_unit): Add new argument to
      	analyze_functions.
      	Call early_global_decl for functions.
      	Call early_finish debug hook.
      	* dbxout.c (dbxout_early_global_decl): New.
      	(dbxout_late_global_decl): New.  Adapted from dbxout_global_decl.
      	(dbx_debug_hooks): Add new hooks.
      	(xcoff_debug_hooks): Same.
      	* debug.c (do_nothing_debug_hooks): Add early_finish field.
      	Add early and late debug hooks.
      	Remove global_decl hook.
      	* debug.h (struct gcc_debug_hooks): Add early_finish,
      	early_global_decl, and late_global_decl fields.
      	Remove global_decl field.
      	Document gcc_debug_hooks.
      	* gengtype.c (output_typename): Remove.
      	* godump.c (go_early_global_decl): New.
      	(go_late_global_decl): New.
      	(go_global_decl): Remove.
      	(dump_go_spec_init): Remove global_decl.  Add
      	{early,late}_global_decl.
      	* langhooks-def.h (LANG_HOOKS_WRITE_GLOBALS): Remove.
      	(LANG_HOOKS_POST_COMPILATION_PARSING_CLEANUPS): New.
      	* langhooks.c (lhd_warn_unused_global_decl): Adjust comment.
      	(write_global_declarations): Remove.
      	(global_decl_processing): New.
      	* langhooks.h (struct lang_hooks_for_decls): Remove
      	final_write_globals field.
      	Add post_compilation_parsing_cleanups field.
      	* passes.c (rest_of_decl_compilation): Call early_global_decl.
      	* sdbout.c: Add early and late_global_decl hooks.  Remove
      	sdbout_global_decl hook.
      	Add early_finish field for sdb_debug_hooks.
      	(sdbout_global_decl): Remove.
      	(sdbout_early_global_decl): New.
      	(sdbout_late_global_decl): New.
      	* timevar.def (TV_PHASE_LATE_PARSING_CLEANUPS): New.
      	* toplev.c (check_global_declaration): Rename from
      	check_global_declaration_1.
      	Adapt to use symtab infrastructure.
      	(check_global_declarations): Remove.
      	(emit_debug_global_declarations): Remove.
      	(compile_file): Remove call to final_write_globals langhook.
      	Run the actual compilation process.
      	Perform any post compilation parser cleanups.
      	Generate late debug info.
      	* toplev.h (check_global_declaration): New.
      	(check_global_declaration_1): Remove.
      	(check_global_declarations): Remove.
      	(write_global_declarations): Remove.
      	(emit_debug_global_declarations): Remove.
      	(global_decl_processing): New.
      	* tree-core.h (struct tree_block): Add DIE field.
      	* tree.h (BLOCK_DIE): New.
      	* vmsdbgout.c (vmsdbgout_global_decl): Remove function and its use
      	throughout.
      	(vmsdbgout_early_global_decl): New.
      	(vmsdbgout_late_global_decl): New.
      	Add early_finish debug hook field to vmsdbg_debug_hooks.
      	Remove vmsdbgout_decl to vmsdbgout_function_decl.
      	Add early and late_global_decl debug hooks.
      
      From-SVN: r224161
      Aldy Hernandez committed
  21. 05 Jan, 2015 1 commit
  22. 05 Oct, 2014 1 commit
    • PR debug/63239 Add DWARF representation for C++11 deleted member function. · f5059223
      include/ChangeLog
      
      	* dwarf2.def (DW_AT_GNU_deleted): New attribute.
      
      gcc/ChangeLog
      
      	* dwarf2out.c (gen_subprogram_die): When a member function is
      	explicitly deleted then add a DW_AT_GNU_deleted attribute.
      	* langhooks.h (struct lang_hooks_for_decls): Add
      	function_decl_deleted_p langhook.
      	* langhooks-def.h (LANG_HOOKS_FUNCTION_DECL_DELETED_P): Define.
      	(LANG_HOOKS_DECLS): Add LANG_HOOKS_FUNCTION_DECL_DELETED_P.
      
      gcc/cp/ChangeLog
      
      	* cp-objcp-common.h (LANG_HOOKS_FUNCTION_DECL_DELETED_P): Define.
      	(cp_function_decl_deleted_p): New prototype.
      	* cp-objcp-common.c (cp_function_deleted_p): New function.
      
      gcc/testsuite/ChangeLog
      
      	* g++.dg/debug/dwarf2/deleted-member-function.C: New testcase.
      
      From-SVN: r215901
      Mark Wielaard committed
  23. 25 Jun, 2014 1 commit
    • langhooks-def.h (LANG_HOOKS_OMP_CLAUSE_LINEAR_CTOR): Define. · da6f124d
      	* langhooks-def.h (LANG_HOOKS_OMP_CLAUSE_LINEAR_CTOR): Define.
      	(LANG_HOOKS_DECLS): Add it.
      	* gimplify.c (gimplify_omp_for): Make sure OMP_CLAUSE_LINEAR_STEP
      	has correct type.
      	* tree.h (OMP_CLAUSE_LINEAR_ARRAY): Define.
      	* langhooks.h (struct lang_hooks_for_decls): Add
      	omp_clause_linear_ctor hook.
      	* omp-low.c (lower_rec_input_clauses): Set max_vf even if
      	OMP_CLAUSE_LINEAR_ARRAY is set.  Don't fold_convert
      	OMP_CLAUSE_LINEAR_STEP.  For OMP_CLAUSE_LINEAR_ARRAY in
      	combined simd loop use omp_clause_linear_ctor hook.
      gcc/c/
      	* c-typeck.c (c_finish_omp_clauses): Make sure
      	OMP_CLAUSE_LINEAR_STEP has correct type.
      gcc/cp/
      	* semantics.c (finish_omp_clauses): Make sure
      	OMP_CLAUSE_LINEAR_STEP has correct type.
      gcc/fortran/
      	* trans.h (gfc_omp_clause_linear_ctor): New prototype.
      	* trans-openmp.c (gfc_omp_linear_clause_add_loop,
      	gfc_omp_clause_linear_ctor): New functions.
      	(gfc_trans_omp_clauses): Make sure OMP_CLAUSE_LINEAR_STEP has
      	correct type.  Set OMP_CLAUSE_LINEAR_ARRAY flag if needed.
      	* f95-lang.c (LANG_HOOKS_OMP_CLAUSE_LINEAR_CTOR): Redefine.
      libgomp/
      	* testsuite/libgomp.fortran/simd5.f90: New test.
      	* testsuite/libgomp.fortran/simd6.f90: New test.
      	* testsuite/libgomp.fortran/simd7.f90: New test.
      
      From-SVN: r211971
      Jakub Jelinek committed
  24. 18 Jun, 2014 1 commit
    • gimplify.c (omp_notice_variable): If n is non-NULL and no flags change in… · f014c653
      gimplify.c (omp_notice_variable): If n is non-NULL and no flags change in ORT_TARGET region, don't jump to do_outer.
      
      	* gimplify.c (omp_notice_variable): If n is non-NULL
      	and no flags change in ORT_TARGET region, don't jump to
      	do_outer.
      	(struct gimplify_adjust_omp_clauses_data): New type.
      	(gimplify_adjust_omp_clauses_1): Adjust for data being
      	a struct gimplify_adjust_omp_clauses_data pointer instead
      	of tree *.  Pass pre_p as a new argument to
      	lang_hooks.decls.omp_finish_clause hook.
      	(gimplify_adjust_omp_clauses): Add pre_p argument, adjust
      	splay_tree_foreach to pass both list_p and pre_p.
      	(gimplify_omp_parallel, gimplify_omp_task, gimplify_omp_for,
      	gimplify_omp_workshare, gimplify_omp_target_update): Adjust
      	gimplify_adjust_omp_clauses callers.
      	* langhooks.c (lhd_omp_finish_clause): New function.
      	* langhooks-def.h (lhd_omp_finish_clause): New prototype.
      	(LANG_HOOKS_OMP_FINISH_CLAUSE): Define to lhd_omp_finish_clause.
      	* langhooks.h (struct lang_hooks_for_decls): Add a new
      	gimple_seq * argument to omp_finish_clause hook.
      	* omp-low.c (scan_sharing_clauses): Call scan_omp_op on
      	non-DECL_P OMP_CLAUSE_DECL if ctx->outer.
      	(scan_omp_parallel, lower_omp_for): When adding
      	_LOOPTEMP_ clause var, add it to outer ctx's decl_map
      	as identity.
      	* tree-core.h (OMP_CLAUSE_MAP_TO_PSET): New map kind.
      	* tree-nested.c (convert_nonlocal_omp_clauses,
      	convert_local_omp_clauses): Handle various OpenMP 4.0 clauses.
      	* tree-pretty-print.c (dump_omp_clause): Handle
      	OMP_CLAUSE_MAP_TO_PSET.
      gcc/cp/
      	* cp-gimplify.c (cxx_omp_finish_clause): Add a gimple_seq *
      	argument.
      	* cp-tree.h (cxx_omp_finish_clause): Adjust prototype.
      gcc/fortran/
      	* cpp.c (cpp_define_builtins): Change _OPENMP macro to
      	201307.
      	* dump-parse-tree.c (show_omp_namelist): Add list_type
      	argument.  Adjust for rop being u.reduction_op now,
      	handle depend_op or map_op.
      	(show_omp_node): Adjust callers.  Print some new
      	OpenMP 4.0 clauses, adjust for OMP_LIST_DEPEND_{IN,OUT}
      	becoming a single OMP_LIST_DEPEND.
      	* f95-lang.c (gfc_handle_omp_declare_target_attribute): New
      	function.
      	(gfc_attribute_table): New variable.
      	(LANG_HOOKS_OMP_FINISH_CLAUSE, LANG_HOOKS_ATTRIBUTE_TABLE): Redefine.
      	* frontend-passes.c (gfc_code_walker): Handle new OpenMP target
      	EXEC_OMP_* codes and new clauses.
      	* gfortran.h (gfc_statement): Add ST_OMP_TARGET, ST_OMP_END_TARGET,
      	ST_OMP_TARGET_DATA, ST_OMP_END_TARGET_DATA, ST_OMP_TARGET_UPDATE,
      	ST_OMP_DECLARE_TARGET, ST_OMP_TEAMS, ST_OMP_END_TEAMS,
      	ST_OMP_DISTRIBUTE, ST_OMP_END_DISTRIBUTE, ST_OMP_DISTRIBUTE_SIMD,
      	ST_OMP_END_DISTRIBUTE_SIMD, ST_OMP_DISTRIBUTE_PARALLEL_DO,
      	ST_OMP_END_DISTRIBUTE_PARALLEL_DO, ST_OMP_DISTRIBUTE_PARALLEL_DO_SIMD,
      	ST_OMP_END_DISTRIBUTE_PARALLEL_DO_SIMD, ST_OMP_TARGET_TEAMS,
      	ST_OMP_END_TARGET_TEAMS, ST_OMP_TEAMS_DISTRIBUTE,
      	ST_OMP_END_TEAMS_DISTRIBUTE, ST_OMP_TEAMS_DISTRIBUTE_SIMD,
      	ST_OMP_END_TEAMS_DISTRIBUTE_SIMD, ST_OMP_TARGET_TEAMS_DISTRIBUTE,
      	ST_OMP_END_TARGET_TEAMS_DISTRIBUTE,
      	ST_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD,
      	ST_OMP_END_TARGET_TEAMS_DISTRIBUTE_SIMD,
      	ST_OMP_TEAMS_DISTRIBUTE_PARALLEL_DO,
      	ST_OMP_END_TEAMS_DISTRIBUTE_PARALLEL_DO,
      	ST_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO,
      	ST_OMP_END_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO,
      	ST_OMP_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD,
      	ST_OMP_END_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD,
      	ST_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD and
      	ST_OMP_END_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD.
      	(symbol_attribute): Add omp_declare_target field.
      	(gfc_omp_depend_op, gfc_omp_map_op): New enums.
      	(gfc_omp_namelist): Replace rop field with union
      	containing reduction_op, depend_op and map_op.
      	(OMP_LIST_DEPEND_IN, OMP_LIST_DEPEND_OUT): Remove.
      	(OMP_LIST_DEPEND, OMP_LIST_MAP, OMP_LIST_TO, OMP_LIST_FROM): New.
      	(gfc_omp_clauses): Add num_teams, device, thread_limit,
      	dist_sched_kind, dist_chunk_size fields.
      	(gfc_common_head): Add omp_declare_target field.
      	(gfc_exec_op): Add EXEC_OMP_TARGET, EXEC_OMP_TARGET_DATA,
      	EXEC_OMP_TEAMS, EXEC_OMP_DISTRIBUTE, EXEC_OMP_DISTRIBUTE_SIMD,
      	EXEC_OMP_DISTRIBUTE_PARALLEL_DO, EXEC_OMP_DISTRIBUTE_PARALLEL_DO_SIMD,
      	EXEC_OMP_TARGET_TEAMS, EXEC_OMP_TEAMS_DISTRIBUTE,
      	EXEC_OMP_TEAMS_DISTRIBUTE_SIMD, EXEC_OMP_TARGET_TEAMS_DISTRIBUTE,
      	EXEC_OMP_TARGET_TEAMS_DISTRIBUTE_SIMD,
      	EXEC_OMP_TEAMS_DISTRIBUTE_PARALLEL_DO,
      	EXEC_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO,
      	EXEC_OMP_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD,
      	EXEC_OMP_TARGET_TEAMS_DISTRIBUTE_PARALLEL_DO_SIMD and
      	EXEC_OMP_TARGET_UPDATE.
      	(gfc_add_omp_declare_target): New prototype.
      	* match.h (gfc_match_omp_declare_target, gfc_match_omp_distribute,
      	gfc_match_omp_distribute_parallel_do,
      	gfc_match_omp_distribute_parallel_do_simd,
      	gfc_match_omp_distribute_simd, gfc_match_omp_target,
      	gfc_match_omp_target_data, gfc_match_omp_target_teams,
      	gfc_match_omp_target_teams_distribute,
      	gfc_match_omp_target_teams_distribute_parallel_do,
      	gfc_match_omp_target_teams_distribute_parallel_do_simd,
      	gfc_match_omp_target_teams_distribute_simd,
      	gfc_match_omp_target_update, gfc_match_omp_teams,
      	gfc_match_omp_teams_distribute,
      	gfc_match_omp_teams_distribute_parallel_do,
      	gfc_match_omp_teams_distribute_parallel_do_simd,
      	gfc_match_omp_teams_distribute_simd): New prototypes.
      	* module.c (ab_attribute): Add AB_OMP_DECLARE_TARGET.
      	(attr_bits): Likewise.
      	(mio_symbol_attribute): Handle omp_declare_target attribute.
      	(gfc_free_omp_clauses): Free num_teams, device, thread_limit
      	and dist_chunk_size expressions.
      	(OMP_CLAUSE_PRIVATE, OMP_CLAUSE_FIRSTPRIVATE, OMP_CLAUSE_LASTPRIVATE,
      	OMP_CLAUSE_COPYPRIVATE, OMP_CLAUSE_SHARED, OMP_CLAUSE_COPYIN,
      	OMP_CLAUSE_REDUCTION, OMP_CLAUSE_IF, OMP_CLAUSE_NUM_THREADS,
      	OMP_CLAUSE_SCHEDULE, OMP_CLAUSE_DEFAULT, OMP_CLAUSE_ORDERED,
      	OMP_CLAUSE_COLLAPSE, OMP_CLAUSE_UNTIED, OMP_CLAUSE_FINAL,
      	OMP_CLAUSE_MERGEABLE, OMP_CLAUSE_ALIGNED, OMP_CLAUSE_DEPEND,
      	OMP_CLAUSE_INBRANCH, OMP_CLAUSE_LINEAR, OMP_CLAUSE_NOTINBRANCH,
      	OMP_CLAUSE_PROC_BIND, OMP_CLAUSE_SAFELEN, OMP_CLAUSE_SIMDLEN,
      	OMP_CLAUSE_UNIFORM): Use 1U instead of 1.
      	(OMP_CLAUSE_DEVICE, OMP_CLAUSE_MAP, OMP_CLAUSE_TO, OMP_CLAUSE_FROM,
      	OMP_CLAUSE_NUM_TEAMS, OMP_CLAUSE_THREAD_LIMIT,
      	OMP_CLAUSE_DIST_SCHEDULE): Define.
      	(gfc_match_omp_clauses): Change mask parameter to unsigned int.
      	Adjust for rop becoming u.reduction_op.  Disallow inbranch with
      	notinbranch.  For depend clause, always create OMP_LIST_DEPEND
      	and fill in u.depend_op.  Handle num_teams, device, map,
      	to, from, thread_limit and dist_schedule clauses.
      	(OMP_DECLARE_SIMD_CLAUSES): Or in OMP_CLAUSE_INBRANCH and
      	OMP_CLAUSE_NOTINBRANCH.
      	(OMP_TARGET_CLAUSES, OMP_TARGET_DATA_CLAUSES,
      	OMP_TARGET_UPDATE_CLAUSES, OMP_TEAMS_CLAUSES,
      	OMP_DISTRIBUTE_CLAUSES): Define.
      	(match_omp): New function.
      	(gfc_match_omp_do, gfc_match_omp_do_simd, gfc_match_omp_parallel,
      	gfc_match_omp_parallel_do, gfc_match_omp_parallel_do_simd,
      	gfc_match_omp_parallel_sections, gfc_match_omp_parallel_workshare,
      	gfc_match_omp_sections, gfc_match_omp_simd, gfc_match_omp_single,
      	gfc_match_omp_task): Rewritten using match_omp.
      	(gfc_match_omp_threadprivate, gfc_match_omp_declare_reduction):
      	Diagnose if the directives are followed by unexpected junk.
      	(gfc_match_omp_distribute, gfc_match_omp_distribute_parallel_do,
      	gfc_match_omp_distribute_parallel_do_simd,
      	gfc_match_omp_distrbute_simd, gfc_match_omp_declare_target,
      	gfc_match_omp_target, gfc_match_omp_target_data,
      	gfc_match_omp_target_teams, gfc_match_omp_target_teams_distribute,
      	gfc_match_omp_target_teams_distribute_parallel_do,
      	gfc_match_omp_target_teams_distribute_parallel_do_simd,
      	gfc_match_omp_target_teams_distrbute_simd, gfc_match_omp_target_update,
      	gfc_match_omp_teams, gfc_match_omp_teams_distribute,
      	gfc_match_omp_teams_distribute_parallel_do,
      	gfc_match_omp_teams_distribute_parallel_do_simd,
      	gfc_match_omp_teams_distrbute_simd): New functions.
      	* openmp.c (resolve_omp_clauses): Adjust for
      	OMP_LIST_DEPEND_{IN,OUT} being changed to OMP_LIST_DEPEND.  Handle
      	OMP_LIST_MAP, OMP_LIST_FROM, OMP_LIST_TO, num_teams, device,
      	dist_chunk_size and thread_limit.
      	(gfc_resolve_omp_parallel_blocks): Only put sharing clauses into
      	ctx.sharing_clauses.  Call gfc_resolve_omp_do_blocks for various
      	new EXEC_OMP_* codes.
      	(resolve_omp_do): Handle various new EXEC_OMP_* codes.
      	(gfc_resolve_omp_directive): Likewise.
      	(gfc_resolve_omp_declare_simd): Add missing space to diagnostics.
      	* parse.c (decode_omp_directive): Handle parsing of OpenMP 4.0
      	offloading related directives.
      	(case_executable): Add ST_OMP_TARGET_UPDATE.
      	(case_exec_markers): Add ST_OMP_TARGET*, ST_OMP_TEAMS*,
      	ST_OMP_DISTRIBUTE*.
      	(case_decl): Add ST_OMP_DECLARE_TARGET.
      	(gfc_ascii_statement): Handle new ST_OMP_* codes.
      	(parse_omp_do): Handle various new ST_OMP_* codes.
      	(parse_executable): Likewise.
      	* resolve.c (gfc_resolve_blocks): Handle various new EXEC_OMP_*
      	codes.
      	(resolve_code): Likewise.
      	(resolve_symbol): Change that !$OMP DECLARE TARGET variables
      	are saved.
      	* st.c (gfc_free_statement): Handle various new EXEC_OMP_* codes.
      	* symbol.c (check_conflict): Check omp_declare_target conflicts.
      	(gfc_add_omp_declare_target): New function.
      	(gfc_copy_attr): Copy omp_declare_target.
      	* trans.c (trans_code): Handle various new EXEC_OMP_* codes.
      	* trans-common.c (build_common_decl): Add "omp declare target"
      	attribute if needed.
      	* trans-decl.c (add_attributes_to_decl): Likewise.
      	* trans.h (gfc_omp_finish_clause): New prototype.
      	* trans-openmp.c (gfc_omp_finish_clause): New function.
      	(gfc_trans_omp_reduction_list): Adjust for rop being renamed
      	to u.reduction_op.
      	(gfc_trans_omp_clauses): Adjust for OMP_LIST_DEPEND_{IN,OUT}
      	change to OMP_LIST_DEPEND and fix up depend handling.
      	Handle OMP_LIST_MAP, OMP_LIST_TO, OMP_LIST_FROM, num_teams,
      	thread_limit, device, dist_chunk_size and dist_sched_kind.
      	(gfc_trans_omp_do): Handle EXEC_OMP_DISTRIBUTE.
      	(GFC_OMP_SPLIT_DISTRIBUTE, GFC_OMP_SPLIT_TEAMS,
      	GFC_OMP_SPLIT_TARGET, GFC_OMP_SPLIT_NUM, GFC_OMP_MASK_DISTRIBUTE,
      	GFC_OMP_MASK_TEAMS, GFC_OMP_MASK_TARGET, GFC_OMP_MASK_NUM): New.
      	(gfc_split_omp_clauses): Handle splitting of clauses for new
      	EXEC_OMP_* codes.
      	(gfc_trans_omp_do_simd): Add pblock argument, adjust for being
      	callable for combined constructs.
      	(gfc_trans_omp_parallel_do, gfc_trans_omp_parallel_do_simd): Likewise.
      	(gfc_trans_omp_distribute, gfc_trans_omp_teams,
      	gfc_trans_omp_target, gfc_trans_omp_target_data,
      	gfc_trans_omp_target_update): New functions.
      	(gfc_trans_omp_directive): Adjust gfc_trans_omp_* callers, handle
      	new EXEC_OMP_* codes.
      gcc/testsuite/
      	* gfortran.dg/gomp/declare-simd-1.f90: New test.
      	* gfortran.dg/gomp/depend-1.f90: New test.
      	* gfortran.dg/gomp/target1.f90: New test.
      	* gfortran.dg/gomp/target2.f90: New test.
      	* gfortran.dg/gomp/target3.f90: New test.
      	* gfortran.dg/gomp/udr4.f90: Adjust expected diagnostics.
      	* gfortran.dg/openmp-define-3.f90: Expect _OPENMP 201307 instead of
      	201107.
      libgomp/
      	* omp_lib.f90.in (openmp_version): Set to 201307.
      	* omp_lib.h.in (openmp_version): Likewise.
      	* testsuite/libgomp.c/target-8.c: New test.
      	* testsuite/libgomp.fortran/declare-simd-1.f90: Add notinbranch
      	and inbranch clauses.
      	* testsuite/libgomp.fortran/depend-3.f90: New test.
      	* testsuite/libgomp.fortran/openmp_version-1.f: Adjust for new
      	openmp_version.
      	* testsuite/libgomp.fortran/openmp_version-2.f90: Likewise.
      	* testsuite/libgomp.fortran/target1.f90: New test.
      	* testsuite/libgomp.fortran/target2.f90: New test.
      	* testsuite/libgomp.fortran/target3.f90: New test.
      	* testsuite/libgomp.fortran/target4.f90: New test.
      	* testsuite/libgomp.fortran/target5.f90: New test.
      	* testsuite/libgomp.fortran/target6.f90: New test.
      	* testsuite/libgomp.fortran/target7.f90: New test.
      
      From-SVN: r211768
      Jakub Jelinek committed
  25. 21 May, 2014 1 commit
    • PR debug/16063. Add DW_AT_type to DW_TAG_enumeration. · 7315daa6
      Add a new lang-hook that provides the underlying base type of an
      ENUMERAL_TYPE. The default implementation will just use type_for_size.
      The implementation for C++ will use the ENUM_UNDERLYING_TYPE if it exists.
      Use this enum_underlying_base_type lang-hook in dwarf2out.c to add a
      DW_AT_type base type reference to a DW_TAG_enumeration.
      
      gcc/
      	* dwarf2out.c (gen_enumeration_type_die): Add DW_AT_type if DWARF
      	version >= 3 or not strict DWARF.
      	* langhooks.h (struct lang_hooks_for_types): Add
      	enum_underlying_base_type.
      	* langhooks.c (lhd_enum_underlying_base_type): New function.
      	* gcc/langhooks.h (struct lang_hooks_for_types): Add
      	enum_underlying_base_type.
      	* langhooks-def.h (lhd_enum_underlying_base_type): New declaration.
      	(LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE): New define.
      	(LANG_HOOKS_FOR_TYPES_INITIALIZER): Add new lang hook.
      
      gcc/cp/
      	* cp-lang.c (cxx_enum_underlying_base_type): New function.
      	(LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE): Define.
      
      From-SVN: r210717
      Mark Wielaard committed
  26. 02 Jan, 2014 1 commit
  27. 11 Dec, 2013 1 commit
    • Added Compiler Support for _Cilk_spawn and _Cilk_sync for C++. · 12893402
      gcc/c-family/ChangeLog
      2013-12-11  Balaji V. Iyer  <balaji.v.iyer@intel.com>
      
              * cilk.c (cilk_outline): Made this function non-static.
      	(gimplify_cilk_spawn): Removed pre_p and post_p arguments.
      	(create_cilk_wrapper): Added a new parameter: a function pointer.
      	(c_install_body_w_frame_cleanup): Remove
      	(extract_free_variables): Added VEC_INIT_EXPR and CONSTRUCTOR case.
              * c-common.h (cilk_outline): New prototype.
      	(gimplify_cilk_spawn): Removed two parameters.
              (cilk_install_body_with_frame_cleanup): New prototype.
      	* c-gimplify.c (c_gimplify_expr): Added MODIFY_EXPR, CALL_EXPR and
      	CILK_SPAWN_STMT case.
      
      gcc/c/ChangeLog
      2013-12-11  Balaji V. Iyer  <balaji.v.iyer@intel.com>
      	
      	* c-objc-common.h (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Remove.
      	(LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
      	(LANG_HOOKS_CILKPLUS_CILKPLUS_GIMPLIFY_SPAWN): Likewise.
      	* c-typeck.c (cilk_install_body_with_frame_cleanup): New function.
      
      gcc/ChangeLog
      2013-12-11  Balaji V. Iyer  <balaji.v.iyer@intel.com>
      
              * langhooks.h (lang_hooks_for_decls): Remove lang_hooks_for_cilkplus.
      	(lang_hooks_for_cilkplus): Remove.
      	* langhooks.c (lhd_cilk_detect_spawn): Likewise.
      	(lhd_install_body_with_frame_cleanup): Likewise.
      	* langhooks-def.h (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Likewise.
      	(LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
      	(LANG_HOOKS_CILKPLUS_CILKPLUS_GIMPLIFY_SPAWN): Likewise.
      	(LANG_HOOKS_CILKPLUS): Likewise.
      	(LANG_HOOKS_DECLS): Remove LANG_HOOKS_CILKPLUS.
      	* gimplify.c (gimplify_expr): Removed CILK_SPAWN_STMT case.
      	(gimplify_modify_expr): Removed handling of _Cilk_spawn in expr.
      	(gimplify_call_expr): Likewise.
       
      gcc/cp/ChangeLog
      2013-12-11  Balaji V. Iyer  <balaji.v.iyer@intel.com>
      
              * cp-tree.h (cilk_valid_spawn): New prototype.
              (gimplify_cilk_spawn): Likewise.
              (create_try_catch_expr): Likewise.
              * decl.c (finish_function): Insert Cilk function-calls when a
              _Cilk_spawn is used in a function.
              * parser.c (cp_parser_postfix_expression): Added RID_CILK_SPAWN and
              RID_CILK_SYNC cases.
              * cp-cilkplus.c (set_cilk_except_flag): New function.
              (set_cilk_except_data): Likewise.
              (cilk_install_body_with_frame_cleanup): Likewise.
              * except.c (create_try_catch_expr): Likewise.
              * parser.h (IN_CILK_SPAWN): New #define.
              * pt.c (tsubst_expr): Added CILK_SPAWN_STMT and CILK_SYNC_STMT cases.
              * semantics.c (potential_constant_expression_1): Likewise.
              * typeck.c (cp_build_compound_expr): Reject a spawned function in a
              compound expression.
              (check_return_expr): Reject a spawned function in a return expression.
      	* cp-gimplify.c (cp_gimplify_expr): Added a CILK_SPAWN_STMT and
      	CALL_EXPR case.  Added handling of spawned function in MODIFY_EXPR
      	and INIT_EXPR.
      
      gcc/testsuite/ChangeLog
      2013-12-11  Balaji V. Iyer  <balaji.v.iyer@intel.com>
      
              * g++.dg/cilk-plus/CK/catch_exc.cc: New test case.
              * g++.dg/cilk-plus/CK/const_spawn.cc: Likewise.
              * g++.dg/cilk-plus/CK/fib-opr-overload.cc: Likewise.
              * g++.dg/cilk-plus/CK/fib-tplt.cc: Likewise.
              * g++.dg/cilk-plus/CK/lambda_spawns.cc: Likewise.
              * g++.dg/cilk-plus/CK/lambda_spawns_tplt.cc: Likewise.
              * g++.dg/cilk-plus/cilk-plus.exp: Added support to run Cilk Keywords
              test stored in c-c++-common.  Also, added the Cilk runtime's library
              to the ld_library_path.
      
      From-SVN: r205902
      Balaji V. Iyer committed
  28. 08 Nov, 2013 1 commit
    • common.opt (fcheck-pointer-bounds): Move to ... · 05ff7470
              * common.opt (fcheck-pointer-bounds): Move to ...
              * c-family/c.opt: ... here.
              * langhooks-def.h (LANG_HOOKS_CHKP_SUPPORTED): Remove.
              (LANG_HOOKS_INITIALIZER): Remove LANG_HOOKS_CHKP_SUPPORTED.
              * langhooks.h (lang_hooks): Remove chkp_supported field.
              * toplev.c (process_options): Remove chkp_supported check.
      
      From-SVN: r204563
      Ilya Enkovich committed
  29. 30 Oct, 2013 1 commit
    • target.def (builtin_chkp_function): New. · f481a2ce
              * target.def (builtin_chkp_function): New.
              (chkp_bound_type): New.
              (chkp_bound_mode): New.
              (fn_abi_va_list_bounds_size): New.
              (load_bounds_for_arg): New.
              (store_bounds_for_arg): New.
              * targhooks.h (default_load_bounds_for_arg): New.
              (default_store_bounds_for_arg): New.
              (default_fn_abi_va_list_bounds_size): New.
              (default_chkp_bound_type): New.
              (default_chkp_bound_mode): New.
              (default_builtin_chkp_function): New.
              * targhooks.c (default_load_bounds_for_arg): New.
              (default_store_bounds_for_arg): New.
              (default_fn_abi_va_list_bounds_size): New.
              (default_chkp_bound_type): New.
              (default_chkp_bound_mode); New.
              (default_builtin_chkp_function): New.
              * doc/tm.texi.in (TARGET_FN_ABI_VA_LIST_BOUNDS_SIZE): New.
              (TARGET_LOAD_BOUNDS_FOR_ARG): New.
              (TARGET_STORE_BOUNDS_FOR_ARG): New.
              (TARGET_BUILTIN_CHKP_FUNCTION): New.
              (TARGET_CHKP_BOUND_TYPE): New.
              (TARGET_CHKP_BOUND_MODE): New.
              * doc/tm.texi: Regenerated.
              * langhooks.h (lang_hooks): Add chkp_supported field.
              * langhooks-def.h (LANG_HOOKS_CHKP_SUPPORTED): New.
              (LANG_HOOKS_INITIALIZER); Add LANG_HOOKS_CHKP_SUPPORTED.
      
      From-SVN: r204195
      Ilya Enkovich committed
  30. 29 Oct, 2013 1 commit
    • Added _Cilk_spawn and _Cilk_sync (2 cilk keywords) for C. · 939b37da
      gcc/ChangeLog:
      2013-10-29  Balaji V. Iyer  <balaji.v.iyer@intel.com>
      
      	* builtins.c (is_builtin_name): Added a check for __cilkrts_detach and
      	__cilkrts_pop_frame.  If matched, then return true for built-in
      	function name.
      	(expand_builtin): Added BUILT_IN_CILK_DETACH and
      	BUILT_IN_CILK_POP_FRAME case.
      	* langhooks-def.h (lhd_install_body_with_frame_cleanup): New prototype.
      	(lhs_cilk_detect_spawn): Likewise.
      	(LANG_HOOKS_DECLS): Added LANG_HOOKS_CILKPLUS.
      	(LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): New #define.
      	(LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Likewise.
      	(LANG_HOOKS_CILKPLUS_GIMPLIFY_SPAWN): Likewise.
      	(LANG_HOOKS_CILKPLUS): Likewise.
      	* tree.h (CILK_SPAWN_FN): Likewise.
      	* builtin.def (DEF_CILK_BUILTIN_STUB): Likewise.
      	* Makefile.in (C_COMMON_OBJS): Added c-family/cilk.o.
      	(OBJS): Added cilk-common.o.
      	(CILK_H): Added a new define.
      	(gimplify.o): Added CILK_H into dependency list.
      	(builtins.o): Likewise.
      	(ipa-inline.o): Likewise.
      	(ipa-inline-analysis.o): Likewise.
      	(BUILTINS_DEF): Added cilk-builtins.def.
      	* langhooks.c (lhd_install_body_with_frame_cleanup): New function.
      	(lhd_cilk_detect_spawn): Likewise.
      	* langhooks.h (lang_hooks_for_cilkplus): New struct.
      	(struct lang_hooks): Added new field called "cilkplus."
      	* cilk-common.c: New file.
      	* cilk.h: Likewise.
      	* cilk-builtins.def: Likewise.
      	* cppbuiltin.c (define_builtin_macros_for_compilation_flags): Added
      	"__cilk" macro and set it to 200.
      	* function.h (struct function::cilk_frame_decl): New field.
      	(struct function::is_cilk_function): Likewise.
      	(struct function::calls_cilk_spawn): Likewise.
      	* gimplify.c (gimplify_call_expr): Added a check if the function call
      	being gimplified is a spawn detach point.  If so, then add pop_frame
      	and detach function calls.
      	(gimplify_expr): Added a CILK_SPAWN_STMT and CILK_SYNC_STMT case
      	for gimplifying _Cilk_spawn and _Cilk_sync statements.
      	(gimplify_return_expr): Added a check for _Cilk_spawn usage in
      	function.  If so, added a _Cilk_sync and gimplified it.
      	(gimplify_modify_expr): Added a check for _Cilk_spawn in MODIFY and
      	INIT_EXPRs.  If so, then call gimplify_cilk_spawn.
      	* ipa-inline-analysis (initialize_inline_failed): Prevent inlining of
      	spawner function.
      	(can_inline_edge_p): Prevent inling of spawnee function.
      	* ira.c (ira_setup_eliminable_regset): Force usage of frame pointer
      	for functions that use Cilk keywords.
      	* tree-inline.h (struct copy_body_data::remap_var_for_cilk): New field.
      	* tree-pretty-print.c (dump_generic_node): Added CILK_SPAWN_STMT and
      	CILK_SYNC_STMT cases.
      	* tree.def (DEFTREECODE): Added CILK_SPAWN_STMT and CILK_SYNC_STMT
      	trees.
      	* generic.texi (CILK_SPAWN_STMT): Added documentation for _Cilk_spawn.
      	(CILK_SYNC_STMT): Added documentation for _Cilk_sync.
      	* passes.texi (Cilk Keywords): New section that describes the compiler
      	code changes for handling Cilk Keywords.
      
      gcc/c/ChangeLog:
      2013-10-29  Balaji V. Iyer  <balaji.v.iyer@intel.com>
      
      	* c-decl.c (finish_function): Added a call for insert_cilk_frame when
      	a spawning function is found.
      	* c-objc-common.h (LANG_HOOKS_CILKPLUS_GIMPLIFY_SPAWN): New #define.
      	(LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Likewise.
      	(LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
      	* c-parser.c (c_parser_statement_after_labels): Added RID_CILK_SYNC
      	case.
      	(c_parser_postfix_expression): Added RID_CILK_SPAWN case.
      	* c-typeck.c (build_compound_expr): Reject _Cilk_spawn in a comma
      	expr.
      	(c_finish_return): Added a check to reject _Cilk_spawn in return
      	expression.
      	(build_cilk_spawn): New function.
      	(build_cilk_sync): Likewise.
      	* Makefile.in (c-decl.o): Added cilk.h in dependency list.
      
      gcc/c-family/ChangeLog
      2013-10-29  Balaji V. Iyer  <balaji.v.iyer@intel.com>
      
      	* c-common.c (c_common_reswords[]): Added _Cilk_spawn and _Cilk_sync
      	fields.
      	(c_define_builtins): Called cilk_init_builtins if Cilk Plus is
      	enabled.
      	* c-common.h (enum rid): Added RID_CILK_SPAWN and RID_CILK_SYNC.
      	(insert_cilk_frame): New prototype.
      	(cilk_init_builtins): Likewise.
      	(gimplify_cilk_spawn): Likewise.
      	(c_cilk_install_body_w_frame_cleanup): Likewise.
      	(cilk_detect_spawn_and_unwrap): Likewise.
      	(cilk_set_spawn_marker): Likewise.
      	(build_cilk_sync): Likewise.
      	(build_cilk_spawn): Likewise.
      	* cilk.c: New file.
      
      gcc/lto/ChangeLog
      2013-10-29  Balaji V. Iyer  <balaji.v.iyer@intel.com>
      
      	* Make-lang.in (lto/lto-lang.o): Added cilk.h in dependency list.
      	* lto-lang.c (lto_init): Added a call to cilk_init_builtins if Cilk
      	Plus is enabled.
      
      gcc/testsuite/ChangeLog
      2013-10-29  Balaji V. Iyer  <balaji.v.iyer@intel.com>
      
      	* c-c++-common/cilk-plus/CK/compound_cilk_spawn.c: New test.
      	* c-c++-common/cilk-plus/CK/concec_cilk_spawn.c: Likewise.
      	* c-c++-common/cilk-plus/CK/fib.c: Likewise.
      	* c-c++-common/cilk-plus/CK/no_args_error.c: Likewise.
      	* c-c++-common/cilk-plus/CK/spawnee_inline.c: Likewise.
      	* c-c++-common/cilk-plus/CK/spawner_inline.c: Likewise.
      	* c-c++-common/cilk-plus/CK/spawning_arg.c: Likewise.
      	* c-c++-common/cilk-plus/CK/steal_check.c: Likewise.
      	* c-c++-common/cilk-plus/CK/test__cilk.c: Likewise.
      	* c-c++-common/cilk-plus/CK/varargs_test.c: Likewise.
      	* c-c++-common/cilk-plus/CK/sync_wo_spawn.c: Likewise.
      	* c-c++-common/cilk-plus/CK/invalid_spawn.c: Likewise.
      	* c-c++-common/cilk-plus/CK/spawn_in_return.c: Likewise.
      	* c-c++-common/cilk-plus/CK/fib_init_expr_xy.c: Likewise.
      	* c-c++-common/cilk-plus/CK/fib_no_sync.c: Likewise.
      	* c-c++-common/cilk-plus/CK/fib_no_return.c: Likewise.
      	* gcc.dg/cilk-plus/cilk-plus.exp: Added support to run Cilk Keywords
      	test stored in c-c++-common.  Also, added the Cilk runtime's library
      	to the ld_library_path.
      
      From-SVN: r204172
      Balaji V. Iyer committed
  31. 11 Oct, 2013 1 commit
    • target.c: New file. · acf0174b
      libgomp/
      	* target.c: New file.
      	* Makefile.am (libgomp_la_SOURCES): Add target.c.
      	* Makefile.in: Regenerated.
      	* libgomp_g.h (GOMP_task): Add depend argument.
      	(GOMP_barrier_cancel, GOMP_loop_end_cancel,
      	GOMP_sections_end_cancel, GOMP_target, GOMP_target_data,
      	GOMP_target_end_data, GOMP_target_update, GOMP_teams,
      	GOMP_parallel_loop_static, GOMP_parallel_loop_dynamic,
      	GOMP_parallel_loop_guided, GOMP_parallel_loop_runtime,
      	GOMP_parallel, GOMP_cancel, GOMP_cancellation_point,
      	GOMP_taskgroup_start, GOMP_taskgroup_end,
      	GOMP_parallel_sections): New prototypes.
      	* fortran.c (omp_is_initial_device): Add ialias_redirect.
      	(omp_is_initial_device_): New function.
      	(ULP, STR1, STR2, ialias_redirect): Removed.
      	(omp_get_cancellation_, omp_get_proc_bind_, omp_set_default_device_,
      	omp_set_default_device_8_, omp_get_default_device_,
      	omp_get_num_devices_, omp_get_num_teams_, omp_get_team_num_): New
      	functions.
      	* libgomp.map (GOMP_barrier_cancel, GOMP_loop_end_cancel,
      	GOMP_sections_end_cancel, GOMP_target, GOMP_target_data,
      	GOMP_target_end_data, GOMP_target_update, GOMP_teams): Export
      	@@GOMP_4.0.
      	(omp_is_initial_device, omp_is_initial_device_, omp_get_cancellation,
      	omp_get_cancellation_, omp_get_proc_bind, omp_get_proc_bind_,
      	omp_set_default_device, omp_set_default_device_,
      	omp_set_default_device_8_, omp_get_default_device,
      	omp_get_default_device_, omp_get_num_devices, omp_get_num_devices_,
      	omp_get_num_teams, omp_get_num_teams_, omp_get_team_num,
      	omp_get_team_num_): Export @@OMP_4.0.
      	* team.c (struct gomp_thread_start_data): Add place field.
      	(gomp_thread_start): Clear thr->thread_pool and
      	thr->task before returning.  Use gomp_team_barrier_wait_final
      	instead of gomp_team_barrier_wait.  Initialize thr->place.
      	(gomp_new_team): Initialize work_shares_to_free, work_share_cancelled,
      	team_cancelled and task_queued_count fields.
      	(gomp_free_pool_helper): Clear thr->thread_pool and thr->task
      	before calling pthread_exit.
      	(gomp_free_thread): No longer static.  Use
      	gomp_managed_threads_lock instead of gomp_remaining_threads_lock.
      	(gomp_team_start): Add flags argument.  Set
      	thr->thread_pool->threads_busy to nthreads immediately after creating
      	new pool.  Use gomp_managed_threads_lock instead of
      	gomp_remaining_threads_lock.  Handle OpenMP 4.0 affinity.
      	(gomp_team_end): Use gomp_managed_threads_lock instead of
      	gomp_remaining_threads_lock.  Use gomp_team_barrier_wait_final instead
      	of gomp_team_barrier_wait.  If team->team_cancelled, call
      	gomp_fini_worshare on ws chain starting at team->work_shares_to_free
      	rather than thr->ts.work_share.
      	(initialize_team): Don't call gomp_sem_init here.
      	* sections.c (GOMP_parallel_sections_start): Adjust gomp_team_start
      	caller.
      	(GOMP_parallel_sections, GOMP_sections_end_cancel): New functions.
      	* env.c (gomp_global_icv): Add default_device_var, target_data and
      	bind_var initializers.
      	(gomp_cpu_affinity, gomp_cpu_affinity_len): Remove.
      	(gomp_bind_var_list, gomp_bind_var_list_len, gomp_places_list,
      	gomp_places_list_len): New variables.
      	(parse_bind_var, parse_one_place, parse_places_var): New functions.
      	(parse_affinity): Rewritten to construct OMP_PLACES list with unit
      	sized places.
      	(gomp_cancel_var): New global variable.
      	(parse_int): New function.
      	(handle_omp_display_env): New function.
      	(initialize_env): Use it.  Initialize default_device_var.
      	Parse OMP_CANCELLATION env var.  Use parse_bind_var to parse
      	OMP_PROC_BIND instead of parse_boolean.  Use parse_places_var for
      	OMP_PLACES parsing.  Don't call parse_affinity if OMP_PLACES has
      	been successfully parsed (and call gomp_init_affinity in that case).
      	(omp_get_cancellation, omp_get_proc_bind, omp_set_default_device,
      	omp_get_default_device, omp_get_num_devices, omp_get_num_teams,
      	omp_get_team_num, omp_is_initial_device): New functions.
      	* libgomp.h: Include stdlib.h.
      	(ialias_ulp, ialias_str1, ialias_str2, ialias_redirect, ialias_call):
      	Define.
      	(struct target_mem_desc): Forward declare.
      	(struct gomp_task_icv): Add default_device_var, target_data, bind_var
      	and thread_limit_var fields.
      	(gomp_get_num_devices): New prototype.
      	(gomp_cancel_var): New extern decl.
      	(struct gomp_team): Add work_shares_to_free, work_share_cancelled,
      	team_cancelled and task_queued_count fields.  Add comments about
      	task_{,queued_,running_}count.
      	(gomp_cancel_kind): New enum.
      	(gomp_work_share_end_cancel): New prototype.
      	(struct gomp_task): Add next_taskgroup, prev_taskgroup, taskgroup,
      	copy_ctors_done, dependers, depend_hash, depend_count, num_dependees
      	and depend fields.
      	(struct gomp_taskgroup): New type.
      	(struct gomp_task_depend_entry,
      	struct gomp_dependers_vec): New types.
      	(gomp_finish_task): Free depend_hash if non-NULL.
      	(struct gomp_team_state): Add place_partition_off
      	and place_partition_len fields.
      	(gomp_bind_var_list, gomp_bind_var_list_len, gomp_places_list,
      	gomp_places_list_len): New extern decls.
      	(struct gomp_thread): Add place field.
      	(gomp_cpu_affinity, gomp_cpu_affinity_len): Remove.
      	(gomp_init_thread_affinity): Add place argument.
      	(gomp_affinity_alloc, gomp_affinity_init_place, gomp_affinity_add_cpus,
      	gomp_affinity_remove_cpu, gomp_affinity_copy_place,
      	gomp_affinity_same_place, gomp_affinity_finalize_place_list,
      	gomp_affinity_init_level, gomp_affinity_print_place): New
      	prototypes.
      	(gomp_team_start): Add flags argument.
      	(gomp_thread_limit_var, gomp_remaining_threads_count,
      	gomp_remaining_threads_lock): Remove.
      	(gomp_managed_threads_lock): New variable.
      	(struct gomp_thread_pool): Add threads_busy field.
      	(gomp_free_thread): New prototype.
      	* task.c: Include hashtab.h.
      	(hash_entry_type): New typedef.
      	(htab_alloc, htab_free, htab_hash, htab_eq): New inlines.
      	(gomp_init_task): Clear dependers, depend_hash, depend_count,
      	copy_ctors_done and taskgroup fields.
      	(GOMP_task): Add depend argument, handle depend clauses.  If
      	gomp_team_barrier_cancelled or if it's taskgroup has been
      	cancelled, don't queue or start new tasks.  Set copy_ctors_done
      	field if needed.  Initialize taskgroup field.  If copy_ctors_done
      	and already cancelled, don't discard the task.  If taskgroup is
      	non-NULL, enqueue the task into taskgroup queue.  Increment
      	num_children field in taskgroup.  Increment task_queued_count.
      	(gomp_task_run_pre, gomp_task_run_post_remove_parent,
      	gomp_task_run_post_remove_taskgroup): New inline functions.
      	(gomp_task_run_post_handle_depend_hash,
      	gomp_task_run_post_handle_dependers,
      	gomp_task_run_post_handle_depend): New functions.
      	(GOMP_taskwait): Use them.  If more than one new tasks
      	have been queued, wake other threads if needed.
      	(gomp_barrier_handle_tasks): Likewise.  If
      	gomp_team_barrier_cancelled, don't start any new tasks, just free
      	all tasks.
      	(GOMP_taskgroup_start, GOMP_taskgroup_end): New functions.
      	* omp_lib.f90.in
      	(omp_proc_bind_kind, omp_proc_bind_false,
      	omp_proc_bind_true, omp_proc_bind_master, omp_proc_bind_close,
      	omp_proc_bind_spread): New params.
      	(omp_get_cancellation, omp_get_proc_bind, omp_set_default_device,
      	omp_get_default_device, omp_get_num_devices, omp_get_num_teams,
      	omp_get_team_num, omp_is_initial_device): New interfaces.
      	(omp_get_dynamic, omp_get_nested, omp_in_parallel,
      	omp_get_max_threads, omp_get_num_procs, omp_get_num_threads,
      	omp_get_thread_num, omp_get_thread_limit, omp_set_max_active_levels,
      	omp_get_max_active_levels, omp_get_level, omp_get_ancestor_thread_num,
      	omp_get_team_size, omp_get_active_level, omp_in_final): Remove
      	useless use omp_lib_kinds.
      	* omp.h.in (omp_proc_bind_t): New typedef.
      	(omp_get_cancellation, omp_get_proc_bind, omp_set_default_device,
      	omp_get_default_device, omp_get_num_devices, omp_get_num_teams,
      	omp_get_team_num, omp_is_initial_device): New prototypes.
      	* loop.c (gomp_parallel_loop_start): Add flags argument, pass it
      	through to gomp_team_start.
      	(GOMP_parallel_loop_static_start, GOMP_parallel_loop_dynamic_start,
      	GOMP_parallel_loop_guided_start, GOMP_parallel_loop_runtime_start):
      	Adjust gomp_parallel_loop_start callers.
      	(GOMP_parallel_loop_static, GOMP_parallel_loop_dynamic,
      	GOMP_parallel_loop_guided, GOMP_parallel_loop_runtime,
      	GOMP_loop_end_cancel): New functions.
      	(GOMP_parallel_end): Add ialias_redirect.
      	* hashtab.h: New file.
      	* libgomp.texi (Environment Variables): Minor cleanup,
      	update section refs to OpenMP 4.0rc2.
      	(OMP_DISPLAY_ENV, GOMP_SPINCOUNT): Document these
      	environment variables.
      	* work.c (gomp_work_share_end, gomp_work_share_end_nowait): Set
      	team->work_shares_to_free to thr->ts.work_share before calling
      	free_work_share.
      	(gomp_work_share_end_cancel): New function.
      	* config/linux/proc.c: Include errno.h.
      	(gomp_get_cpuset_size, gomp_cpuset_size, gomp_cpusetp): New variables.
      	(gomp_cpuset_popcount): Add cpusetsize argument, use it instead of
      	sizeof (cpu_set_t) to determine number of iterations.  Fix up check
      	extern decl.  Use CPU_COUNT_S if available, or CPU_COUNT if
      	gomp_cpuset_size is sizeof (cpu_set_t).
      	(gomp_init_num_threads): Initialize gomp_cpuset_size,
      	gomp_get_cpuset_size and gomp_cpusetp here, use gomp_cpusetp instead
      	of &cpuset and pass gomp_cpuset_size instead of sizeof (cpu_set_t)
      	to pthread_getaffinity_np.  Free and clear gomp_cpusetp if it didn't
      	contain any logical CPUs.
      	(get_num_procs): Don't call pthread_getaffinity_np if gomp_cpusetp
      	is NULL.  Use gomp_cpusetp instead of &cpuset and pass
      	gomp_get_cpuset_size instead of sizeof (cpu_set_t) to
      	pthread_getaffinity_np.  Check gomp_places_list instead of
      	gomp_cpu_affinity.  Adjust gomp_cpuset_popcount caller.
      	* config/linux/bar.c (gomp_barrier_wait_end,
      	gomp_barrier_wait_last): Use BAR_* defines.
      	(gomp_team_barrier_wait_end): Likewise.  Clear BAR_CANCELLED
      	from state where needed.  Set work_share_cancelled to 0 on last
      	thread.
      	(gomp_team_barrier_wait_final, gomp_team_barrier_wait_cancel_end,
      	gomp_team_barrier_wait_cancel, gomp_team_barrier_cancel): New
      	functions.
      	* config/linux/proc.h (gomp_cpuset_popcount): Add attribute_hidden.
      	Add cpusetsize argument.
      	(gomp_cpuset_size, gomp_cpusetp): Declare.
      	* config/linux/affinity.c: Include errno.h, stdio.h and string.h.
      	(affinity_counter): Remove.
      	(CPU_ISSET_S, CPU_ZERO_S, CPU_SET_S, CPU_CLR_S): Define
      	if CPU_ALLOC_SIZE isn't defined.
      	(gomp_init_affinity): Rewritten, if gomp_places_list is NULL, try
      	silently create OMP_PLACES=threads, if it is non-NULL afterwards,
      	bind current thread to the first place.
      	(gomp_init_thread_affinity): Rewritten.  Add place argument, just
      	pthread_setaffinity_np to gomp_places_list[place].
      	(gomp_affinity_alloc, gomp_affinity_init_place, gomp_affinity_add_cpus,
      	gomp_affinity_remove_cpu, gomp_affinity_copy_place,
      	gomp_affinity_same_place, gomp_affinity_finalize_place_list,
      	gomp_affinity_init_level, gomp_affinity_print_place): New functions.
      	* config/linux/bar.h (BAR_TASK_PENDING, BAR_WAS_LAST,
      	BAR_WAITING_FOR_TASK, BAR_INCR, BAR_CANCELLED): Define.
      	(gomp_barrier_t): Add awaited_final field.
      	(gomp_barrier_init): Initialize awaited_final field.
      	(gomp_team_barrier_wait_final, gomp_team_barrier_wait_cancel,
      	gomp_team_barrier_wait_cancel_end, gomp_team_barrier_cancel): New
      	prototypes.
      	(gomp_barrier_wait_start): Preserve BAR_CANCELLED bit.  Use BAR_*
      	defines.
      	(gomp_barrier_wait_cancel_start, gomp_team_barrier_wait_final_start,
      	gomp_team_barrier_cancelled): New inline functions.
      	(gomp_barrier_last_thread,
      	gomp_team_barrier_set_task_pending,
      	gomp_team_barrier_clear_task_pending,
      	gomp_team_barrier_set_waiting_for_tasks,
      	gomp_team_barrier_waiting_for_tasks,
      	gomp_team_barrier_done): Use BAR_* defines.
      	* config/posix/bar.c (gomp_barrier_init): Clear cancellable field.
      	(gomp_barrier_wait_end): Use BAR_* defines.
      	(gomp_team_barrier_wait_end): Clear BAR_CANCELLED from state.
      	Set work_share_cancelled to 0 on last thread, use __atomic_load_n.
      	Use BAR_* defines.
      	(gomp_team_barrier_wait_cancel_end, gomp_team_barrier_wait_cancel,
      	gomp_team_barrier_cancel): New functions.
      	* config/posix/affinity.c (gomp_init_thread_affinity): Add place
      	argument.
      	(gomp_affinity_alloc, gomp_affinity_init_place, gomp_affinity_add_cpus,
      	gomp_affinity_remove_cpu, gomp_affinity_copy_place,
      	gomp_affinity_same_place, gomp_affinity_finalize_place_list,
      	gomp_affinity_init_level, gomp_affinity_print_place): New stubs.
      	* config/posix/bar.h (BAR_TASK_PENDING, BAR_WAS_LAST,
      	BAR_WAITING_FOR_TASK, BAR_INCR, BAR_CANCELLED): Define.
      	(gomp_barrier_t): Add cancellable field.
      	(gomp_team_barrier_wait_cancel, gomp_team_barrier_wait_cancel_end,
      	gomp_team_barrier_cancel): New prototypes.
      	(gomp_barrier_wait_start): Preserve BAR_CANCELLED bit.
      	(gomp_barrier_wait_cancel_start, gomp_team_barrier_wait_final,
      	gomp_team_barrier_cancelled): New inline functions.
      	(gomp_barrier_wait_start, gomp_barrier_last_thread,
      	gomp_team_barrier_set_task_pending,
      	gomp_team_barrier_clear_task_pending,
      	gomp_team_barrier_set_waiting_for_tasks,
      	gomp_team_barrier_waiting_for_tasks,
      	gomp_team_barrier_done): Use BAR_* defines.
      	* barrier.c (GOMP_barrier_cancel): New function.
      	* omp_lib.h.in (omp_proc_bind_kind, omp_proc_bind_false,
      	omp_proc_bind_true, omp_proc_bind_master, omp_proc_bind_close,
      	omp_proc_bind_spread): New params.
      	(omp_get_cancellation, omp_get_proc_bind, omp_set_default_device,
      	omp_get_default_device, omp_get_num_devices, omp_get_num_teams,
      	omp_get_team_num, omp_is_initial_device): New externals.
      	* parallel.c (GOMP_parallel, GOMP_cancel, GOMP_cancellation_point):
      	New functions.
      	(gomp_resolve_num_threads): Adjust for thread_limit now being in
      	icv->thread_limit_var.  Use UINT_MAX instead of ULONG_MAX as
      	infinity.  If not nested, just return minimum of max_num_threads
      	and icv->thread_limit_var and if thr->thread_pool, set threads_busy
      	to the returned value.  Otherwise, don't update atomically
      	gomp_remaining_threads_count, but instead thr->thread_pool->threads_busy.
      	(GOMP_parallel_end): Adjust for thread_limit now being in
      	icv->thread_limit_var.  Use UINT_MAX instead of ULONG_MAX as
      	infinity.  Adjust threads_busy in the pool rather than
      	gomp_remaining_threads_count.  Remember team->nthreads and call
      	gomp_team_end before adjusting threads_busy, if not nested
      	afterwards, just set it to 1 non-atomically.  Add ialias.
      	(GOMP_parallel_start): Adjust gomp_team_start caller.
      	* testsuite/libgomp.c/atomic-14.c: Add parens to make it valid.
      	* testsuite/libgomp.c/affinity-1.c: New test.
      	* testsuite/libgomp.c/atomic-15.c: New test.
      	* testsuite/libgomp.c/atomic-16.c: New test.
      	* testsuite/libgomp.c/atomic-17.c: New test.
      	* testsuite/libgomp.c/cancel-for-1.c: New test.
      	* testsuite/libgomp.c/cancel-for-2.c: New test.
      	* testsuite/libgomp.c/cancel-parallel-1.c: New test.
      	* testsuite/libgomp.c/cancel-parallel-2.c: New test.
      	* testsuite/libgomp.c/cancel-parallel-3.c: New test.
      	* testsuite/libgomp.c/cancel-sections-1.c: New test.
      	* testsuite/libgomp.c/cancel-taskgroup-1.c: New test.
      	* testsuite/libgomp.c/cancel-taskgroup-2.c: New test.
      	* testsuite/libgomp.c/depend-1.c: New test.
      	* testsuite/libgomp.c/depend-2.c: New test.
      	* testsuite/libgomp.c/depend-3.c: New test.
      	* testsuite/libgomp.c/depend-4.c: New test.
      	* testsuite/libgomp.c/for-1.c: New test.
      	* testsuite/libgomp.c/for-1.h: New file.
      	* testsuite/libgomp.c/for-2.c: New test.
      	* testsuite/libgomp.c/for-2.h: New file.
      	* testsuite/libgomp.c/for-3.c: New test.
      	* testsuite/libgomp.c/pr58392.c: New test.
      	* testsuite/libgomp.c/simd-1.c: New test.
      	* testsuite/libgomp.c/simd-2.c: New test.
      	* testsuite/libgomp.c/simd-3.c: New test.
      	* testsuite/libgomp.c/simd-4.c: New test.
      	* testsuite/libgomp.c/simd-5.c: New test.
      	* testsuite/libgomp.c/simd-6.c: New test.
      	* testsuite/libgomp.c/target-1.c: New test.
      	* testsuite/libgomp.c/target-2.c: New test.
      	* testsuite/libgomp.c/target-3.c: New test.
      	* testsuite/libgomp.c/target-4.c: New test.
      	* testsuite/libgomp.c/target-5.c: New test.
      	* testsuite/libgomp.c/target-6.c: New test.
      	* testsuite/libgomp.c/target-7.c: New test.
      	* testsuite/libgomp.c/taskgroup-1.c: New test.
      	* testsuite/libgomp.c/thread-limit-1.c: New test.
      	* testsuite/libgomp.c/thread-limit-2.c: New test.
      	* testsuite/libgomp.c/thread-limit-3.c: New test.
      	* testsuite/libgomp.c/udr-1.c: New test.
      	* testsuite/libgomp.c/udr-2.c: New test.
      	* testsuite/libgomp.c/udr-3.c: New test.
      	* testsuite/libgomp.c++/affinity-1.C: New test.
      	* testsuite/libgomp.c++/atomic-10.C: New test.
      	* testsuite/libgomp.c++/atomic-11.C: New test.
      	* testsuite/libgomp.c++/atomic-12.C: New test.
      	* testsuite/libgomp.c++/atomic-13.C: New test.
      	* testsuite/libgomp.c++/atomic-14.C: New test.
      	* testsuite/libgomp.c++/atomic-15.C: New test.
      	* testsuite/libgomp.c++/cancel-for-1.C: New test.
      	* testsuite/libgomp.c++/cancel-for-2.C: New test.
      	* testsuite/libgomp.c++/cancel-parallel-1.C: New test.
      	* testsuite/libgomp.c++/cancel-parallel-2.C: New test.
      	* testsuite/libgomp.c++/cancel-parallel-3.C: New test.
      	* testsuite/libgomp.c++/cancel-sections-1.C: New test.
      	* testsuite/libgomp.c++/cancel-taskgroup-1.C: New test.
      	* testsuite/libgomp.c++/cancel-taskgroup-2.C: New test.
      	* testsuite/libgomp.c++/cancel-taskgroup-3.C: New test.
      	* testsuite/libgomp.c++/cancel-test.h: New file.
      	* testsuite/libgomp.c++/for-9.C: New test.
      	* testsuite/libgomp.c++/for-10.C: New test.
      	* testsuite/libgomp.c++/for-11.C: New test.
      	* testsuite/libgomp.c++/simd-1.C: New test.
      	* testsuite/libgomp.c++/simd-2.C: New test.
      	* testsuite/libgomp.c++/simd-3.C: New test.
      	* testsuite/libgomp.c++/simd-4.C: New test.
      	* testsuite/libgomp.c++/simd-5.C: New test.
      	* testsuite/libgomp.c++/simd-6.C: New test.
      	* testsuite/libgomp.c++/simd-7.C: New test.
      	* testsuite/libgomp.c++/simd-8.C: New test.
      	* testsuite/libgomp.c++/target-1.C: New test.
      	* testsuite/libgomp.c++/target-2.C: New test.
      	* testsuite/libgomp.c++/target-2-aux.cc: New file.
      	* testsuite/libgomp.c++/target-3.C: New test.
      	* testsuite/libgomp.c++/taskgroup-1.C: New test.
      	* testsuite/libgomp.c++/udr-1.C: New test.
      	* testsuite/libgomp.c++/udr-2.C: New test.
      	* testsuite/libgomp.c++/udr-3.C: New test.
      	* testsuite/libgomp.c++/udr-4.C: New test.
      	* testsuite/libgomp.c++/udr-5.C: New test.
      	* testsuite/libgomp.c++/udr-6.C: New test.
      	* testsuite/libgomp.c++/udr-7.C: New test.
      	* testsuite/libgomp.c++/udr-8.C: New test.
      	* testsuite/libgomp.c++/udr-9.C: New test.
      gcc/
      	* tree-pretty-print.c (dump_omp_clause): Handle OMP_CLAUSE__LOOPTEMP_
      	and new OpenMP 4.0 clauses, handle UDR OMP_CLAUSE_REDUCTION,
      	formatting fixes, use pp_colon instead of pp_character (..., ':'),
      	similarly pp_right_paren.
      	(dump_generic_node): Handle OMP_DISTRIBUTE, OMP_TEAMS,
      	OMP_TARGET_DATA, OMP_TARGET, OMP_TARGET_UPDATE, OMP_TASKGROUP,
      	allow OMP_FOR_INIT to be NULL, handle OMP_ATOMIC_SEQ_CST.
      	* tree.c (omp_clause_num_ops, omp_clause_code_name): Add OpenMP 4.0
      	clauses.
      	(omp_declare_simd_clauses_equal,
      	omp_remove_redundant_declare_simd_attrs): New functions.
      	(attribute_value_equal): Use omp_declare_simd_clauses_equal.
      	(walk_tree_1): Handle new OpenMP 4.0 clauses.
      	* tree.h (OMP_LOOP_CHECK): Define.
      	(OMP_FOR_BODY, OMP_FOR_CLAUSES, OMP_FOR_INIT, OMP_FOR_COND,
      	OMP_FOR_INCR, OMP_FOR_PRE_BODY): Use it.
      	(OMP_TASKGROUP_BODY, OMP_TEAMS_BODY, OMP_TEAMS_CLAUSES,
      	OMP_TARGET_DATA_BODY, OMP_TARGET_DATA_CLAUSES, OMP_TARGET_BODY,
      	OMP_TARGET_CLAUSES, OMP_TARGET_UPDATE_CLAUSES, OMP_CLAUSE_SIZE,
      	OMP_ATOMIC_SEQ_CST, OMP_CLAUSE_DEPEND_KIND, OMP_CLAUSE_MAP_KIND,
      	OMP_CLAUSE_MAP_ZERO_BIAS_ARRAY_SECTION, OMP_CLAUSE_PROC_BIND_KIND,
      	OMP_CLAUSE_REDUCTION_OMP_ORIG_REF, OMP_CLAUSE_ALIGNED_ALIGNMENT,
      	OMP_CLAUSE_NUM_TEAMS_EXPR, OMP_CLAUSE_THREAD_LIMIT_EXPR,
      	OMP_CLAUSE_DEVICE_ID, OMP_CLAUSE_DIST_SCHEDULE_CHUNK_EXPR,
      	OMP_CLAUSE_SIMDLEN_EXPR): Define.
      	(OMP_CLAUSE_DECL): Change range up to OMP_CLAUSE__LOOPTEMP_.
      	(omp_remove_redundant_declare_simd_attrs): New prototype.
      	* gimple.def (GIMPLE_OMP_TASKGROUP, GIMPLE_OMP_TARGET,
      	GIMPLE_OMP_TEAMS): New codes.
      	(GIMPLE_OMP_RETURN): Use GSS_OMP_ATOMIC_STORE instead of GSS_BASE.
      	* omp-low.c (struct omp_context): Add cancel_label and cancellable
      	fields.
      	(target_nesting_level): New variable.
      	(extract_omp_for_data): Handle GF_OMP_FOR_KIND_DISTRIBUTE and
      	OMP_CLAUSE_DIST_SCHEDULE.  Don't fallback to library implementation
      	for collapse > 1 static schedule unless ordered.
      	(get_ws_args_for): Add par_stmt argument.  Handle combined loops.
      	(determine_parallel_type): Adjust get_ws_args_for caller.
      	(install_var_field): Handle mask & 4 for double indirection.
      	(scan_sharing_clauses): Ignore shared clause on teams construct.
      	Handle OMP_CLAUSE__LOOPTEMP_ and new OpenMP 4.0 clauses.
      	(create_omp_child_function): If inside target or declare target
      	constructs, set "omp declare target" attribute on the child
      	function.
      	(find_combined_for): New function.
      	(scan_omp_parallel): Handle combined loops.
      	(scan_omp_target, scan_omp_teams): New functions.
      	(check_omp_nesting_restrictions): Check new OpenMP 4.0 nesting
      	restrictions and set ctx->cancellable for cancellable constructs.
      	(scan_omp_1_stmt): Call check_omp_nesting_restrictions also on
      	selected builtin calls.  Handle GIMPLE_OMP_TASKGROUP,
      	GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS.
      	(build_omp_barrier): Add lhs argument, return gimple rather than
      	tree.
      	(omp_clause_aligned_alignment): New function.
      	(lower_rec_simd_input_clauses): Only call SET_DECL_VALUE_EXPR
      	on decls.
      	(lower_rec_input_clauses): Add FD argument.  Ignore shared clauses
      	on teams constructs.  Handle user defined reductions and new
      	OpenMP 4.0 clauses.
      	(lower_reduction_clauses): Don't set placeholder to address of ref
      	if it has already the right type.
      	(lower_send_clauses): Handle OMP_CLAUSE__LOOPTEMP_.
      	(expand_parallel_call): Use the new non-_start suffixed builtins,
      	handle OMP_CLAUSE_PROC_BIND, don't call the outlined function
      	and GOMP_parallel_end after the call.
      	(expand_task_call): Handle OMP_CLAUSE_DEPEND.
      	(expand_omp_for_init_counts): Handle combined loops.
      	(expand_omp_for_init_vars): Add inner_stmt argument, handle combined
      	loops.
      	(expand_omp_for_generic): Likewise.  Use GOMP_loop_end_cancel at the
      	end of cancellable loops.
      	(expand_omp_for_static_nochunk, expand_omp_for_static_chunk):
      	Likewise.  Handle collapse > 1 loops.
      	(expand_omp_simd): Handle combined loops.
      	(expand_omp_for): Add inner_stmt argument, adjust callers of
      	expand_omp_for* functions, use expand_omp_for_static*chunk even
      	for collapse > 1 unless ordered.
      	(expand_omp_sections): Use GOMP_sections_end_cancel at the end
      	of cancellable sections.
      	(expand_omp_single): Remove need_barrier variable, just rely on
      	gimple_omp_return_nowait_p.  Adjust build_omp_barrier caller.
      	(expand_omp_synch): Allow GIMPLE_OMP_TASKGROUP and GIMPLE_OMP_TEAMS.
      	(expand_omp_atomic_load, expand_omp_atomic_store,
      	expand_omp_atomic_fetch_op): Handle gimple_omp_atomic_seq_cst_p.
      	(expand_omp_target): New function.
      	(expand_omp): Handle combined loops.  Handle GIMPLE_OMP_TASKGROUP,
      	GIMPLE_OMP_TEAMS, GIMPLE_OMP_TARGET.
      	(build_omp_regions_1): Immediately close region for
      	GF_OMP_TARGET_KIND_UPDATE.
      	(maybe_add_implicit_barrier_cancel): New function.
      	(lower_omp_sections): Adjust lower_rec_input_clauses caller.  Handle
      	cancellation.
      	(lower_omp_single): Likewise.  Add clobber after the barrier.
      	(lower_omp_taskgroup): New function.
      	(lower_omp_for): Handle combined loops.  Adjust
      	lower_rec_input_clauses caller.  Handle cancellation.
      	(lower_depend_clauses): New function.
      	(lower_omp_taskreg): Lower depend clauses.  Adjust
      	lower_rec_input_clauses caller.  Add clobber after the call.  Handle
      	cancellation.
      	(lower_omp_target, lower_omp_teams): New functions.
      	(lower_omp_1): Handle cancellation.  Handle GIMPLE_OMP_TASKGROUP,
      	GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and GOMP_barrier, GOMP_cancel
      	and GOMP_cancellation_point calls.
      	(lower_omp): Fold stmts inside of target region.
      	(diagnose_sb_1, diagnose_sb_2): Handle GIMPLE_OMP_TASKGROUP,
      	GIMPLE_OMP_TARGET and GIMPLE_OMP_TEAMS.
      	* builtin-types.def (DEF_FUNCTION_TYPE_8): Document.
      	(BT_FN_VOID_OMPFN_PTR_UINT,
      	BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG,
      	BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG,
      	BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT): Remove.
      	(BT_FN_VOID_OMPFN_PTR_UINT_UINT_UINT,
      	BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_UINT,
      	BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG_UINT,
      	BT_FN_BOOL_INT, BT_FN_BOOL_INT_BOOL, BT_FN_VOID_UINT_UINT,
      	BT_FN_VOID_INT_PTR_SIZE_PTR_PTR_PTR,
      	BT_FN_VOID_INT_OMPFN_PTR_SIZE_PTR_PTR_PTR,
      	BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT_PTR): New.
      	* tree-ssa-alias.c (ref_maybe_used_by_call_p_1,
      	call_may_clobber_ref_p_1): Handle BUILT_IN_GOMP_BARRIER_CANCEL,
      	BUILT_IN_GOMP_TASKGROUP_END, BUILT_IN_GOMP_LOOP_END_CANCEL,
      	BUILT_IN_GOMP_SECTIONS_END_CANCEL.  Don't handle
      	BUILT_IN_GOMP_PARALLEL_END.
      	* gimple-low.c (lower_stmt): Handle GIMPLE_OMP_TASKGROUP,
      	GIMPLE_OMP_TARGET and GIMPLE_OMP_TEAMS.
      	* gimple-pretty-print.c (dump_gimple_omp_for): Handle
      	GF_OMP_FOR_KIND_DISTRIBUTE.
      	(dump_gimple_omp_target, dump_gimple_omp_teams): New functions.
      	(dump_gimple_omp_block): Handle GIMPLE_OMP_TASKGROUP.
      	(dump_gimple_omp_return): Print lhs if it has any.
      	(dump_gimple_omp_atomic_load, dump_gimple_omp_atomic_store): Handle
      	gimple_omp_atomic_seq_cst_p.
      	(pp_gimple_stmt_1): Handle GIMPLE_OMP_TASKGROUP, GIMPLE_OMP_TARGET
      	and GIMPLE_OMP_TEAMS.
      	* langhooks.c (lhd_omp_mappable_type): New function.
      	* tree-vectorizer.c (struct simd_array_to_simduid): Fix up comment.
      	* langhooks.h (struct lang_hooks_for_types): Add omp_mappable_type
      	hook.
      	* gimplify.c (enum gimplify_omp_var_data): Add GOVD_MAP,
      	GOVD_ALIGNED and GOVD_MAP_TO_ONLY.
      	(enum omp_region_type): Add ORT_TEAMS, ORT_TARGET_DATA and
      	ORT_TARGET.
      	(struct gimplify_omp_ctx): Add combined_loop field.
      	(gimplify_call_expr, gimplify_modify_expr): Don't call fold_stmt
      	on stmts inside of target region.
      	(is_gimple_stmt): Return true for OMP_DISTRIBUTE and OMP_TASKGROUP.
      	(omp_firstprivatize_variable): Handle GOVD_MAP, GOVD_ALIGNED,
      	ORT_TARGET and ORT_TARGET_DATA.
      	(omp_add_variable): Avoid checks on readding var for GOVD_ALIGNED.
      	Handle GOVD_MAP.
      	(omp_notice_threadprivate_variable): Complain about threadprivate
      	variables in target region.
      	(omp_notice_variable): Complain about vars with non-mappable type
      	in target region.  Handle ORT_TEAMS, ORT_TARGET and ORT_TARGET_DATA.
      	(omp_check_private): Ignore ORT_TARGET* regions.
      	(gimplify_scan_omp_clauses, gimplify_adjust_omp_clauses_1,
      	gimplify_adjust_omp_clauses): Handle new OpenMP 4.0 clauses.
      	(find_combined_omp_for): New function.
      	(gimplify_omp_for): Handle gimplification of combined loops.
      	(gimplify_omp_workshare): Gimplify also OMP_TARGET, OMP_TARGET_DATA,
      	OMP_TEAMS.
      	(gimplify_omp_target_update): New function.
      	(gimplify_omp_atomic): Handle OMP_ATOMIC_SEQ_CST.
      	(gimplify_expr): Handle OMP_DISTRIBUTE, OMP_TARGET, OMP_TARGET_DATA,
      	OMP_TARGET_UPDATE, OMP_TEAMS, OMP_TASKGROUP.
      	(gimplify_body): If fndecl has "omp declare target" attribute, add
      	implicit ORT_TARGET context around it.
      	* tree.def (OMP_DISTRIBUTE, OMP_TEAMS, OMP_TARGET_DATA, OMP_TARGET,
      	OMP_TASKGROUP, OMP_TARGET_UPDATE): New tree codes.
      	* tree-nested.c (convert_nonlocal_reference_stmt,
      	convert_local_reference_stmt, convert_gimple_call): Handle
      	GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP.
      	* omp-builtins.def (BUILT_IN_GOMP_TASK): Use
      	BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT_PTR
      	instead of BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT.
      	(BUILT_IN_GOMP_TARGET, BUILT_IN_GOMP_TARGET_DATA,
      	BUILT_IN_GOMP_TARGET_END_DATA, BUILT_IN_GOMP_TARGET_UPDATE,
      	BUILT_IN_GOMP_TEAMS, BUILT_IN_BARRIER_CANCEL,
      	BUILT_IN_GOMP_LOOP_END_CANCEL,
      	BUILT_IN_GOMP_SECTIONS_END_CANCEL, BUILT_IN_OMP_GET_TEAM_NUM,
      	BUILT_IN_OMP_GET_NUM_TEAMS, BUILT_IN_GOMP_TASKGROUP_START,
      	BUILT_IN_GOMP_TASKGROUP_END, BUILT_IN_GOMP_PARALLEL_LOOP_STATIC,
      	BUILT_IN_GOMP_PARALLEL_LOOP_DYNAMIC,
      	BUILT_IN_GOMP_PARALLEL_LOOP_GUIDED,
      	BUILT_IN_GOMP_PARALLEL_LOOP_RUNTIME, BUILT_IN_GOMP_PARALLEL,
      	BUILT_IN_GOMP_PARALLEL_SECTIONS, BUILT_IN_GOMP_CANCEL,
      	BUILT_IN_GOMP_CANCELLATION_POINT): New built-ins.
      	(BUILT_IN_GOMP_PARALLEL_LOOP_STATIC_START,
      	BUILT_IN_GOMP_PARALLEL_LOOP_DYNAMIC_START,
      	BUILT_IN_GOMP_PARALLEL_LOOP_GUIDED_START,
      	BUILT_IN_GOMP_PARALLEL_LOOP_RUNTIME_START,
      	BUILT_IN_GOMP_PARALLEL_START, BUILT_IN_GOMP_PARALLEL_END,
      	BUILT_IN_GOMP_PARALLEL_SECTIONS_START): Remove.
      	* tree-inline.c (remap_gimple_stmt, estimate_num_insns):
      	Handle GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP.
      	* gimple.c (gimple_build_omp_taskgroup, gimple_build_omp_target,
      	gimple_build_omp_teams): New functions.
      	(walk_gimple_op): Handle GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS and
      	GIMPLE_OMP_TASKGROUP.  Walk optional lhs on GIMPLE_OMP_RETURN.
      	(walk_gimple_stmt, gimple_copy): Handle GIMPLE_OMP_TARGET,
      	GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP.
      	* gimple.h (enum gf_mask): GF_OMP_FOR_KIND_DISTRIBUTE,
      	GF_OMP_FOR_COMBINED, GF_OMP_FOR_COMBINED_INTO,
      	GF_OMP_TARGET_KIND_MASK, GF_OMP_TARGET_KIND_REGION,
      	GF_OMP_TARGET_KIND_DATA, GF_OMP_TARGET_KIND_UPDATE,
      	GF_OMP_ATOMIC_SEQ_CST): New.
      	(gimple_build_omp_taskgroup, gimple_build_omp_target,
      	gimple_build_omp_teams): New prototypes.
      	(gimple_has_substatements): Handle GIMPLE_OMP_TARGET,
      	GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP.
      	(gimple_omp_subcode): Use GIMPLE_OMP_TEAMS instead of
      	GIMPLE_OMP_SINGLE as end of range.
      	(gimple_omp_return_set_lhs, gimple_omp_return_lhs,
      	gimple_omp_return_lhs_ptr, gimple_omp_atomic_seq_cst_p,
      	gimple_omp_atomic_set_seq_cst, gimple_omp_for_combined_p,
      	gimple_omp_for_set_combined_p, gimple_omp_for_combined_into_p,
      	gimple_omp_for_set_combined_into_p, gimple_omp_target_clauses,
      	gimple_omp_target_clauses_ptr, gimple_omp_target_set_clauses,
      	gimple_omp_target_kind, gimple_omp_target_set_kind,
      	gimple_omp_target_child_fn, gimple_omp_target_child_fn_ptr,
      	gimple_omp_target_set_child_fn, gimple_omp_target_data_arg,
      	gimple_omp_target_data_arg_ptr, gimple_omp_target_set_data_arg,
      	gimple_omp_teams_clauses, gimple_omp_teams_clauses_ptr,
      	gimple_omp_teams_set_clauses): New inlines.
      	(CASE_GIMPLE_OMP): Add GIMPLE_OMP_TARGET, GIMPLE_OMP_TEAMS
      	and GIMPLE_OMP_TASKGROUP.
      	* tree-core.h (enum omp_clause_code): Add new OpenMP 4.0 clause
      	codes.
      	(enum omp_clause_depend_kind, enum omp_clause_map_kind,
      	enum omp_clause_proc_bind_kind): New.
      	(union omp_clause_subcode): Add depend_kind, map_kind and
      	proc_bind_kind fields.
      	* tree-cfg.c (make_edges): Handle GIMPLE_OMP_TARGET,
      	GIMPLE_OMP_TEAMS and GIMPLE_OMP_TASKGROUP.
      	* langhooks-def.h (lhd_omp_mappable_type): New prototype.
      	(LANG_HOOKS_OMP_MAPPABLE_TYPE): Define.
      	(LANG_HOOKS_FOR_TYPES_INITIALIZER): Add it.
      gcc/c-family/
      	* c-cppbuiltin.c (c_cpp_builtins): Predefine _OPENMP to
      	201307 instead of 201107.
      	* c-common.c (DEF_FUNCTION_TYPE_8): Define.
      	(c_common_attribute_table): Add "omp declare target" and
      	"omp declare simd" attributes.
      	(handle_omp_declare_target_attribute,
      	handle_omp_declare_simd_attribute): New functions.
      	* c-omp.c: Include c-pragma.h.
      	(c_finish_omp_taskgroup): New function.
      	(c_finish_omp_atomic): Add swapped argument, if true,
      	build the operation first with rhs, lhs arguments and use NOP_EXPR
      	build_modify_expr.
      	(c_finish_omp_for): Add code argument, pass it down to make_code.
      	(c_omp_split_clauses): New function.
      	(c_split_parallel_clauses): Removed.
      	(c_omp_declare_simd_clause_cmp, c_omp_declare_simd_clauses_to_numbers,
      	c_omp_declare_simd_clauses_to_decls): New functions.
      	* c-common.h (omp_clause_mask): New type.
      	(OMP_CLAUSE_MASK_1): Define.
      	(omp_clause_mask::omp_clause_mask, omp_clause_mask::operator &=,
      	omp_clause_mask::operator |=, omp_clause_mask::operator ~,
      	omp_clause_mask::operator |, omp_clause_mask::operator &,
      	omp_clause_mask::operator <<, omp_clause_mask::operator >>,
      	omp_clause_mask::operator ==): New methods.
      	(enum c_omp_clause_split): New.
      	(c_finish_omp_taskgroup): New prototype.
      	(c_finish_omp_atomic): Add swapped argument.
      	(c_finish_omp_for): Add code argument.
      	(c_omp_split_clauses): New prototype.
      	(c_split_parallel_clauses): Removed.
      	(c_omp_declare_simd_clauses_to_numbers,
      	c_omp_declare_simd_clauses_to_decls): New prototypes.
      	* c-pragma.c (omp_pragmas): Add new OpenMP 4.0 constructs.
      	* c-pragma.h (enum pragma_kind): Add PRAGMA_OMP_CANCEL,
      	PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_DECLARE_REDUCTION,
      	PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_END_DECLARE_TARGET, PRAGMA_OMP_SIMD,
      	PRAGMA_OMP_TARGET, PRAGMA_OMP_TASKGROUP and PRAGMA_OMP_TEAMS.
      	Remove PRAGMA_OMP_PARALLEL_FOR and PRAGMA_OMP_PARALLEL_SECTIONS.
      	(enum pragma_omp_clause): Add PRAGMA_OMP_CLAUSE_ALIGNED,
      	PRAGMA_OMP_CLAUSE_DEPEND, PRAGMA_OMP_CLAUSE_DEVICE,
      	PRAGMA_OMP_CLAUSE_DIST_SCHEDULE, PRAGMA_OMP_CLAUSE_FOR,
      	PRAGMA_OMP_CLAUSE_FROM, PRAGMA_OMP_CLAUSE_INBRANCH,
      	PRAGMA_OMP_CLAUSE_LINEAR, PRAGMA_OMP_CLAUSE_MAP,
      	PRAGMA_OMP_CLAUSE_NOTINBRANCH, PRAGMA_OMP_CLAUSE_NUM_TEAMS,
      	PRAGMA_OMP_CLAUSE_PARALLEL, PRAGMA_OMP_CLAUSE_PROC_BIND,
      	PRAGMA_OMP_CLAUSE_SAFELEN, PRAGMA_OMP_CLAUSE_SECTIONS,
      	PRAGMA_OMP_CLAUSE_SIMDLEN, PRAGMA_OMP_CLAUSE_TASKGROUP,
      	PRAGMA_OMP_CLAUSE_THREAD_LIMIT, PRAGMA_OMP_CLAUSE_TO and
      	PRAGMA_OMP_CLAUSE_UNIFORM.
      gcc/ada/
      	* gcc-interface/utils.c (DEF_FUNCTION_TYPE_8): Define.
      gcc/fortran/
      	* trans-openmp.c (gfc_omp_clause_default_ctor,
      	gfc_omp_clause_dtor): Return NULL for OMP_CLAUSE_REDUCTION.
      	* f95-lang.c (ATTR_NULL, DEF_FUNCTION_TYPE_8): Define.
      	* types.def (DEF_FUNCTION_TYPE_8): Document.
      	(BT_FN_VOID_OMPFN_PTR_UINT,
      	BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG,
      	BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG,
      	BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT): Remove.
      	(BT_FN_VOID_OMPFN_PTR_UINT_UINT_UINT,
      	BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_UINT,
      	BT_FN_VOID_OMPFN_PTR_UINT_LONG_LONG_LONG_LONG_UINT,
      	BT_FN_BOOL_INT, BT_FN_BOOL_INT_BOOL, BT_FN_VOID_UINT_UINT,
      	BT_FN_VOID_INT_PTR_SIZE_PTR_PTR_PTR,
      	BT_FN_VOID_INT_OMPFN_PTR_SIZE_PTR_PTR_PTR,
      	BT_FN_VOID_OMPFN_PTR_OMPCPYFN_LONG_LONG_BOOL_UINT_PTR): New.
      gcc/lto/
      	* lto-lang.c (DEF_FUNCTION_TYPE_8): Define.
      gcc/c/
      	* c-lang.h (current_omp_declare_target_attribute): New extern
      	decl.
      	* c-parser.c: Include c-lang.h.
      	(struct c_parser): Change tokens to c_token *.
      	Add tokens_buf field.  Change tokens_avail type to unsigned int.
      	(c_parser_consume_token): If parser->tokens isn't
      	&parser->tokens_buf[0], increment parser->tokens.
      	(c_parser_consume_pragma): Likewise.
      	(enum pragma_context): Add pragma_struct and pragma_param.
      	(c_parser_external_declaration): Adjust
      	c_parser_declaration_or_fndef caller.
      	(c_parser_declaration_or_fndef): Add omp_declare_simd_clauses
      	argument, if it is non-vNULL vector, call c_finish_omp_declare_simd.
      	Adjust recursive call.
      	(c_parser_struct_or_union_specifier): Use pragma_struct instead
      	of pragma_external.
      	(c_parser_parameter_declaration): Use pragma_param instead of
      	pragma_external.
      	(c_parser_compound_statement_nostart, c_parser_label,
      	c_parser_for_statement): Adjust
      	c_parser_declaration_or_fndef callers.
      	(c_parser_expr_no_commas): Add omp_atomic_lhs argument, pass
      	it through to c_parser_conditional_expression.
      	(c_parser_conditional_expression): Add omp_atomic_lhs argument,
      	pass it through to c_parser_binary_expression.  Adjust recursive
      	call.
      	(c_parser_binary_expression): Remove prec argument, add
      	omp_atomic_lhs argument instead.  Always start from PREC_NONE, if
      	omp_atomic_lhs is non-NULL and one of the arguments of toplevel
      	binop matches it, use build2 instead of parser_build_binary_op.
      	(c_parser_pragma): Handle PRAGMA_OMP_CANCEL,
      	PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_TARGET,
      	PRAGMA_OMP_END_DECLARE_TARGET, PRAGMA_OMP_DECLARE_REDUCTION.
      	Handle pragma_struct and pragma_param the same as pragma_external.
      	(c_parser_omp_clause_name): Parse new OpenMP 4.0 clause names.
      	(c_parser_omp_variable_list): Parse array sections for
      	OMP_CLAUSE_{DEPEND,MAP,TO,FROM} clauses.
      	(c_parser_omp_clause_collapse): Fully fold collapse expression.
      	(c_parser_omp_clause_reduction): Handle user defined reductions.
      	(c_parser_omp_clause_branch, c_parser_omp_clause_cancelkind,
      	c_parser_omp_clause_num_teams, c_parser_omp_clause_thread_limit,
      	c_parser_omp_clause_aligned, c_parser_omp_clause_linear,
      	c_parser_omp_clause_safelen, c_parser_omp_clause_simdlen,
      	c_parser_omp_clause_depend, c_parser_omp_clause_map,
      	c_parser_omp_clause_device, c_parser_omp_clause_dist_schedule,
      	c_parser_omp_clause_proc_bind, c_parser_omp_clause_to,
      	c_parser_omp_clause_from, c_parser_omp_clause_uniform): New functions.
      	(c_parser_omp_all_clauses): Add finish_p argument.  Don't call
      	c_finish_omp_clauses if it is false.  Handle new OpenMP 4.0 clauses.
      	(c_parser_omp_atomic): Parse seq_cst clause, pass true if it is
      	present to c_finish_omp_atomic.  Handle OpenMP 4.0 atomic forms.
      	(c_parser_omp_for_loop): Add CODE argument, pass it through
      	to c_finish_omp_for.  Change last argument to cclauses,
      	and adjust uses to grab parallel clauses from the array of all
      	the split clauses.  Adjust c_parser_binary_expression,
      	c_parser_declaration_or_fndef and c_finish_omp_for callers.
      	(omp_split_clauses): New function.
      	(c_parser_omp_simd): New function.
      	(c_parser_omp_for): Add p_name, mask and cclauses arguments.
      	Allow the function to be called also when parsing combined constructs,
      	and call c_parser_omp_simd when parsing for simd.
      	(c_parser_omp_sections_scope): If section-sequence doesn't start with
      	#pragma omp section, require exactly one structured-block instead of
      	sequence of statements.
      	(c_parser_omp_sections): Add p_name, mask and cclauses arguments.
      	Allow the function to be called also when parsing combined constructs.
      	(c_parser_omp_parallel): Add p_name, mask and cclauses arguments.
      	Allow the function to be called also when parsing combined
      	constructs.
      	(c_parser_omp_taskgroup, c_parser_omp_cancel,
      	c_parser_omp_cancellation_point, c_parser_omp_distribute,
      	c_parser_omp_teams, c_parser_omp_target_data,
      	c_parser_omp_target_update, c_parser_omp_target,
      	c_parser_omp_declare_simd, c_finish_omp_declare_simd,
      	c_parser_omp_declare_target, c_parser_omp_end_declare_target,
      	c_parser_omp_declare_reduction, c_parser_omp_declare): New functions.
      	(c_parser_omp_construct): Add p_name and mask vars.  Handle
      	PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP,
      	PRAGMA_OMP_TEAMS.  Adjust c_parser_omp_for, c_parser_omp_parallel
      	and c_parser_omp_sections callers.
      	(c_parse_file): Initialize tparser.tokens and the_parser->tokens here.
      	(OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
      	OMP_SINGLE_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.
      	(OMP_PARALLEL_CLAUSE_MASK): Likewise.  Add OMP_CLAUSE_PROC_BIND.
      	(OMP_TASK_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.  Add
      	OMP_CLAUSE_DEPEND.
      	(OMP_SIMD_CLAUSE_MASK, OMP_CANCEL_CLAUSE_MASK,
      	OMP_CANCELLATION_POINT_CLAUSE_MASK, OMP_DISTRIBUTE_CLAUSE_MASK,
      	OMP_TEAMS_CLAUSE_MASK, OMP_TARGET_DATA_CLAUSE_MASK,
      	OMP_TARGET_UPDATE_CLAUSE_MASK, OMP_TARGET_CLAUSE_MASK,
      	OMP_DECLARE_SIMD_CLAUSE_MASK): Define.
      	* c-typeck.c: Include tree-inline.h.
      	(c_finish_omp_cancel, c_finish_omp_cancellation_point,
      	handle_omp_array_sections_1, handle_omp_array_sections,
      	c_clone_omp_udr, c_find_omp_placeholder_r): New functions.
      	(c_finish_omp_clauses): Handle new OpenMP 4.0 clauses and
      	user defined reductions.
      	(c_tree_equal): New function.
      	* c-tree.h (temp_store_parm_decls, temp_pop_parm_decls,
      	c_finish_omp_cancel, c_finish_omp_cancellation_point, c_tree_equal,
      	c_omp_reduction_id, c_omp_reduction_decl, c_omp_reduction_lookup,
      	c_check_omp_declare_reduction_r): New prototypes.
      	* c-decl.c (current_omp_declare_target_attribute): New variable.
      	(c_decl_attributes): New function.
      	(start_decl, start_function): Use it instead of decl_attributes.
      	(temp_store_parm_decls, temp_pop_parm_decls, c_omp_reduction_id,
      	c_omp_reduction_decl, c_omp_reduction_lookup,
      	c_check_omp_declare_reduction_r): New functions.
      gcc/cp/
      	* decl.c (duplicate_decls): Error out for redeclaration of UDRs.
      	(declare_simd_adjust_this): New function.
      	(grokfndecl): If "omp declare simd" attribute is present,
      	call declare_simd_adjust_this if needed and
      	c_omp_declare_simd_clauses_to_numbers.
      	* cp-array-notation.c (expand_array_notation_exprs): Handle
      	OMP_TASKGROUP.
      	* cp-gimplify.c (cp_gimplify_expr): Handle OMP_SIMD and
      	OMP_DISTRIBUTE.  Handle is_invisiref_parm decls in
      	OMP_CLAUSE_REDUCTION.
      	(cp_genericize_r): Handle OMP_SIMD and OMP_DISTRIBUTE like
      	OMP_FOR.
      	(cxx_omp_privatize_by_reference): Return true for
      	is_invisiref_parm decls.
      	(cxx_omp_finish_clause): Adjust cxx_omp_create_clause_info
      	caller.
      	* pt.c (apply_late_template_attributes): For "omp declare simd"
      	attribute call tsubst_omp_clauses,
      	c_omp_declare_simd_clauses_to_decls, finish_omp_clauses
      	and c_omp_declare_simd_clauses_to_numbers.
      	(instantiate_class_template_1): Call cp_check_omp_declare_reduction
      	for UDRs.
      	(tsubst_decl): Handle UDRs.
      	(tsubst_omp_clauses): Add declare_simd argument, if true don't
      	call finish_omp_clauses.  Handle new OpenMP 4.0 clauses.
      	Handle non-NULL OMP_CLAUSE_REDUCTION_PLACEHOLDER on
      	OMP_CLAUSE_REDUCTION.
      	(tsubst_expr): For UDRs call pushdecl and
      	cp_check_omp_declare_reduction.  Adjust tsubst_omp_clauses
      	callers.  Handle OMP_SIMD, OMP_DISTRIBUTE, OMP_TEAMS,
      	OMP_TARGET_DATA, OMP_TARGET_UPDATE, OMP_TARGET, OMP_TASKGROUP.
      	Adjust finish_omp_atomic caller.
      	(tsubst_omp_udr): New function.
      	(instantiate_decl): For UDRs at block scope, don't call
      	start_preparsed_function/finish_function.  Call tsubst_omp_udr.
      	* semantics.c (cxx_omp_create_clause_info): Add need_dtor argument,
      	use it instead of need_default_ctor || need_copy_ctor.
      	(struct cp_check_omp_declare_reduction_data): New type.
      	(handle_omp_array_sections_1, handle_omp_array_sections,
      	omp_reduction_id, omp_reduction_lookup,
      	cp_remove_omp_priv_cleanup_stmt, cp_check_omp_declare_reduction_r,
      	cp_check_omp_declare_reduction, clone_omp_udr,
      	find_omp_placeholder_r, finish_omp_reduction_clause): New functions.
      	(finish_omp_clauses): Handle new OpenMP 4.0 clauses and user defined
      	reductions.
      	(finish_omp_for): Add CODE argument, use it instead of hardcoded
      	OMP_FOR.  Adjust c_finish_omp_for caller.
      	(finish_omp_atomic): Add seq_cst argument, adjust
      	c_finish_omp_atomic callers, handle seq_cst and new OpenMP 4.0
      	atomic variants.
      	(finish_omp_cancel, finish_omp_cancellation_point): New functions.
      	* decl2.c (mark_used): Force immediate instantiation of
      	DECL_OMP_DECLARE_REDUCTION_P decls.
      	(is_late_template_attribute): Return true for "omp declare simd"
      	attribute.
      	(cp_omp_mappable_type): New function.
      	(cplus_decl_attributes): Add implicit "omp declare target" attribute
      	if requested.
      	* parser.c (cp_debug_parser): Print
      	parser->colon_doesnt_start_class_def_p.
      	(cp_ensure_no_omp_declare_simd, cp_finalize_omp_declare_simd): New
      	functions.
      	(enum pragma_context): Add pragma_member and pragma_objc_icode.
      	(cp_parser_binary_expression): Handle no_toplevel_fold_p
      	even for binary operations other than comparison.
      	(cp_parser_linkage_specification): Call
      	cp_ensure_no_omp_declare_simd if needed.
      	(cp_parser_namespace_definition): Likewise.
      	(cp_parser_init_declarator): Call cp_finalize_omp_declare_simd.
      	(cp_parser_direct_declarator): Pass declarator to
      	cp_parser_late_return_type_opt.
      	(cp_parser_late_return_type_opt): Add declarator argument,
      	call cp_parser_late_parsing_omp_declare_simd for declare simd.
      	(cp_parser_class_specifier_1): Call cp_ensure_no_omp_declare_simd.
      	Parse UDRs before all other methods.
      	(cp_parser_member_specification_opt): Use pragma_member instead of
      	pragma_external.
      	(cp_parser_member_declaration): Call cp_finalize_omp_declare_simd.
      	(cp_parser_function_definition_from_specifiers_and_declarator,
      	cp_parser_save_member_function_body): Likewise.
      	(cp_parser_late_parsing_for_member): Handle UDRs specially.
      	(cp_parser_next_token_starts_class_definition_p): Don't allow
      	CPP_COLON if colon_doesnt_start_class_def_p flag is true.
      	(cp_parser_objc_interstitial_code): Use pragma_objc_icode
      	instead of pragma_external.
      	(cp_parser_omp_clause_name): Parse new OpenMP 4.0 clause names.
      	(cp_parser_omp_var_list_no_open): Parse array sections for
      	OMP_CLAUSE_{DEPEND,MAP,TO,FROM} clauses.  Add COLON argument,
      	if non-NULL, allow parsing to end with a colon rather than close
      	paren.
      	(cp_parser_omp_var_list): Adjust cp_parser_omp_var_list_no_open
      	caller.
      	(cp_parser_omp_clause_reduction): Handle user defined reductions.
      	(cp_parser_omp_clause_branch, cp_parser_omp_clause_cancelkind,
      	cp_parser_omp_clause_num_teams, cp_parser_omp_clause_thread_limit,
      	cp_parser_omp_clause_aligned, cp_parser_omp_clause_linear,
      	cp_parser_omp_clause_safelen, cp_parser_omp_clause_simdlen,
      	cp_parser_omp_clause_depend, cp_parser_omp_clause_map,
      	cp_parser_omp_clause_device, cp_parser_omp_clause_dist_schedule,
      	cp_parser_omp_clause_proc_bind, cp_parser_omp_clause_to,
      	cp_parser_omp_clause_from, cp_parser_omp_clause_uniform): New
      	functions.
      	(cp_parser_omp_all_clauses): Add finish_p argument.  Don't call
      	finish_omp_clauses if it is false.  Handle new OpenMP 4.0 clauses.
      	(cp_parser_omp_atomic): Parse seq_cst clause, pass
      	true if it is present to finish_omp_atomic.  Handle new OpenMP 4.0
      	atomic forms.
      	(cp_parser_omp_for_loop): Add CODE argument, pass it through
      	to finish_omp_for.  Change last argument to cclauses,
      	and adjust uses to grab parallel clauses from the array of all
      	the split clauses.
      	(cp_omp_split_clauses): New function.
      	(cp_parser_omp_simd): New function.
      	(cp_parser_omp_for): Add p_name, mask and cclauses arguments.
      	Allow the function to be called also when parsing combined constructs,
      	and call c_parser_omp_simd when parsing for simd.
      	(cp_parser_omp_sections_scope): If section-sequence doesn't start with
      	#pragma omp section, require exactly one structured-block instead of
      	sequence of statements.
      	(cp_parser_omp_sections): Add p_name, mask and cclauses arguments.
      	Allow the function to be called also when parsing combined constructs.
      	(cp_parser_omp_parallel): Add p_name, mask and cclauses arguments.
      	Allow the function to be called also when parsing combined
      	constructs.
      	(cp_parser_omp_taskgroup, cp_parser_omp_cancel,
      	cp_parser_omp_cancellation_point, cp_parser_omp_distribute,
      	cp_parser_omp_teams, cp_parser_omp_target_data,
      	cp_parser_omp_target_update, cp_parser_omp_target,
      	cp_parser_omp_declare_simd, cp_parser_late_parsing_omp_declare_simd,
      	cp_parser_omp_declare_target, cp_parser_omp_end_declare_target,
      	cp_parser_omp_declare_reduction_exprs, cp_parser_omp_declare_reduction,
      	cp_parser_omp_declare): New functions.
      	(cp_parser_omp_construct): Add p_name and mask vars.  Handle
      	PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP,
      	PRAGMA_OMP_TEAMS.  Adjust cp_parser_omp_for, cp_parser_omp_parallel
      	and cp_parser_omp_sections callers.
      	(cp_parser_pragma): Handle PRAGMA_OMP_CANCEL,
      	PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_DECLARE_REDUCTION,
      	PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP,
      	PRAGMA_OMP_TEAMS, PRAGMA_OMP_TARGET, PRAGMA_OMP_END_DECLARE_TARGET.
      	Handle pragma_member and pragma_objc_icode like pragma_external.
      	(OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
      	OMP_SINGLE_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.
      	(OMP_PARALLEL_CLAUSE_MASK): Likewise.  Add OMP_CLAUSE_PROC_BIND.
      	(OMP_TASK_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.  Add
      	OMP_CLAUSE_DEPEND.
      	(OMP_SIMD_CLAUSE_MASK, OMP_CANCEL_CLAUSE_MASK,
      	OMP_CANCELLATION_POINT_CLAUSE_MASK, OMP_DISTRIBUTE_CLAUSE_MASK,
      	OMP_TEAMS_CLAUSE_MASK, OMP_TARGET_DATA_CLAUSE_MASK,
      	OMP_TARGET_UPDATE_CLAUSE_MASK, OMP_TARGET_CLAUSE_MASK,
      	OMP_DECLARE_SIMD_CLAUSE_MASK): Define.
      	* parser.h (struct cp_omp_declare_simd_data): New type.
      	(struct cp_parser): Add colon_doesnt_start_class_def_p and
      	omp_declare_simd fields.
      	* cp-objcp-common.h (LANG_HOOKS_OMP_MAPPABLE_TYPE): Define.
      	* cp-tree.h (struct lang_decl_fn): Add omp_declare_reduction_p
      	bit.
      	(DECL_OMP_DECLARE_REDUCTION_P): Define.
      	(OMP_FOR_GIMPLIFYING_P): Use OMP_LOOP_CHECK macro.
      	(struct saved_scope): Add omp_declare_target_attribute field.
      	(cp_omp_mappable_type, omp_reduction_id,
      	cp_remove_omp_priv_cleanup_stmt, cp_check_omp_declare_reduction,
      	finish_omp_cancel, finish_omp_cancellation_point): New prototypes.
      	(finish_omp_for): Add CODE argument.
      	(finish_omp_atomic): Add seq_cst argument.
      	(cxx_omp_create_clause_info): Add need_dtor argument.
      gcc/testsuite/
      	* c-c++-common/gomp/atomic-15.c: Adjust for C diagnostics.
      	Remove error test that is now valid in OpenMP 4.0.
      	* c-c++-common/gomp/atomic-16.c: New test.
      	* c-c++-common/gomp/cancel-1.c: New test.
      	* c-c++-common/gomp/depend-1.c: New test.
      	* c-c++-common/gomp/depend-2.c: New test.
      	* c-c++-common/gomp/map-1.c: New test.
      	* c-c++-common/gomp/pr58472.c: New test.
      	* c-c++-common/gomp/sections1.c: New test.
      	* c-c++-common/gomp/simd1.c: New test.
      	* c-c++-common/gomp/simd2.c: New test.
      	* c-c++-common/gomp/simd3.c: New test.
      	* c-c++-common/gomp/simd4.c: New test.
      	* c-c++-common/gomp/simd5.c: New test.
      	* c-c++-common/gomp/single1.c: New test.
      	* g++.dg/gomp/block-0.C: Adjust for stricter #pragma omp sections
      	parser.
      	* g++.dg/gomp/block-3.C: Likewise.
      	* g++.dg/gomp/clause-3.C: Adjust error messages.
      	* g++.dg/gomp/declare-simd-1.C: New test.
      	* g++.dg/gomp/declare-simd-2.C: New test.
      	* g++.dg/gomp/depend-1.C: New test.
      	* g++.dg/gomp/depend-2.C: New test.
      	* g++.dg/gomp/target-1.C: New test.
      	* g++.dg/gomp/target-2.C: New test.
      	* g++.dg/gomp/taskgroup-1.C: New test.
      	* g++.dg/gomp/teams-1.C: New test.
      	* g++.dg/gomp/udr-1.C: New test.
      	* g++.dg/gomp/udr-2.C: New test.
      	* g++.dg/gomp/udr-3.C: New test.
      	* g++.dg/gomp/udr-4.C: New test.
      	* g++.dg/gomp/udr-5.C: New test.
      	* g++.dg/gomp/udr-6.C: New test.
      	* gcc.dg/autopar/outer-1.c: Expect 4 instead of 5 loopfn matches.
      	* gcc.dg/autopar/outer-2.c: Likewise.
      	* gcc.dg/autopar/outer-3.c: Likewise.
      	* gcc.dg/autopar/outer-4.c: Likewise.
      	* gcc.dg/autopar/outer-5.c: Likewise.
      	* gcc.dg/autopar/outer-6.c: Likewise.
      	* gcc.dg/autopar/parallelization-1.c: Likewise.
      	* gcc.dg/gomp/block-3.c: Adjust for stricter #pragma omp sections
      	parser.
      	* gcc.dg/gomp/clause-1.c: Adjust error messages.
      	* gcc.dg/gomp/combined-1.c: Look for GOMP_parallel_loop_runtime
      	instead of GOMP_parallel_loop_runtime_start.
      	* gcc.dg/gomp/declare-simd-1.c: New test.
      	* gcc.dg/gomp/declare-simd-2.c: New test.
      	* gcc.dg/gomp/nesting-1.c: Adjust for stricter #pragma omp sections
      	parser.  Add further #pragma omp sections nesting tests.
      	* gcc.dg/gomp/target-1.c: New test.
      	* gcc.dg/gomp/target-2.c: New test.
      	* gcc.dg/gomp/taskgroup-1.c: New test.
      	* gcc.dg/gomp/teams-1.c: New test.
      	* gcc.dg/gomp/udr-1.c: New test.
      	* gcc.dg/gomp/udr-2.c: New test.
      	* gcc.dg/gomp/udr-3.c: New test.
      	* gcc.dg/gomp/udr-4.c: New test.
      	* gfortran.dg/gomp/appendix-a/a.35.5.f90: Add dg-error.
      
      Co-Authored-By: Richard Henderson <rth@redhat.com>
      Co-Authored-By: Tobias Burnus <burnus@net-b.de>
      
      From-SVN: r203408
      Jakub Jelinek committed
  32. 10 Jan, 2013 1 commit
  33. 23 Nov, 2012 1 commit
    • re PR c++/54046 (wrong control reaches end of non-void function for switch case… · 88cd0e88
      re PR c++/54046 (wrong control reaches end of non-void function for switch case with throw and default)
      
      	PR c++/54046
      	* Makefile.in (gimple-low.o): Depend on langhooks.h.
      	* gimple-low.c: Include langhooks.c.
      	(block_may_fallthru): Handle TARGET_EXPR and ERROR_MARK,
      	by default call lang_hooks.block_may_fallthru.
      	* langhooks.h (struct lang_hooks): Add block_may_fallthru
      	langhook.
      	* langhooks-def.h (LANG_HOOKS_BLOCK_MAY_FALLTHRU): Define.
      	(LANG_HOOKS_INITIALIZER): Use it.
      
      	* cp-objcp-common.h (LANG_HOOKS_BLOCK_MAY_FALLTHRU): Redefine.
      	* cp-objcp-common.c (cxx_block_may_fallthru): New function.
      	* cp-tree.h (cxx_block_may_fallthru): New prototype.
      
      	* g++.dg/warn/Wreturn-type-8.C: New test.
      
      From-SVN: r193762
      Jakub Jelinek committed
  34. 25 Apr, 2012 1 commit
    • cgraphunit.c: Update toplevel comment. · 9c8305f8
      	* cgraphunit.c: Update toplevel comment.
      	(tree_rest_of_compilation): Merge into cgraph_expand_function.
      	(cgraph_analyze_function): Make static.
      	(cgraph_decide_is_function_needed): Make static.
      	(cgraph_add_new_function): Use expand_function instead of
      	rest_of_compilation.
      	(clone_of_p, verify_edge_count_and_frequency, cgraph_debug_gimple_stmt,
      	verify_edge_corresponds_to_fndecl, verify_cgraph_node, verify_cgraph):
      	Move to cgraph.c
      	(cgraph_inline_p): Remove.
      	(cgraph_preserve_function_body_p): Move to ipa-inline-transform.
      	(init_cgraph): Add comment.
      	* cgraphbuild.c (record_reference, mark_address, mark_load,
      	mark_store): Do not call analyze_expr hook.
      	* cgraph.c: Update toplevel comment.
      	(clone_of_p, verify_edge_count_and_frequency, cgraph_debug_gimple_stmt,
      	verify_edge_corresponds_to_fndecl, verify_cgraph_node, verify_cgraph):
      	Move fere from cgraphunit.c
      	(cgraph_mark_force_output_node): Move to cgraph.h
      	* cgraph.h: Reorder so the comments match the function placement.
      	(cgraph_analyze_function, cgraph_decide_is_function_needed): Remove.
      	(cgraph_mark_force_output_node): Move here from cgraph.c
      	* tree.c (free_lang_data): Do not clear analyze_expr hook.
      	* ipa-inline-transform.c (preserve_function_body_p): New function.
      	(inline_transform): Update.
      	* langhooks.c (lhd_callgraph_analyze_expr): Remove.
      	* langhooks.h (lang_hooks_for_callgraph): Remove.
      	(lang_hooks): Remove callgraph.
      	* tree-inline.c (expand_call_inline): Do not use cgraph_inline_p.
      	* varpool.c: Remove out of date comment.
      	* langhooks-def.h (lhd_callgraph_analyze_expr): Remove.
      	(LANG_HOOKS_CALLGRAPH_ANALYZE_EXPR): Remove.
      
      From-SVN: r186832
      Jan Hubicka committed
  35. 01 Apr, 2011 1 commit
    • dwarf2out.c (dwarf_attr_name): Map DW_AT_GNAT_descriptive_type. · 2a9d769a
      	* dwarf2out.c (dwarf_attr_name): Map DW_AT_GNAT_descriptive_type.
      	(add_gnat_descriptive_type_attribute): New function.
      	(gen_array_type_die): Call it.
      	(gen_enumeration_type_die): Likewise.
      	(gen_struct_or_union_type_die): Likewise.
      	(modified_type_die): Likewise.
      	* langhooks.h (lang_hooks_for_types): New descriptive_type hook.
      	* langhooks-def.h (LANG_HOOKS_DESCRIPTIVE_TYPE): Default to NULL.
      	(LANG_HOOKS_FOR_TYPES_INITIALIZER): Add LANG_HOOKS_DESCRIPTIVE_TYPE.
      ada/
      	* gcc-interface/misc.c (gnat_descriptive_type): New function.
      	(LANG_HOOKS_DESCRIPTIVE_TYPE): Redefine to gnat_descriptive_type.
      
      Co-Authored-By: Eric Botcazou <ebotcazou@adacore.com>
      Co-Authored-By: Nicolas Setton <setton@adacore.com>
      
      From-SVN: r171862
      Olivier Hainque committed
  36. 17 Nov, 2010 1 commit
    • invoke.texi (-dy): Remove. · b37421c6
      	* doc/invoke.texi (-dy): Remove.
      	* langhooks-def.h (lhd_do_nothing_i): Don't declare.
      	(LANG_HOOKS_PARSE_FILE): Define to lhd_do_nothing.
      	* langhooks.c (lhd_do_nothing_i): Remove.
      	* langhooks.h (lang_hooks.parse_file): Take no arguments.
      	* toplev.c (set_yydebug): Remove.
      	(compile_file): Update call to lang_hooks.parse_file.
      	(decode_d_option): Don't handle -dy.
      
      ada:
      	* gcc-interface/misc.c (gnat_parse_file): Take no arguments.
      
      c-family:
      	* c-opts.c (c_common_parse_file): Take no arguments.
      	* c-common.h (c_common_parse_file): Update prototype.
      
      fortran:
      	* f95-lang.c (gfc_be_parse_file): Take no arguments.
      
      java:
      	* jcf-parse.c (java_parse_file): Take no arguments.
      	* java-tree.h (java_parse_file): Update prototype.
      
      lto:
      	* lto.c (lto_main): Take no arguments.
      	* lto.h (lto_main): Update prototype.
      
      From-SVN: r166868
      Joseph Myers committed
  37. 12 Nov, 2010 1 commit
    • Makefile.in (OPTS_H): Define. · a4d8c676
      	* Makefile.in (OPTS_H): Define.
      	(c-decl.o, c-family/c-common.o, c-family/c-opts.o,
      	c-family/c-pch.o, c-family/c-pragma.o, gcc.o, gccspec.o,
      	cppspec.o, options.o, gcc-options.o, lto-opts.o, opts.o,
      	opts-common.o, toplev.o, passes.o, matrix-reorg.o,
      	ipa-struct-reorg.o, PLUGIN_HEADERS): Use $(OPTS_H).
      	* gcc.c (driver_handle_option): Take location_t parameter.
      	(process_command, do_self_spec): Update calls to
      	read_cmdline_option.
      	* langhooks-def.h (lhd_handle_option): Take location_t parameter.
      	* langhooks.c (lhd_handle_option): Take location_t parameter.
      	* langhooks.h (handle_option): Take location_t parameter.
      	* lto-opts.c (lto_reissue_options): Update call to set_option.
      	* opts-common.c (handle_option): Make static.  Take location_t
      	parameter and pass it to other functions.
      	(handle_generated_option): Take location_t parameter and pass it
      	to other functions.
      	(read_cmdline_option): Take location_t parameter and pass it to
      	other functions.  Use warning_at and error_at.
      	(set_option): Take location_t parameter and pass it to other
      	functions.
      	* opts.c (common_handle_option): Take location_t parameter and
      	pass it to other functions.
      	(enable_warning_as_error): Make static.  Take location_t parameter
      	and pass it to other functions.
      	(lang_handle_option): Take location_t parameter and pass it to
      	other functions.
      	(target_handle_option): Take location_t parameter.
      	(read_cmdline_options, maybe_default_option,
      	maybe_default_options, default_options_optimization,
      	decode_options): Take location_t parameter and pass it to other
      	functions.
      	* opts.h: Include input.h.
      	(struct cl_option_handler_func, decode_options, set_option,
      	handle_generated_option, read_cmdline_option): Take location_t
      	parameters.
      	(handle_option, enable_warning_as_error): Remove.
      	* toplev.c (toplev_main): Update call to decode_options.
      
      ada:
      	* gcc-interface/Make-lang.in (ada/misc.o): Use $(OPTS_H).
      	* gcc-interface/misc.c (gnat_handle_option): Take location_t
      	parameter.
      
      c-family:
      	* c-common.c (parse_optimize_options): Update call to
      	decode_options.
      	* c-common.h (c_common_handle_option): Update prototype.
      	* c-opts.c (c_common_handle_option): Take location_t parameter and
      	pass it to other functions.
      
      cp:
      	* Make-lang.in (g++spec.o): Use $(OPTS_H).
      
      fortran:
      	* Make-lang.in (gfortranspec.o): Use $(OPTS_H).
      	* gfortran.h (gfc_handle_option): Take location_t parameter.
      	* options.c (gfc_handle_option): Take location_t parameter.
      
      java:
      	* Make-lang.in (jvspec.o, java/lang.o): Use $(OPTS_H).
      	* lang.c (java_handle_option): Take location_t parameter.
      
      lto:
      	* Make-lang.in (lto/lto.o): Use $(OPTS_H).
      	* lto-lang.c (lto_handle_option): Take location_t parameter.
      
      From-SVN: r166688
      Joseph Myers committed
  38. 15 Oct, 2010 1 commit
    • target.def (target_option.init_struct): New hook. · 7e4aae92
      	* target.def (target_option.init_struct): New hook.
      	* doc/tm.texi.in (TARGET_OPTION_INIT_STRUCT): New @hook.
      	* doc/tm.texi: Regenerate.
      	* hooks.c (hook_void_gcc_optionsp): New.
      	* hooks.h (hook_void_gcc_optionsp): Declare.
      	* langhooks-def.h (lhd_init_options_struct): Remove.
      	(LANG_HOOKS_INIT_OPTIONS_STRUCT): Define to
      	hook_void_gcc_optionsp.
      	* langhooks.c (lhd_init_options_struct): Remove.
      	* opts.c (init_options_struct): Also call
      	targetm.target_option.init_struct.
      	* config/i386/i386.c (ix86_option_init_struct,
      	TARGET_OPTION_INIT_STRUCT): New.
      	(ix86_option_optimization): Move some settings to
      	ix86_option_init_struct.
      	* config/pdp11/pdp11.c (pdp11_option_init_struct,
      	TARGET_OPTION_INIT_STRUCT): New.
      	(pdp11_option_optimization): Move some settings to
      	pdp11_option_init_struct.
      	* config/rs6000/rs6000.c (rs6000_option_optimization): Replace by
      	rs6000_option_init_struct.  Use options structure pointer.
      	(TARGET_OPTION_OPTIMIZATION): Replace by
      	TARGET_OPTION_INIT_STRUCT.
      	* config/s390/s390.c (s390_option_init_struct,
      	TARGET_OPTION_INIT_STRUCT): New.
      	(s390_option_optimization): Don't set
      	flag_asynchronous_unwind_tables here.
      	* config/sh/sh.c (sh_option_init_struct,
      	TARGET_OPTION_INIT_STRUCT): New.
      	(sh_option_optimization): Don't set flag_finite_math_only here.
      	* config/spu/spu.c (spu_option_optimization): Replace by
      	spu_option_optimization.  Use options structure pointer.
      	(TARGET_OPTION_OPTIMIZATION): Replace by
      	TARGET_OPTION_INIT_STRUCT.
      
      From-SVN: r165519
      Joseph Myers committed