gcc/

[thirdparty/gcc.git] / gcc / c / ChangeLog

2015-10-13  Jakub Jelinek  <jakub@redhat.com>
            Aldy Hernandez  <aldyh@redhat.com>

        * c-parser.c (c_parser_pragma): Handle PRAGMA_OMP_ORDERED here.
        (c_parser_omp_clause_name): Handle OpenMP 4.5 clauses.
        (c_parser_omp_variable_list): Handle structure elements for
        map, to and from clauses.  Handle array sections in reduction
        clause.  Formatting fixes.
        (c_parser_omp_clause_if): Add IS_OMP argument, handle parsing of
        if clause modifiers.
        (c_parser_omp_clause_num_tasks, c_parser_omp_clause_grainsize,
        c_parser_omp_clause_priority, c_parser_omp_clause_hint,
        c_parser_omp_clause_defaultmap, c_parser_omp_clause_use_device_ptr,
        c_parser_omp_clause_is_device_ptr): New functions.
        (c_parser_omp_clause_ordered): Parse optional parameter.
        (c_parser_omp_clause_reduction): Handle array reductions.
        (c_parser_omp_clause_schedule): Parse optional simd modifier.
        (c_parser_omp_clause_nogroup, c_parser_omp_clause_orderedkind): New
        functions.
        (c_parser_omp_clause_linear): Parse linear clause modifiers.
        (c_parser_omp_clause_depend_sink): New function.
        (c_parser_omp_clause_depend): Parse source/sink depend kinds.
        (c_parser_omp_clause_map): Parse release/delete map kinds and
        optional always modifier.
        (c_parser_oacc_all_clauses): Adjust c_parser_omp_clause_if
        and c_finish_omp_clauses callers.
        (c_parser_omp_all_clauses): Likewise.  Parse OpenMP 4.5 clauses.
        Parse "to" as OMP_CLAUSE_TO_DECLARE if on declare target directive.
        (c_parser_oacc_cache): Adjust c_finish_omp_clauses caller.
        (OMP_CRITICAL_CLAUSE_MASK): Define.
        (c_parser_omp_critical): Parse critical clauses.
        (c_parser_omp_for_loop): Handle doacross loops, adjust
        c_finish_omp_for and c_finish_omp_clauses callers.
        (OMP_SIMD_CLAUSE_MASK): Add simdlen clause.
        (c_parser_omp_simd): Allow ordered clause if it has no parameter.
        (OMP_FOR_CLAUSE_MASK): Add linear clause.
        (c_parser_omp_for): Disallow ordered clause when combined with
        distribute.  Disallow linear clause when combined with distribute
        and not combined with simd.
        (OMP_ORDERED_CLAUSE_MASK, OMP_ORDERED_DEPEND_CLAUSE_MASK): Define.
        (c_parser_omp_ordered): Add CONTEXT argument, remove LOC argument,
        parse clauses and if depend clause is found, don't parse a body.
        (c_parser_omp_parallel): Disallow copyin clause on target parallel.
        Allow target parallel without for after it.
        (OMP_TASK_CLAUSE_MASK): Add priority clause.
        (OMP_TARGET_DATA_CLAUSE_MASK): Add use_device_ptr clause.
        (c_parser_omp_target_data): Diagnose no map clauses or clauses with
        invalid kinds.
        (OMP_TARGET_UPDATE_CLAUSE_MASK): Add depend and nowait clauses.
        (OMP_TARGET_ENTER_DATA_CLAUSE_MASK,
        OMP_TARGET_EXIT_DATA_CLAUSE_MASK): Define.
        (c_parser_omp_target_enter_data, c_parser_omp_target_exit_data): New
        functions.
        (OMP_TARGET_CLAUSE_MASK): Add depend, nowait, private, firstprivate,
        defaultmap and is_device_ptr clauses.
        (c_parser_omp_target): Parse target parallel and target simd.  Set
        OMP_TARGET_COMBINED on combined constructs.  Parse target enter data
        and target exit data.  Diagnose invalid map kinds.
        (OMP_DECLARE_TARGET_CLAUSE_MASK): Define.
        (c_parser_omp_declare_target): Parse OpenMP 4.5 forms of this
        construct.
        (c_parser_omp_declare_reduction): Use STRIP_NOPS when checking for
        &omp_priv.
        (OMP_TASKLOOP_CLAUSE_MASK): Define.
        (c_parser_omp_taskloop): New function.
        (c_parser_omp_construct): Don't handle PRAGMA_OMP_ORDERED here,
        handle PRAGMA_OMP_TASKLOOP.
        (c_parser_cilk_for): Adjust c_finish_omp_clauses callers.
        * c-tree.h (c_finish_omp_clauses): Add two new arguments.
        * c-typeck.c (handle_omp_array_sections_1): Fix comment typo.
        Add IS_OMP argument, handle structure element bases, diagnose
        bitfields, pass IS_OMP recursively, diagnose known zero length
        array sections in depend clauses, handle array sections in reduction
        clause, diagnose negative length even for pointers.
        (handle_omp_array_sections): Add IS_OMP argument, use auto_vec for
        types, pass IS_OMP down to handle_omp_array_sections_1, handle
        array sections in reduction clause, set
        OMP_CLAUSE_MAP_MAYBE_ZERO_LENGTH_ARRAY_SECTION if map could be zero
        length array section, use GOMP_MAP_FIRSTPRIVATE_POINTER for IS_OMP.
        (c_finish_omp_clauses): Add IS_OMP and DECLARE_SIMD arguments.
        Handle new OpenMP 4.5 clauses and new restrictions for the old ones.

2015-10-06  Marek Polacek  <polacek@redhat.com>

        * c-parser.c (c_parser_statement_after_labels): Use
        protected_set_expr_location.
        (c_parser_omp_clause_num_gangs): Likewise.
        (c_parser_omp_clause_num_threads): Likewise.
        (c_parser_omp_clause_num_workers): Likewise.
        (c_parser_omp_clause_vector_length): Likewise.
        (c_parser_omp_clause_num_teams): Likewise.
        (c_parser_omp_clause_thread_limit): Likewise.
        * c-typeck.c (build_c_cast): Likewise.
        (c_cast_expr): Likewise.

2015-10-05  Richard Sandiford  <richard.sandiford@arm.com>

        * c-typeck.c (c_tree_equal): Use real_equal instead of
        REAL_VALUES_EQUAL.

2015-10-04  Jason Merrill  <jason@redhat.com>

        * c-parser.c (c_lex_one_token): Handle @synchronized.
        * c-decl.c (match_builtin_function_types): A declaration of a built-in
        can change whether the function is transaction_safe.

2015-10-02  Marek Polacek  <polacek@redhat.com>

        PR c/67730
        * c-typeck.c (convert_for_assignment): Use the expansion point
        location throughout.

2015-10-02  Marek Polacek  <polacek@redhat.com>

        PR c/64249
        * c-parser.c (c_parser_statement_after_labels): Add CHAIN parameter
        and pass it down to c_parser_if_statement.
        (c_parser_else_body): Add CHAIN parameter and pass it down to
        c_parser_statement_after_labels.
        (c_parser_if_statement): Add CHAIN parameter.  Add code to warn about
        duplicated if-else-if conditions.

2015-10-01  Marek Polacek  <polacek@redhat.com>

        * c-typeck.c (convert_for_assignment): Improve commentary.

2015-09-30  Marek Polacek  <polacek@redhat.com>

        PR c/67730
        * c-typeck.c (c_finish_return): Use the expansion point location for
        certain "return with value" warnings.

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

        * c-parser.c (pragma_lex): Add loc argument.

2015-09-15  Marek Polacek  <polacek@redhat.com>

        PR c/67580
        * c-decl.c (tag_exists_p): New function.
        * c-parser.c (c_parser_declaration_or_fndef): Give a hint when
        struct/union/enum keywords are missing.
        * c-tree.h (tag_exists_p): Declare.

2015-09-15  Marek Polacek  <polacek@redhat.com>

        * c-decl.c (lookup_label): Return NULL_TREE instead of 0.
        (lookup_tag): Change the type of THISLEVEL_ONLY to bool.
        Return NULL_TREE instead of 0.
        (lookup_name): Return NULL_TREE instead of 0.
        (lookup_name_in_scope): Likewise.
        (shadow_tag_warned): Use true instead of 1 and NULL_TREE instead of 0.
        (parser_xref_tag): Use false instead of 0.
        (start_struct): Use true instead of 1.
        (start_enum): Use true instead of 1 and NULL_TREE instead of 0.

2015-09-14  Marek Polacek  <polacek@redhat.com>

        * c-typeck.c (set_nonincremental_init_from_string): Use
        HOST_WIDE_INT_M1U when shifting a negative value.

2015-09-09  Mark Wielaard  <mjw@redhat.com>

        * c-typeck.c (build_binary_op): Check and warn when nonnull arg
        parm against NULL.

2015-09-10  Jakub Jelinek  <jakub@redhat.com>

        PR c/67502
        * c-parser.c (c_parser_omp_for_loop): Emit DECL_EXPR stmts
        into OMP_FOR_PRE_BODY rather than before the loop.

2015-09-09  Jakub Jelinek  <jakub@redhat.com>

        PR c/67501
        * c-parser.c (c_parser_oacc_all_clauses,
        c_parser_omp_all_clauses): Remove invalid clause from
        list of clauses even if parser->error is set.

        PR c/67500
        * c-parser.c (c_parser_omp_clause_aligned,
        c_parser_omp_clause_safelen, c_parser_omp_clause_simdlen): Fix up
        test for errors.
        * c-decl.c (temp_pop_parm_decls): Allow b->decl equal to
        error_mark_node.

        PR c/67495
        * c-parser.c (c_parser_omp_atomic): Use c_parser_cast_expression
        instead of c_parser_unary_expression.  If the result is !lvalue_p,
        wrap the result of c_fully_fold into NON_LVALUE_EXPR.

2015-09-04  Marek Polacek  <polacek@redhat.com>

        PR sanitizer/67279
        * c-typeck.c (build_binary_op): Don't instrument static initializers.

2015-09-03  Martin Sebor  <msebor@redhat.com>

        PR c/66516
        * c-typeck.c (convert_arguments, parser_build_unary_op,
        build_conditional_expr, c_cast_expr, convert_for_assignment,
        build_binary_op, _objc_common_truthvalue_conversion): Call
        reject_gcc_builtin.
        (c_decl_implicit): Define.

2015-09-02  Marek Polacek  <polacek@redhat.com>

        PR c/67432
        * c-parser.c (c_parser_enum_specifier): Give a better error for
        an empty enum.

2015-08-18  Trevor Saunders  <tbsaunde@tbsaunde.org>

        * c-aux-info.c, c-parser.c, c-tree.h: Remove useless typedefs.

2015-08-12  Marek Polacek  <polacek@redhat.com>

        * c-decl.c (grokdeclarator): Call error_at instead of error and pass
        LOC to it.

2015-08-03  Marek Polacek  <polacek@redhat.com>

        PR c/67088
        * c-decl.c (check_bitfield_type_and_width): Add location parameter.
        Use it.
        (grokdeclarator): Pass LOC down to check_bitfield_type_and_width.

2015-08-02  Patrick Palka  <ppalka@gcc.gnu.org>

        * c-parser.c (c_parser_if_body): Take token_indent_info
        argument. Call warn_for_misleading_indentation even when the
        body is a semicolon.  Extract token_indent_infos corresponding
        to the guard, body and next tokens.  Adjust call to
        warn_for_misleading_indentation accordingly.
        (c_parser_else_body): Likewise.
        (c_parser_if_statement): Likewise.
        (c_parser_while_statement): Likewise.
        (c_parser_for_statement): Likewise.

2015-07-28  Luis Felipe Strano Moraes  <luis.strano@gmail.com>
            Manuel López-Ibáñez  <manu@gcc.gnu.org>

        * c-decl.c (get_parm_info): Remove static var. Update warning
        message.

2015-07-27  Marek Polacek  <polacek@redhat.com>

        PR c++/66555
        PR c/54979
        * c-typeck.c (parser_build_binary_op): Call warn_tautological_cmp.

2015-07-20  Marek Polacek  <polacek@redhat.com>

        PR c++/55095
        * c-typeck.c (digest_init): Pass OPT_Wpedantic to pedwarn_init.
        (build_binary_op): Warn about left shift overflows.

2015-07-09  Andrew MacLeod  <amacleod@redhat.com>

        * c-array-notation.c: Adjust includes for flags.h changes.
        * c-objc-common.c: Likewise.

2015-07-07  Andrew MacLeod  <amacleod@redhat.com>

        * c-array-notation.c: Adjust includes.
        * c-aux-info.c: Likewise.
        * c-convert.c: Likewise.
        * c-decl.c: Likewise.
        * c-errors.c: Likewise.
        * c-lang.c: Likewise.
        * c-objc-common.c: Likewise.
        * c-parser.c: Likewise.
        * c-typeck.c: Likewise.

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

        PR fortran/66605
        * c-decl.c (finish_function): Call do_warn_unused_parameter.

2015-06-29  Marek Polacek  <polacek@redhat.com>

        PR c/66322
        * c-typeck.c (struct c_switch): Add BOOL_COND_P and OUTSIDE_RANGE_P.
        (c_start_case): Set BOOL_COND_P and OUTSIDE_RANGE_P.  Don't warn
        about -Wswitch-bool here.
        (do_case): Update c_add_case_label call.
        (c_finish_case): Update c_do_switch_warnings call.

2015-06-27  Marek Polacek  <polacek@redhat.com>

        * c-typeck.c: Use VECTOR_TYPE_P throughout.

