projects
/
satcheck.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix apparent bug...
[satcheck.git]
/
threads.cc
diff --git
a/threads.cc
b/threads.cc
index 52b7ca9db9f8c3d7eae6bcea16a86266d27b9ac8..a3497e09f2b3693ac757f21cdb68851ded13fe84 100644
(file)
--- a/
threads.cc
+++ b/
threads.cc
@@
-24,6
+24,10
@@
/** Allocate a stack for a new thread. */
static void * stack_allocate(size_t size)
{
/** Allocate a stack for a new thread. */
static void * stack_allocate(size_t size)
{
+ // TODO: This could be a bug if we have programs that start threads
+ // in different orders. The solution is to use the same strategy
+ // the ALLOC action uses.
+
return snapshot_malloc(size);
}
return snapshot_malloc(size);
}