wasm-result.cc 4.92 KB
Newer Older
1 2 3 4 5 6
// Copyright 2015 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#include "src/wasm/wasm-result.h"

7 8
#include "src/base/platform/platform.h"
#include "src/base/strings.h"
9
#include "src/execution/isolate-inl.h"
10
#include "src/heap/factory.h"
11
#include "src/heap/heap.h"
12
#include "src/objects/objects.h"
13 14 15 16 17

namespace v8 {
namespace internal {
namespace wasm {

18 19 20
namespace {

PRINTF_FORMAT(3, 0)
21 22 23
void VPrintFToString(std::string* str, size_t str_offset, const char* format,
                     va_list args) {
  DCHECK_LE(str_offset, str->size());
24 25 26 27
  size_t len = str_offset + strlen(format);
  // Allocate increasingly large buffers until the message fits.
  for (;; len = base::bits::RoundUpToPowerOfTwo64(len + 1)) {
    DCHECK_GE(kMaxInt, len);
28
    str->resize(len);
29 30
    va_list args_copy;
    va_copy(args_copy, args);
31
    int written =
32 33 34
        base::VSNPrintF(base::Vector<char>(&str->front() + str_offset,
                                           static_cast<int>(len - str_offset)),
                        format, args_copy);
35
    va_end(args_copy);
36
    if (written < 0) continue;  // not enough space.
37
    str->resize(str_offset + written);
38 39 40 41
    return;
  }
}

42
PRINTF_FORMAT(3, 4)
43 44
void PrintFToString(std::string* str, size_t str_offset, const char* format,
                    ...) {
45 46 47 48 49 50
  va_list args;
  va_start(args, format);
  VPrintFToString(str, str_offset, format, args);
  va_end(args);
}

51 52
}  // namespace

53
// static
54
std::string WasmError::FormatError(const char* format, va_list args) {
55
  std::string result;
56
  VPrintFToString(&result, 0, format, args);
57
  return result;
58 59
}

60 61
void ErrorThrower::Format(ErrorType type, const char* format, va_list args) {
  DCHECK_NE(kNone, type);
rossberg's avatar
rossberg committed
62 63
  // Only report the first error.
  if (error()) return;
64

65
  size_t context_len = 0;
66
  if (context_) {
67
    PrintFToString(&error_msg_, 0, "%s: ", context_);
68
    context_len = error_msg_.size();
69
  }
70
  VPrintFToString(&error_msg_, context_len, format, args);
71
  error_type_ = type;
72 73
}

74
void ErrorThrower::TypeError(const char* format, ...) {
75 76
  va_list arguments;
  va_start(arguments, format);
77
  Format(kTypeError, format, arguments);
78 79 80
  va_end(arguments);
}

81
void ErrorThrower::RangeError(const char* format, ...) {
82 83
  va_list arguments;
  va_start(arguments, format);
84
  Format(kRangeError, format, arguments);
85 86 87
  va_end(arguments);
}

88
void ErrorThrower::CompileError(const char* format, ...) {
89 90
  va_list arguments;
  va_start(arguments, format);
91
  Format(kCompileError, format, arguments);
92 93 94
  va_end(arguments);
}

95 96 97
void ErrorThrower::LinkError(const char* format, ...) {
  va_list arguments;
  va_start(arguments, format);
98
  Format(kLinkError, format, arguments);
99 100 101
  va_end(arguments);
}

102 103 104
void ErrorThrower::RuntimeError(const char* format, ...) {
  va_list arguments;
  va_start(arguments, format);
105
  Format(kRuntimeError, format, arguments);
106
  va_end(arguments);
rossberg's avatar
rossberg committed
107 108
}

109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129
Handle<Object> ErrorThrower::Reify() {
  Handle<JSFunction> constructor;
  switch (error_type_) {
    case kNone:
      UNREACHABLE();
    case kTypeError:
      constructor = isolate_->type_error_function();
      break;
    case kRangeError:
      constructor = isolate_->range_error_function();
      break;
    case kCompileError:
      constructor = isolate_->wasm_compile_error_function();
      break;
    case kLinkError:
      constructor = isolate_->wasm_link_error_function();
      break;
    case kRuntimeError:
      constructor = isolate_->wasm_runtime_error_function();
      break;
  }
130
  Handle<String> message = isolate_->factory()
131
                               ->NewStringFromUtf8(base::VectorOf(error_msg_))
132
                               .ToHandleChecked();
133 134
  Reset();
  return isolate_->factory()->NewError(constructor, message);
135 136
}

137 138 139 140 141
void ErrorThrower::Reset() {
  error_type_ = kNone;
  error_msg_.clear();
}

142
ErrorThrower::ErrorThrower(ErrorThrower&& other) V8_NOEXCEPT
143 144 145
    : isolate_(other.isolate_),
      context_(other.context_),
      error_type_(other.error_type_),
146
      error_msg_(std::move(other.error_msg_)) {
147 148 149
  other.error_type_ = kNone;
}

rossberg's avatar
rossberg committed
150 151
ErrorThrower::~ErrorThrower() {
  if (error() && !isolate_->has_pending_exception()) {
152 153 154 155
    // We don't want to mix pending exceptions and scheduled exceptions, hence
    // an existing exception should be pending, never scheduled.
    DCHECK(!isolate_->has_scheduled_exception());
    isolate_->Throw(*Reify());
rossberg's avatar
rossberg committed
156
  }
157
}
158

159 160 161 162 163 164 165 166 167 168 169 170 171 172 173
ScheduledErrorThrower::~ScheduledErrorThrower() {
  // There should never be both a pending and a scheduled exception.
  DCHECK(!isolate()->has_scheduled_exception() ||
         !isolate()->has_pending_exception());
  // Don't throw another error if there is already a scheduled error.
  if (isolate()->has_scheduled_exception()) {
    Reset();
  } else if (isolate()->has_pending_exception()) {
    Reset();
    isolate()->OptionalRescheduleException(false);
  } else if (error()) {
    isolate()->ScheduleThrow(*Reify());
  }
}

174 175 176
}  // namespace wasm
}  // namespace internal
}  // namespace v8