2015-06-26  Marek Polacek  <polacek@redhat.com>

        * c-array-notation.c (fix_builtin_array_notation_fn): Use
        INDIRECT_REF_P.
        * c-typeck.c (array_to_pointer_conversion): Likewise.
        (build_unary_op): Likewise.
        (c_finish_return): Likewise.

2015-06-25  Andrew MacLeod  <amacleod@redhat.com>

        * c-decl.c: Remove ipa-ref.h and plugin-api.h from include list.
        * c-parser.c: Likewise.

2015-06-25  Richard Sandiford  <richard.sandiford@arm.com>

        * c-decl.c (detect_field_duplicates_hash): Use nofree_ptr_hash
        instead of pointer_hash.
        (detect_field_duplicates): Likewise.

2015-06-25  Marek Polacek  <polacek@redhat.com>

        * c-array-notation.c: Use VAR_P throughout.
        * c-decl.c: Likewise.
        * c-objc-common.c: Likewise.
        * c-parser.c: Likewise.
        * c-typeck.c: Likewise.

2015-06-25  Marek Polacek  <polacek@redhat.com>

        * c-decl.c: Use is_global_var throughout.
        * c-parser.c: Likewise.
        * c-typeck.c: Likewise.

2015-06-17  Andrew MacLeod  <amacleod@redhat.com>

        * c-array-notation.c: Do not include input.h, line-map.h or is-a.h.
        * c-aux-info.c: Likewise.
        * c-convert.c: Likewise.
        * c-decl.c: Likewise.
        * c-errors.c: Likewise.
        * c-lang.c: Likewise.
        * c-objc-common.c: Likewise.
        * c-parser.c: Likewise.
        * c-typeck.c: Likewise.

2015-06-11  Jan Hubicka  <hubicka@ucw.cz>

        PR middle-end/66325
        * c-decl.c (start_enum): Set TYPE_PACKED consistently among type
        variants.

2015-06-11  Pierre-Marie de Rodat  <derodat@adacore.com>

        * c-decl.c (pop_scope): Register the main translation unit
        through the new debug hook.

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

        * c-array-notation.c : Adjust include files.
        * c-aux-info.c : Likewise.
        * c-convert.c : Likewise.
        * c-decl.c : Likewise.
        * c-errors.c : Likewise.
        * c-lang.c : Likewise.
        * c-lang.h : Likewise.
        * c-objc-common.c : Likewise.
        * c-parser.c : Likewise.
        * c-typeck.c : Likewise.

2015-06-05  Aldy Hernandez  <aldyh@redhat.com>

        * c-decl.c (finish_struct): Save C_TYPE_INCOMPLETE_VARS and
        immediately clobber it.
        (c_write_global_declarations_1): Remove call to
        check_global_declaration_1.
        (c_write_global_declarations_2): Remove.
        (c_write_final_cleanups): Rename from c_write_global_declarations.
        Remove call to finalize_compilation_unit.
        Remove calls to debugging hooks.
        * c-objc-common.c: Adjust comment for c_warn_unused_global_decl.
        * c-objc-common.h: Remove LANG_HOOKS_WRITE_GLOBALS.
        * c-tree.h: Remove c_write_global_declarations.

2015-06-04  Andrew MacLeod  <amacleod@redhat.com>

        * c-array-notation.c: Adjust includes for restructured coretypes.h.
        * c-aux-info.c: Likewise.
        * c-convert.c: Likewise.
        * c-decl.c: Likewise.
        * c-errors.c: Likewise.
        * c-lang.c: Likewise.
        * c-objc-common.c: Likewise.
        * c-parser.c: Likewise.
        * c-typeck.c: Likewise.

2015-06-04  Marek Polacek  <polacek@redhat.com>

        PR c/66341
        * c-typeck.c (build_c_cast): Wrap VALUE into NON_LVALUE_EXPR if
        it is a lvalue.

2015-06-03  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>

        * c-decl.c (warn_cxx_compat_finish_struct): New parameters code, record_loc.
        Warn for empty struct.
        (finish_struct): Pass TREE_CODE(t) and loc to warn_cxx_compat_finish_struct.

2015-06-02  Andres Tiraboschi  <andres.tiraboschi@tallertechnologies.com>

        * c-decl.c (start_function): Call plugin before parsing.
        (finish_function): Call plugin after parsing.

2015-06-02  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>

        PR c/49551
        * c-decl.c (merge_decls): Merge DECL_COMMON.

2015-05-22  Jim Wilson  <jim.wilson@linaro.org>

        * Make-lang.in (check_gcc_pallelize): Define.

2015-05-22  Marek Polacek  <polacek@redhat.com>

        PR c/47043
        * c-parser.c (c_parser_enum_specifier): Parse and apply enumerator
        attributes.

2015-05-21  Marek Polacek  <polacek@redhat.com>

        * c-typeck.c (inform_declaration): Use DECL_IS_BUILTIN instead of
        DECL_BUILT_IN.

2015-05-20  Marek Polacek  <polacek@redhat.com>

        * c-decl.c: Use VAR_OR_FUNCTION_DECL_P throughout.
        * c-typeck.c: Likewise.

2015-05-19  Marek Polacek  <polacek@redhat.com>

        * c-typeck.c (start_init): Use AGGREGATE_TYPE_P.

2015-05-19  Jakub Jelinek  <jakub@redhat.com>

        PR middle-end/66199
        * c-parser.c (c_parser_omp_for_loop): Don't add
        OMP_CLAUSE_SHARED to OMP_PARALLEL_CLAUSES when moving
        OMP_CLAUSE_LASTPRIVATE clause to OMP_FOR_CLAUSES.
        (c_parser_omp_teams): Set OMP_TEAMS_COMBINED for combined
        constructs.

2015-05-19  Mikhail Maltsev  <maltsevm@gmail.com>

        * c-typeck.c (build_array_ref): Use std::swap instead of explicit
        swaps.

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

        PR fortran/44054
        * c-objc-common.c (c_tree_printer): Replace locus pointer with
        accessor function.

2015-05-14  Marek Polacek  <polacek@redhat.com>

        PR c/66066
        PR c/66127
        * c-typeck.c (digest_init): Call pedwarn_init with OPT_Wpedantic
        rather than with 0.

2015-05-12  David Malcolm  <dmalcolm@redhat.com>

        * c-parser.c (c_parser_if_body): Add param "if_loc", use it
        to add a call to warn_for_misleading_indentation.
        (c_parser_else_body): Likewise, adding param "else_loc".
        (c_parser_if_statement): Check for misleading indentation.
        (c_parser_while_statement): Likewise.
        (c_parser_for_statement): Likewise.

2015-05-08  Marek Polacek  <polacek@redhat.com>

        PR c/64918
        * c-typeck.c (add_pending_init): Use OPT_Woverride_init_side_effects.
        (output_init_element): Likewise.

2015-05-07  Marek Polacek  <polacek@redhat.com>

        PR c/65179
        * c-typeck.c (build_binary_op): Warn when left shifting a negative
        value.

