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

fix(lua/thread): uninitialized memory

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-11-15 09:07:18 -08:00
parent b5dcb93550
commit 782335581b
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/bindings/lua/leanlua_state.cpp
View file

@ -446,14 +446,16 @@ class leanlua_thread {
int m_sz_before; int m_sz_before;
bool m_error; bool m_error;
std::string m_error_msg; std::string m_error_msg;
interruptible_thread m_thread;
std::atomic<data_channel_ref *> m_in_channel_addr; std::atomic<data_channel_ref *> m_in_channel_addr;
std::atomic<data_channel_ref *> m_out_channel_addr; std::atomic<data_channel_ref *> m_out_channel_addr;
interruptible_thread m_thread;
public: public:
leanlua_thread(leanlua_state const & st, int sz_before, int num_args): leanlua_thread(leanlua_state const & st, int sz_before, int num_args):
m_state(st), m_state(st),
m_sz_before(sz_before), m_sz_before(sz_before),
m_error(false), m_error(false),
m_in_channel_addr(0),
m_out_channel_addr(0),
m_thread([=]() { m_thread([=]() {
m_in_channel_addr.store(&g_in_channel); m_in_channel_addr.store(&g_in_channel);
m_out_channel_addr.store(&g_out_channel); m_out_channel_addr.store(&g_out_channel);