Пример псевдокода вызова по значению-результат

Question

Что бы этот C-like psuedo-code возвращался для следующего кода. В этом коде предполагается, что параметры для incrementAll используют call-by-value-result. Спасибо за любую помощь.

void incrementAll (int val1, int val2, int val3) { 
    val1 += 1; 
    val2 += 1; 
    val3 += 1; 
} 
void main() { 
    int save = 1; 
    int list[] = {1, 2, 3, 4, 5}; 
    incrementAll(save, list[save], list[list[save]]); 
    for (int i=0; i < listLength; i++) { 
      printf("%d ", list[i]); 
    } 
    printf("\n"); 
} 

Answer 1

Использование вызова будет значение результата, то выход будет 13445, как и в вызове по результату значения, первое значение массива будут скопированы в локальных переменных, в конце вызова функции, то измененное значение копируется обратно в исходные параметры. Но это не особенность C.