blob: b56a991e74c69b4e8b2b859adca4f0372fee9030 [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
2 * Copyright (C) 2011 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 */
Shih-wei Liao2fb97532011-08-11 16:17:23 -070016
Ian Rogers700a4022014-05-19 16:49:03 -070017#include <memory>
Andreas Gampeb68ed2c2018-06-20 10:39:31 -070018#include <type_traits>
Ian Rogers700a4022014-05-19 16:49:03 -070019
Vladimir Marko9d07e3d2016-03-31 12:02:28 +010020#include "base/arena_allocator.h"
Andreas Gampe8228cdf2017-05-30 15:03:54 -070021#include "base/callee_save_type.h"
Andreas Gampe542451c2016-07-26 09:02:02 -070022#include "base/enums.h"
David Sehr67bf42e2018-02-26 16:43:04 -080023#include "base/leb128.h"
David Sehr3215fff2018-04-03 17:10:12 -070024#include "base/malloc_arena_pool.h"
Shih-wei Liao2fb97532011-08-11 16:17:23 -070025#include "class_linker.h"
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080026#include "common_runtime_test.h"
David Sehr9e734c72018-01-04 17:56:19 -080027#include "dex/code_item_accessors-inl.h"
28#include "dex/dex_file-inl.h"
29#include "dex/dex_file.h"
30#include "dex/dex_file_exception_helpers.h"
Elliott Hughes90a33692011-08-30 13:27:07 -070031#include "gtest/gtest.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070032#include "handle_scope-inl.h"
Ian Rogers4f6ad8a2013-03-18 15:27:28 -070033#include "mirror/class-inl.h"
Ian Rogers04d7aa92013-03-16 14:29:17 -070034#include "mirror/object-inl.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070035#include "mirror/object_array-inl.h"
Ian Rogers2dd0e2c2013-01-24 12:42:14 -080036#include "mirror/stack_trace_element.h"
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +010037#include "oat_quick_method_header.h"
Vladimir Markoa8bba7d2018-05-30 15:18:48 +010038#include "obj_ptr-inl.h"
Vladimir Marko9d07e3d2016-03-31 12:02:28 +010039#include "optimizing/stack_map_stream.h"
Andreas Gampec15a2f42017-04-21 12:09:39 -070040#include "runtime-inl.h"
Mathieu Chartier0795f232016-09-27 18:43:30 -070041#include "scoped_thread_state_change-inl.h"
Shih-wei Liao2fb97532011-08-11 16:17:23 -070042#include "thread.h"
Shih-wei Liao2fb97532011-08-11 16:17:23 -070043
44namespace art {
45
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080046class ExceptionTest : public CommonRuntimeTest {
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070047 protected:
Aart Bike78471d2018-02-08 11:23:07 -080048 // Since various dexers may differ in bytecode layout, we play
49 // it safe and simply set the dex pc to the start of the method,
50 // which always points to the first source statement.
51 static constexpr const uint32_t kDexPc = 0;
52
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070053 virtual void SetUp() {
Brian Carlstroma1ce1fe2014-02-24 23:23:58 -080054 CommonRuntimeTest::SetUp();
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -070055
Ian Rogers00f7d0e2012-07-19 15:28:27 -070056 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070057 StackHandleScope<2> hs(soa.Self());
58 Handle<mirror::ClassLoader> class_loader(
Mathieu Chartier0795f232016-09-27 18:43:30 -070059 hs.NewHandle(soa.Decode<mirror::ClassLoader>(LoadDex("ExceptionHandle"))));
Ian Rogers98379392014-02-24 16:53:16 -080060 my_klass_ = class_linker_->FindClass(soa.Self(), "LExceptionHandle;", class_loader);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070061 ASSERT_TRUE(my_klass_ != nullptr);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070062 Handle<mirror::Class> klass(hs.NewHandle(my_klass_));
Ian Rogers7b078e82014-09-10 14:44:24 -070063 class_linker_->EnsureInitialized(soa.Self(), klass, true, true);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -070064 my_klass_ = klass.Get();
Brian Carlstrom33f741e2011-10-03 11:24:05 -070065
Ian Rogers4445a7e2012-10-05 17:19:13 -070066 dex_ = my_klass_->GetDexCache()->GetDexFile();
Brian Carlstrom33f741e2011-10-03 11:24:05 -070067
Brian Carlstromf8bbb842012-03-14 03:01:42 -070068 uint32_t code_size = 12;
Brian Carlstromf8bbb842012-03-14 03:01:42 -070069 for (size_t i = 0 ; i < code_size; i++) {
70 fake_code_.push_back(0x70 | i);
Brian Carlstrom3320cf42011-10-04 14:58:28 -070071 }
72
David Srbeckyda4ff8b2018-05-29 20:20:12 +010073 const uint32_t native_pc_offset = 4u;
74 CHECK_ALIGNED_PARAM(native_pc_offset, GetInstructionSetInstructionAlignment(kRuntimeISA));
75
David Sehr3215fff2018-04-03 17:10:12 -070076 MallocArenaPool pool;
Vladimir Marko174b2e22017-10-12 13:34:49 +010077 ArenaStack arena_stack(&pool);
78 ScopedArenaAllocator allocator(&arena_stack);
Mathieu Chartiera2f526f2017-01-19 14:48:48 -080079 StackMapStream stack_maps(&allocator, kRuntimeISA);
David Srbeckyf6ba5b32018-06-23 22:05:49 +010080 stack_maps.BeginMethod(4 * sizeof(void*), 0u, 0u, 0u);
81 stack_maps.BeginStackMapEntry(kDexPc, native_pc_offset);
Vladimir Marko9d07e3d2016-03-31 12:02:28 +010082 stack_maps.EndStackMapEntry();
David Srbeckyf6ba5b32018-06-23 22:05:49 +010083 stack_maps.EndMethod();
David Srbeckyda4ff8b2018-05-29 20:20:12 +010084 const size_t stack_maps_size = stack_maps.PrepareForFillIn();
85 const size_t header_size = sizeof(OatQuickMethodHeader);
86 const size_t code_alignment = GetInstructionSetAlignment(kRuntimeISA);
87 const size_t code_offset = RoundUp(stack_maps_size + header_size, code_alignment);
Brian Carlstrom33f741e2011-10-03 11:24:05 -070088
David Srbeckyda4ff8b2018-05-29 20:20:12 +010089 fake_header_code_and_maps_.resize(code_offset + fake_code_.size());
Vladimir Marko9d07e3d2016-03-31 12:02:28 +010090 MemoryRegion stack_maps_region(&fake_header_code_and_maps_[0], stack_maps_size);
Mathieu Chartiercbcedbf2017-03-12 22:24:50 -070091 stack_maps.FillInCodeInfo(stack_maps_region);
David Srbeckyda4ff8b2018-05-29 20:20:12 +010092 OatQuickMethodHeader method_header(code_offset, 0u, 4 * sizeof(void*), 0u, 0u, code_size);
Andreas Gampeb68ed2c2018-06-20 10:39:31 -070093 static_assert(std::is_trivially_copyable<OatQuickMethodHeader>::value, "Cannot use memcpy");
David Srbeckyda4ff8b2018-05-29 20:20:12 +010094 memcpy(&fake_header_code_and_maps_[code_offset - header_size], &method_header, header_size);
Vladimir Marko9d07e3d2016-03-31 12:02:28 +010095 std::copy(fake_code_.begin(),
96 fake_code_.end(),
David Srbeckyda4ff8b2018-05-29 20:20:12 +010097 fake_header_code_and_maps_.begin() + code_offset);
98 const void* code_ptr = fake_header_code_and_maps_.data() + code_offset;
Vladimir Marko562ff442015-10-27 18:51:20 +000099
Vladimir Marko33bff252017-11-01 14:35:42 +0000100 if (kRuntimeISA == InstructionSet::kArm) {
Vladimir Marko562ff442015-10-27 18:51:20 +0000101 // Check that the Thumb2 adjustment will be a NOP, see EntryPointToCodePointer().
David Srbeckyda4ff8b2018-05-29 20:20:12 +0100102 CHECK_ALIGNED(code_ptr, 2);
Vladimir Marko562ff442015-10-27 18:51:20 +0000103 }
Vladimir Marko8a630572014-04-09 18:45:35 +0100104
Vladimir Markoba118822017-06-12 15:41:56 +0100105 method_f_ = my_klass_->FindClassMethod("f", "()I", kRuntimePointerSize);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700106 ASSERT_TRUE(method_f_ != nullptr);
Vladimir Markoba118822017-06-12 15:41:56 +0100107 ASSERT_FALSE(method_f_->IsDirect());
Vladimir Marko8a630572014-04-09 18:45:35 +0100108 method_f_->SetEntryPointFromQuickCompiledCode(code_ptr);
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700109
Vladimir Markoba118822017-06-12 15:41:56 +0100110 method_g_ = my_klass_->FindClassMethod("g", "(I)V", kRuntimePointerSize);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700111 ASSERT_TRUE(method_g_ != nullptr);
Vladimir Markoba118822017-06-12 15:41:56 +0100112 ASSERT_FALSE(method_g_->IsDirect());
Vladimir Marko8a630572014-04-09 18:45:35 +0100113 method_g_->SetEntryPointFromQuickCompiledCode(code_ptr);
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700114 }
115
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700116 const DexFile* dex_;
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700117
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700118 std::vector<uint8_t> fake_code_;
Vladimir Marko8a630572014-04-09 18:45:35 +0100119 std::vector<uint8_t> fake_header_code_and_maps_;
Brian Carlstrom3320cf42011-10-04 14:58:28 -0700120
Mathieu Chartiere401d142015-04-22 13:56:20 -0700121 ArtMethod* method_f_;
122 ArtMethod* method_g_;
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700123
124 private:
Vladimir Markoa8bba7d2018-05-30 15:18:48 +0100125 ObjPtr<mirror::Class> my_klass_;
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700126};
127
Shih-wei Liao1a18c8c2011-08-14 17:47:36 -0700128TEST_F(ExceptionTest, FindCatchHandler) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800129 ScopedObjectAccess soa(Thread::Current());
Mathieu Chartier698ebbc2018-01-05 11:00:42 -0800130 CodeItemDataAccessor accessor(*dex_, dex_->GetCodeItem(method_f_->GetCodeItemOffset()));
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700131
Mathieu Chartierdc578c72017-12-27 11:51:45 -0800132 ASSERT_TRUE(accessor.HasCodeItem());
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700133
Mathieu Chartier808c7a52017-12-15 11:19:33 -0800134 ASSERT_EQ(2u, accessor.TriesSize());
135 ASSERT_NE(0u, accessor.InsnsSizeInCodeUnits());
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700136
Mathieu Chartierdc578c72017-12-27 11:51:45 -0800137 const DexFile::TryItem& t0 = accessor.TryItems().begin()[0];
138 const DexFile::TryItem& t1 = accessor.TryItems().begin()[1];
139 EXPECT_LE(t0.start_addr_, t1.start_addr_);
Ian Rogers0571d352011-11-03 19:51:38 -0700140 {
Mathieu Chartierdc578c72017-12-27 11:51:45 -0800141 CatchHandlerIterator iter(accessor, 4 /* Dex PC in the first try block */);
Ian Rogers0571d352011-11-03 19:51:38 -0700142 EXPECT_STREQ("Ljava/io/IOException;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
143 ASSERT_TRUE(iter.HasNext());
144 iter.Next();
145 EXPECT_STREQ("Ljava/lang/Exception;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
146 ASSERT_TRUE(iter.HasNext());
147 iter.Next();
148 EXPECT_FALSE(iter.HasNext());
149 }
150 {
Mathieu Chartierdc578c72017-12-27 11:51:45 -0800151 CatchHandlerIterator iter(accessor, 8 /* Dex PC in the second try block */);
Ian Rogers0571d352011-11-03 19:51:38 -0700152 EXPECT_STREQ("Ljava/io/IOException;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
153 ASSERT_TRUE(iter.HasNext());
154 iter.Next();
155 EXPECT_FALSE(iter.HasNext());
156 }
157 {
Mathieu Chartierdc578c72017-12-27 11:51:45 -0800158 CatchHandlerIterator iter(accessor, 11 /* Dex PC not in any try block */);
Ian Rogers0571d352011-11-03 19:51:38 -0700159 EXPECT_FALSE(iter.HasNext());
160 }
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700161}
162
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700163TEST_F(ExceptionTest, StackTraceElement) {
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700164 Thread* thread = Thread::Current();
Ian Rogers0fb6bb52012-08-14 15:10:19 -0700165 thread->TransitionFromSuspendedToRunnable();
Brian Carlstrombd86bcc2013-03-10 20:26:16 -0700166 bool started = runtime_->Start();
167 CHECK(started);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700168 JNIEnv* env = thread->GetJniEnv();
169 ScopedObjectAccess soa(env);
Brian Carlstrom25c33252011-09-18 15:58:35 -0700170
Elliott Hughes3b6baaa2011-10-14 19:13:56 -0700171 std::vector<uintptr_t> fake_stack;
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700172 Runtime* r = Runtime::Current();
173 r->SetInstructionSet(kRuntimeISA);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700174 ArtMethod* save_method = r->CreateCalleeSaveMethod();
Andreas Gampe8228cdf2017-05-30 15:03:54 -0700175 r->SetCalleeSaveMethod(save_method, CalleeSaveType::kSaveAllCalleeSaves);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100176 QuickMethodFrameInfo frame_info = r->GetRuntimeMethodFrameInfo(save_method);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700177
Brian Carlstromba150c32013-08-27 17:31:03 -0700178 ASSERT_EQ(kStackAlignment, 16U);
Andreas Gampecfa5c482014-03-12 14:11:40 -0700179 // ASSERT_EQ(sizeof(uintptr_t), sizeof(uint32_t));
Ian Rogers0cfe1fb2011-08-26 03:29:44 -0700180
Elliott Hughes956af0f2014-12-11 14:34:28 -0800181 // Create the stack frame for the callee save method, expected by the runtime.
182 fake_stack.push_back(reinterpret_cast<uintptr_t>(save_method));
183 for (size_t i = 0; i < frame_info.FrameSizeInBytes() - 2 * sizeof(uintptr_t);
184 i += sizeof(uintptr_t)) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800185 fake_stack.push_back(0);
Ian Rogersef7d42f2014-01-06 12:55:46 -0800186 }
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700187
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100188 fake_stack.push_back(method_g_->GetOatQuickMethodHeader(0)->ToNativeQuickPc(
Aart Bike78471d2018-02-08 11:23:07 -0800189 method_g_, kDexPc, /* is_catch_handler */ false)); // return pc
Elliott Hughes956af0f2014-12-11 14:34:28 -0800190
191 // Create/push fake 16byte stack frame for method g
192 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_g_));
193 fake_stack.push_back(0);
194 fake_stack.push_back(0);
Nicolas Geoffray524e7ea2015-10-16 17:13:34 +0100195 fake_stack.push_back(method_g_->GetOatQuickMethodHeader(0)->ToNativeQuickPc(
Aart Bike78471d2018-02-08 11:23:07 -0800196 method_g_, kDexPc, /* is_catch_handler */ false)); // return pc
Elliott Hughes956af0f2014-12-11 14:34:28 -0800197
198 // Create/push fake 16byte stack frame for method f
199 fake_stack.push_back(reinterpret_cast<uintptr_t>(method_f_));
200 fake_stack.push_back(0);
201 fake_stack.push_back(0);
202 fake_stack.push_back(0xEBAD6070); // return pc
203
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700204 // Push Method* of null to terminate the trace
Elliott Hughes956af0f2014-12-11 14:34:28 -0800205 fake_stack.push_back(0);
206
207 // Push null values which will become null incoming arguments.
208 fake_stack.push_back(0);
209 fake_stack.push_back(0);
210 fake_stack.push_back(0);
211
Aart Bike78471d2018-02-08 11:23:07 -0800212 // Set up thread to appear as if we called out of method_g_ at given pc dex.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700213 thread->SetTopOfStack(reinterpret_cast<ArtMethod**>(&fake_stack[0]));
Elliott Hughes956af0f2014-12-11 14:34:28 -0800214
Sebastien Hertzee1d79a2014-02-21 15:46:30 +0100215 jobject internal = thread->CreateInternalStackTrace<false>(soa);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700216 ASSERT_TRUE(internal != nullptr);
Ian Rogers53b8b092014-03-13 23:45:53 -0700217 jobjectArray ste_array = Thread::InternalStackTraceToStackTraceElementArray(soa, internal);
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700218 ASSERT_TRUE(ste_array != nullptr);
Mathieu Chartier0795f232016-09-27 18:43:30 -0700219 auto trace_array = soa.Decode<mirror::ObjectArray<mirror::StackTraceElement>>(ste_array);
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700220
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700221 ASSERT_TRUE(trace_array != nullptr);
222 ASSERT_TRUE(trace_array->Get(0) != nullptr);
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700223 EXPECT_STREQ("ExceptionHandle",
Shih-wei Liao44175362011-08-28 16:59:17 -0700224 trace_array->Get(0)->GetDeclaringClass()->ToModifiedUtf8().c_str());
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700225 EXPECT_STREQ("ExceptionHandle.java",
226 trace_array->Get(0)->GetFileName()->ToModifiedUtf8().c_str());
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700227 EXPECT_STREQ("g", trace_array->Get(0)->GetMethodName()->ToModifiedUtf8().c_str());
Aart Bike78471d2018-02-08 11:23:07 -0800228 EXPECT_EQ(36, trace_array->Get(0)->GetLineNumber());
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700229
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700230 ASSERT_TRUE(trace_array->Get(1) != nullptr);
Brian Carlstrom33f741e2011-10-03 11:24:05 -0700231 EXPECT_STREQ("ExceptionHandle",
Shih-wei Liao44175362011-08-28 16:59:17 -0700232 trace_array->Get(1)->GetDeclaringClass()->ToModifiedUtf8().c_str());
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700233 EXPECT_STREQ("ExceptionHandle.java",
234 trace_array->Get(1)->GetFileName()->ToModifiedUtf8().c_str());
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700235 EXPECT_STREQ("f", trace_array->Get(1)->GetMethodName()->ToModifiedUtf8().c_str());
Brian Carlstrom06ed7392012-01-31 01:25:48 -0800236 EXPECT_EQ(22, trace_array->Get(1)->GetLineNumber());
Elliott Hughesa43e0932012-03-27 18:35:33 -0700237
Elliott Hughes956af0f2014-12-11 14:34:28 -0800238 thread->SetTopOfStack(nullptr); // Disarm the assertion that no code is running when we detach.
Shih-wei Liao55df06b2011-08-26 14:39:27 -0700239}
240
Shih-wei Liao2fb97532011-08-11 16:17:23 -0700241} // namespace art