2015-04-30  Marek Polacek  <polacek@redhat.com>

        * c-typeck.c (set_init_label): Call error_at instead of error and
        pass LOC to it.

        * c-typeck.c (c_incomplete_type_error): Refactor to use %qT.  Print
        the type of a decl.

        * c-typeck.c (c_build_va_arg): Clarify the error message.

2015-04-29  Thomas Schwinge  <thomas@codesourcery.com>

        * c-parser.c (c_parser_oacc_enter_exit_data): Use
        OMP_STANDALONE_CLAUSES.

2015-04-28  Marek Polacek  <polacek@redhat.com>

        * c-parser.c (c_parser_binary_expression): Remove duplicate line.

2015-04-28  Marek Polacek  <polacek@redhat.com>

        PR c/65901
        * c-typeck.c (c_build_va_arg): Require TYPE be a complete type.

2015-04-25  Marek Polacek  <polacek@redhat.com>

        PR c/52085
        * c-decl.c (finish_enum): Copy over TYPE_ALIGN.  Also check for "mode"
        attribute.

2015-04-23  Marek Polacek  <polacek@redhat.com>

        PR c/65345
        * c-decl.c (set_labels_context_r): New function.
        (store_parm_decls): Call it via walk_tree_without_duplicates.
        * c-typeck.c (convert_lvalue_to_rvalue): Use create_tmp_var_raw
        instead of create_tmp_var.  Build TARGET_EXPR instead of
        COMPOUND_EXPR.
        (build_atomic_assign): Use create_tmp_var_raw instead of
        create_tmp_var.  Build TARGET_EXPRs instead of MODIFY_EXPR.

2015-04-20  Ilya Verbin  <ilya.verbin@intel.com>

        * c-parser.c (c_parser_oacc_enter_exit_data): Remove excess semicolon.
        (c_parser_omp_target_update): Add missed %> to error_at ().

2015-04-10  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>

        PR target/55143
        * c-decl.c (c_default_pointer_mode): Remove definition.
        * c-tree.h (c_default_pointer_mode): Remove declaration.

2015-03-27  Tobias Burnus  <burnus@net-b.de>

        PR c/65586
        * c-parser.c (c_parser_skip_to_pragma_eol): Optionally, don't
        error out.
        (c_parser_omp_for, c_parser_omp_parallel, c_parser_omp_distribute,
        c_parser_omp_teams, c_parser_omp_target, c_parser_omp_declare):
        Update calls to not error for skipped omp pragmas with -fopenmp-simd.

2015-03-19  Jakub Jelinek  <jakub@redhat.com>

        * c-decl.c (c_decl_attributes): Also add "omp declare target"
        attribute for DECL_EXTERNAL VAR_DECLs.

2015-03-11  Jakub Jelinek  <jakub@redhat.com>

        * c-parser.c (c_parse_init): Don't call xstrdup on get_identifier
        argument.

2015-03-10  Jakub Jelinek  <jakub@redhat.com>

        PR c/65120
        * c-typeck.c (parser_build_binary_op): Check for tcc_comparison
        before preparing arguments to warn_logical_not_parentheses.

2015-03-09  Jakub Jelinek  <jakub@redhat.com>

        PR c/65120
        * c-typeck.c (parser_build_binary_op): Don't warn for
        !!x == y or !b == y where b is _Bool.

2015-03-09  Marek Polacek  <polacek@redhat.com>

        * c-convert.c (convert): Make use of do_ubsan_in_current_function.
        * c-decl.c (grokdeclarator): Likewise.
        * c-typeck.c (build_binary_op): Likewise.

2015-02-27  Marek Polacek  <polacek@redhat.com>

        PR c/65228
        * c-decl.c (start_decl): Return NULL_TREE if decl is an error node.

2015-02-14  Marek Polacek  <polacek@redhat.com>

        PR c/64768
        * c-decl.c (grokdeclarator): Set the range of a flexible array member
        declared through a typedef name.

2015-02-13  Marek Polacek  <polacek@redhat.com>

        PR c/65050
        * c-decl.c (grokdeclarator): Print also the type when giving
        the error message about array's incomplete element type.

2015-02-11  Jakub Jelinek  <jakub@redhat.com>

        PR c/64824
        * c-parser.c (c_parser_binary_expression): Fix OpenMP stack[sp].prec
        check in the POP macro.

2015-02-09  Marek Polacek  <polacek@redhat.com>

        PR c/64856
        * c-typeck.c (process_init_element): Don't always wrap
        COMPOUND_LITERAL_EXPR in a SAVE_EXPR in C99 mode when
        initializing a range of elements.

2015-02-04  Jakub Jelinek  <jakub@redhat.com>

        PR c/64824
        PR c/64868
        * c-parser.c (c_parser_omp_atomic): Handle RDIV_EXPR.

2015-02-02  Bruno Loff  <bruno.loff@gmail.com>

        * c-parser.c (c_parser_declspecs): Call invoke_plugin_callbacks after
        processing enum declaration.

2015-01-29  Marek Polacek  <polacek@redhat.com>

        PR c/64709
        * c-typeck.c (pop_init_level): If constructor_elements has
        exactly one element with integer_zerop value, set constructor_zeroinit
        to 1.  Remove braces around warning_init call.

2015-01-27  Jakub Jelinek  <jakub@redhat.com>

        PR c/64766
        * c-typeck.c (store_init_value): Don't overwrite DECL_INITIAL
        of FUNCTION_DECLs with error_mark_node.

2015-01-26  Jakub Jelinek  <jakub@redhat.com>

        PR c/64778
        * c-typeck.c (convert_arguments): Return -1 if there are
        error_args, even if we've diagnosed too many arguments.

2015-01-21  Richard Biener  <rguenther@suse.de>

        PR middle-end/64313
        * c-decl.c (merge_decls): Call set_builtin_decl_declared_p
        for builtins the user declared correctly.

