Установленное значение, равное самому себе

Question

Я не знаю, где искать это (возможно, стандартное, но все еще не знаю, что искать), поэтому я попрошу об этом здесь.

Если в каком-то исполнении array[i2] будет установлен в array[i] где i2 бывает равным i, то это определяется поведение?

Я использую C99 (с GCC 4.8.1), глядя на сборку с gcc -S, я не вижу ничего подозрительного.

Answer 1

Если переменная i имеет действительное значение, то назначение

i = i; 

отлично определяется поведение. Это соответствует вашему вопросу, как указано.

Если в вашей ситуации есть что-то более сложное, вы должны предоставить более подробную информацию об этом.

Answer 2

Это абсолютно определенное поведение. Сначала вычисляется правая часть задания, а затем назначается левой стороне. Обратите внимание, что левая сторона должна разрешить значение l.

Answer 3

foo() { 
    int i, j, a[5], b[5]; 
    i = i; // undefined because reading i is UB 
    j = i; // undefined because reading i is UB 
    a[i] = a[i]; // undefined because reading i is UB 
    a[3] = a[3]; // undefined because reading a[3] is UB 
    b[3] = a[3]; // undefined because reading a[3] is UB 
}