「if(!strcmp(s1,s2))がヘタであること」を証明するのに、延々議論してきた様ですが、
このコードが書き手の意図通り動作(s1とs2が等しいか否かで分岐)する/しないを
証明できれば、結論は直ぐに出る気がするのだが。

#場当たり的対応でスレを伸ばすような輩が書くコードなんて高が知れてる希ガス