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