2015-01-15  Thomas Schwinge  <thomas@codesourcery.com>
            Bernd Schmidt  <bernds@codesourcery.com>
            Cesar Philippidis  <cesar@codesourcery.com>
            James Norris  <jnorris@codesourcery.com>
            Jakub Jelinek  <jakub@redhat.com>
            Ilmir Usmanov  <i.usmanov@samsung.com>

        * c-parser.c: Include "gomp-constants.h".
        (c_parser_omp_clause_map): Use enum gomp_map_kind instead of enum
        omp_clause_map_kind.  Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
        Use OMP_CLAUSE_SET_MAP_KIND.
        (c_parser_pragma): Handle PRAGMA_OACC_ENTER_DATA,
        PRAGMA_OACC_EXIT_DATA, PRAGMA_OACC_UPDATE.
        (c_parser_omp_construct): Handle PRAGMA_OACC_CACHE,
        PRAGMA_OACC_DATA, PRAGMA_OACC_KERNELS, PRAGMA_OACC_LOOP,
        PRAGMA_OACC_PARALLEL, PRAGMA_OACC_WAIT.
        (c_parser_omp_clause_name): Handle "auto", "async", "copy",
        "copyout", "create", "delete", "deviceptr", "gang", "host",
        "num_gangs", "num_workers", "present", "present_or_copy", "pcopy",
        "present_or_copyin", "pcopyin", "present_or_copyout", "pcopyout",
        "present_or_create", "pcreate", "seq", "self", "vector",
        "vector_length", "wait", "worker".
        (OACC_DATA_CLAUSE_MASK, OACC_KERNELS_CLAUSE_MASK)
        (OACC_ENTER_DATA_CLAUSE_MASK, OACC_EXIT_DATA_CLAUSE_MASK)
        (OACC_LOOP_CLAUSE_MASK, OACC_PARALLEL_CLAUSE_MASK)
        (OACC_UPDATE_CLAUSE_MASK, OACC_WAIT_CLAUSE_MASK): New macros.
        (c_parser_omp_variable_list): Handle OMP_CLAUSE__CACHE_.
        (c_parser_oacc_wait_list, c_parser_oacc_data_clause)
        (c_parser_oacc_data_clause_deviceptr)
        (c_parser_omp_clause_num_gangs, c_parser_omp_clause_num_workers)
        (c_parser_oacc_clause_async, c_parser_oacc_clause_wait)
        (c_parser_omp_clause_vector_length, c_parser_oacc_all_clauses)
        (c_parser_oacc_cache, c_parser_oacc_data, c_parser_oacc_kernels)
        (c_parser_oacc_enter_exit_data, c_parser_oacc_loop)
        (c_parser_oacc_parallel, c_parser_oacc_update)
        (c_parser_oacc_wait): New functions.
        * c-tree.h (c_finish_oacc_parallel, c_finish_oacc_kernels)
        (c_finish_oacc_data): New prototypes.
        * c-typeck.c: Include "gomp-constants.h".
        (handle_omp_array_sections): Handle GOMP_MAP_FORCE_DEVICEPTR.  Use
        GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.  Use
        OMP_CLAUSE_SET_MAP_KIND.
        (c_finish_oacc_parallel, c_finish_oacc_kernels)
        (c_finish_oacc_data): New functions.
        (c_finish_omp_clauses): Handle OMP_CLAUSE__CACHE_,
        OMP_CLAUSE_NUM_GANGS, OMP_CLAUSE_NUM_WORKERS,
        OMP_CLAUSE_VECTOR_LENGTH, OMP_CLAUSE_ASYNC, OMP_CLAUSE_WAIT,
        OMP_CLAUSE_AUTO, OMP_CLAUSE_SEQ, OMP_CLAUSE_GANG,
        OMP_CLAUSE_WORKER, OMP_CLAUSE_VECTOR, and OMP_CLAUSE_MAP's
        GOMP_MAP_FORCE_DEVICEPTR.

2015-01-09  Michael Collison  <michael.collison@linaro.org>

        * c-array-notation.c: Include hash-set.h, machmode.h,
        vec.h, double-int.h, input.h, alias.h, symtab.h, options.h
        fold-const.h, wide-int.h, and inchash.h due to flattening of tree.h.
        * c-aux-info.c: Ditto.
        * c-convert.c: Ditto.
        * c-decl.c: Ditto.
        * c-errors.c: Ditto.
        * c-lang.c: Dittoxs.
        * c-objc-common.c: Ditto.
        * c-parser.c: Ditto.
        * c-typeck.c: Include hash-set.h, machmode.h,
        vec.h, double-int.h, input.h, alias.h, symtab.h, options.h
        fold-const.h, wide-int.h, inchash.h, real.h and
        fixed-value.h due to flattening of tree.h.

2015-01-07  Marek Polacek  <polacek@redhat.com>

        PR c/64417
        * c-typeck.c (process_init_element): Disallow initialization of
        a flexible array member with a string constant if the structure
        is in an array.

2015-01-05  Jakub Jelinek  <jakub@redhat.com>

        PR sanitizer/64344
        * c-typeck.c (convert_for_assignment, c_finish_return): For
        -fsanitize=float-cast-overflow casts from REAL_TYPE to integer/enum
        types also set in_late_binary_op around convert call.
        * c-convert.c (convert): For -fsanitize=float-cast-overflow REAL_TYPE
        to integral type casts, if not in_late_binary_op, pass c_fully_fold
        result on expr as last argument to ubsan_instrument_float_cast,
        if in_late_binary_op, don't use c_save_expr but save_expr.

        Update copyright years.

2015-01-05  Marek Polacek  <polacek@redhat.com>

        PR c/64423
        * c-typeck.c (build_array_ref): Pass loc down to
        warn_array_subscript_with_type_char.

2014-12-20  Martin Uecker <uecker@eecs.berkeley.edu>

        * 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  <jakub@redhat.com>

        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  <jakub@redhat.com>

        * 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  <polacek@redhat.com>

        PR c/63862
        * c-typeck.c (build_binary_op) <RSHIFT_EXPR, LSHIFT_EXPR>: Don't
        convert the right operand to integer type.

2014-11-25  Marek Polacek  <polacek@redhat.com>

        PR c/63877
        * c-decl.c (start_function): Disable -Wmissing-declarations warning
        for inline functions.

2014-11-21  Jakub Jelinek  <jakub@redhat.com>

        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  <rguenther@suse.de>

        * c-decl.c (c_init_decl_processing): Do not set pedantic_lvalues
        to true.

2014-11-10  Andi Kleen  <ak@linux.intel.com>

        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  <paolo.carlini@oracle.com>

        * c-typeck.c (build_binary_op): Use OPT_Wshift_count_negative and
        OPT_Wshift_count_overflow in the warnings.

2014-10-30  Marek Polacek  <polacek@redhat.com>

        * c-objc-common.c (c_tree_printer) <case 'T'>: For a typedef name,
        print the stripped version as well, if they're not the same.

2014-10-29  Richard Sandiford  <richard.sandiford@arm.com>

        * c-decl.c, c-tree.h, c-typeck.c: Remove redundant enum from
        machine_mode.

2014-10-28  Andrew MacLeod  <amacleod@redhat.com>

        * c-decl.c: Adjust include files.
        * c-parser.c: Ditto.

2014-10-27  Phil Muldoon  <pmuldoon@redhat.com>
            Tom Tromey  <tromey@redhat.com>

        * 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  <amacleod@redhat.com>

        * c-typeck.c: Adjust include files.

2014-10-26  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        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  <polacek@redhat.com>

        PR c/63626
        * c-decl.c (pop_scope): Don't print warning in external_scope.

2014-10-19  Marek Polacek  <polacek@redhat.com>

        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  <polacek@redhat.com>

        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  <polacek@redhat.com>

        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  <polacek@redhat.com>

        PR c/63549
        * c-typeck.c (build_array_ref): Bail if the index in an incomplete
        type.

2014-10-17  Marek Polacek  <polacek@redhat.com>

        * 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  <amodra@gmail.com>

        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  <amacleod@redhat.com>

        * c-decl.c: Adjust include files.

