aboutsummaryrefslogtreecommitdiff
path: root/gcc/java/verify-impl.c
AgeCommit message (Collapse)AuthorFilesLines
2008-06-20collect2.c (main, [...]): Fix for -Wc++-compat.Kaveh R. Ghazi1-3/+3
* collect2.c (main, add_to_list): Fix for -Wc++-compat. * gcc.c (translate_options, init_spec, store_arg, read_specs, add_to_obstack, file_at_path, find_a_file, execute, add_preprocessor_option, add_assembler_option, add_linker_option, process_command, insert_wrapper, do_option_spec, do_self_spec, spec_path, do_spec_1, is_directory, main, used_arg, getenv_spec_function): Likewise. * tlink.c (symbol_hash_lookup, file_hash_lookup, demangled_hash_lookup, symbol_push, file_push, frob_extension): Likewise. java: * class.c (ident_subst, mangled_classname, unmangle_classname, gen_indirect_dispatch_tables, add_method_1, build_fieldref_cache_entry, make_local_function_alias, layout_class, java_treetreehash_find, java_treetreehash_new, split_qualified_name): Fix for -Wc++-compat. * constants.c (set_constant_entry, cpool_for_class): Likewise. * decl.c (make_binding_level, java_dup_lang_specific_decl, start_java_method): Likewise. * except.c (prepare_eh_table_type): Likewise. * expr.c (type_assertion_hash, note_instructions): Likewise. * java-tree.h (MAYBE_CREATE_VAR_LANG_DECL_SPECIFIC, MAYBE_CREATE_TYPE_TYPE_LANG_SPECIFIC): Likewise. * jcf-io.c (jcf_filbuf_from_stdio, opendir_in_zip, find_class): Likewise. * jcf-parse.c (reverse, java_read_sourcefilenames, annotation_grow, rewrite_reflection_indexes, java_parse_file, process_zip_dir): Likewise. * jcf-path.c (add_entry, add_path, jcf_path_init, jcf_path_extdirs_arg): Likewise. * jcf-reader.c (jcf_parse_constant_pool): Likewise. * jvgenmain.c (do_mangle_classname): Likewise. * lang.c (put_decl_string): Likewise. * verify-impl.c (make_state_copy, make_state, add_new_state): Likewise. objc: * objc-act.c (setup_string_decl, objc_build_string_object, hash_interface, eq_interface, objc_begin_try_stmt, encode_method_prototype, build_ivar_list_initializer, objc_build_encode_expr): Fix for -Wc++-compat. From-SVN: r136980
2007-07-25c-common.c (fname_as_string, [...]): Constify.Kaveh R. Ghazi1-4/+4
* c-common.c (fname_as_string, c_type_hash): Constify. * c-typeck.c (free_all_tagged_tu_seen_up_to): Likewise. * cgraph.c (edge_hash, edge_eq): Likewise. * dwarf2out.c (decl_die_table_eq, decl_loc_table_eq): Likewise. * emit-rtl.c (mem_attrs_htab_eq, reg_attrs_htab_hash, reg_attrs_htab_eq): Likewise. * except.c (t2r_eq, t2r_hash, ttypes_filter_eq, ehl_hash, ehl_eq): Likewise. * genautomata.c (const_reserv_sets_t, const_unit_decl_t, const_decl_t, const_state_t, const_automata_list_el_t): New. (first_out_arc, DECL_UNIT, DECL_BYPASS, DECL_AUTOMATON, DECL_EXCL, DECL_PRESENCE, DECL_ABSENCE, DECL_RESERV, DECL_INSN_RESERV, automaton_decl_hash, automaton_decl_eq_p, insn_decl_hash, insn_decl_eq_p, decl_hash, decl_eq_p, alt_state_cmp, reserv_sets_cmp, reserv_sets_eq, state_hash, state_eq_p, automata_list_hash, automata_list_eq_p, compare_states_for_equiv, compare_max_occ_cycle_nums, out_state_arcs_num, compare_transition_els_num, units_cmp, state_reservs_cmp): Constify. * genmodes.c (cmp_modes): Likewise. * ggc-common.c (saving_htab_hash, saving_htab_eq): Likewise. * gimplify.c (compare_case_labels): Likewise. * ipa-type-escape.c (get_name_of_type, type_brand_s): Likewise. * loop-unroll.c (si_info_hash, ve_info_hash): Likewise. * matrix-reorg.c (mtt_info_hash): Likewise. * postreload-gcse.c (hash_expr_for_htab, expr_equiv_p): Likewise. * rtl-factoring.c (const_p_hash_bucket, const_p_hash_elem): New. (htab_hash_bucket, htab_hash_elem): Constify. * tree-browser.c (TB_parent_eq): Likewise. * tree-scalar-evolution.c (hash_scev_info): Likewise. * tree-ssa-alias.c (sort_tags_by_id): Likewise. * tree-ssa-coalesce.c (const_coalesce_pair_p): New. (coalesce_pair_map_hash, coalesce_pair_map_eq, compare_pairs): Constify. * tree-ssa-dom.c (avail_expr_hash, avail_expr_eq): Likewise. * tree-ssa-pre.c (const_expr_pred_trans_t): New. (expr_pred_trans_hash, expr_pred_trans_eq): Constify. * tree-ssa-sccvn.c (const_vn_binary_op_t, const_vn_unary_op_t, const_vn_phi_t, const_vn_reference_op_t, const_vn_reference_t): New. (vn_reference_op_eq, vn_reference_hash, vn_reference_eq, vn_unary_op_hash, vn_unary_op_eq, vn_binary_op_hash, vn_binary_op_eq, vn_phi_hash, vn_phi_eq): Constify. * tree-ssa-threadupdate.c (redirection_data_hash, redirection_data_eq): Likewise. * tree-ssa-uncprop.c (equiv_hash, equiv_eq): Likewise. * tree-ssa.c (var_ann_eq): Likewise. * tree-vrp.c (compare_case_labels): Likewise. * tree.c (int_cst_hash_hash, int_cst_hash_eq, tree_map_base_marked_p, type_hash_marked_p, tree_check_failed, tree_not_check_failed, tree_class_check_failed, tree_range_check_failed, tree_not_class_check_failed, omp_clause_check_failed, omp_clause_range_check_failed, tree_contains_struct_check_failed, tree_operand_check_failed): Likewise. * tree.h (tree_contains_struct_check_failed, tree_check_failed, tree_not_check_failed, tree_class_check_failed, tree_range_check_failed, tree_not_class_check_failed, tree_operand_check_failed, omp_clause_operand_check_failed, tree_operand_length): Likewise. * var-tracking.c (const_variable): New. (variable_htab_hash, variable_htab_eq): Constify. * varasm.c (const_desc_hash): Likewise. cp: * decl.c (typename_hash, typename_compare): Constify. * mangle.c (hash_type, compare_type): Likewise. * pt.c (eq_local_specializations, hash_local_specialization): Likewise. * tree.c (cplus_array_hash, cplus_array_compare, list_hash_eq, list_hash): Likewise. * typeck2.c (pat_compare): Likewise. fortran: * gfortran.h (generate_isocbinding_symbol): Constify. * symbol.c (gen_special_c_interop_ptr, gen_cptr_param, generate_isocbinding_symbol): Likewise. java: * class.c (java_treetreehash_hash, java_treetreehash_compare): Constify. * expr.c (type_assertion_eq): Likewise. * jcf-io.c (compare_path): Likewise. * jcf-parse.c (cmpstringp): Likewise. * verify-impl.c (get_one_type, compute_argument_types, compute_return_type): Likewise. objc: * objc-act.c (volatilized_hash, volatilized_eq, string_hash, string_eq): Constify. From-SVN: r126925
2006-05-26expr.c (java_push_constant_from_pool): Handle 'ldc class'.Tom Tromey1-0/+4
* expr.c (java_push_constant_from_pool): Handle 'ldc class'. * verify-glue.c (vfy_class_type): New function. * verify-impl.c (check_constant): Allow 'ldc class'. * verify.h (vfy_class_type): Declare. From-SVN: r114135
2006-05-16verify-impl.c (verify_instructions_0): Special case for Object.<init>.Tom Tromey1-4/+6
* verify-impl.c (verify_instructions_0) <op_return>: Special case for Object.<init>. From-SVN: r113830
2006-02-03java-gimplify.c: Use gcc_assert and gcc_unreachable throughout.Ben Elliston1-3/+2
* java-gimplify.c: Use gcc_assert and gcc_unreachable throughout. * typeck.c: Likewise. * verify-impl.c: Likewise. * class.c: Likewise. * decl.c: Likewise. * jcf-parse.c: Likewise. * constants.c: Likewise. * check-init.c: Likewise. * jcf-write.c: Likewise. * verify-glue.c: Likewise. * mangle.c: Likewise. * expr.c: Likewise. * lang.c: Likewise. * boehm.c: Likewise. From-SVN: r110541
2005-07-22tree-ssa-structalias.c (merge_graph_nodes): Fix uninitialised warnings.Manfred Hollstein1-3/+3
gcc/ChangeLog: * tree-ssa-structalias.c (merge_graph_nodes): Fix uninitialised warnings. (int_add_graph_edge): Likewise. (collapse_nodes): Likewise. (process_unification_queue): Likewise. gcc/cp/ChangeLog: * parser.c (cp_parser_declaration): Fix unitialised warnings. gcc/fortran/ChangeLog: * match.c (gfc_match_symbol): Fix uninitialised warnings. * matchexp.c (gfc_match_expr): Likewise. gcc/java/ChangeLog: * verify-impl.c (check_class_constant): Fix uninitialised warnings. (check_constant): Likewise. (check_wide_constant): Likewise. From-SVN: r102273
2005-06-24verify-impl.c (verify_instructions_0): Correctly handle situation where PC ↵Tom Tromey1-4/+6
falls off end. gcc/java/: * verify-impl.c (verify_instructions_0): Correctly handle situation where PC falls off end. libjava/: * verify.cc (verify_instructions_0): Correctly handle situation where PC falls off end. From-SVN: r101299
2005-06-09gjavah.c (error): Add ATTRIBUTE_PRINTF_1.Kaveh R. Ghazi1-9/+4
* gjavah.c (error): Add ATTRIBUTE_PRINTF_1. * java-tree.h (parse_error_context): Move... * parse.h (parse_error_context): ... here, add ATTRIBUTE_GCC_DIAG. * parse.y (parse_warning_context): Add ATTRIBUTE_GCC_DIAG. * verify-impl.c (debug_print): Add ATTRIBUTE_PRINTF_1. From-SVN: r100795
2005-03-07[multiple changes]Bryce McKinlay1-160/+3
2005-03-04 Bryce McKinlay <mckinlay@redhat.com> * verify-glue.c (vfy_is_assignable_from): Perform static check using can_widen_reference_to if the C++ ABI is in use. (vfy_get_interface_count, vfy_get_interface): Remove unused functions. * verify-impl.c (debug_print, make_utf8_const, init_type, copy_type, type_isresolved, init_state, set_pc, state_get_pc, _Jv_BytecodeVerifier): Clean up unused and disabled functions. (verify_fail): Report the current PC from the verifier context. (free_state): Remove #if 0 block to enable this function. (free_verifier_context): Call free_state on state_list iterator values before freeing them. * expr.c (pop_type_0): Pop correct type for error message when stack contains a multi-word type. 2005-03-04 Ranjit Mathew <rmathew@hotmail.com> * expr.c (build_java_array_length_access): Remove !flag_new_verifier for known NULL array length access. From-SVN: r96044
2005-02-22re PR java/20056 ('verification failed: incompatible type on stack' with ↵Tom Tromey1-17/+38
--indirect-dispatch) PR java/20056: * verify-impl.c (EITHER): New define. (types_compatible): Handle it. (check_field_constant): Use it. From-SVN: r95404
2005-02-19re PR java/20056 ('verification failed: incompatible type on stack' with ↵Tom Tromey1-2/+3
--indirect-dispatch) PR java/20056: * verify-impl.c (types_equal): Fixed test. From-SVN: r95267
2005-02-19re PR java/20056 ('verification failed: incompatible type on stack' with ↵Tom Tromey1-13/+32
--indirect-dispatch) PR java/20056: * verify-glue.c (vfy_class_has_field): New function. * verify.h (vfy_class_has_field): Declare. * verify-impl.c (check_field_constant): Added 'putfield' argument. (verify_instructions_0): Updated. (types_equal): New function. From-SVN: r95258
2005-01-17verify-impl.c (get_short): Sign extend.Tom Tromey1-3/+6
* verify-impl.c (get_short): Sign extend. (get_int): Likewise. From-SVN: r93772
2004-11-25verify-impl.c (vfy_push_type): Removed bogus "return".Tom Tromey1-3/+6
* verify-impl.c (vfy_push_type): Removed bogus "return". (initialize_stack): Use vfy_alloc and vfy_free. (verify_instructions_0): Likewise. From-SVN: r91276
2004-11-25* Merged gcj-abi-2-dev-branch to trunk.Tom Tromey1-0/+3418
(Actual changes too large to list in the commit message; see ChangeLog.) From-SVN: r91270