若有如下程序段，其中s、a、b、c均已定义为整型变量，且a、c均已赋值（c大于0）
s=a; for(b=1; b<=c; b++) s = s - 1;
s=a-c;
s=a-b;
s=s-c;
s=b-c;