+static
+void test_deref(mc_expression_state_t state) {
+ uintptr_t foo = 42;
+
+ Dwarf_Op ops[60];
+ ops[0].atom = DW_OP_addr;
+ ops[0].number = (Dwarf_Word) &foo;
+ ops[1].atom = DW_OP_deref;
+ state->stack_size = 0;
+
+ assert(mc_dwarf_execute_expression(2, ops, state) == MC_EXPRESSION_OK);
+ assert(state->stack_size==1);
+ assert(state->stack[state->stack_size-1] == foo);
+}
+