2014-10-14  DJ Delorie  <dj@redhat.com>

        * 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  <anthony.brandon@gmail.com>

        * 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  <polacek@redhat.com>

        PR c/63480
        * c-typeck.c (pop_init_level): Don't warn about initializing
        with { }.

2014-10-07  Marek Polacek  <polacek@redhat.com>

        PR c/59717
        * c-decl.c (header_for_builtin_fn): New function.
        (implicitly_declare): Suggest which header to include.

2014-10-07  Marek Polacek  <polacek@redhat.com>

        * 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  <polacek@redhat.com>

        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  <jakub@redhat.com>

        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  <polacek@redhat.com>

        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  <polacek@redhat.com>

        PR c/62024
        * c-parser.c (c_parser_static_assert_declaration_no_semi): Strip no-op
        conversions.

2014-09-02  Jakub Jelinek  <jakub@redhat.com>
            Balaji V. Iyer  <balaji.v.iyer@intel.com>
            Igor Zamyatin  <igor.zamyatin@intel.com>

        * 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  <gang.chen.5i5j@gmail.com>

        * 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  <polacek@redhat.com>

        PR c++/62199
        * c-typeck.c (parser_build_binary_op): Adjust call to
        warn_logical_not_parentheses.

2014-08-22  Igor Zamyatin  <igor.zamyatin@intel.com>

        PR other/62008
        * c-parser.c (c_parser_array_notation): Check for correct
        type of an array added.

2014-08-19  Marek Polacek  <polacek@redhat.com>

        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  <ppalka@gcc.gnu.org>

        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  <polacek@redhat.com>

        * 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  <polacek@redhat.com>

        * 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  <polacek@redhat.com>

        * c-parser.c (c_parser_postfix_expression) <case RID_FUNCTION_NAME>:
        Add pedwarn.
        (c_parser_postfix_expression) <case RID_PRETTY_FUNCTION_NAME>:
        Likewise.
        (c_parser_postfix_expression) <case RID_C99_FUNCTION_NAME>: Likewise.

2014-08-10 Marek Polacek  <polacek@redhat.com>

        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  <tsaunders@mozilla.com>

        * c-typeck.c: Remove include of pointer-set.h.

2014-08-07  Marek Polacek  <polacek@redhat.com>

        * c-typeck.c (pointer_diff): Remove P - (P + CST) optimization.

2014-08-02  Trevor Saunders  <tsaunders@mozilla.com>

        * c-typeck.c: Use hash_map instead of pointer_map.

2014-08-02  Trevor Saunders  <tsaunders@mozilla.com>

        * c-decl.c: Use hash_set instead of pointer_set.

2014-08-01  Igor Zamyatin  <igor.zamyatin@intel.com>

        PR middle-end/61455
        * c-array-notation.c (expand_array_notations): Handling
        of DECL_EXPR added.

2014-07-31  Marc Glisse  <marc.glisse@inria.fr>

        PR c++/60517
        * c-typeck.c (c_finish_return): Return 0 instead of the address of
        a local variable.

2014-07-30  Tom Tromey  <tromey@redhat.com>

        * c-typeck.c (struct constructor_stack) <designator_depth>: 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  <polacek@redhat.com>

        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  <jakub@redhat.com>

        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  <polacek@redhat.com>

        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  <hubicka@ucw.cz>
            Chen Gang <gang.chen.5i5j@gmail.com>

        * c-decl.c (duplicate_decls): CLear DECL_STRUCT_FUNCTION before
        releasing symbol.

2014-07-01  Marek Polacek  <polacek@redhat.com>

        * c-typeck.c (convert_for_assignment): Pass OPT_Wint_conversion
        instead of 0 to WARN_FOR_ASSIGNMENT.

2014-07-01  Marek Polacek  <polacek@redhat.com>

        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  <polacek@redhat.com>

        * c-decl.c (grokdeclarator): Don't instrument VLAs if the function
        has no_sanitize_undefined attribute.

2014-06-30  Igor Zamyatin  <igor.zamyatin@intel.com>

        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  <sebastian.huber@embedded-brains.de>

        * 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  <polacek@redhat.com>

        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  <jakub@redhat.com>

        * c-typeck.c (c_finish_omp_clauses): Make sure
        OMP_CLAUSE_LINEAR_STEP has correct type.

2014-06-24  Trevor Saunders  <tsaunders@mozilla.com>

        * c-decl.c: Adjust.

2014-06-24  Jakub Jelinek  <jakub@redhat.com>

        * 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  <polacek@redhat.com>

        * 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  <hubicka@ucw.cz>

        * c-parser.c (c_parser_omp_threadprivate): Likewise.
        * c-decl.c (merge_decls): Likewise.

2014-06-09  Marek Polacek  <polacek@redhat.com>

        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  <hubicka@ucw.cz>

        * c-decl.c (merge_decls): Use set_decl_section_name.
        (duplicate_decls): Remove node if it exists.

2014-06-05  S. Gilles  <sgilles@terpmail.umd.edu>

        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  <polacek@redhat.com>

        PR c/56724
        * c-typeck.c (convert_for_assignment): Use expr_loc for ic_argpass.

2014-06-05  Marek Polacek  <polacek@redhat.com>

        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  <polacek@redhat.com>

        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  <igor.zamyatin@intel.com>

        PR c/58942
        * c-array-notation.c (fix_builtin_array_notation_fn): Handle the case
        with a pointer.

2014-06-03  Marek Polacek  <polacek@redhat.com>

        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  <amacleod@redhat.com>

        * c-decl.c: Include builtins.h.
        * c-parser.c: Likewise.

2014-05-27  Marek Polacek  <polacek@redhat.com>

        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  <igor.zamyatin@intel.com>

        PR c/61191
        * c-array-notation.c (fix_builtin_array_notation_fn): Check invalid
        function parameters.

2014-05-23  Jan Hubicka  <hubicka@ucw.cz>

        * c-decl.c (merge_decls): Preserve symtab node pointers.
        (duplicate_decls): Free new decl.

2014-05-23  Thomas Schwinge  <thomas@codesourcery.com>

        * 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  <thomas@codesourcery.com>

        * c-parser.c (c_parser_omp_clause_thread_limit): Rename
        num_teams_loc variable to num_thread_limit_loc.

2014-05-21  Richard Sandiford  <rsandifo@linux.vnet.ibm.com>

        * c-array-notation.c (expand_array_notations): Use void_node
        instead of void_zero_node.

2014-05-17  Trevor Saunders  <tsaunders@mozilla.com>

        * 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  <polacek@redhat.com>

        PR c/61162
        * c-typeck.c (convert_for_assignment): Pass location to
        WARN_FOR_ASSIGNMENT instead of input_location.

2014-05-10  Marek Polacek  <polacek@redhat.com>

        * 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  <polacek@redhat.com>

        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  <polacek@redhat.com>

        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  <polacek@redhat.com>

        PR c/61053
        * c-decl.c (grokdeclarator): Use min_align_of_type instead of
        TYPE_ALIGN_UNIT.

