projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
fix memory leak
[model-checker.git]
/
nodestack.cc
diff --git
a/nodestack.cc
b/nodestack.cc
index c757af25f647339fe7ef590ad1eb989271aff222..b9142435c5267f276d10ed9b9c5c315801bfd6f7 100644
(file)
--- a/
nodestack.cc
+++ b/
nodestack.cc
@@
-96,7
+96,8
@@
int Node::get_yield_data(int tid1, int tid2) const {
}
void Node::update_yield(Scheduler * scheduler) {
}
void Node::update_yield(Scheduler * scheduler) {
- yield_data=(int *) model_calloc(1, sizeof(int)*num_threads*num_threads);
+ if (yield_data==NULL)
+ yield_data=(int *) model_calloc(1, sizeof(int)*num_threads*num_threads);
//handle base case
if (parent == NULL) {
for(int i = 0; i < num_threads*num_threads; i++) {
//handle base case
if (parent == NULL) {
for(int i = 0; i < num_threads*num_threads; i++) {