C语言for循环test条件为真，但是不执行statement语句？

关于for循环执行顺序的疑惑。
当test判定为真的时候，执行了value语句

#include<stdio.h>
   int main(){
        int value;
        for(value = 4; value > 0; value /=2){
            printf("%d",value);
        }
        printf("%d",value);        //查看value最后的值；
        return 0;
}

第一次循环：不执行value /=2 ，结果输出4；
第二次循环：4>0, 执行value /= 2 == 2，结果输出2；
第三次循环：2>0, 执行value /= 2 == 1, 结果输出1；
第四次循环：1>0, 执行value /= 2 == 0, 结果输出0；
这是我的理解，但实际结果只输出了4,2,1，并未输出0，是因为for循环执行update后还需要返回test一次再确定执不执行