equal
deleted
inserted
replaced
318 } |
318 } |
319 |
319 |
320 |
320 |
321 // Return true if the interpreter can prove that the given bytecode has |
321 // Return true if the interpreter can prove that the given bytecode has |
322 // not yet been executed (in Java semantics, not in actual operation). |
322 // not yet been executed (in Java semantics, not in actual operation). |
323 bool AbstractInterpreter::is_not_reached(methodHandle method, int bci) { |
323 bool AbstractInterpreter::is_not_reached(const methodHandle& method, int bci) { |
324 Bytecodes::Code code = method()->code_at(bci); |
324 Bytecodes::Code code = method()->code_at(bci); |
325 |
325 |
326 if (!Bytecodes::must_rewrite(code)) { |
326 if (!Bytecodes::must_rewrite(code)) { |
327 // might have been reached |
327 // might have been reached |
328 return false; |
328 return false; |