Added first pass of verifier and supporting changes.
The verifier still needs to make a second pass through the code where it
checks the code flow. A TODO marks where it will be added.
Change-Id: I0abea5bad563776186df342d8132fb1ca8869652
diff --git a/src/dex_instruction_visitor_test.cc b/src/dex_instruction_visitor_test.cc
index ff24e52..0edf160 100644
--- a/src/dex_instruction_visitor_test.cc
+++ b/src/dex_instruction_visitor_test.cc
@@ -20,34 +20,34 @@
CountVisitor() : count_(0) {}
- void Do_Default(Instruction* inst) {
+ void Do_Default(const Instruction* inst) {
++count_;
}
};
TEST(InstructionTest, Count) {
CountVisitor v0;
- uint16_t c0[] = {};
+ const uint16_t c0[] = {};
v0.Visit(c0, sizeof(c0));
EXPECT_EQ(0, v0.count_);
CountVisitor v1;
- uint16_t c1[] = { 0 };
+ const uint16_t c1[] = { 0 };
v1.Visit(c1, sizeof(c1));
EXPECT_EQ(1, v1.count_);
CountVisitor v2;
- uint16_t c2[] = { 0, 0 };
+ const uint16_t c2[] = { 0, 0 };
v2.Visit(c2, sizeof(c2));
EXPECT_EQ(2, v2.count_);
CountVisitor v3;
- uint16_t c3[] = { 0, 0, 0, };
+ const uint16_t c3[] = { 0, 0, 0, };
v3.Visit(c3, sizeof(c3));
EXPECT_EQ(3, v3.count_);
CountVisitor v4;
- uint16_t c4[] = { 0, 0, 0, 0 };
+ const uint16_t c4[] = { 0, 0, 0, 0 };
v4.Visit(c4, sizeof(c4));
EXPECT_EQ(4, v4.count_);
}