2014-05-08  Marek Polacek  <polacek@redhat.com>

        PR c/61077
        * c-decl.c (start_function): Warn for _Atomic-qualified return type
        of main.

2014-05-06  Kenneth Zadeck  <zadeck@naturalbridge.com>
            Mike Stump  <mikestump@comcast.net>
            Richard Sandiford  <rdsandiford@googlemail.com>

        * 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  <polacek@redhat.com>

        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  <polacek@redhat.com>

        * c-typeck.c (c_finish_return): Separate warning_at calls.

2014-05-02  Marek Polacek  <polacek@redhat.com>

        * 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  <law@redhat.com>

        Revert:

        2014-04-24  Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>
        * c-parser.c (c_parser_sizeof_expression): Reorganize slightly to
        avoid goto.

2014-05-02  Marek Polacek  <polacek@redhat.com>

        PR c/60784
        * c-typeck.c (push_init_level): Set constructor_designated to
        p->designated for structures.

2014-05-01  Marek Polacek  <polacek@redhat.com>

        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  <polacek@redhat.com>

        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  <polacek@redhat.com>

        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  <polacek@redhat.com>

        PR c/29467
        * c-decl.c (declspecs_add_type): Pedwarn if boolean types are used
        in C89 mode.

2014-05-01  Marek Polacek  <polacek@redhat.com>

        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  <polacek@redhat.com>

        PR c/56989
        * c-typeck.c (default_conversion): Use better location for
        error call.

2014-04-30  Marek Polacek  <polacek@redhat.com>

        * c-typeck.c (build_binary_op): Call ubsan_instrument_division
        also when SANITIZE_FLOAT_DIVIDE is on.

2014-04-30  Marek Polacek  <polacek@redhat.com>

        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  <polacek@redhat.com>

        PR c/60351
        * c-typeck.c (build_binary_op): Use location when warning about
        shift count.

2014-04-25  Marek Polacek  <polacek@redhat.com>

        PR c/18079
        * c-decl.c (diagnose_mismatched_decls): Warn for mismatched
        always_inline/noinline and hot/cold attributes.

2014-04-25  Marek Polacek  <polacek@redhat.com>

        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  <jakub@redhat.com>

        * 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  <jakub@redhat.com>

        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  <igor.zamyatin@intel.com>

        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  <jakub@redhat.com>

        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  <manu@gcc.gnu.org>

        PR c/55383
        * c-typeck.c: Use correct format string in cast-qual warning

2014-03-07  Thomas Schwinge  <thomas@codesourcery.com>

        * 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  <polacek@redhat.com>

        PR c/60197
        * c-typeck.c (c_finish_return): Call contains_cilk_spawn_stmt instead
        of checking tree code.

2014-02-19  Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>

        * c-parser.c (c_parser_declspecs): Replace call to error by error_at.
        (c_parser_parameter_declaration): Likewise.

2014-02-19  Marek Polacek  <polacek@redhat.com>

        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  <bilbotheelffriend@gmail.com>

        * 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  <polacek@redhat.com>

        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  <polacek@redhat.com>

        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  <rguenther@suse.de>

        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  <balaji.v.iyer@intel.com>

        * 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  <polacek@redhat.com>

        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  <polacek@redhat.com>

        PR c/58346
        * c-typeck.c (pointer_diff): Give an error on arithmetic on pointer to
        an empty aggregate.

2014-01-23  Marek Polacek  <polacek@redhat.com>

        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  <balaji.v.iyer@intel.com>

        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  <balaji.v.iyer@intel.com>

        * c-parser.c (c_finish_omp_declare_simd): Made "cilk simd function"
        attribute an attribute without value.

2014-01-23  Jakub Jelinek  <jakub@redhat.com>

        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  <polacek@redhat.com>

        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  <jakub@redhat.com>

        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  <balaji.v.iyer@intel.com>

        PR c++/59631
        * c-parser.c (c_parser_postfix_expression): Replaced consecutive if
        statements with if-elseif statements.

2014-01-06  Marek Polacek  <polacek@redhat.com>

        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  <rdsandiford@googlemail.com>

        Update copyright years

2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>

        * c-array-notation.c: Use the standard form for the copyright notice.

2013-12-18  Balaji V. Iyer  <balaji.v.iyer@intel.com>

        * 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  <thomas@codesourcery.com>

        * c-parser.c (c_parser_omp_parallel): Fix description.

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.

2013-12-04  Joseph Myers  <joseph@codesourcery.com>

        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  <polacek@redhat.com>

        PR c/54113
        * c-decl.c (start_function): Don't warn for missing prototype for
        inline functions.

2013-12-03  Marek Polacek  <polacek@redhat.com>

        PR c/59351
        * c-decl.c (build_compound_literal): Allow compound literals with
        empty initial value.

2013-12-02  Joseph Myers  <joseph@codesourcery.com>

        PR c/58235
        * c-typeck.c (build_modify_expr): Diagnose assignment to
        expression with array type.

2013-11-29  Joseph Myers  <joseph@codesourcery.com>

        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  <joseph@codesourcery.com>

        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  <jakub@redhat.com>

        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  <aldyh@redhat.com>
            Jakub Jelinek  <jakub@redhat.com>

        * c-decl.c (c_builtin_function_ext_scope): Avoid binding if
        external_scope is NULL.

2013-11-27  Tom de Vries  <tom@codesourcery.com>
            Marc Glisse  <marc.glisse@inria.fr>

        PR c++/59032
        * c-typeck.c (build_unary_op): Allow vector increment and decrement.

2013-11-22  Andrew MacLeod  <amacleod@redhat.com>

        * c-typeck.c: Add required include files from gimple.h.

2013-11-22  David Malcolm  <dmalcolm@redhat.com>

        * 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  <rdsandiford@googlemail.com>

        * c-decl.c (grokdeclarator): Update comment to refer to
        tree_to_[su]hwi rather than tree_low_cst.

2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>

        * c-decl.c, c-typeck.c: Replace tree_low_cst (..., 1) with
        tree_to_uhwi throughout.

2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>

        * c-parser.c: Replace tree_low_cst (..., 0) with tree_to_shwi
        throughout.

2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>

        * c-parser.c: Replace host_integerp (..., 0) with tree_fits_shwi_p
        throughout.

2013-11-15  Aldy Hernandez  <aldyh@redhat.com>

        * 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  <amacleod@redhat.com>

        * c-typeck.c: Include only gimplify.h and gimple.h as needed.

2013-11-14  Diego Novillo  <dnovillo@google.com>

        * 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  <joseph@codesourcery.com>

        * 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  <amacleod@redhat.com>

        * c-typeck.c: Include gimplify.h.

2013-11-12  Joseph Myers  <joseph@codesourcery.com>

        * 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  <joseph@codesourcery.com>
            Andrew MacLeod  <amacleod@redhat.com>

        * 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  <dj@redhat.com>

        * 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  <burnus@net-b.de>

        * 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  <polacek@redhat.com>

        * c-decl.c (grokdeclarator): Add VLA instrumentation.

