possible bug?

[soonho-tri]

Could you check the following compiler warnings? It might indicate real bugs.

Arif asked me to check how to install SReach on Gauss machine, so I gave a shot and found those messages.

/usr0/home/soonhok/work/sreach/src/statSMT_para.cpp: In member function ‘virtual void Lai::doTest(long unsigned int, long unsigned int)’:
/usr0/home/soonhok/work/sreach/src/statSMT_para.cpp:452:5: warning: this ‘else’ clause does not guard... [-Wmisleading-indentation]
     else  w = 1/t; g = 0.5*(2*log(w) + log(log(w)) - log(4*pi) - 3*exp(-0.016*sqrt(w)));
     ^~~~
/usr0/home/soonhok/work/sreach/src/statSMT_para.cpp:452:20: note: ...this statement, but the latter is misleadingly indented as if it is guarded by the ‘else’
     else  w = 1/t; g = 0.5*(2*log(w) + log(log(w)) - log(4*pi) - 3*exp(-0.016*sqrt(w)));
                    ^
/usr0/home/soonhok/work/sreach/src/statSMT_sq.cpp: In member function ‘virtual void Lai::doTest(long unsigned int, long unsigned int)’:
/usr0/home/soonhok/work/sreach/src/statSMT_sq.cpp:448:5: warning: this ‘else’ clause does not guard... [-Wmisleading-indentation]
     else  w = 1/t; g = 0.5*(2*log(w) + log(log(w)) - log(4*pi) - 3*exp(-0.016*sqrt(w)));
     ^~~~
/usr0/home/soonhok/work/sreach/src/statSMT_sq.cpp:448:20: note: ...this statement, but the latter is misleadingly indented as if it is guarded by the ‘else’
     else  w = 1/t; g = 0.5*(2*log(w) + log(log(w)) - log(4*pi) - 3*exp(-0.016*sqrt(w)));

[rachelwang]

I think that Arif had installed SReach on Gauss machine already. We had a workshop paper on last Oct - Nov. So, he needed to use SReach at that time. I did modify something according to his requests. I am not sure whether you are using the most recent version of SReach. Maybe you wanna check whether the sreach under dreal is the most recent one, or sreach under my account is. If you have the above problem for both versions, please let me know. I will look into it right after I come back from the PI meeting. Best, Qinsi

…

On Fri, Mar 31, 2017 at 9:22 AM, Soonho Kong ***@***.***> wrote: Could you check the following compiler warnings? It might indicate real bugs. Arif asked me to check how to install SReach on Gauss machine, so I gave a shot and found those messages. /usr0/home/soonhok/work/sreach/src/statSMT_para.cpp: In member function ‘virtual void Lai::doTest(long unsigned int, long unsigned int)’: /usr0/home/soonhok/work/sreach/src/statSMT_para.cpp:452:5: warning: this ‘else’ clause does not guard... [-Wmisleading-indentation] else w = 1/t; g = 0.5*(2*log(w) + log(log(w)) - log(4*pi) - 3*exp(-0.016*sqrt(w))); ^~~~ /usr0/home/soonhok/work/sreach/src/statSMT_para.cpp:452:20: note: ...this statement, but the latter is misleadingly indented as if it is guarded by the ‘else’ else w = 1/t; g = 0.5*(2*log(w) + log(log(w)) - log(4*pi) - 3*exp(-0.016*sqrt(w))); ^ /usr0/home/soonhok/work/sreach/src/statSMT_sq.cpp: In member function ‘virtual void Lai::doTest(long unsigned int, long unsigned int)’: /usr0/home/soonhok/work/sreach/src/statSMT_sq.cpp:448:5: warning: this ‘else’ clause does not guard... [-Wmisleading-indentation] else w = 1/t; g = 0.5*(2*log(w) + log(log(w)) - log(4*pi) - 3*exp(-0.016*sqrt(w))); ^~~~ /usr0/home/soonhok/work/sreach/src/statSMT_sq.cpp:448:20: note: ...this statement, but the latter is misleadingly indented as if it is guarded by the ‘else’ else w = 1/t; g = 0.5*(2*log(w) + log(log(w)) - log(4*pi) - 3*exp(-0.016*sqrt(w))); — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#13>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AGPQw9Cph-477gjM-TA48wrUPmG7-WOCks5rrP34gaJpZM4MvqRb> .

-- Postdoc Researcher Computer Science Department School of Computing Sciences Carnegie Mellon University http://www.cs.cmu.edu/~qinsiw/

[soonho-tri]

AFAIK, @mdaislam006 just installed SReach on Gauss.

I am not sure whether you are using the most recent version of SReach.

I was using dreal/sreach. I think it's not the latest and the one in rachelwang/sreach is the latest? If that's the case, I'll close this issue.

If you have the above problem for both versions, please let me know. I will look into it right after I come back from the PI meeting.

Please take your time and check things. If needed, please update this repository (dreal/sreach).