aboutsummaryrefslogtreecommitdiff
path: root/gcc/java/verify-impl.c
AgeCommit message (Collapse)AuthorFilesLines
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