如何用C语言，怎么推断？

图片说明

s=1或2 起初t=1
由最后t=4    只能是a<b，所以s==2，那么a>0
b>a>0