michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(util/stackinfo): memory leak at get_stack_size

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-12-01 19:17:28 -08:00
parent 74dfdd02de
commit 75f8d56eb1
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/util/stackinfo.cpp
View file

@ -24,6 +24,7 @@ size_t get_stack_size() {
void * ptr; void * ptr;
size_t result; size_t result;
pthread_attr_getstack (&attr, &ptr, &result); pthread_attr_getstack (&attr, &ptr, &result);
pthread_attr_destroy(&attr);
return result; return result;
} }
#endif #endif