Mercurial > hg > graal-jvmci-8
diff src/share/vm/interpreter/bytecodes.hpp @ 22916:6b65121b3258
7127066: Class verifier accepts an invalid class file
Summary: For *store bytecodes, compare incoming, not outgoing, type state with exception handlers' stack maps.
Reviewed-by: acorn, dholmes
author | hseigel |
---|---|
date | Wed, 25 Mar 2015 08:16:48 -0400 |
parents | 600c44255e5f |
children | 32b682649973 |
line wrap: on
line diff
--- a/src/share/vm/interpreter/bytecodes.hpp Thu Mar 19 15:25:54 2015 +0100 +++ b/src/share/vm/interpreter/bytecodes.hpp Wed Mar 25 08:16:48 2015 -0400 @@ -1,5 +1,5 @@ /* - * Copyright (c) 1997, 2012, Oracle and/or its affiliates. All rights reserved. + * Copyright (c) 1997, 2015, Oracle and/or its affiliates. All rights reserved. * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. * * This code is free software; you can redistribute it and/or modify it @@ -420,6 +420,7 @@ static bool is_astore (Code code) { return (code == _astore || code == _astore_0 || code == _astore_1 || code == _astore_2 || code == _astore_3); } + static bool is_store_into_local(Code code){ return (_istore <= code && code <= _astore_3); } static bool is_const (Code code) { return (_aconst_null <= code && code <= _ldc2_w); } static bool is_zero_const (Code code) { return (code == _aconst_null || code == _iconst_0 || code == _fconst_0 || code == _dconst_0); }