c言語で && とか || は左から評価されることが保証されている?