C语言中for循环初始化中的评估顺序

考虑以下C代码片段：

int a;
int b;
for (a = 0, b = a + 1; a < N; a++)
    /* Something. */

C规范是否明确要求编译器按其出现顺序将语句保留在for-initializer中？

我专门试图避免未定义的行为，例如，如果a是在外部/全局范围内，并且规范在此特定领域中并不严格。换句话说，我想确保上面的示例为编译器定义了明确的定义，并且不要输入诸如的灰色区域a = ++a + b++;。