Commit 215a2fa4 authored by Jochen Eisinger's avatar Jochen Eisinger Committed by Commit Bot

Correctly annotate v8::Message API methods

Retrieving information from a message should never execute script or
throw exceptions.

BUG=v8:5830
R=mmoroz@chromium.org,yangguo@chromium.org

Change-Id: Ie8a84ca2cc14eb41ceaf4162d8a5381a20d559bc
Reviewed-on: https://chromium-review.googlesource.com/455740
Commit-Queue: Jochen Eisinger <jochen@chromium.org>
Reviewed-by: 's avatarYang Guo <yangguo@chromium.org>
Cr-Commit-Position: refs/heads/master@{#43883}
parent 3fa26338
...@@ -2693,7 +2693,7 @@ void v8::TryCatch::SetCaptureMessage(bool value) { ...@@ -2693,7 +2693,7 @@ void v8::TryCatch::SetCaptureMessage(bool value) {
Local<String> Message::Get() const { Local<String> Message::Get() const {
i::Isolate* isolate = Utils::OpenHandle(this)->GetIsolate(); i::Isolate* isolate = Utils::OpenHandle(this)->GetIsolate();
ENTER_V8(isolate); ENTER_V8_NO_SCRIPT_NO_EXCEPTION(isolate);
EscapableHandleScope scope(reinterpret_cast<Isolate*>(isolate)); EscapableHandleScope scope(reinterpret_cast<Isolate*>(isolate));
i::Handle<i::Object> obj = Utils::OpenHandle(this); i::Handle<i::Object> obj = Utils::OpenHandle(this);
i::Handle<i::String> raw_result = i::MessageHandler::GetMessage(isolate, obj); i::Handle<i::String> raw_result = i::MessageHandler::GetMessage(isolate, obj);
...@@ -2704,6 +2704,7 @@ Local<String> Message::Get() const { ...@@ -2704,6 +2704,7 @@ Local<String> Message::Get() const {
ScriptOrigin Message::GetScriptOrigin() const { ScriptOrigin Message::GetScriptOrigin() const {
i::Isolate* isolate = Utils::OpenHandle(this)->GetIsolate(); i::Isolate* isolate = Utils::OpenHandle(this)->GetIsolate();
ENTER_V8_NO_SCRIPT_NO_EXCEPTION(isolate);
auto message = i::Handle<i::JSMessageObject>::cast(Utils::OpenHandle(this)); auto message = i::Handle<i::JSMessageObject>::cast(Utils::OpenHandle(this));
auto script_wraper = i::Handle<i::Object>(message->script(), isolate); auto script_wraper = i::Handle<i::Object>(message->script(), isolate);
auto script_value = i::Handle<i::JSValue>::cast(script_wraper); auto script_value = i::Handle<i::JSValue>::cast(script_wraper);
...@@ -2719,7 +2720,7 @@ v8::Local<Value> Message::GetScriptResourceName() const { ...@@ -2719,7 +2720,7 @@ v8::Local<Value> Message::GetScriptResourceName() const {
v8::Local<v8::StackTrace> Message::GetStackTrace() const { v8::Local<v8::StackTrace> Message::GetStackTrace() const {
i::Isolate* isolate = Utils::OpenHandle(this)->GetIsolate(); i::Isolate* isolate = Utils::OpenHandle(this)->GetIsolate();
ENTER_V8(isolate); ENTER_V8_NO_SCRIPT_NO_EXCEPTION(isolate);
EscapableHandleScope scope(reinterpret_cast<Isolate*>(isolate)); EscapableHandleScope scope(reinterpret_cast<Isolate*>(isolate));
auto message = i::Handle<i::JSMessageObject>::cast(Utils::OpenHandle(this)); auto message = i::Handle<i::JSMessageObject>::cast(Utils::OpenHandle(this));
i::Handle<i::Object> stackFramesObj(message->stack_frames(), isolate); i::Handle<i::Object> stackFramesObj(message->stack_frames(), isolate);
...@@ -2732,7 +2733,7 @@ v8::Local<v8::StackTrace> Message::GetStackTrace() const { ...@@ -2732,7 +2733,7 @@ v8::Local<v8::StackTrace> Message::GetStackTrace() const {
Maybe<int> Message::GetLineNumber(Local<Context> context) const { Maybe<int> Message::GetLineNumber(Local<Context> context) const {
auto self = Utils::OpenHandle(this); auto self = Utils::OpenHandle(this);
i::Isolate* isolate = self->GetIsolate(); i::Isolate* isolate = self->GetIsolate();
ENTER_V8(isolate); ENTER_V8_NO_SCRIPT_NO_EXCEPTION(isolate);
EscapableHandleScope handle_scope(reinterpret_cast<Isolate*>(isolate)); EscapableHandleScope handle_scope(reinterpret_cast<Isolate*>(isolate));
auto msg = i::Handle<i::JSMessageObject>::cast(self); auto msg = i::Handle<i::JSMessageObject>::cast(self);
return Just(msg->GetLineNumber()); return Just(msg->GetLineNumber());
...@@ -2764,7 +2765,7 @@ int Message::ErrorLevel() const { ...@@ -2764,7 +2765,7 @@ int Message::ErrorLevel() const {
Maybe<int> Message::GetStartColumn(Local<Context> context) const { Maybe<int> Message::GetStartColumn(Local<Context> context) const {
auto self = Utils::OpenHandle(this); auto self = Utils::OpenHandle(this);
i::Isolate* isolate = self->GetIsolate(); i::Isolate* isolate = self->GetIsolate();
ENTER_V8(isolate); ENTER_V8_NO_SCRIPT_NO_EXCEPTION(isolate);
EscapableHandleScope handle_scope(reinterpret_cast<Isolate*>(isolate)); EscapableHandleScope handle_scope(reinterpret_cast<Isolate*>(isolate));
auto msg = i::Handle<i::JSMessageObject>::cast(self); auto msg = i::Handle<i::JSMessageObject>::cast(self);
return Just(msg->GetColumnNumber()); return Just(msg->GetColumnNumber());
...@@ -2781,7 +2782,7 @@ int Message::GetStartColumn() const { ...@@ -2781,7 +2782,7 @@ int Message::GetStartColumn() const {
Maybe<int> Message::GetEndColumn(Local<Context> context) const { Maybe<int> Message::GetEndColumn(Local<Context> context) const {
auto self = Utils::OpenHandle(this); auto self = Utils::OpenHandle(this);
i::Isolate* isolate = self->GetIsolate(); i::Isolate* isolate = self->GetIsolate();
ENTER_V8(isolate); ENTER_V8_NO_SCRIPT_NO_EXCEPTION(isolate);
EscapableHandleScope handle_scope(reinterpret_cast<Isolate*>(isolate)); EscapableHandleScope handle_scope(reinterpret_cast<Isolate*>(isolate));
auto msg = i::Handle<i::JSMessageObject>::cast(self); auto msg = i::Handle<i::JSMessageObject>::cast(self);
const int column_number = msg->GetColumnNumber(); const int column_number = msg->GetColumnNumber();
...@@ -2801,7 +2802,7 @@ int Message::GetEndColumn() const { ...@@ -2801,7 +2802,7 @@ int Message::GetEndColumn() const {
bool Message::IsSharedCrossOrigin() const { bool Message::IsSharedCrossOrigin() const {
i::Isolate* isolate = Utils::OpenHandle(this)->GetIsolate(); i::Isolate* isolate = Utils::OpenHandle(this)->GetIsolate();
ENTER_V8(isolate); ENTER_V8_NO_SCRIPT_NO_EXCEPTION(isolate);
auto self = Utils::OpenHandle(this); auto self = Utils::OpenHandle(this);
auto script = i::Handle<i::JSValue>::cast( auto script = i::Handle<i::JSValue>::cast(
i::Handle<i::Object>(self->script(), isolate)); i::Handle<i::Object>(self->script(), isolate));
...@@ -2812,7 +2813,7 @@ bool Message::IsSharedCrossOrigin() const { ...@@ -2812,7 +2813,7 @@ bool Message::IsSharedCrossOrigin() const {
bool Message::IsOpaque() const { bool Message::IsOpaque() const {
i::Isolate* isolate = Utils::OpenHandle(this)->GetIsolate(); i::Isolate* isolate = Utils::OpenHandle(this)->GetIsolate();
ENTER_V8(isolate); ENTER_V8_NO_SCRIPT_NO_EXCEPTION(isolate);
auto self = Utils::OpenHandle(this); auto self = Utils::OpenHandle(this);
auto script = i::Handle<i::JSValue>::cast( auto script = i::Handle<i::JSValue>::cast(
i::Handle<i::Object>(self->script(), isolate)); i::Handle<i::Object>(self->script(), isolate));
...@@ -2823,7 +2824,7 @@ bool Message::IsOpaque() const { ...@@ -2823,7 +2824,7 @@ bool Message::IsOpaque() const {
MaybeLocal<String> Message::GetSourceLine(Local<Context> context) const { MaybeLocal<String> Message::GetSourceLine(Local<Context> context) const {
auto self = Utils::OpenHandle(this); auto self = Utils::OpenHandle(this);
i::Isolate* isolate = self->GetIsolate(); i::Isolate* isolate = self->GetIsolate();
ENTER_V8(isolate); ENTER_V8_NO_SCRIPT_NO_EXCEPTION(isolate);
EscapableHandleScope handle_scope(reinterpret_cast<Isolate*>(isolate)); EscapableHandleScope handle_scope(reinterpret_cast<Isolate*>(isolate));
auto msg = i::Handle<i::JSMessageObject>::cast(self); auto msg = i::Handle<i::JSMessageObject>::cast(self);
RETURN_ESCAPED(Utils::ToLocal(msg->GetSourceLine())); RETURN_ESCAPED(Utils::ToLocal(msg->GetSourceLine()));
...@@ -2838,7 +2839,7 @@ Local<String> Message::GetSourceLine() const { ...@@ -2838,7 +2839,7 @@ Local<String> Message::GetSourceLine() const {
void Message::PrintCurrentStackTrace(Isolate* isolate, FILE* out) { void Message::PrintCurrentStackTrace(Isolate* isolate, FILE* out) {
i::Isolate* i_isolate = reinterpret_cast<i::Isolate*>(isolate); i::Isolate* i_isolate = reinterpret_cast<i::Isolate*>(isolate);
ENTER_V8(i_isolate); ENTER_V8_NO_SCRIPT_NO_EXCEPTION(i_isolate);
i_isolate->PrintCurrentStackTrace(out); i_isolate->PrintCurrentStackTrace(out);
} }
......
...@@ -1020,6 +1020,8 @@ Handle<String> MessageTemplate::FormatMessage(Isolate* isolate, ...@@ -1020,6 +1020,8 @@ Handle<String> MessageTemplate::FormatMessage(Isolate* isolate,
template_index, result_string, factory->empty_string(), template_index, result_string, factory->empty_string(),
factory->empty_string()); factory->empty_string());
if (!maybe_result_string.ToHandle(&result_string)) { if (!maybe_result_string.ToHandle(&result_string)) {
DCHECK(isolate->has_pending_exception());
isolate->clear_pending_exception();
return factory->InternalizeOneByteString(STATIC_CHAR_VECTOR("<error>")); return factory->InternalizeOneByteString(STATIC_CHAR_VECTOR("<error>"));
} }
// A string that has been obtained from JS code in this way is // A string that has been obtained from JS code in this way is
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment