История изменений

Там какая-то шизофазия. «компилятор должен вывести», но в общем случае это невозможно вывести. Вот твой пример:

void read_block(FILE *f, char *buff)
{
        // тут компилятор должен вывести что len(buff) == 999
        fread(buff, 1, 9999, f);
}

Эту функцию нужно скомпилировать для SysV ABI. Как ты её скомпилируешь, что ты будешь проверять? Как ты отличишь (по указателю) ситуацию char login[8]; char password[8]; от char something[16];?

Там какая-то шизофазия. «компилятор должен вывести», но в общем случае это невозможно вывести. Вот твой пример:

void read_block(FILE *f, char *buff)
{
        // тут компилятор должен вывести что len(buff) == 999
        fread(buff, 1, 9999, f);
}

Эту функцию нужно скомпилировать для SysV ABI. Как ты её скомпилируешь, что ты будешь проверять?