blob: 46d67bd883b4a64bda38ba8a3e402eaf91f30ef5 [file] [log] [blame]
Ian Rogers87e552d2012-08-31 15:54:48 -07001/*
2 * Copyright (C) 2012 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "common_throws.h"
18
Ian Rogers22d5e732014-07-15 22:23:51 -070019#include <sstream>
20
Mathieu Chartierc7853442015-03-27 14:35:38 -070021#include "art_field-inl.h"
Mathieu Chartiere401d142015-04-22 13:56:20 -070022#include "art_method-inl.h"
Elliott Hughes07ed66b2012-12-12 18:34:25 -080023#include "base/logging.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080024#include "class_linker-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070025#include "dex_file-inl.h"
Sebastien Hertz75b2a4a2013-05-21 09:25:10 +020026#include "dex_instruction-inl.h"
Ian Rogers87e552d2012-08-31 15:54:48 -070027#include "invoke_type.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070028#include "mirror/class-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080029#include "mirror/object-inl.h"
30#include "mirror/object_array-inl.h"
Ian Rogers87e552d2012-08-31 15:54:48 -070031#include "thread.h"
Sebastien Hertz2d6ba512013-05-17 11:31:37 +020032#include "verifier/method_verifier.h"
Ian Rogers87e552d2012-08-31 15:54:48 -070033
Ian Rogers87e552d2012-08-31 15:54:48 -070034namespace art {
35
Ian Rogersef7d42f2014-01-06 12:55:46 -080036static void AddReferrerLocation(std::ostream& os, mirror::Class* referrer)
Mathieu Chartier90443472015-07-16 20:32:27 -070037 SHARED_REQUIRES(Locks::mutator_lock_) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -070038 if (referrer != nullptr) {
Mathieu Chartierf8322842014-05-16 10:59:25 -070039 std::string location(referrer->GetLocation());
Ian Rogers87e552d2012-08-31 15:54:48 -070040 if (!location.empty()) {
41 os << " (declaration of '" << PrettyDescriptor(referrer)
42 << "' appears in " << location << ")";
43 }
44 }
45}
46
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +000047static void ThrowException(const char* exception_descriptor,
Mathieu Chartier2cebb242015-04-21 16:50:40 -070048 mirror::Class* referrer, const char* fmt, va_list* args = nullptr)
Mathieu Chartier90443472015-07-16 20:32:27 -070049 SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogers87e552d2012-08-31 15:54:48 -070050 std::ostringstream msg;
Mathieu Chartier2cebb242015-04-21 16:50:40 -070051 if (args != nullptr) {
Ian Rogers62d6c772013-02-27 08:32:07 -080052 std::string vmsg;
53 StringAppendV(&vmsg, fmt, *args);
54 msg << vmsg;
55 } else {
56 msg << fmt;
57 }
58 AddReferrerLocation(msg, referrer);
59 Thread* self = Thread::Current();
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +000060 self->ThrowNewException(exception_descriptor, msg.str().c_str());
Ian Rogers87e552d2012-08-31 15:54:48 -070061}
62
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +000063static void ThrowWrappedException(const char* exception_descriptor,
Mathieu Chartier2cebb242015-04-21 16:50:40 -070064 mirror::Class* referrer, const char* fmt, va_list* args = nullptr)
Mathieu Chartier90443472015-07-16 20:32:27 -070065 SHARED_REQUIRES(Locks::mutator_lock_) {
Andreas Gampe329d1882014-04-08 10:32:19 -070066 std::ostringstream msg;
Mathieu Chartier2cebb242015-04-21 16:50:40 -070067 if (args != nullptr) {
Andreas Gampe329d1882014-04-08 10:32:19 -070068 std::string vmsg;
69 StringAppendV(&vmsg, fmt, *args);
70 msg << vmsg;
71 } else {
72 msg << fmt;
73 }
74 AddReferrerLocation(msg, referrer);
75 Thread* self = Thread::Current();
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +000076 self->ThrowNewWrappedException(exception_descriptor, msg.str().c_str());
Andreas Gampe329d1882014-04-08 10:32:19 -070077}
78
Sebastien Hertz56adf602013-07-09 17:27:07 +020079// AbstractMethodError
80
Mathieu Chartiere401d142015-04-22 13:56:20 -070081void ThrowAbstractMethodError(ArtMethod* method) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -070082 ThrowException("Ljava/lang/AbstractMethodError;", nullptr,
Sebastien Hertz56adf602013-07-09 17:27:07 +020083 StringPrintf("abstract method \"%s\"",
84 PrettyMethod(method).c_str()).c_str());
85}
86
Alex Light705ad492015-09-21 11:36:30 -070087void ThrowAbstractMethodError(uint32_t method_idx, const DexFile& dex_file) {
88 ThrowException("Ljava/lang/AbstractMethodError;", /* referrer */ nullptr,
89 StringPrintf("abstract method \"%s\"",
90 PrettyMethod(method_idx,
91 dex_file,
92 /* with_signature */ true).c_str()).c_str());
93}
94
Ian Rogers62d6c772013-02-27 08:32:07 -080095// ArithmeticException
96
Sebastien Hertz0a3b8632013-06-26 11:16:01 +020097void ThrowArithmeticExceptionDivideByZero() {
Mathieu Chartier2cebb242015-04-21 16:50:40 -070098 ThrowException("Ljava/lang/ArithmeticException;", nullptr, "divide by zero");
Ian Rogers62d6c772013-02-27 08:32:07 -080099}
100
101// ArrayIndexOutOfBoundsException
102
103void ThrowArrayIndexOutOfBoundsException(int index, int length) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700104 ThrowException("Ljava/lang/ArrayIndexOutOfBoundsException;", nullptr,
Ian Rogers62d6c772013-02-27 08:32:07 -0800105 StringPrintf("length=%d; index=%d", length, index).c_str());
106}
107
108// ArrayStoreException
109
Ian Rogersef7d42f2014-01-06 12:55:46 -0800110void ThrowArrayStoreException(mirror::Class* element_class, mirror::Class* array_class) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700111 ThrowException("Ljava/lang/ArrayStoreException;", nullptr,
Ian Rogers62d6c772013-02-27 08:32:07 -0800112 StringPrintf("%s cannot be stored in an array of type %s",
113 PrettyDescriptor(element_class).c_str(),
114 PrettyDescriptor(array_class).c_str()).c_str());
115}
116
117// ClassCastException
118
Ian Rogersef7d42f2014-01-06 12:55:46 -0800119void ThrowClassCastException(mirror::Class* dest_type, mirror::Class* src_type) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700120 ThrowException("Ljava/lang/ClassCastException;", nullptr,
Ian Rogers62d6c772013-02-27 08:32:07 -0800121 StringPrintf("%s cannot be cast to %s",
122 PrettyDescriptor(src_type).c_str(),
123 PrettyDescriptor(dest_type).c_str()).c_str());
124}
125
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000126void ThrowClassCastException(const char* msg) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700127 ThrowException("Ljava/lang/ClassCastException;", nullptr, msg);
Ian Rogers62d6c772013-02-27 08:32:07 -0800128}
129
130// ClassCircularityError
131
132void ThrowClassCircularityError(mirror::Class* c) {
133 std::ostringstream msg;
134 msg << PrettyDescriptor(c);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000135 ThrowException("Ljava/lang/ClassCircularityError;", c, msg.str().c_str());
Ian Rogers62d6c772013-02-27 08:32:07 -0800136}
137
138// ClassFormatError
139
Ian Rogersef7d42f2014-01-06 12:55:46 -0800140void ThrowClassFormatError(mirror::Class* referrer, const char* fmt, ...) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800141 va_list args;
142 va_start(args, fmt);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000143 ThrowException("Ljava/lang/ClassFormatError;", referrer, fmt, &args);
Ian Rogers62d6c772013-02-27 08:32:07 -0800144 va_end(args);}
145
Ian Rogers87e552d2012-08-31 15:54:48 -0700146// IllegalAccessError
147
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800148void ThrowIllegalAccessErrorClass(mirror::Class* referrer, mirror::Class* accessed) {
Ian Rogers87e552d2012-08-31 15:54:48 -0700149 std::ostringstream msg;
Ian Rogersb726dcb2012-09-05 08:57:23 -0700150 msg << "Illegal class access: '" << PrettyDescriptor(referrer) << "' attempting to access '"
Ian Rogers87e552d2012-08-31 15:54:48 -0700151 << PrettyDescriptor(accessed) << "'";
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000152 ThrowException("Ljava/lang/IllegalAccessError;", referrer, msg.str().c_str());
Ian Rogers87e552d2012-08-31 15:54:48 -0700153}
154
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800155void ThrowIllegalAccessErrorClassForMethodDispatch(mirror::Class* referrer, mirror::Class* accessed,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700156 ArtMethod* called,
Ian Rogers87e552d2012-08-31 15:54:48 -0700157 InvokeType type) {
158 std::ostringstream msg;
Ian Rogersb726dcb2012-09-05 08:57:23 -0700159 msg << "Illegal class access ('" << PrettyDescriptor(referrer) << "' attempting to access '"
160 << PrettyDescriptor(accessed) << "') in attempt to invoke " << type
Ian Rogers87e552d2012-08-31 15:54:48 -0700161 << " method " << PrettyMethod(called).c_str();
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000162 ThrowException("Ljava/lang/IllegalAccessError;", referrer, msg.str().c_str());
Ian Rogers87e552d2012-08-31 15:54:48 -0700163}
164
Mathieu Chartiere401d142015-04-22 13:56:20 -0700165void ThrowIllegalAccessErrorMethod(mirror::Class* referrer, ArtMethod* accessed) {
Ian Rogers87e552d2012-08-31 15:54:48 -0700166 std::ostringstream msg;
167 msg << "Method '" << PrettyMethod(accessed) << "' is inaccessible to class '"
168 << PrettyDescriptor(referrer) << "'";
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000169 ThrowException("Ljava/lang/IllegalAccessError;", referrer, msg.str().c_str());
Ian Rogers87e552d2012-08-31 15:54:48 -0700170}
171
Mathieu Chartierc7853442015-03-27 14:35:38 -0700172void ThrowIllegalAccessErrorField(mirror::Class* referrer, ArtField* accessed) {
Ian Rogers87e552d2012-08-31 15:54:48 -0700173 std::ostringstream msg;
174 msg << "Field '" << PrettyField(accessed, false) << "' is inaccessible to class '"
175 << PrettyDescriptor(referrer) << "'";
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000176 ThrowException("Ljava/lang/IllegalAccessError;", referrer, msg.str().c_str());
Ian Rogers87e552d2012-08-31 15:54:48 -0700177}
178
Mathieu Chartiere401d142015-04-22 13:56:20 -0700179void ThrowIllegalAccessErrorFinalField(ArtMethod* referrer, ArtField* accessed) {
Ian Rogers87e552d2012-08-31 15:54:48 -0700180 std::ostringstream msg;
181 msg << "Final field '" << PrettyField(accessed, false) << "' cannot be written to by method '"
182 << PrettyMethod(referrer) << "'";
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000183 ThrowException("Ljava/lang/IllegalAccessError;",
Mathieu Chartiere401d142015-04-22 13:56:20 -0700184 referrer != nullptr ? referrer->GetDeclaringClass() : nullptr,
Ian Rogers62d6c772013-02-27 08:32:07 -0800185 msg.str().c_str());
Ian Rogers87e552d2012-08-31 15:54:48 -0700186}
187
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700188void ThrowIllegalAccessError(mirror::Class* referrer, const char* fmt, ...) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800189 va_list args;
190 va_start(args, fmt);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000191 ThrowException("Ljava/lang/IllegalAccessError;", referrer, fmt, &args);
Ian Rogers62d6c772013-02-27 08:32:07 -0800192 va_end(args);
193}
194
Jeff Hao11d5d8f2014-03-26 15:08:20 -0700195// IllegalAccessException
196
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000197void ThrowIllegalAccessException(const char* msg) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700198 ThrowException("Ljava/lang/IllegalAccessException;", nullptr, msg);
Jeff Hao11d5d8f2014-03-26 15:08:20 -0700199}
200
Ian Rogers62d6c772013-02-27 08:32:07 -0800201// IllegalArgumentException
202
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000203void ThrowIllegalArgumentException(const char* msg) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700204 ThrowException("Ljava/lang/IllegalArgumentException;", nullptr, msg);
Ian Rogers62d6c772013-02-27 08:32:07 -0800205}
206
207
Ian Rogers87e552d2012-08-31 15:54:48 -0700208// IncompatibleClassChangeError
209
210void ThrowIncompatibleClassChangeError(InvokeType expected_type, InvokeType found_type,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700211 ArtMethod* method, ArtMethod* referrer) {
Ian Rogers87e552d2012-08-31 15:54:48 -0700212 std::ostringstream msg;
213 msg << "The method '" << PrettyMethod(method) << "' was expected to be of type "
214 << expected_type << " but instead was found to be of type " << found_type;
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000215 ThrowException("Ljava/lang/IncompatibleClassChangeError;",
Mathieu Chartiere401d142015-04-22 13:56:20 -0700216 referrer != nullptr ? referrer->GetDeclaringClass() : nullptr,
Ian Rogers62d6c772013-02-27 08:32:07 -0800217 msg.str().c_str());
Ian Rogers87e552d2012-08-31 15:54:48 -0700218}
219
Alex Light705ad492015-09-21 11:36:30 -0700220void ThrowIncompatibleClassChangeErrorClassForInterfaceSuper(ArtMethod* method,
221 mirror::Class* target_class,
222 mirror::Object* this_object,
223 ArtMethod* referrer) {
224 // Referrer is calling interface_method on this_object, however, the interface_method isn't
225 // implemented by this_object.
226 CHECK(this_object != nullptr);
227 std::ostringstream msg;
228 msg << "Class '" << PrettyDescriptor(this_object->GetClass())
229 << "' does not implement interface '" << PrettyDescriptor(target_class) << "' in call to '"
230 << PrettyMethod(method) << "'";
231 ThrowException("Ljava/lang/IncompatibleClassChangeError;",
232 referrer != nullptr ? referrer->GetDeclaringClass() : nullptr,
233 msg.str().c_str());
234}
235
Mathieu Chartiere401d142015-04-22 13:56:20 -0700236void ThrowIncompatibleClassChangeErrorClassForInterfaceDispatch(ArtMethod* interface_method,
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800237 mirror::Object* this_object,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700238 ArtMethod* referrer) {
Ian Rogers87e552d2012-08-31 15:54:48 -0700239 // Referrer is calling interface_method on this_object, however, the interface_method isn't
240 // implemented by this_object.
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700241 CHECK(this_object != nullptr);
Ian Rogers87e552d2012-08-31 15:54:48 -0700242 std::ostringstream msg;
243 msg << "Class '" << PrettyDescriptor(this_object->GetClass())
244 << "' does not implement interface '"
245 << PrettyDescriptor(interface_method->GetDeclaringClass())
246 << "' in call to '" << PrettyMethod(interface_method) << "'";
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000247 ThrowException("Ljava/lang/IncompatibleClassChangeError;",
Mathieu Chartiere401d142015-04-22 13:56:20 -0700248 referrer != nullptr ? referrer->GetDeclaringClass() : nullptr,
Ian Rogers62d6c772013-02-27 08:32:07 -0800249 msg.str().c_str());
Ian Rogers87e552d2012-08-31 15:54:48 -0700250}
251
Mathieu Chartierc7853442015-03-27 14:35:38 -0700252void ThrowIncompatibleClassChangeErrorField(ArtField* resolved_field, bool is_static,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700253 ArtMethod* referrer) {
Ian Rogers87e552d2012-08-31 15:54:48 -0700254 std::ostringstream msg;
255 msg << "Expected '" << PrettyField(resolved_field) << "' to be a "
Ian Rogersb726dcb2012-09-05 08:57:23 -0700256 << (is_static ? "static" : "instance") << " field" << " rather than a "
257 << (is_static ? "instance" : "static") << " field";
Mathieu Chartiere401d142015-04-22 13:56:20 -0700258 ThrowException("Ljava/lang/IncompatibleClassChangeError;", referrer->GetDeclaringClass(),
Ian Rogers62d6c772013-02-27 08:32:07 -0800259 msg.str().c_str());
260}
261
Ian Rogersef7d42f2014-01-06 12:55:46 -0800262void ThrowIncompatibleClassChangeError(mirror::Class* referrer, const char* fmt, ...) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800263 va_list args;
264 va_start(args, fmt);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000265 ThrowException("Ljava/lang/IncompatibleClassChangeError;", referrer, fmt, &args);
Ian Rogers62d6c772013-02-27 08:32:07 -0800266 va_end(args);
267}
268
Alex Light9139e002015-10-09 15:59:48 -0700269void ThrowIncompatibleClassChangeErrorForMethodConflict(ArtMethod* method) {
270 DCHECK(method != nullptr);
271 ThrowException("Ljava/lang/IncompatibleClassChangeError;",
272 /*referrer*/nullptr,
273 StringPrintf("Conflicting default method implementations %s",
274 PrettyMethod(method).c_str()).c_str());
275}
276
277
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700278// IOException
279
280void ThrowIOException(const char* fmt, ...) {
281 va_list args;
282 va_start(args, fmt);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700283 ThrowException("Ljava/io/IOException;", nullptr, fmt, &args);
Ian Rogers8d31bbd2013-10-13 10:44:14 -0700284 va_end(args);
285}
286
Andreas Gampe329d1882014-04-08 10:32:19 -0700287void ThrowWrappedIOException(const char* fmt, ...) {
288 va_list args;
289 va_start(args, fmt);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700290 ThrowWrappedException("Ljava/io/IOException;", nullptr, fmt, &args);
Andreas Gampe329d1882014-04-08 10:32:19 -0700291 va_end(args);
292}
293
Ian Rogers62d6c772013-02-27 08:32:07 -0800294// LinkageError
295
Ian Rogersef7d42f2014-01-06 12:55:46 -0800296void ThrowLinkageError(mirror::Class* referrer, const char* fmt, ...) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800297 va_list args;
298 va_start(args, fmt);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000299 ThrowException("Ljava/lang/LinkageError;", referrer, fmt, &args);
Ian Rogers62d6c772013-02-27 08:32:07 -0800300 va_end(args);
301}
302
Vladimir Markod5e5a0e2015-05-08 12:26:59 +0100303void ThrowWrappedLinkageError(mirror::Class* referrer, const char* fmt, ...) {
304 va_list args;
305 va_start(args, fmt);
306 ThrowWrappedException("Ljava/lang/LinkageError;", referrer, fmt, &args);
307 va_end(args);
308}
309
Ian Rogers62d6c772013-02-27 08:32:07 -0800310// NegativeArraySizeException
311
312void ThrowNegativeArraySizeException(int size) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700313 ThrowException("Ljava/lang/NegativeArraySizeException;", nullptr,
Brian Carlstromea46f952013-07-30 01:26:50 -0700314 StringPrintf("%d", size).c_str());
Ian Rogers62d6c772013-02-27 08:32:07 -0800315}
316
317void ThrowNegativeArraySizeException(const char* msg) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700318 ThrowException("Ljava/lang/NegativeArraySizeException;", nullptr, msg);
Ian Rogers62d6c772013-02-27 08:32:07 -0800319}
320
321// NoSuchFieldError
322
323void ThrowNoSuchFieldError(const StringPiece& scope, mirror::Class* c,
Mathieu Chartier4e067782015-05-13 13:13:24 -0700324 const StringPiece& type, const StringPiece& name) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800325 std::ostringstream msg;
Ian Rogers1ff3c982014-08-12 02:30:58 -0700326 std::string temp;
Ian Rogers62d6c772013-02-27 08:32:07 -0800327 msg << "No " << scope << "field " << name << " of type " << type
Ian Rogers1ff3c982014-08-12 02:30:58 -0700328 << " in class " << c->GetDescriptor(&temp) << " or its superclasses";
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000329 ThrowException("Ljava/lang/NoSuchFieldError;", c, msg.str().c_str());
Ian Rogers87e552d2012-08-31 15:54:48 -0700330}
331
Mathieu Chartier4e067782015-05-13 13:13:24 -0700332void ThrowNoSuchFieldException(mirror::Class* c, const StringPiece& name) {
333 std::ostringstream msg;
334 std::string temp;
335 msg << "No field " << name << " in class " << c->GetDescriptor(&temp);
336 ThrowException("Ljava/lang/NoSuchFieldException;", c, msg.str().c_str());
337}
338
Ian Rogers87e552d2012-08-31 15:54:48 -0700339// NoSuchMethodError
340
Ian Rogers2dd0e2c2013-01-24 12:42:14 -0800341void ThrowNoSuchMethodError(InvokeType type, mirror::Class* c, const StringPiece& name,
Ian Rogersd91d6d62013-09-25 20:26:14 -0700342 const Signature& signature) {
Ian Rogers87e552d2012-08-31 15:54:48 -0700343 std::ostringstream msg;
Ian Rogers1ff3c982014-08-12 02:30:58 -0700344 std::string temp;
Ian Rogers87e552d2012-08-31 15:54:48 -0700345 msg << "No " << type << " method " << name << signature
Ian Rogers1ff3c982014-08-12 02:30:58 -0700346 << " in class " << c->GetDescriptor(&temp) << " or its super classes";
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000347 ThrowException("Ljava/lang/NoSuchMethodError;", c, msg.str().c_str());
Ian Rogers87e552d2012-08-31 15:54:48 -0700348}
349
Ian Rogers62d6c772013-02-27 08:32:07 -0800350void ThrowNoSuchMethodError(uint32_t method_idx) {
Mathieu Chartiere401d142015-04-22 13:56:20 -0700351 ArtMethod* method = Thread::Current()->GetCurrentMethod(nullptr);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000352 mirror::DexCache* dex_cache = method->GetDeclaringClass()->GetDexCache();
Ian Rogers4445a7e2012-10-05 17:19:13 -0700353 const DexFile& dex_file = *dex_cache->GetDexFile();
Ian Rogers87e552d2012-08-31 15:54:48 -0700354 std::ostringstream msg;
355 msg << "No method '" << PrettyMethod(method_idx, dex_file, true) << "'";
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000356 ThrowException("Ljava/lang/NoSuchMethodError;",
357 method->GetDeclaringClass(), msg.str().c_str());
Ian Rogers62d6c772013-02-27 08:32:07 -0800358}
359
360// NullPointerException
361
Mathieu Chartierc7853442015-03-27 14:35:38 -0700362void ThrowNullPointerExceptionForFieldAccess(ArtField* field, bool is_read) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800363 std::ostringstream msg;
364 msg << "Attempt to " << (is_read ? "read from" : "write to")
365 << " field '" << PrettyField(field, true) << "' on a null object reference";
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700366 ThrowException("Ljava/lang/NullPointerException;", nullptr, msg.str().c_str());
Ian Rogers62d6c772013-02-27 08:32:07 -0800367}
368
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000369static void ThrowNullPointerExceptionForMethodAccessImpl(uint32_t method_idx,
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200370 const DexFile& dex_file,
371 InvokeType type)
Mathieu Chartier90443472015-07-16 20:32:27 -0700372 SHARED_REQUIRES(Locks::mutator_lock_) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800373 std::ostringstream msg;
374 msg << "Attempt to invoke " << type << " method '"
375 << PrettyMethod(method_idx, dex_file, true) << "' on a null object reference";
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700376 ThrowException("Ljava/lang/NullPointerException;", nullptr, msg.str().c_str());
Ian Rogers62d6c772013-02-27 08:32:07 -0800377}
378
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000379void ThrowNullPointerExceptionForMethodAccess(uint32_t method_idx,
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200380 InvokeType type) {
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000381 mirror::DexCache* dex_cache =
382 Thread::Current()->GetCurrentMethod(nullptr)->GetDeclaringClass()->GetDexCache();
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200383 const DexFile& dex_file = *dex_cache->GetDexFile();
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000384 ThrowNullPointerExceptionForMethodAccessImpl(method_idx, dex_file, type);
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200385}
386
Mathieu Chartiere401d142015-04-22 13:56:20 -0700387void ThrowNullPointerExceptionForMethodAccess(ArtMethod* method,
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200388 InvokeType type) {
389 mirror::DexCache* dex_cache = method->GetDeclaringClass()->GetDexCache();
390 const DexFile& dex_file = *dex_cache->GetDexFile();
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000391 ThrowNullPointerExceptionForMethodAccessImpl(method->GetDexMethodIndex(),
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200392 dex_file, type);
393}
394
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000395void ThrowNullPointerExceptionFromDexPC() {
396 uint32_t throw_dex_pc;
Mathieu Chartiere401d142015-04-22 13:56:20 -0700397 ArtMethod* method = Thread::Current()->GetCurrentMethod(&throw_dex_pc);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000398 const DexFile::CodeItem* code = method->GetCodeItem();
Ian Rogers62d6c772013-02-27 08:32:07 -0800399 CHECK_LT(throw_dex_pc, code->insns_size_in_code_units_);
400 const Instruction* instr = Instruction::At(&code->insns_[throw_dex_pc]);
Ian Rogers62d6c772013-02-27 08:32:07 -0800401 switch (instr->Opcode()) {
402 case Instruction::INVOKE_DIRECT:
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000403 ThrowNullPointerExceptionForMethodAccess(instr->VRegB_35c(), kDirect);
Sebastien Hertz75b2a4a2013-05-21 09:25:10 +0200404 break;
Ian Rogers62d6c772013-02-27 08:32:07 -0800405 case Instruction::INVOKE_DIRECT_RANGE:
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000406 ThrowNullPointerExceptionForMethodAccess(instr->VRegB_3rc(), kDirect);
Ian Rogers62d6c772013-02-27 08:32:07 -0800407 break;
408 case Instruction::INVOKE_VIRTUAL:
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000409 ThrowNullPointerExceptionForMethodAccess(instr->VRegB_35c(), kVirtual);
Sebastien Hertz75b2a4a2013-05-21 09:25:10 +0200410 break;
Ian Rogers62d6c772013-02-27 08:32:07 -0800411 case Instruction::INVOKE_VIRTUAL_RANGE:
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000412 ThrowNullPointerExceptionForMethodAccess(instr->VRegB_3rc(), kVirtual);
Ian Rogers62d6c772013-02-27 08:32:07 -0800413 break;
414 case Instruction::INVOKE_INTERFACE:
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000415 ThrowNullPointerExceptionForMethodAccess(instr->VRegB_35c(), kInterface);
Sebastien Hertz75b2a4a2013-05-21 09:25:10 +0200416 break;
Ian Rogers62d6c772013-02-27 08:32:07 -0800417 case Instruction::INVOKE_INTERFACE_RANGE:
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000418 ThrowNullPointerExceptionForMethodAccess(instr->VRegB_3rc(), kInterface);
Ian Rogers62d6c772013-02-27 08:32:07 -0800419 break;
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200420 case Instruction::INVOKE_VIRTUAL_QUICK:
421 case Instruction::INVOKE_VIRTUAL_RANGE_QUICK: {
422 // Since we replaced the method index, we ask the verifier to tell us which
423 // method is invoked at this location.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700424 ArtMethod* invoked_method =
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000425 verifier::MethodVerifier::FindInvokedMethodAtDexPc(method, throw_dex_pc);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700426 if (invoked_method != nullptr) {
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200427 // NPE with precise message.
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000428 ThrowNullPointerExceptionForMethodAccess(invoked_method, kVirtual);
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200429 } else {
430 // NPE with imprecise message.
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000431 ThrowNullPointerException("Attempt to invoke a virtual method on a null object reference");
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200432 }
433 break;
434 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800435 case Instruction::IGET:
436 case Instruction::IGET_WIDE:
437 case Instruction::IGET_OBJECT:
438 case Instruction::IGET_BOOLEAN:
439 case Instruction::IGET_BYTE:
440 case Instruction::IGET_CHAR:
441 case Instruction::IGET_SHORT: {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700442 ArtField* field =
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000443 Runtime::Current()->GetClassLinker()->ResolveField(instr->VRegC_22c(), method, false);
444 ThrowNullPointerExceptionForFieldAccess(field, true /* read */);
Ian Rogers62d6c772013-02-27 08:32:07 -0800445 break;
446 }
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200447 case Instruction::IGET_QUICK:
Mathieu Chartierffc605c2014-12-10 10:35:44 -0800448 case Instruction::IGET_BOOLEAN_QUICK:
449 case Instruction::IGET_BYTE_QUICK:
450 case Instruction::IGET_CHAR_QUICK:
451 case Instruction::IGET_SHORT_QUICK:
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200452 case Instruction::IGET_WIDE_QUICK:
453 case Instruction::IGET_OBJECT_QUICK: {
454 // Since we replaced the field index, we ask the verifier to tell us which
455 // field is accessed at this location.
Mathieu Chartierc7853442015-03-27 14:35:38 -0700456 ArtField* field =
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000457 verifier::MethodVerifier::FindAccessedFieldAtDexPc(method, throw_dex_pc);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700458 if (field != nullptr) {
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200459 // NPE with precise message.
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000460 ThrowNullPointerExceptionForFieldAccess(field, true /* read */);
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200461 } else {
462 // NPE with imprecise message.
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000463 ThrowNullPointerException("Attempt to read from a field on a null object reference");
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200464 }
465 break;
466 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800467 case Instruction::IPUT:
468 case Instruction::IPUT_WIDE:
469 case Instruction::IPUT_OBJECT:
470 case Instruction::IPUT_BOOLEAN:
471 case Instruction::IPUT_BYTE:
472 case Instruction::IPUT_CHAR:
473 case Instruction::IPUT_SHORT: {
Mathieu Chartierc7853442015-03-27 14:35:38 -0700474 ArtField* field =
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000475 Runtime::Current()->GetClassLinker()->ResolveField(instr->VRegC_22c(), method, false);
476 ThrowNullPointerExceptionForFieldAccess(field, false /* write */);
Ian Rogers62d6c772013-02-27 08:32:07 -0800477 break;
478 }
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200479 case Instruction::IPUT_QUICK:
Fred Shih37f05ef2014-07-16 18:38:08 -0700480 case Instruction::IPUT_BOOLEAN_QUICK:
481 case Instruction::IPUT_BYTE_QUICK:
482 case Instruction::IPUT_CHAR_QUICK:
483 case Instruction::IPUT_SHORT_QUICK:
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200484 case Instruction::IPUT_WIDE_QUICK:
485 case Instruction::IPUT_OBJECT_QUICK: {
486 // Since we replaced the field index, we ask the verifier to tell us which
487 // field is accessed at this location.
Mathieu Chartierc7853442015-03-27 14:35:38 -0700488 ArtField* field =
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000489 verifier::MethodVerifier::FindAccessedFieldAtDexPc(method, throw_dex_pc);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700490 if (field != nullptr) {
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200491 // NPE with precise message.
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000492 ThrowNullPointerExceptionForFieldAccess(field, false /* write */);
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200493 } else {
494 // NPE with imprecise message.
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000495 ThrowNullPointerException("Attempt to write to a field on a null object reference");
Sebastien Hertz2d6ba512013-05-17 11:31:37 +0200496 }
497 break;
498 }
Ian Rogers62d6c772013-02-27 08:32:07 -0800499 case Instruction::AGET:
500 case Instruction::AGET_WIDE:
501 case Instruction::AGET_OBJECT:
502 case Instruction::AGET_BOOLEAN:
503 case Instruction::AGET_BYTE:
504 case Instruction::AGET_CHAR:
505 case Instruction::AGET_SHORT:
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700506 ThrowException("Ljava/lang/NullPointerException;", nullptr,
Ian Rogers62d6c772013-02-27 08:32:07 -0800507 "Attempt to read from null array");
508 break;
509 case Instruction::APUT:
510 case Instruction::APUT_WIDE:
511 case Instruction::APUT_OBJECT:
512 case Instruction::APUT_BOOLEAN:
513 case Instruction::APUT_BYTE:
514 case Instruction::APUT_CHAR:
515 case Instruction::APUT_SHORT:
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700516 ThrowException("Ljava/lang/NullPointerException;", nullptr,
Ian Rogers62d6c772013-02-27 08:32:07 -0800517 "Attempt to write to null array");
518 break;
519 case Instruction::ARRAY_LENGTH:
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700520 ThrowException("Ljava/lang/NullPointerException;", nullptr,
Ian Rogers62d6c772013-02-27 08:32:07 -0800521 "Attempt to get length of null array");
522 break;
523 default: {
524 // TODO: We should have covered all the cases where we expect a NPE above, this
525 // message/logging is so we can improve any cases we've missed in the future.
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000526 const DexFile* dex_file =
527 method->GetDeclaringClass()->GetDexCache()->GetDexFile();
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700528 ThrowException("Ljava/lang/NullPointerException;", nullptr,
Ian Rogers62d6c772013-02-27 08:32:07 -0800529 StringPrintf("Null pointer exception during instruction '%s'",
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000530 instr->DumpString(dex_file).c_str()).c_str());
Ian Rogers62d6c772013-02-27 08:32:07 -0800531 break;
532 }
533 }
534}
535
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000536void ThrowNullPointerException(const char* msg) {
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700537 ThrowException("Ljava/lang/NullPointerException;", nullptr, msg);
Ian Rogers62d6c772013-02-27 08:32:07 -0800538}
539
540// RuntimeException
541
542void ThrowRuntimeException(const char* fmt, ...) {
543 va_list args;
544 va_start(args, fmt);
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700545 ThrowException("Ljava/lang/RuntimeException;", nullptr, fmt, &args);
Ian Rogers62d6c772013-02-27 08:32:07 -0800546 va_end(args);
547}
548
549// VerifyError
550
Ian Rogersef7d42f2014-01-06 12:55:46 -0800551void ThrowVerifyError(mirror::Class* referrer, const char* fmt, ...) {
Ian Rogers62d6c772013-02-27 08:32:07 -0800552 va_list args;
553 va_start(args, fmt);
Nicolas Geoffray0aa50ce2015-03-10 11:03:29 +0000554 ThrowException("Ljava/lang/VerifyError;", referrer, fmt, &args);
Ian Rogers62d6c772013-02-27 08:32:07 -0800555 va_end(args);
Ian Rogers87e552d2012-08-31 15:54:48 -0700556}
557
558} // namespace art