[gcc.git] / gcc / c / ChangeLog

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-2013 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.