I have a std::map data member inside a class called ExecState:
class ExecState { // ...
std::map<int,ref<Expr> > ab_size;
// ...
};
When I print it from gdb I see the expected values:
(gdb) print state.ab_size
$1 = std::map with 1 elements = {[1] = {ptr = 0x2a221d0}}
However, when I try to access the element itself, gdb fails:
(gdb) print state.ab_size[1]
Attempt to take address of value not located in memory.
What am I doing wrong here? thanks!