问C:条件表达式中的求值顺序

EN

有以下C代码：

#include <stdio.h>

int main ()
{
    int a[5] = {0, 1, 2, 3, 4};
    int* a_p = a;
    float x = 1.5;

    while(x > (*a_p++))
    {
        printf("*a_p = %d\n", *a_p);
    }

    printf("*a_p = %d", *a_p);
    return 0;
}

问题是，最终的printf语句的结果是什么？我认为命令是：

1)在while内部，a_p地址递增=> *a_p is 1 (a[1])

2) 1.5与1比较

3)在while内部，a_p地址再次递增=> *a_p is 2 (a[2])

4) 1.5与2比较

5) 2是为*a_p打印的

我试过用3个编译器，结果是3。为什么3是正确的结果？首先进行比较，然后指针递增，这意味着在上面的步骤4中，在完成比较之后，*a_p是3吗？这总是这种行为(这个行为是定义的)还是编译器依赖的？