2015-01-05 Jakub Jelinek Update copyright years. 2015-01-05 Marek Polacek PR c/64423 * c-typeck.c (build_array_ref): Pass loc down to warn_array_subscript_with_type_char. 2014-12-20 Martin Uecker * c-typeck.c: New behavious for pointers to arrays with qualifiers (common-pointer-type): For pointers to arrays take qualifiers from element type. (build_conditional_expr): Add warnings for lost qualifiers. (comp-target-types): Allow pointers to arrays with different qualifiers. (convert-for-assignment): Adapt warnings for discarded qualifiers. Add WARNING_FOR_QUALIFIERS macro and rename WARN_FOR_QUALIFIERS to PEDWARN_FOR_QUALIFIERS. 2014-12-17 Jakub Jelinek PR sanitizer/64289 * c-convert.c: Include ubsan.h. (convert): For real -> integral casts and -fsanitize=float-cast-overflow don't call convert_to_integer, but instead instrument the float cast directly. 2014-11-29 Jakub Jelinek * c-typeck.c (convert_lvalue_to_rvalue, build_atomic_assign, c_finish_stmt_expr): Remove NULL last argument from create_tmp_var_raw and create_tmp_var calls. * c-array-notation.c (fix_builtin_array_notation_fn, build_array_notation_expr, fix_conditional_array_notations_1, fix_array_notation_expr, fix_array_notation_call_expr): Likewise. 2014-11-28 Marek Polacek PR c/63862 * c-typeck.c (build_binary_op) : Don't convert the right operand to integer type. 2014-11-25 Marek Polacek PR c/63877 * c-decl.c (start_function): Disable -Wmissing-declarations warning for inline functions. 2014-11-21 Jakub Jelinek PR target/63764 * c-typeck.c (build_array_ref): Adjust convert_vector_to_pointer_for_subscript caller. If it returns true, call non_lvalue_loc on the result. 2014-11-11 Richard Biener * c-decl.c (c_init_decl_processing): Do not set pedantic_lvalues to true. 2014-11-10 Andi Kleen PR c/60804 * c-parser.c (c_parser_statement_after_labels): Call check_no_cilk. (c_parser_if_statement): Dito. (c_parser_switch_statement): Dito. (c_parser_while_statement): Dito. (c_parser_do_statement): Dito. (c_parser_for_statement): Dito. * c-typeck.c (c_finish_loop): Dito. 2014-11-10 Paolo Carlini * c-typeck.c (build_binary_op): Use OPT_Wshift_count_negative and OPT_Wshift_count_overflow in the warnings. 2014-10-30 Marek Polacek * c-objc-common.c (c_tree_printer) : For a typedef name, print the stripped version as well, if they're not the same. 2014-10-29 Richard Sandiford * c-decl.c, c-tree.h, c-typeck.c: Remove redundant enum from machine_mode. 2014-10-28 Andrew MacLeod * c-decl.c: Adjust include files. * c-parser.c: Ditto. 2014-10-27 Phil Muldoon Tom Tromey * c-tree.h (enum c_oracle_request): New. (c_binding_oracle_function): New typedef. (c_binding_oracle, c_pushtag, c_bind): Declare. * c-decl.c (c_binding_oracle): New global. (I_SYMBOL_CHECKED): New macro. (i_symbol_binding): New function. (I_SYMBOL_BINDING, I_SYMBOL_DECL): Redefine. (I_TAG_CHECKED): New macro. (i_tag_binding): New function. (I_TAG_BINDING, I_TAG_DECL): Redefine. (I_LABEL_CHECKED): New macro. (i_label_binding): New function. (I_LABEL_BINDING, I_LABEL_DECL): Redefine. (c_print_identifier): Save and restore c_binding_oracle. (c_pushtag, c_bind): New functions. 2014-10-27 Andrew MacLeod * c-typeck.c: Adjust include files. 2014-10-26 Manuel López-Ibáñez PR c++/53061 * c-objc-common.c (c_objc_common_init): Do not do diagnostics initialization here... (c_initialize_diagnostics): ... but here. Set defaults after building pretty-printer. 2014-10-23 Marek Polacek PR c/63626 * c-decl.c (pop_scope): Don't print warning in external_scope. 2014-10-19 Marek Polacek PR c/63567 * c-typeck.c (output_init_element): Allow initializing objects with static storage duration with compound literals even in C99 and add pedwarn for it. 2014-10-17 Marek Polacek PR c/63567 * c-typeck.c (digest_init): Allow initializing objects with static storage duration with compound literals even in C99 and add pedwarn for it. 2014-10-17 Marek Polacek PR c/63543 * c-tree.h (C_TYPE_ERROR_REPORTED): Define. * c-typeck.c (build_indirect_ref): Don't print the "dereferencing..." error multiple times. Print the type. 2014-10-17 Marek Polacek PR c/63549 * c-typeck.c (build_array_ref): Bail if the index in an incomplete type. 2014-10-17 Marek Polacek * c-decl.c (grokdeclarator): Use OPT_Wimplicit_int unconditionally. (start_function): Use OPT_Wimplicit_int instead of 0. (store_parm_decls_oldstyle): Likewise. 2014-10-17 Alan Modra PR middle-end/61848 * c-decl.c (merge_decls): Don't merge section name or tls model to newdecl symtab node, instead merge to olddecl. Override existing olddecl section name. Set tls_model for all thread-local vars, not just OMP thread-private ones. Remove incorrect comment. 2014-10-16 Andrew MacLeod * c-decl.c: Adjust include files. 2014-10-14 DJ Delorie * c-parser.c (c_parse_init): Add RID entries for each __intN. (c_token_starts_typename): Check all __intN, not just __int128. (c_token_starts_declspecs): Likewise. (c_parser_declspecs): Likewise. (c_parser_attribute_any_word): Likewise. (c_parser_objc_selector): Likewise. * c-tree.h (c_typespec_keyword): cts_int128 -> cts_int_n. (struct c_declspecs): Add int_n_idx field to record *which* __intN is specified. * c-decl.c (declspecs_add_type): Check for all __intN, not just __int128. (finish_declspecs): Likewise. 2014-10-13 Anthony Brandon * c-parser.c (c_parser_all_labels): New function to replace the duplicate code. (c_parser_statement): Call the new function. 2014-10-09 Marek Polacek PR c/63480 * c-typeck.c (pop_init_level): Don't warn about initializing with { }. 2014-10-07 Marek Polacek PR c/59717 * c-decl.c (header_for_builtin_fn): New function. (implicitly_declare): Suggest which header to include. 2014-10-07 Marek Polacek * c-convert.c (convert): Use error_operand_p. * c-typeck.c (require_complete_type): Likewise. (really_atomic_lvalue): Likewise. (digest_init): Likewise. (handle_omp_array_sections_1): Likewise. 2014-10-03 Marek Polacek PR c/63453 * c-decl.c (pop_scope): Don't warn about "inline function declared but never defined" for functions marked with gnu_inline attribute. 2014-09-25 Jakub Jelinek PR c++/63249 * c-parser.c (c_parser_omp_variable_list): Call mark_exp_read on low_bound and length. 2014-09-24 Marek Polacek PR c/61405 PR c/53874 * c-parser.c: Don't define CPP_KEYWORD. (c_parser_switch_statement): Pass original type to c_finish_case. * c-tree.h (c_finish_case): Update declaration. * c-typeck.c (c_finish_case): Add TYPE parameter. Pass it conditionally to c_do_switch_warnings. 2014-09-03 Marek Polacek PR c/62024 * c-parser.c (c_parser_static_assert_declaration_no_semi): Strip no-op conversions. 2014-09-02 Jakub Jelinek Balaji V. Iyer Igor Zamyatin * c-parser.c (c_parser_cilk_for): New function. (c_parser_cilk_grainsize): Likewise. (c_get_temp_regvar): Likewise. (c_parser_statement_after_labels): Added RID_CILK_FOR case. (c_parser_pragma): Added PRAGMA_CILK_GRAINSIZE case. (c_parser_omp_for_loop): Added CILK_FOR and CILK_SIMD checks. * c-typeck.c (c_finish_omp_clauses): Added OMP_CLAUSE__CILK_FOR_COUNT_ case. 2014-08-27 Chen Gang * c-aux-info.c (gen_type): Resize 'buff' from 10 to 23 bytes, with using HOST_WIDE_INT without truncation to 'int' 2014-08-22 Marek Polacek PR c++/62199 * c-typeck.c (parser_build_binary_op): Adjust call to warn_logical_not_parentheses. 2014-08-22 Igor Zamyatin PR other/62008 * c-parser.c (c_parser_array_notation): Check for correct type of an array added. 2014-08-19 Marek Polacek PR c++/62153 * c-typeck.c (build_binary_op): If either operand of a comparison is a boolean expression, call maybe_warn_bool_compare. 2014-08-19 Patrick Palka PR c/45584 * c-typeck.c (build_c_cast): Do a conversion even when the TYPE_MAIN_VARIANTs are the same. 2014-08-19 Marek Polacek * c-decl.c (diagnose_mismatched_decls): Unconditionally call pedwarn_c99 instead of pedwarn. (grokfield): Likewise. (warn_defaults_to): New function. (grokdeclarator): Call warn_defaults_to instead of pedwarn_c99. Unconditionally call pedwarn_c99 instead of pedwarn. (start_function): Call warn_defaults_to instead of pedwarn_c99. (declspecs_add_scspec): Call pedwarn_c99 instead of pedwarn, don't check flag_isoc11 before. * c-errors.c (pedwarn_c99): Change the return type to bool. Handle -Wc99-c11-compat. * c-parser.c (disable_extension_diagnostics): Handle warn_c99_c11_compat. (restore_extension_diagnostics): Likewise. (c_parser_static_assert_declaration_no_semi): Call pedwarn_c99 instead of pedwarn, don't check flag_isoc11 before. (c_parser_declspecs): Likewise. (c_parser_alignas_specifier): Likewise. (c_parser_alignof_expression): Likewise. (c_parser_generic_selection): Likewise. * c-tree.h (pedwarn_c99): Update declaration. * c-typeck.c (c_finish_return): Call pedwarn or warning_at instead of pedwarn_c99. 2014-08-19 Marek Polacek * c-decl.c (warn_variable_length_array): Pass OPT_Wvla unconditionally to pedwarn_c90. * c-errors.c: Include "opts.h". (pedwarn_c90): Rewrite to handle -Wno-c90-c99-compat better. * c-parser.c (disable_extension_diagnostics): Handle negative value of warn_c90_c99_compat, too. (restore_extension_diagnostics): Likewise. (c_parser_compound_statement_nostart): Pass OPT_Wdeclaration_after_statement unconditionally to pedwarn_c90. 2014-08-12 Marek Polacek * c-parser.c (c_parser_postfix_expression) : Add pedwarn. (c_parser_postfix_expression) : Likewise. (c_parser_postfix_expression) : Likewise. 2014-08-10 Marek Polacek PR c/51849 * c-decl.c (build_array_declarator): Remove check for !flag_isoc99. Call pedwarn_c90 instead of pedwarn. (check_bitfield_type_and_width): Likewise. (declspecs_add_qual): Likewise. (declspecs_add_type): Likewise. (warn_variable_length_array): Unify function for -pedantic and -Wvla. Adjust to only call pedwarn_c90. (grokdeclarator): Remove pedantic && !flag_isoc99 check. Call pedwarn_c90 instead of pedwarn. * c-errors.c (pedwarn_c90): Handle -Wc90-c99-compat. * c-parser.c (disable_extension_diagnostics): Handle warn_c90_c99_compat. (restore_extension_diagnostics): Likewise. (c_parser_enum_specifier): Remove check for !flag_isoc99. Call pedwarn_c90 instead of pedwarn. (c_parser_initelt): Likewise. (c_parser_postfix_expression): Likewise. (c_parser_postfix_expression_after_paren_type): Likewise. (c_parser_compound_statement_nostart): Remove check for !flag_isoc99. * c-tree.h: Fix formatting. * c-typeck.c (build_array_ref): Remove check for !flag_isoc99. Call pedwarn_c90 instead of pedwarn. 2014-08-07 Trevor Saunders * c-typeck.c: Remove include of pointer-set.h. 2014-08-07 Marek Polacek * c-typeck.c (pointer_diff): Remove P - (P + CST) optimization. 2014-08-02 Trevor Saunders * c-typeck.c: Use hash_map instead of pointer_map. 2014-08-02 Trevor Saunders * c-decl.c: Use hash_set instead of pointer_set. 2014-08-01 Igor Zamyatin PR middle-end/61455 * c-array-notation.c (expand_array_notations): Handling of DECL_EXPR added. 2014-07-31 Marc Glisse PR c++/60517 * c-typeck.c (c_finish_return): Return 0 instead of the address of a local variable. 2014-07-30 Tom Tromey * c-typeck.c (struct constructor_stack) : New field. (really_start_incremental_init, push_init_level): Initialize designator_depth. (pop_init_level): Set global designator_depth. (process_init_element): Check for designated_init attribute. 2014-07-20 Marek Polacek PR c/61852 * c-decl.c (implicit_decl_warning): Add location_t parameter. Use it. (implicitly_declare): Pass location to implicit_decl_warning. 2014-07-14 Jakub Jelinek PR middle-end/61294 * c-parser.c (c_parser_expr_list): Add new argument literal_zero_mask. If non-NULL, call c_parser_check_literal_zero. (c_parser_check_literal_zero): New function. (c_parser_postfix_expression_after_primary): Adjust c_parser_expr_list caller, handle -Wmemset-transposed-args. 2014-07-06 Marek Polacek PR c/6940 * c-decl.c (grokdeclarator): Set C_ARRAY_PARAMETER. * c-tree.h (C_ARRAY_PARAMETER): Define. * c-typeck.c (c_expr_sizeof_expr): Warn when using sizeof on an array function parameter. 2014-07-02 Jan Hubicka Chen Gang * c-decl.c (duplicate_decls): CLear DECL_STRUCT_FUNCTION before releasing symbol. 2014-07-01 Marek Polacek * c-typeck.c (convert_for_assignment): Pass OPT_Wint_conversion instead of 0 to WARN_FOR_ASSIGNMENT. 2014-07-01 Marek Polacek PR c/58286 * c-typeck.c (convert_for_assignment): Pass OPT_Wincompatible_pointer_types instead of 0 to WARN_FOR_ASSIGNMENT. 2014-06-30 Marek Polacek * c-decl.c (grokdeclarator): Don't instrument VLAs if the function has no_sanitize_undefined attribute. 2014-06-30 Igor Zamyatin PR middle-end/57541 * c-array-notation.c (fix_builtin_array_notation_fn): Check for 0 arguments in builtin call. Check that bultin argument is correct. * c-parser.c (c_parser_array_notation): Check for incorrect initial index. 2014-06-27 Sebastian Huber * c-parser.c (c_parser_declaration_or_fndef): Discard all type qualifiers in __auto_type for atomic types. (c_parser_typeof_specifier): Discard all type qualifiers in __typeof__ for atomic types. 2014-06-25 Marek Polacek PR c/61162 * c-parser.c (c_parser_statement_after_labels): Pass the location of the return expression to c_finish_return. 2014-06-25 Jakub Jelinek * c-typeck.c (c_finish_omp_clauses): Make sure OMP_CLAUSE_LINEAR_STEP has correct type. 2014-06-24 Trevor Saunders * c-decl.c: Adjust. 2014-06-24 Jakub Jelinek * c-parser.c (c_parser_omp_for_loop): For #pragma omp parallel for simd move lastprivate clause from parallel to for rather than simd. 2014-06-23 Marek Polacek * c-typeck.c (parser_build_binary_op): Don't call warn_logical_not_parentheses if the RHS is TRUTH_NOT_EXPR. 2014-06-15 Jan Hubicka * c-parser.c (c_parser_omp_threadprivate): Likewise. * c-decl.c (merge_decls): Likewise. 2014-06-09 Marek Polacek PR c/36446 * c-typeck.c (error_init): Call inform instead of error_at. (pedwarn_init): Call inform instead of pedwarn. (warning_init): Call inform instead of warning_at. 2014-06-07 Jan Hubicka * c-decl.c (merge_decls): Use set_decl_section_name. (duplicate_decls): Remove node if it exists. 2014-06-05 S. Gilles PR c/53119 * c-typeck.c (push_init_level, process_init_element, pop_init_level): Correct check for zero initialization, move missing brace warning to respect zero initialization. 2014-06-05 Marek Polacek PR c/56724 * c-typeck.c (convert_for_assignment): Use expr_loc for ic_argpass. 2014-06-05 Marek Polacek PR c/49706 * c-typeck.c (parser_build_binary_op): Warn when logical not is used on the left hand side operand of a comparison. 2014-06-05 Marek Polacek PR c/48062 * c-decl.c (warn_if_shadowing): Call inform instead of warning_at. Print note only if the warning was printed. 2014-06-04 Igor Zamyatin PR c/58942 * c-array-notation.c (fix_builtin_array_notation_fn): Handle the case with a pointer. 2014-06-03 Marek Polacek PR c/60439 * c-parser.c (c_parser_switch_statement): Pass explicit_cast_p to c_start_case. * c-tree.h (c_start_case): Update. * c-typeck.c (c_start_case): Add new boolean parameter. Warn if switch condition has boolean value. 2014-06-02 Andrew MacLeod * c-decl.c: Include builtins.h. * c-parser.c: Likewise. 2014-05-27 Marek Polacek PR c/56724 * c-typeck.c (convert_arguments): Get location of a parameter. Change error and warning calls to error_at and warning_at. Pass location of a parameter to it. Call warning_at with OPT_Wtraditional_conversion. (convert_for_assignment): Add parameter to WARN_FOR_ASSIGNMENT and WARN_FOR_QUALIFIERS. Pass expr_loc to those. 2014-05-26 Igor Zamyatin PR c/61191 * c-array-notation.c (fix_builtin_array_notation_fn): Check invalid function parameters. 2014-05-23 Jan Hubicka * c-decl.c (merge_decls): Preserve symtab node pointers. (duplicate_decls): Free new decl. 2014-05-23 Thomas Schwinge * c-typeck.c (c_finish_omp_clauses): Remove duplicated variable initialization. * c-parser.c (c_parser_omp_target): Return bool values. 2014-05-22 Thomas Schwinge * c-parser.c (c_parser_omp_clause_thread_limit): Rename num_teams_loc variable to num_thread_limit_loc. 2014-05-21 Richard Sandiford * c-array-notation.c (expand_array_notations): Use void_node instead of void_zero_node. 2014-05-17 Trevor Saunders * c-decl.c (finish_struct): Adjust. (finish_enum): Likewise. (bind): Adjust. (record_inline_static): Likewise. (push_scope): Likewise. (make_label): Likewise. (lookup_label_for_goto): Likewise. (finish_struct): Likewise. (finish_enum): Likewise. (store_parm_decls): Likewise. (c_push_function_context): Likewise. * c-lang.h: Remove usage of variable_size gty attribute. * c-parser.c (c_parse_init): Adjust. (c_parse_file): Likewise. 2014-05-13 Marek Polacek PR c/61162 * c-typeck.c (convert_for_assignment): Pass location to WARN_FOR_ASSIGNMENT instead of input_location. 2014-05-10 Marek Polacek * c-parser.c (c_parser_declaration_or_fndef): Pass init_loc to maybe_warn_string_init. (c_parser_postfix_expression_after_paren_type): Pass type_loc to maybe_warn_string_init. * c-tree.h (maybe_warn_string_init): Update declaration. * c-typeck.c (maybe_warn_string_init): Add location parameter. Call pedwarn_init with loc instead of with input_location. (digest_init): Pass init_loc to maybe_warn_string_init. (pop_init_level): Call pedwarn_init with loc instead of with input_location. (set_init_index): Likewise. (process_init_element): Likewise. 2014-05-09 Marek Polacek PR c/61096 * c-parser.c (c_parser_braced_init): Pass brace_loc to push_init_level. (c_parser_initelt): Pass location to set_init_label. Pass array index location to set_init_index. * c-tree.h (push_init_level): Update declaration. (pop_init_level): Likewise. (set_init_index): Likewise. (set_init_label): Likewise. * c-typeck.c (error_init): Add location parameter. Call error_at instead of error. (digest_init): Pass init_loc to error_init. (really_start_incremental_init): (push_init_level): Add location parameter. Pass loc to pop_init_level and error_init. (pop_init_level): Likewise. (set_designator): Add location parameter. Pass loc to pop_init_level, push_init_level, and error_init. (set_init_index): Add location parameter. Pass loc to error_init and set_designator. (set_init_label): Likewise. (output_init_element): Pass loc to error_init. (process_init_element): Pass loc to error_init, pop_init_level, pedwarn_init, and push_init_level. 2014-05-09 Marek Polacek PR c/50459 * c-parser.c (c_parser_attributes): Parse the arguments as an expression-list if the attribute takes identifier. 2014-05-08 Marek Polacek PR c/61053 * c-decl.c (grokdeclarator): Use min_align_of_type instead of TYPE_ALIGN_UNIT. 2014-05-08 Marek Polacek PR c/61077 * c-decl.c (start_function): Warn for _Atomic-qualified return type of main. 2014-05-06 Kenneth Zadeck Mike Stump Richard Sandiford * c-decl.c (check_bitfield_type_and_width): Use TYPE_SIGN. (finish_enum): Use wide-int interfaces. * c-parser.c (c_parser_cilk_clause_vectorlength): Likewise. * c-typeck.c (build_c_cast): Likewise. (set_nonincremental_init_from_string): Likewise. (c_tree_equal): Likewise. 2014-05-02 Marek Polacek PR c/25801 * c-typeck.c (c_size_in_bytes): Update comment. Don't call error. Return size_one_node when the type is not complete. (pointer_diff): Remove comment. (build_unary_op): Improve error messages. 2014-05-02 Marek Polacek * c-typeck.c (c_finish_return): Separate warning_at calls. 2014-05-02 Marek Polacek * c-tree.h (error_init): Remove declaration. (pedwarn_init): Likewise. * c-typeck.c (error_init): Make static and move above. (pedwarn_init): Likewise. (warning_init): Move above. (maybe_warn_string_init): Likewise. 2014-05-01 Jeff Law Revert: 2014-04-24 Prathamesh Kulkarni * c-parser.c (c_parser_sizeof_expression): Reorganize slightly to avoid goto. 2014-05-02 Marek Polacek PR c/60784 * c-typeck.c (push_init_level): Set constructor_designated to p->designated for structures. 2014-05-01 Marek Polacek PR c/60915 * c-parser.c (c_parser_declaration_or_fndef): Give better error if function-definition has an attribute after the declarator. 2014-05-01 Marek Polacek PR c/60257 * c-typeck.c (warning_init): Add location_t parameter. Call warning_at instead of warning. (push_init_level): Pass input_location to warning_init. (add_pending_init): Add location_t parameter. Pass loc to warning_init. (set_nonincremental_init): Pass input_location to add_pending_init. (set_nonincremental_init_from_string): Likewise. (output_init_element): Pass loc to warning_init and to add_pending_init. 2014-05-01 Marek Polacek PR c/43395 * c-typeck.c (c_finish_return): Distinguish between label and variable when warning about returning local address. 2014-05-01 Marek Polacek PR c/29467 * c-decl.c (declspecs_add_type): Pedwarn if boolean types are used in C89 mode. 2014-05-01 Marek Polacek PR c/43245 * c-typeck.c (convert_for_assignment): Pass OPT_Wdiscarded_qualifiers instead of 0 to WARN_FOR_QUALIFIERS. 2014-05-01 Marek Polacek PR c/56989 * c-typeck.c (default_conversion): Use better location for error call. 2014-04-30 Marek Polacek * c-typeck.c (build_binary_op): Call ubsan_instrument_division also when SANITIZE_FLOAT_DIVIDE is on. 2014-04-30 Marek Polacek PR c/60139 * c-typeck.c (output_init_element): Pass OPT_Wpedantic to pedwarn and pedwarn_init. Use loc insted of input_location. 2014-04-30 Marek Polacek PR c/60351 * c-typeck.c (build_binary_op): Use location when warning about shift count. 2014-04-25 Marek Polacek PR c/18079 * c-decl.c (diagnose_mismatched_decls): Warn for mismatched always_inline/noinline and hot/cold attributes. 2014-04-25 Marek Polacek PR c/60114 * c-parser.c (c_parser_initelt): Pass input_location to process_init_element. (c_parser_initval): Pass loc to process_init_element. * c-tree.h (process_init_element): Adjust declaration. * c-typeck.c (push_init_level): Pass input_location to process_init_element. (pop_init_level): Likewise. (set_designator): Likewise. (output_init_element): Add location_t parameter. Pass loc to digest_init. (output_pending_init_elements): Pass input_location to output_init_element. (process_init_element): Add location_t parameter. Pass loc to output_init_element. 2014-04-24 Jakub Jelinek * c-parser.c (c_parser_omp_atomic): Allow seq_cst before atomic-clause, allow comma in between atomic-clause and seq_cst. 2014-04-22 Jakub Jelinek PR c/59073 * c-parser.c (c_parser_omp_parallel): If c_parser_omp_for fails, don't set OM_PARALLEL_COMBINED and return NULL. 2014-04-12 Igor Zamyatin PR middle-end/60469 * c-array-notation.c (fix_builtin_array_notation_fn): Use create_tmp_var instead build_decl for creating temps. (build_array_notation_expr): Likewise. (fix_conditional_array_notations_1): Likewise. (fix_array_notation_expr): Likewise. (fix_array_notation_call_expr): Likewise. 2014-03-28 Jakub Jelinek PR c++/60689 * c-tree.h (c_build_function_call_vec): New prototype. * c-typeck.c (build_function_call_vec): Don't call resolve_overloaded_builtin here. (c_build_function_call_vec): New wrapper function around build_function_call_vec. Call resolve_overloaded_builtin here. (convert_lvalue_to_rvalue, build_function_call, build_atomic_assign): Call c_build_function_call_vec instead of build_function_call_vec. * c-parser.c (c_parser_postfix_expression_after_primary): Likewise. * c-decl.c (finish_decl): Likewise. 2014-03-18 Manuel López-Ibáñez PR c/55383 * c-typeck.c: Use correct format string in cast-qual warning 2014-03-07 Thomas Schwinge * c-decl.c (c_decl_attributes): Use lang_hooks.types.omp_mappable_type. * c-typeck.c (c_finish_omp_clauses): Likewise. 2014-03-06 Marek Polacek PR c/60197 * c-typeck.c (c_finish_return): Call contains_cilk_spawn_stmt instead of checking tree code. 2014-02-19 Prathamesh Kulkarni * c-parser.c (c_parser_declspecs): Replace call to error by error_at. (c_parser_parameter_declaration): Likewise. 2014-02-19 Marek Polacek PR c/60195 * c-typeck.c (convert_lvalue_to_rvalue): Set TREE_NO_WARNING on tmp. Call mark_exp_read on exp.value. (build_atomic_assign): Set TREE_NO_WARNING on val and old. Set TREE_ADDRESSABLE on old instead of val. (emit_side_effect_warnings): Warn only if RHS has !TREE_NO_WARNING. 2014-02-07 Prathamesh Kulkarni * c-parser.c (c_parser_get_builtin_args): Replace calls to C_EXPR_APPEND by vec_safe_push. * c-tree.h (C_EXPR_APPEND): Remove. 2014-01-31 Marek Polacek PR c/59963 * c-typeck.c (convert_lvalue_to_rvalue): Pass vNULL to build_function_call_vec. (build_function_call): Likewise. (build_atomic_assign): Likewise. (build_function_call_vec): Add arg_loc parameter. Use it. (convert_arguments): Likewise. (convert_for_assignment): Rename rhs_loc to expr_loc. * c-parser.c (c_parser_attributes): Pass NULL to c_parser_expr_list. (c_parser_objc_keywordexpr): Likewise. (c_parser_postfix_expression_after_primary): Call build_function_call_vec with expr_loc rather than op_loc. Call c_parser_expr_list to fill arg_loc. Pass arg_loc to build_function_call_vec. (c_parser_expr_list): Add locations parameter. Fill it with locations of function arguments. * c-decl.c (finish_decl): Pass vNULL to build_function_call_vec. 2014-01-30 Marek Polacek PR c/59940 * c-typeck.c (build_function_call_vec): Use loc parameter. (convert_arguments): Add location parameter. Use it. (ep_convert_and_check): Likewise. (build_atomic_assign): Adjust convert_for_assignment call. (build_modify_expr): Likewise. (digest_init): Likewise. (c_finish_return): Likewise. (build_conditional_expr): Adjust ep_convert_and_check calls. (convert_for_assignment): Add rhs_loc parameter. Use it. (build_binary_op): Adjust convert_and_check and ep_convert_and_check calls. 2014-01-30 Richard Biener PR c/59905 * c-typeck.c (build_function_call_vec): Do not replace calls to a function via an incompatible type with a runtime abort. 2014-01-24 Balaji V. Iyer * c-parser.c (c_parser_declaration_or_fndef): Replaced flag_enable_cilkplus with flag_cilkplus. (c_parser_direct_declarator_inner): Likewise. (c_parser_attribute_any_word): Likewise. (c_parser_attributes): Likewise. (c_parser_compound_statement): Likewise. (c_parser_statement_after_labels): Likewise. (c_parser_if_statement): Likewise. (c_parser_switch_statement): Likewise. (c_parser_do_statement): Likewise. (c_parser_for_statement): Likewise. (c_parser_unary_expression): Likewise. (c_parser_postfix_expression): Likewise. (c_parser_postfix_expression_after_primary): Likewise. (c_parser_postfix_expression_after_primary): Likewise. (c_parser_omp_clause_name): Likewise. (c_finish_omp_declare_simd): Likewise. (c_parser_cilk_verify_simd): Likewise. * c-typeck.c (build_array_ref): Likewise. (build_function_call_vec): Likewise. (convert_arguments): Likewise. (build_compound_expr): Likewise. (c_finish_return): Likewise. (c_finish_if_stmt): Likewise. (c_finish_loop): Likewise. (build_binary_op): Likewise. 2014-01-23 Marek Polacek PR c/59846 * c-typeck.c (parser_build_binary_op): Use location instead of input_location. (build_binary_op): Pass location to shorten_compare. 2014-01-23 Marek Polacek PR c/58346 * c-typeck.c (pointer_diff): Give an error on arithmetic on pointer to an empty aggregate. 2014-01-23 Marek Polacek PR c/59871 * c-typeck.c (build_compound_expr): Warn even for right-hand operand of a comma expression. (emit_side_effect_warnings): Likewise. 2014-01-23 Balaji V. Iyer PR c/59825 * c-array-notation.c (expand_array_notation_exprs): Rewrote this function to use walk_tree and moved a lot of its functionality to expand_array_notations. (expand_array_notations): New function. 2014-01-23 Balaji V. Iyer * c-parser.c (c_finish_omp_declare_simd): Made "cilk simd function" attribute an attribute without value. 2014-01-23 Jakub Jelinek PR middle-end/58809 * c-typeck.c (c_finish_omp_clause): Reject MIN_EXPR, MAX_EXPR, BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs. 2014-01-22 Marek Polacek PR c/59891 * c-typeck.c (build_conditional_expr): Call c_fully_fold instead of remove_c_maybe_const_expr on op1 and op2. 2014-01-15 Jakub Jelinek PR c/58943 * c-typeck.c (build_modify_expr): For lhs op= rhs, if rhs has side effects, preevaluate rhs using SAVE_EXPR first. 2014-01-09 Balaji V. Iyer PR c++/59631 * c-parser.c (c_parser_postfix_expression): Replaced consecutive if statements with if-elseif statements. 2014-01-06 Marek Polacek PR c/57773 * c-decl.c (check_bitfield_type_and_width): Warn for implementation defined bit-field types only in ISO C. 2014-01-02 Richard Sandiford Update copyright years 2014-01-02 Richard Sandiford * c-array-notation.c: Use the standard form for the copyright notice. 2013-12-18 Balaji V. Iyer * c-parser.c (struct c_parser::cilk_simd_fn_tokens): Added new field. (c_parser_declaration_or_fndef): Added a check if cilk_simd_fn_tokens field in parser is not empty. If not-empty, call the function c_parser_finish_omp_declare_simd. (c_parser_cilk_clause_vectorlength): Modified function to be shared between SIMD-enabled functions and #pragma simd. Added new parameter. (c_parser_cilk_all_clauses): Modified the usage of the function c_parser_cilk_clause_vectorlength as mentioned above. (c_parser_cilk_simd_fn_vector_attrs): New function. (c_finish_cilk_simd_fn_tokens): Likewise. (is_cilkplus_vector_p): Likewise. (c_parser_omp_clause_name): Added checking for "vectorlength," "nomask," and "mask" strings in clause name. (c_parser_omp_all_clauses): Added 3 new case statements: PRAGMA_CILK_CLAUSE_VECTORLENGTH, PRAGMA_CILK_CLAUSE_MASK and PRAGMA_CILK_CLAUSE_NOMASK. (c_parser_attributes): Added a cilk_simd_fn_tokens parameter. Added a check for vector attribute and if so call the function c_parser_cilk_simd_fn_vector_attrs. Also, when Cilk plus is enabled, called the function c_finish_cilk_simd_fn_tokens. (c_finish_omp_declare_simd): Added a check if cilk_simd_fn_tokens in parser field is non-empty. If so, parse them as you would parse the omp declare simd pragma. (c_parser_omp_clause_linear): Added a new bool parm. is_cilk_simd_fn. Added a check when step is a parameter and flag it as error. (CILK_SIMD_FN_CLAUSE_MASK): New #define. (c_parser_cilk_clause_name): Changed pragma_cilk_clause to pragma_omp_clause. 2013-12-17 Thomas Schwinge * c-parser.c (c_parser_omp_parallel): Fix description. 2013-12-11 Balaji V. Iyer * 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. 2013-12-04 Joseph Myers PR c/52023 * c-parser.c (c_parser_alignas_specifier): Use c_sizeof_or_alignof_type instead of c_alignof. (c_parser_alignof_expression): Likewise, with min_alignof parameter depending on alignof spelling used. 2013-12-04 Marek Polacek PR c/54113 * c-decl.c (start_function): Don't warn for missing prototype for inline functions. 2013-12-03 Marek Polacek PR c/59351 * c-decl.c (build_compound_literal): Allow compound literals with empty initial value. 2013-12-02 Joseph Myers PR c/58235 * c-typeck.c (build_modify_expr): Diagnose assignment to expression with array type. 2013-11-29 Joseph Myers PR c/42262 * c-typeck.c (process_init_element): Do not treat a string as initializing a whole array when used with a designator for an individual element. 2013-11-29 Joseph Myers PR c/57574 * c-decl.c (merge_decls): Clear DECL_EXTERNAL for a definition of an inline function following a static declaration. 2013-11-28 Jakub Jelinek PR c/59310 * c-parser.c (c_parser_omp_target): Copy "#pragma omp target" to p_name before calling c_parser_omp_teams instead of after. (c_parser_cilk_simd): Remove wrong ATTRIBUTE_UNUSED from parser argument. Remove unused p_name variable. 2013-11-27 Aldy Hernandez Jakub Jelinek * c-decl.c (c_builtin_function_ext_scope): Avoid binding if external_scope is NULL. 2013-11-27 Tom de Vries Marc Glisse PR c++/59032 * c-typeck.c (build_unary_op): Allow vector increment and decrement. 2013-11-22 Andrew MacLeod * c-typeck.c: Add required include files from gimple.h. 2013-11-22 David Malcolm * c-decl.c (define_label, shadow_tag_warned) (check_bitfield_type_and_width, grokdeclarator, grokparms, store_parm_decls_newstyle, store_parm_decls_oldstyle) (declspecs_add_type): Remove use of in_system_header macro. * c-parser.c (c_parser_unary_expression): Likewise. * c-typeck.c (store_init_value, process_init_element) (c_start_case): Likewise. * c-decl.c (build_enumerator): Remove use of EXPR_LOC_OR_HERE macro. * c-parser.c (c_parser_set_source_position_from_token): Remove reference to in_system_header from comment. 2013-11-18 Richard Sandiford * c-decl.c (grokdeclarator): Update comment to refer to tree_to_[su]hwi rather than tree_low_cst. 2013-11-18 Richard Sandiford * c-decl.c, c-typeck.c: Replace tree_low_cst (..., 1) with tree_to_uhwi throughout. 2013-11-18 Richard Sandiford * c-parser.c: Replace tree_low_cst (..., 0) with tree_to_shwi throughout. 2013-11-18 Richard Sandiford * c-parser.c: Replace host_integerp (..., 0) with tree_fits_shwi_p throughout. 2013-11-15 Aldy Hernandez * c-parser.c (c_parser_cilk_simd): New. (c_parser_cilk_verify_simd): New. (c_parser_pragma): Add case for PRAGMA_CILK_SIMD. (c_parser_omp_for_loop): Add case for NE_EXPR. Set c_break_label for CILK_SIMD. (c_parser_cilk_clause_vectorlength): New. (c_parser_cilk_clause_linear): New. (c_parser_cilk_clause_name): New. (c_parser_cilk_all_clauses): New. * c-typeck.c (build_unary_op): Pass location argument to readonly_error. (build_modify_expr): Same. (build_asm_expr): Same. (c_finish_bc_stmt): Error on break/continue in loops. 2013-11-14 Andrew MacLeod * c-typeck.c: Include only gimplify.h and gimple.h as needed. 2013-11-14 Diego Novillo * c-decl.c: Include print-tree.h. Include stor-layout.h. Include varasm.h. Include attribs.h. Include stringpool.h. * c-lang.c: Include fold-const.h. * c-parser.c: Include stringpool.h. Include attribs.h. Include stor-layout.h. Include varasm.h. Include trans-mem.h. * c-typeck.c: Include stor-layout.h. Include trans-mem.h. Include varasm.h. Include stmt.h. 2013-11-13 Joseph Myers * c-tree.h (c_typespec_keyword): Add cts_auto_type. * c-decl.c (declspecs_add_type, finish_declspecs): Handle __auto_type. * c-parser.c (c_token_starts_typename, c_token_starts_declspecs) (c_parser_attribute_any_word, c_parser_objc_selector): Handle RID_AUTO_TYPE. (c_parser_declspecs): Take argument AUTO_TYPE_OK. (c_parser_declaration_or_fndef, c_parser_struct_declaration) (c_parser_declarator, c_parser_direct_declarator_inner) (c_parser_parameter_declaration, c_parser_type_name): All callers changed. (c_parser_declaration_or_fndef): Handle declarations with type determined from the initializer. 2013-11-12 Andrew MacLeod * c-typeck.c: Include gimplify.h. 2013-11-12 Joseph Myers * c-tree.h (struct c_declspecs): Add thread_gnu_p field. * c-parser.c (c_parser_declspecs): Mention _Thread_local in comment. * c-decl.c (shadow_tag_warned, grokdeclarator): Mention __thread or _Thread_local as appropriate in diagnostics. (build_null_declspecs): Initialize ret->thread_gnu_p. (declspecs_add_scspec): Handle either __thread or _Thread_local for RID_THREAD. Diagnose _Thread_local for pre-C11 standards if pedantic. Do not disallow _Thread_local extern and _Thread_local static. 2013-11-07 Joseph Myers Andrew MacLeod * c-aux-info.c (gen_type): Handle atomic qualifier. * c-decl.c (validate_proto_after_old_defn): Do not remove atomic qualifiers when compating types. (shadow_tag_warned): Handle atomic_p in declspecs. (quals_from_declspecs): Likewise. (start_decl): Use c_type_promotes_to when promoting argument types. (grokdeclarator): Handle _Atomic. (get_parm_info): Diagnose any qualifier on "void" as only parameter. (store_parm_decls_oldstyle): Do not remove atomic qualifiers when comparing types. Use c_type_promotes_to when promoting argument types. (finish_function): Use c_type_promotes_to when promoting argument types. (build_null_declspecs): Handle atomic_p in declspecs. (declspecs_add_qual): Handle RID_ATOMIC. * c-parser.c (c_token_starts_typename, c_token_is_qualifier) (c_token_starts_declspecs): Handle RID_ATOMIC. (c_parser_declspecs): Handle atomic type specifiers and qualifiers. (c_parser_typeof_specifier): Remove const and _Atomic qualifiers from types of expressions with atomic type. (c_parser_direct_declarator_inner): Use convert_lvalue_to_rvalue. (c_parser_attribute_any_word): Handle RID_ATOMIC. (c_parser_initializer, c_parser_initelt, c_parser_initval) (c_parser_statement_after_labels, c_parser_switch_statement) (c_parser_for_statement, c_parser_expr_no_commas) (c_parser_conditional_expression, c_parser_binary_expression) (c_parser_cast_expression, c_parser_unary_expression) (c_parser_postfix_expression) (c_parser_postfix_expression_after_primary, c_parser_expression): Use convert_lvalue_to_rvalue. (c_parser_expression_conv, c_parser_expr_list): Document conversion of lvalues to rvalues. Use convert_lvalue_to_rvalue. (c_parser_objc_synchronized_statement): Use convert_lvalue_to_rvalue. (c_parser_objc_selector): Handle RID_ATOMIC. (c_parser_objc_receiver, c_parser_array_notation): Use convert_lvalue_to_rvalue. * c-tree.h (ctsk_typeof): Adjust comment to mention use for _Atomic (type-name). (struct c_declspecs): Add atomic_p field. (convert_lvalue_to_rvalue): Declare. * c-typeck.c (c_type_promotes_to): Promote atomic types to corresponding atomic types. (qualify_type): Don't add _Atomic qualifiers from second argument. (comp_target_types): Do not allow _Atomic mismatches. (type_lists_compatible_p): Do not remove atomic qualifiers when comparing types. (really_atomic_lvalue, convert_lvalue_to_rvalue) (build_atomic_assign): New functions. (build_unary_op): Use build_atomic_assign for atomic increment and decrement. (build_conditional_expr): Do not treat _Atomic void as a qualified version of void. (build_modify_expr): Use build_atomic_assign for atomic LHS. (find_anonymous_field_with_type, convert_to_anonymous_field) (convert_for_assignment): Do not remove atomic qualifiers when comparing types. (digest_init): Do not accept initialization of arrays of atomic elements by string constants. (build_asm_expr): Use convert_lvalue_to_rvalue. (build_binary_op): Do not treat _Atomic void as a qualified version of void. 2013-11-06 DJ Delorie * c-decl.c (locate_old_decl): If a previous conflicting decl is both explicit and builtin, print the location of the explicit one. 2013-11-05 Tobias Burnus * c-parser.c (c_parser_omp_for, c_parser_omp_parallel, c_parser_omp_distribute, c_parser_omp_teams, c_parser_omp_target, c_parser_omp_declare): Handle -fopenmp-simd. 2013-11-03 Marek Polacek * c-decl.c (grokdeclarator): Add VLA instrumentation. 2013-11-01 Jakub Jelinek * c-typeck.c (c_finish_omp_clauses) : Go to check_dup_generic at the end, unless remove is true. (c_finish_omp_clauses) : Add break; after remove = true;. (c_finish_omp_clauses) : Likewise. 2013-10-31 Jakub Jelinek * c-typeck.c (c_finish_omp_clauses): Diagnose aligned clause with decl that is not pointer nor array. 2013-10-29 Balaji V. Iyer * 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. 2013-10-27 Tobias Burnus PR other/33426 * c-parser.c (c_parser_while_statement, c_parser_while_statement, c_parser_pragma): Add GCC ivdep support to 'do' and 'while'. (c_parser_statement_after_labels): Update calls. 2013-10-24 Tobias Burnus PR other/33426 * c-parser.c (c_parser_pragma, c_parser_for_statement): Handle PRAGMA_IVDEP. (c_parser_statement_after_labels): Update call. 2013-10-24 Marek Polacek * c-parser.c (c_parser_struct_declaration): Add a comment. (c_parser_declarator): Don't allow _Alignas here. 2013-10-17 Andrew MacLeod * c-parser.c: Include omp-low.h. * c-typeck.c: Likewise. 2013-10-17 Marek Polacek PR c/58267 * c-parser.c (c_parser_declspecs): Add alignspec_ok parameter. Document syntax of the array-declarator. (c_parser_declspecs) : Bail out if alignment specs are not permitted. (c_parser_declaration_or_fndef): Adjust c_parser_declspecs call. (c_parser_struct_declaration): Likewise. (c_parser_declarator): Likewise. (c_parser_direct_declarator_inner): Likewise. (c_parser_parameter_declaration): Likewise. (c_parser_type_name): Likewise. 2013-10-11 Jakub Jelinek * 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. 2013-09-25 Tom Tromey * Make-lang.in (c/gccspec.o): Remove. (CFLAGS-c/gccspec.o): New variable. (cc1-checksum.o, C_TREE_H, c/c-aux-info.o, c/c-convert.o) (c/c-decl.o, c/c-errors.o, c/c-lang.o, c/c-objc-common.o) (c/c-parser.o, c/c-typeck.o, c/c-array-notation.o): Remove. 2013-09-25 Tom Tromey * Make-lang.in (c/gccspec.o): Don't use subshell. 2013-09-18 Marek Polacek PR sanitize/58443 * c-typeck.c (build_binary_op): Properly honor -fsanitize options. Remove unnecessary check. 2013-09-18 Marek Polacek PR sanitizer/58411 * c-typeck.c (build_binary_op): Don't sanitize function if it has the no_sanitize_undefined attribute. 2013-09-13 Kai Tietz PR target/57848 * c-decl.c (c_builtin_function_ext_scope): Remove wrong assumption that it is never called on prexisting symbol. 2013-09-08 Joern Rennecke * c-typeck.c (build_binary_op): Use vector_types_compatible_elements_p. 2013-09-03 Gabriel Dos Reis * c-objc-common.c (c_tree_printer): Tidy. 2013-08-30 Marek Polacek * c-typeck.c (build_binary_op): Add division by zero and shift instrumentation. 2013-08-26 Joern Rennecke Joseph Myers PR c/35649 * c-typeck.c (c_common_type): Prefer double_type_node over other REAL_TYPE types with the same precision. (convert_arguments): Likewise. 2013-08-23 Gabriel Dos Reis * c-objc-common.c (c_tree_printer): Document the nature of the cast. (c_initialize_diagnostics): Call a destructor for the early printer. 2013-08-22 Gabriel Dos Reis * c-objc-common.c (c_initialize_diagnostics): Simplify C pretty printer initialization. 2013-08-19 Balaji V. Iyer PR c/57490 * c-array-notation.c (fix_conditional_array_notations_1): Added a check for truth values. (expand_array_notation_exprs): Added truth values case. Removed an unwanted else. Added for-loop to walk through subtrees in default case. 2013-08-04 Gabriel Dos Reis * c-objc-common.c (c_initialize_diagnostics): Don't call pp_base. 2013-07-23 Joseph Myers * c-parser.c (struct c_generic_association): Fix typo. 2013-07-23 Tom Tromey Joseph Myers * c-parser.c (struct c_generic_association): New. (c_generic_association_d): New typedef. (c_parser_generic_selection): New function. (c_parser_postfix_expression): Handle RID_GENERIC. 2013-07-13 Jason Merrill PR c++/57793 * c-decl.c (finish_struct): Check for too-large class. 2013-07-04 Joern Rennecke PR c/57821 * c-typeck.c (set_init_index): When folding, check for index overflow. 2013-06-28 Balaji V. Iyer * c-parser.c (c_parser_array_notation): Removed rejection of array notations in an array of function pointers. 2013-06-21 Balaji V. Iyer * c-array-notation.c (make_triplet_val_inv): New function. (create_cmp_incr): Likewise. (create_array_refs): Likewise. (fix_builtin_array_notation_fn): Replaced all mallocs with tree vec. Also modularized common parts between functions and called the function. (build_array_notation_expr): Likewise. (fix_conditional_array_notations_1): Likewise. (fix_array_notation_expr): Likewise. (fix_array_notation_call_expr): Likewise. 2013-06-18 Marek Polacek PR c/57630 * c-decl.c (check_for_loop_decls): Improve diagnostics messages. 2013-06-12 Balaji V. Iyer * c-array-notation.c (build_array_notation_expr): Reject array notation mismatch between LHS and RHS even inside a call_expr. Also, removed a couple while statements that were dead code. 2013-06-10 Balaji V. Iyer * c-array-notation.c (fix_builtin_array_notation_fn): Fully folded excessive precision expressions in function parameters. Also removed couple unwanted while statements. 2013-06-07 Balaji V. Iyer * c-array-notation.c (expand_array_notation_exprs): Added ARRAY_NOTATION_REF case. 2013-06-07 Balaji V. Iyer * c-array-notation.c (length_mismatch_in_expr_p): Moved this function to c-family/array-notation-common.c. (is_cilkplus_reduce_builtin): Likewise. (find_rank): Likewise. (extract_array_notation_exprs): Likewise. (replace_array_notations): Likewise. (find_inv_trees): Likewise. (replace_inv_trees): Likewise. (contains_array_notation_expr): Likewise. (find_correct_array_notation_type): Likewise. (replace_invariant_exprs): Initialized additional_tcodes to NULL. (struct inv_list): Moved this to c-family/array-notation-common.c. * c-tree.h (is_cilkplus_builtin_reduce): Remove prototype. 2013-06-05 Balaji V. Iyer * c-typeck.c (convert_arguments): Moved checking of builtin cilkplus reduction functions outside the for-loop. Added a check if the fundecl is non-NULL. Finally, removed an unwanted if-statement, and made the body unconditional. 2013-06-03 Balaji V. Iyer * c-typeck.c (c_finish_if_stmt): Added a check to see if the rank of the condition of the if-statement matches the rank of else-block and then- block when array notations are used. * c-parser.c (c_parser_declaration_or_fndef): Expanded array notation expression after the entire function body is parsed. (c_parser_expr_no_commas): Delayed creating array notation expressions to the end of function parsing. * c-array-notation.c (fix_conditional_array_notations_1): Expanded the whole if-statement instead of just the condition. (expand_array_notation_exprs): Added MODIFY_EXPR case. 2013-06-03 Balaji V. Iyer PR c/57474 * c-array-notation.c (build_array_notation_expr): Initialized rhs_length array to NULL_TREE if they are unused. Also added a check for the field to be NULL before its fields are used in future. 2013-05-29 Rainer Orth PR bootstrap/57450 * c-array-notation.c (length_mismatch_in_expr_p): Use absu_hwi. (build_array_notation_expr): Likewise. 2013-05-28 Balaji V. Iyer * c-typeck.c (build_array_ref): Added a check to see if array's index is greater than one. If true, then emit an error. (build_function_call_vec): Exclude error reporting and checking for builtin array-notation functions. (convert_arguments): Likewise. (c_finish_return): Added a check for array notations as a return expression. If true, then emit an error. (c_finish_loop): Added a check for array notations in a loop condition. If true then emit an error. (lvalue_p): Added a ARRAY_NOTATION_REF case. (build_binary_op): Added a check for array notation expr inside op1 and op0. If present, we call another function to find correct type. * Make-lang.in (C_AND_OBJC_OBJS): Added c-array-notation.o. * c-parser.c (c_parser_compound_statement): Check if array notation code is used in tree, if so, then transform them into appropriate C code. (c_parser_expr_no_commas): Check if array notation is used in LHS or RHS, if so, then build array notation expression instead of regular modify. (c_parser_postfix_expression_after_primary): Added a check for colon(s) after square braces, if so then handle it like an array notation. Also, break up array notations in unary op if found. (c_parser_direct_declarator_inner): Added a check for array notation. (c_parser_compound_statement): Added a check for array notation in a stmt. If one is present, then expand array notation expr. (c_parser_if_statement): Likewise. (c_parser_switch_statement): Added a check for array notations in a switch statement's condition. If true, then output an error. (c_parser_while_statement): Similarly, but for a while. (c_parser_do_statement): Similarly, but for a do-while. (c_parser_for_statement): Similarly, but for a for-loop. (c_parser_unary_expression): Check if array notation is used in a pre-increment or pre-decrement expression. If true, then expand them. (c_parser_array_notation): New function. * c-array-notation.c: New file. * c-tree.h (is_cilkplus_reduce_builtin): Protoize. 2013-05-23 Mike Stump * c-typeck.c (convert_for_assignment): Handle references to memory spaces better. 2013-05-16 Jason Merrill * Make-lang.in (cc1$(exeext)): Use link mutex. 2013-04-24 Paolo Carlini * c-typeck.c (pointer_diff): Change -Wpointer-arith pedwarns to simply use OPT_Wpointer_arith. (build_unary_op): Likewise. 2013-04-03 Jakub Jelinek PR c/19449 * c-parser.c (c_parser_get_builtin_args): Add choose_expr_p argument. If set, or it temporarily for parsing of the first argument into force_folding_builtin_constant_p. (c_parser_postfix_expression): Adjust callers. 2013-03-21 Richard Biener * c-objc-common.c (c_tree_printer): Use DECL_HAS_DEBUG_EXPR_P instead of DECL_DEBUG_EXPR_IS_FROM. Guard properly. 2013-02-12 Marek Polacek PR c/44938 * c-parser.c (c_parser_postfix_expression_after_primary): Initialize origtypes to NULL. 2013-01-24 Jakub Jelinek PR c/56078 * c-typeck.c (set_nonincremental_init_from_string): If constructor_max_index is NULL, treat it as if tree_int_cst_lt returned false. (process_init_element): Likewise. 2012-12-20 Jakub Jelinek PR c++/55619 * c-parser.c (c_parser_asm_operands): Remove CONVERT_P argument, don't call default_function_array_conversion nor c_fully_fold here. (c_parser_asm_statement): Adjust callers. * c-typeck.c (build_asm_expr): Call c_fully_fold on inputs and outputs here, and call default_function_array_conversion on inputs that don't need to be addressable. 2012-12-18 Jakub Jelinek PR c/39464 * c-typeck.c (convert_for_assignment): For -Wpointer-sign warning require that both c_common_unsigned_type as well as c_common_signed_type is the same for both mvl and mvr types. 2012-11-16 Diego Novillo Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec) * c-common.c: Use new vec API in vec.h. * c-common.h: Likewise. * c-gimplify.c: Likewise. * c-pragma.c: Likewise. * c-pretty-print.c: Likewise. * c-pretty-print.h: Likewise. * c-semantics.c: Likewise. * c-decl.c: Likewise. * c-parser.c: Likewise. * c-tree.h: Likewise. * c-typeck.c: Likewise. 2012-10-29 Jonathan Wakely PR c++/54930 * c-typeck.c (c_finish_return): Use OPT_Wreturn_local_addr. 2012-10-29 Manuel López-Ibáñez PR c/53066 * c-decl.c (warn_if_shadowing): Do not warn if a variable shadows a function, unless the variable is a function or a pointer-to-function. 2012-10-12 Jakub Jelinek PR c/54381 * c-parser.c (struct c_tree_loc_pair): Removed. (c_parser_expr_list): Remove struct c_tree_loc_pair * argument, add location_t * and tree * arguments, fill in array of 3 sizeof_arg trees and corresponding locs. (c_parser_attributes, c_parser_objc_keywordexpr): Adjust c_parser_expr_list callers. (c_parser_postfix_expression_after_primary): Likewise. Pass array of 3 sizeof_arg trees and locs (corresponding to first 3 arguments) to sizeof_pointer_memaccess_warning. 2012-10-09 Lawrence Crowl * Make-lang.in (c-decl.o): Add dependence on hash-table.h. * c-decl.c (detect_field_duplicates_hash): Change to new type-safe hash table. 2012-10-09 Paolo Carlini PR c++/54194 * c-typeck.c (parser_build_binary_op): Update warn_about_parentheses call. 2012-10-09 Marc Glisse PR c++/54427 * c-typeck.c: Include c-common.h. (enum stv_conv): Moved to c-common.h. (scalar_to_vector): Moved to c-common.c. (build_binary_op): Adapt to scalar_to_vector's new prototype. * Make-lang.in: c-typeck.c depends on c-common.h. 2012-10-04 Arnaud Charlet * c-decl.c (c_write_global_declarations): Fix handling of -fdump-ada-spec*. 2012-09-30 Sharad Singhai * c-decl.c (c_write_global_declarations): Use a different method to determine if the dump has ben initialized. 2012-09-14 Joseph Myers PR c/54552 * c-typeck.c (c_cast_expr): When casting to a type requiring C_MAYBE_CONST_EXPR to be created, pass the inner expression to c_fully_fold first. 2012-09-14 Joseph Myers PR c/54103 * c-typeck.c (build_unary_op): Pass original argument of TRUTH_NOT_EXPR to c_objc_common_truthvalue_conversion, then remove any C_MAYBE_CONST_EXPR, if it has integer operands. (build_binary_op): Pass original arguments of TRUTH_ANDIF_EXPR, TRUTH_ORIF_EXPR, TRUTH_AND_EXPR, TRUTH_OR_EXPR and TRUTH_XOR_EXPR to c_objc_common_truthvalue_conversion, then remove any C_MAYBE_CONST_EXPR, if they have integer operands. Use c_objc_common_truthvalue_conversion not c_common_truthvalue_conversion. (c_objc_common_truthvalue_conversion): Build NE_EXPR directly and call note_integer_operands for arguments with integer operands that are not integer constants. 2012-09-13 Jakub Jelinek PR c/54559 * c-typeck.c (c_finish_return): Do convert to BOOLEAN_TYPE or COMPLEX_TYPE with in_late_binary_op set temporarily to true. 2012-08-31 Jakub Jelinek PR c/54428 * c-convert.c (convert): Don't call fold_convert_loc if TYPE_MAIN_VARIANT of a COMPLEX_TYPE is the same, unless e is a COMPLEX_EXPR. Remove TYPE_MAIN_VARIANT check from COMPLEX_TYPE -> COMPLEX_TYPE conversion. 2012-08-24 Jakub Jelinek PR c/54355 * c-decl.c (c_parser_label): Pass true as nested and fix up comments for nested and empty_ok arguments in the call to c_parser_declaration_or_fndef. 2012-08-17 Jakub Jelinek * c-tree.h (c_last_sizeof_arg): Declare. * c-parser.c (struct c_tree_loc_pair): New type. (c_parser_expr_list): Add sizeof_arg argument. Fill it in if non-NULL. (c_parser_attributes, c_parser_objc_keywordexpr): Adjust callers. (c_parser_postfix_expression_after_primary): Likewise. Call sizeof_pointer_memaccess_warning if needed. (sizeof_ptr_memacc_comptypes): New function. * c-typeck.c (c_last_sizeof_arg): New global variable. (c_expr_sizeof_expr, c_expr_sizeof_type): Initialize it. 2012-07-24 Uros Bizjak * c-lang.h (lang_decl): Add variable_size GTY option. 2012-07-16 Steven Bosscher * c-decl.c: Include dumpfile.h instead of tree-dump.h. * Make-lang.in: Fix dependencies. 2012-06-29 Steven Bosscher * Make-lang.in: New file, rules migrated from gcc/Makefile.in and add language Makefile hooks. * config-lang.in: New file. * c-config-lang.in: Moved from gcc/config-lang.in to here, and add the required "normal" config-lang.in rules. * c-lang.h: Moved from gcc/ to here. * c-tree.h: Likewise. * c-objc-common.c: Likewise. * c-objc-common.h: Likewise. * c-typeck.c: Likewise. * c-convert.c: Likewise. * c-lang.c: Likewise. * c-aux-info.c: Likewise. * c-errors.c: Likewise. * gccspec.c: Likewise. * c-decl.c: Likewise. Include gt-c-c-decl.h, not gt-c-decl.h. * c-parser.c: Likewise. Include gt-c-c-parser.h, not gt-c-parser.h. Copyright (C) 2012-2015 Free Software Foundation, Inc. Copying and distribution of this file, with or without modification, are permitted in any medium without royalty provided the copyright notice and this notice are preserved.