exception_test.cc revision ee1d79a603c77c0667b27c075a983579d5c51f7e 
1/*
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 */
16
17#include "class_linker.h"
18#include "common_runtime_test.h"
19#include "dex_file.h"
20#include "gtest/gtest.h"
21#include "leb128.h"
22#include "mirror/class-inl.h"
23#include "mirror/object_array-inl.h"
24#include "mirror/object-inl.h"
25#include "mirror/stack_trace_element.h"
26#include "runtime.h"
27#include "scoped_thread_state_change.h"
28#include "sirt_ref.h"
29#include "thread.h"
30#include "UniquePtr.h"
31#include "vmap_table.h"
32
33namespace art {
34
35class ExceptionTest : public CommonRuntimeTest {
36 protected:
37  virtual void SetUp() {
38    CommonRuntimeTest::SetUp();
39
40    ScopedObjectAccess soa(Thread::Current());
41    SirtRef<mirror::ClassLoader> class_loader(
42        soa.Self(), soa.Decode<mirror::ClassLoader*>(LoadDex("ExceptionHandle")));
43    my_klass_ = class_linker_->FindClass(soa.Self(), "LExceptionHandle;", class_loader);
44    ASSERT_TRUE(my_klass_ != NULL);
45    SirtRef<mirror::Class> sirt_klass(soa.Self(), my_klass_);
46    class_linker_->EnsureInitialized(sirt_klass, true, true);
47    my_klass_ = sirt_klass.get();
48
49    dex_ = my_klass_->GetDexCache()->GetDexFile();
50
51    uint32_t code_size = 12;
52    fake_code_.push_back((code_size >> 24) & 0xFF);
53    fake_code_.push_back((code_size >> 16) & 0xFF);
54    fake_code_.push_back((code_size >>  8) & 0xFF);
55    fake_code_.push_back((code_size >>  0) & 0xFF);
56    for (size_t i = 0 ; i < code_size; i++) {
57      fake_code_.push_back(0x70 | i);
58    }
59
60    fake_mapping_data_.PushBackUnsigned(4);  // first element is count
61    fake_mapping_data_.PushBackUnsigned(4);  // total (non-length) elements
62    fake_mapping_data_.PushBackUnsigned(2);  // count of pc to dex elements
63                                      // ---  pc to dex table
64    fake_mapping_data_.PushBackUnsigned(3 - 0);  // offset 3
65    fake_mapping_data_.PushBackSigned(3 - 0);    // maps to dex offset 3
66                                      // ---  dex to pc table
67    fake_mapping_data_.PushBackUnsigned(3 - 0);  // offset 3
68    fake_mapping_data_.PushBackSigned(3 - 0);    // maps to dex offset 3
69
70    fake_vmap_table_data_.PushBackUnsigned(0 + VmapTable::kEntryAdjustment);
71
72    fake_gc_map_.push_back(0);  // 0 bytes to encode references and native pc offsets.
73    fake_gc_map_.push_back(0);
74    fake_gc_map_.push_back(0);  // 0 entries.
75    fake_gc_map_.push_back(0);
76
77    method_f_ = my_klass_->FindVirtualMethod("f", "()I");
78    ASSERT_TRUE(method_f_ != NULL);
79    method_f_->SetFrameSizeInBytes(4 * kPointerSize);
80    method_f_->SetEntryPointFromQuickCompiledCode(&fake_code_[sizeof(code_size)]);
81    method_f_->SetMappingTable(&fake_mapping_data_.GetData()[0]);
82    method_f_->SetVmapTable(&fake_vmap_table_data_.GetData()[0]);
83    method_f_->SetNativeGcMap(&fake_gc_map_[0]);
84
85    method_g_ = my_klass_->FindVirtualMethod("g", "(I)V");
86    ASSERT_TRUE(method_g_ != NULL);
87    method_g_->SetFrameSizeInBytes(4 * kPointerSize);
88    method_g_->SetEntryPointFromQuickCompiledCode(&fake_code_[sizeof(code_size)]);
89    method_g_->SetMappingTable(&fake_mapping_data_.GetData()[0]);
90    method_g_->SetVmapTable(&fake_vmap_table_data_.GetData()[0]);
91    method_g_->SetNativeGcMap(&fake_gc_map_[0]);
92  }
93
94  const DexFile* dex_;
95
96  std::vector<uint8_t> fake_code_;
97  Leb128EncodingVector fake_mapping_data_;
98  Leb128EncodingVector fake_vmap_table_data_;
99  std::vector<uint8_t> fake_gc_map_;
100
101  mirror::ArtMethod* method_f_;
102  mirror::ArtMethod* method_g_;
103
104 private:
105  mirror::Class* my_klass_;
106};
107
108TEST_F(ExceptionTest, FindCatchHandler) {
109  ScopedObjectAccess soa(Thread::Current());
110  const DexFile::CodeItem* code_item = dex_->GetCodeItem(method_f_->GetCodeItemOffset());
111
112  ASSERT_TRUE(code_item != NULL);
113
114  ASSERT_EQ(2u, code_item->tries_size_);
115  ASSERT_NE(0u, code_item->insns_size_in_code_units_);
116
117  const DexFile::TryItem *t0, *t1;
118  t0 = dex_->GetTryItems(*code_item, 0);
119  t1 = dex_->GetTryItems(*code_item, 1);
120  EXPECT_LE(t0->start_addr_, t1->start_addr_);
121  {
122    CatchHandlerIterator iter(*code_item, 4 /* Dex PC in the first try block */);
123    EXPECT_STREQ("Ljava/io/IOException;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
124    ASSERT_TRUE(iter.HasNext());
125    iter.Next();
126    EXPECT_STREQ("Ljava/lang/Exception;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
127    ASSERT_TRUE(iter.HasNext());
128    iter.Next();
129    EXPECT_FALSE(iter.HasNext());
130  }
131  {
132    CatchHandlerIterator iter(*code_item, 8 /* Dex PC in the second try block */);
133    EXPECT_STREQ("Ljava/io/IOException;", dex_->StringByTypeIdx(iter.GetHandlerTypeIndex()));
134    ASSERT_TRUE(iter.HasNext());
135    iter.Next();
136    EXPECT_FALSE(iter.HasNext());
137  }
138  {
139    CatchHandlerIterator iter(*code_item, 11 /* Dex PC not in any try block */);
140    EXPECT_FALSE(iter.HasNext());
141  }
142}
143
144TEST_F(ExceptionTest, StackTraceElement) {
145  Thread* thread = Thread::Current();
146  thread->TransitionFromSuspendedToRunnable();
147  bool started = runtime_->Start();
148  CHECK(started);
149  JNIEnv* env = thread->GetJniEnv();
150  ScopedObjectAccess soa(env);
151
152  std::vector<uintptr_t> fake_stack;
153  ASSERT_EQ(kStackAlignment, 16U);
154  // ASSERT_EQ(sizeof(uintptr_t), sizeof(uint32_t));
155
156  if (!kUsePortableCompiler) {
157    // Create two fake stack frames with mapping data created in SetUp. We map offset 3 in the code
158    // to dex pc 3.
159    const uint32_t dex_pc = 3;
160
161    // Create/push fake 16byte stack frame for method g
162    fake_stack.push_back(reinterpret_cast<uintptr_t>(method_g_));
163    fake_stack.push_back(0);
164    fake_stack.push_back(0);
165    fake_stack.push_back(method_f_->ToNativePc(dex_pc));  // return pc
166
167    // Create/push fake 16byte stack frame for method f
168    fake_stack.push_back(reinterpret_cast<uintptr_t>(method_f_));
169    fake_stack.push_back(0);
170    fake_stack.push_back(0);
171    fake_stack.push_back(0xEBAD6070);  // return pc
172
173    // Pull Method* of NULL to terminate the trace
174    fake_stack.push_back(0);
175
176    // Push null values which will become null incoming arguments.
177    fake_stack.push_back(0);
178    fake_stack.push_back(0);
179    fake_stack.push_back(0);
180
181    // Set up thread to appear as if we called out of method_g_ at pc dex 3
182    thread->SetTopOfStack(reinterpret_cast<mirror::ArtMethod**>(&fake_stack[0]), method_g_->ToNativePc(dex_pc));  // return pc
183  } else {
184    // Create/push fake 20-byte shadow frame for method g
185    fake_stack.push_back(0);
186    fake_stack.push_back(0);
187    fake_stack.push_back(reinterpret_cast<uintptr_t>(method_g_));
188    fake_stack.push_back(3);
189    fake_stack.push_back(0);
190
191    // Create/push fake 20-byte shadow frame for method f
192    fake_stack.push_back(0);
193    fake_stack.push_back(0);
194    fake_stack.push_back(reinterpret_cast<uintptr_t>(method_f_));
195    fake_stack.push_back(3);
196    fake_stack.push_back(0);
197
198    thread->PushShadowFrame(reinterpret_cast<ShadowFrame*>(&fake_stack[5]));
199    thread->PushShadowFrame(reinterpret_cast<ShadowFrame*>(&fake_stack[0]));
200  }
201
202  jobject internal = thread->CreateInternalStackTrace<false>(soa);
203  ASSERT_TRUE(internal != NULL);
204  jobjectArray ste_array = Thread::InternalStackTraceToStackTraceElementArray(soa, internal);
205  ASSERT_TRUE(ste_array != NULL);
206  mirror::ObjectArray<mirror::StackTraceElement>* trace_array =
207      soa.Decode<mirror::ObjectArray<mirror::StackTraceElement>*>(ste_array);
208
209  ASSERT_TRUE(trace_array != NULL);
210  ASSERT_TRUE(trace_array->Get(0) != NULL);
211  EXPECT_STREQ("ExceptionHandle",
212               trace_array->Get(0)->GetDeclaringClass()->ToModifiedUtf8().c_str());
213  EXPECT_STREQ("ExceptionHandle.java", trace_array->Get(0)->GetFileName()->ToModifiedUtf8().c_str());
214  EXPECT_STREQ("g", trace_array->Get(0)->GetMethodName()->ToModifiedUtf8().c_str());
215  EXPECT_EQ(37, trace_array->Get(0)->GetLineNumber());
216
217  ASSERT_TRUE(trace_array->Get(1) != NULL);
218  EXPECT_STREQ("ExceptionHandle",
219               trace_array->Get(1)->GetDeclaringClass()->ToModifiedUtf8().c_str());
220  EXPECT_STREQ("ExceptionHandle.java", trace_array->Get(1)->GetFileName()->ToModifiedUtf8().c_str());
221  EXPECT_STREQ("f", trace_array->Get(1)->GetMethodName()->ToModifiedUtf8().c_str());
222  EXPECT_EQ(22, trace_array->Get(1)->GetLineNumber());
223
224#if !defined(ART_USE_PORTABLE_COMPILER)
225  thread->SetTopOfStack(NULL, 0);  // Disarm the assertion that no code is running when we detach.
226#else
227  thread->PopShadowFrame();
228  thread->PopShadowFrame();
229#endif
230}
231
232}  // namespace art
233