Infinite loop that terminates (in C)

a.c

#include <stdio.h>

int f(int b)
{
    while (1) {
        if (b)
            return 1;
    }
    return 0;
}

int main(void)
{
    printf("f(0) returned %d\n", f(0));
    return 0;
}

result

$ clang -O3 a.c && ./a.out
f(0) returned 1