Я нашел эту проблему в очень большом приложении, сделал из нее SSCCE. Я не знаю, нарушает ли код поведение undefined или -O2.
При компиляции с gcc a.c -o a.exe -O2 -Wall -Wextra -Werror он печатает 5.
Но при компиляции без -O2 (например, -O1) он печатает 25) или раскомментирует одну из двух прокомментированных строк (предотвратите inlining).
#include <stdio.h>
#include <stdlib.h>
// __attribute__((noinline))
int f(int* todos, int input) {
int* cur = todos-1; // fixes the ++ at the beginning of the loop
int result = input;
while(1) {
cur++;
int ch = *cur;
// printf("(%i)\n", ch);
switch(ch) {
case 0:;
goto end;
case 1:;
result = result*result;
break;
}
}
end:
return result;
}
int main() {
int todos[] = { 1, 0}; // 1:square, 0:end
int input = 5;
int result = f(todos, input);
printf("=%i\n", result);
printf("end\n");
return 0;
}
Является ли опция GCC -O2 нарушением этой маленькой программы или у меня есть поведение undefined где-то?