2013-11-01  Jakub Jelinek  <jakub@redhat.com>

        * c-typeck.c (c_finish_omp_clauses) <case OMP_CLAUSE_UNIFORM>: Go to
        check_dup_generic at the end, unless remove is true.
        (c_finish_omp_clauses) <case OMP_CLAUSE_REDUCTION>: Add break; after
        remove = true;.
        (c_finish_omp_clauses) <case OMP_CLAUSE_COPYIN>: Likewise.

2013-10-31  Jakub Jelinek  <jakub@redhat.com>

        * c-typeck.c (c_finish_omp_clauses): Diagnose aligned clause
        with decl that is not pointer nor array.

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.
        
2013-10-27  Tobias Burnus  <burnus@net-b.de>

        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  <burnus@net-b.de>

        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  <polacek@redhat.com>

        * c-parser.c (c_parser_struct_declaration): Add a comment.
        (c_parser_declarator): Don't allow _Alignas here.

2013-10-17  Andrew MacLeod  <amacleod@redhat.com>

        * c-parser.c: Include omp-low.h.
        * c-typeck.c: Likewise.

2013-10-17  Marek Polacek  <polacek@redhat.com>

        PR c/58267
        * c-parser.c (c_parser_declspecs): Add alignspec_ok parameter.
        Document syntax of the array-declarator.
        (c_parser_declspecs) <RID_ALIGNAS>: 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  <jakub@redhat.com>

        * 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  <tromey@redhat.com>

        * 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  <tromey@redhat.com>

        * Make-lang.in (c/gccspec.o): Don't use subshell.

2013-09-18  Marek Polacek  <polacek@redhat.com>

        PR sanitize/58443
        * c-typeck.c (build_binary_op): Properly honor -fsanitize options.
        Remove unnecessary check.

2013-09-18  Marek Polacek  <polacek@redhat.com>

        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  <ktietz@redhat.com>

        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  <joern.rennecke@embecosm.com>

        * c-typeck.c (build_binary_op): Use vector_types_compatible_elements_p.

2013-09-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        * c-objc-common.c (c_tree_printer): Tidy.

2013-08-30  Marek Polacek  <polacek@redhat.com>

        * c-typeck.c (build_binary_op): Add division by zero and shift
        instrumentation.

2013-08-26  Joern Rennecke  <joern.rennecke@embecosm.com>
            Joseph Myers  <joseph@codesourcery.com>

        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  <gdr@integrable-solutions.net>

        * 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  <gdr@integrable-solutions.net>

        * c-objc-common.c (c_initialize_diagnostics): Simplify C pretty
        printer initialization.

2013-08-19  Balaji V. Iyer  <balaji.v.iyer@intel.com>

        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  <gdr@integrable-solutions.net>

        * c-objc-common.c (c_initialize_diagnostics): Don't call pp_base.

2013-07-23  Joseph Myers  <joseph@codesourcery.com>

        * c-parser.c (struct c_generic_association): Fix typo.

2013-07-23  Tom Tromey  <tromey@redhat.com>
            Joseph Myers  <joseph@codesourcery.com>

        * 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  <jason@redhat.com>

        PR c++/57793
        * c-decl.c (finish_struct): Check for too-large class.

2013-07-04  Joern Rennecke  <joern.rennecke@embecosm.com>

        PR c/57821
        * c-typeck.c (set_init_index): When folding, check for index overflow.

2013-06-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>

        * c-parser.c (c_parser_array_notation): Removed rejection of array
        notations in an array of function pointers.

2013-06-21  Balaji V. Iyer  <balaji.v.iyer@intel.com>

        * 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  <polacek@redhat.com>

        PR c/57630
        * c-decl.c (check_for_loop_decls): Improve diagnostics messages.

2013-06-12  Balaji V. Iyer  <balaji.v.iyer@intel.com>

        * 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  <balaji.v.iyer@intel.com>

        * 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  <balaji.v.iyer@intel.com>

        * c-array-notation.c (expand_array_notation_exprs): Added
        ARRAY_NOTATION_REF case.
        
2013-06-07  Balaji V. Iyer  <balaji.v.iyer@intel.com>

        * 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  <balaji.v.iyer@intel.com>

        * 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  <balaji.v.iyer@intel.com>

        * 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  <balaji.v.iyer@intel.com>

        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  <ro@CeBiTec.Uni-Bielefeld.DE>

        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  <balaji.v.iyer@intel.com>

        * 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  <mikestump@comcast.net>

        * c-typeck.c (convert_for_assignment): Handle references to memory
        spaces better.

2013-05-16  Jason Merrill  <jason@redhat.com>

        * Make-lang.in (cc1$(exeext)): Use link mutex.

2013-04-24  Paolo Carlini  <paolo.carlini@oracle.com>

        * c-typeck.c (pointer_diff): Change -Wpointer-arith pedwarns
        to simply use OPT_Wpointer_arith.
        (build_unary_op): Likewise.

2013-04-03  Jakub Jelinek  <jakub@redhat.com>

        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  <rguenther@suse.de>

        * 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  <polacek@redhat.com>

        PR c/44938
        * c-parser.c (c_parser_postfix_expression_after_primary): Initialize
        origtypes to NULL.

2013-01-24  Jakub Jelinek  <jakub@redhat.com>

        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  <jakub@redhat.com>

        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  <jakub@redhat.com>

        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  <dnovillo@google.com>

        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  <jwakely.gcc@gmail.com>

        PR c++/54930
        * c-typeck.c (c_finish_return): Use OPT_Wreturn_local_addr.

2012-10-29  Manuel López-Ibáñez  <manu@gcc.gnu.org>

        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  <jakub@redhat.com>

        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  <crowl@google.com>

        * 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  <paolo.carlini@oracle.com>

        PR c++/54194
        * c-typeck.c (parser_build_binary_op): Update warn_about_parentheses
        call.

2012-10-09  Marc Glisse  <marc.glisse@inria.fr>

        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  <charlet@adacore.com>

        * c-decl.c (c_write_global_declarations): Fix handling of
        -fdump-ada-spec*.

2012-09-30  Sharad Singhai  <singhai@google.com>

        * c-decl.c (c_write_global_declarations): Use a different method
        to determine if the dump has ben initialized.

2012-09-14  Joseph Myers  <joseph@codesourcery.com>

        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  <joseph@codesourcery.com>

        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  <jakub@redhat.com>

        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  <jakub@redhat.com>

        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  <jakub@redhat.com>

        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  <jakub@redhat.com>

        * 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  <ubizjak@gmail.com>

        * c-lang.h (lang_decl): Add variable_size GTY option.

2012-07-16  Steven Bosscher  <steven@gcc.gnu.org>

        * c-decl.c: Include dumpfile.h instead of tree-dump.h.
        * Make-lang.in: Fix dependencies.

2012-06-29  Steven Bosscher  <steven@gcc.gnu.org>

        * 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.
\f
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.