- HashTable<void *, value_set_t *, uintptr_t, 4> * write_history = history->getWriteHistory();
+ HashTable<void *, value_set_t *, uintptr_t, 0> * write_history = history->getWriteHistory();
- HashTable<FuncNode *, int, uintptr_t, 0> distances;
+ HashTable<FuncNode *, int, uintptr_t, 0> distances(128);
ModelList<FuncNode *> * outEdges = curr->get_out_edges();
mllnode<FuncNode *> * it;
for (it = outEdges->begin(); it != NULL; it = it->getNext()) {
FuncNode * out_node = it->getVal();
ModelList<FuncNode *> * outEdges = curr->get_out_edges();
mllnode<FuncNode *> * it;
for (it = outEdges->begin(); it != NULL; it = it->getNext()) {
FuncNode * out_node = it->getVal();