projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
51ee3f7
)
Free memory
author
weiyu
<weiyuluo1232@gmail.com>
Tue, 1 Oct 2019 02:29:29 +0000
(19:29 -0700)
committer
weiyu
<weiyuluo1232@gmail.com>
Tue, 1 Oct 2019 02:29:29 +0000
(19:29 -0700)
funcnode.cc
patch
|
blob
|
history
predicate.cc
patch
|
blob
|
history
diff --git
a/funcnode.cc
b/funcnode.cc
index af268aad0d0cf95c3fbca6d8b32f134dc6f2af1a..18c18997e177da9b611d1d10323e87e602f16c73 100644
(file)
--- a/
funcnode.cc
+++ b/
funcnode.cc
@@
-365,6
+365,7
@@
bool FuncNode::follow_branch(Predicate ** curr_pred, FuncInst * next_inst, Model
break;
}
}
break;
}
}
+ delete concrete_pred;
if (predicate_correct) {
*curr_pred = branch;
if (predicate_correct) {
*curr_pred = branch;
diff --git
a/predicate.cc
b/predicate.cc
index fd9e78fa39cf158d42b0d92490718c767422f52c..9e2f16210f2779b2d9b289840115b90bf35cbc0f 100644
(file)
--- a/
predicate.cc
+++ b/
predicate.cc
@@
-93,7
+93,6
@@
ConcretePredicate * Predicate::evaluate(inst_act_map_t * inst_act_map, thread_id
return concrete;
}
return concrete;
}
-
void Predicate::print_predicate()
{
model_print("\"%p\" [shape=box, label=\"\n", this);
void Predicate::print_predicate()
{
model_print("\"%p\" [shape=box, label=\"\n", this);