若有如下程序段，其中 s、 a、 b、 c均已定义为整型变量，且a、 c 均已赋值(c大于0)。s = a; for (b = 1; b <=c ; b++) s=s + 1; 则与上述程序段功能等价的语句是（ ）
s == a + b;
s == a + c;
s = a + b;
s = a + c;