Насчет скобок инструкций - C (СИ)

Формулировка задачи:

на данный вопрос не нашел ответа почему работает код приведенный ниже? там же нету фигурных скобочек после циклов и ифов? их что не обязательно писать? где об это мпочитать

void expand(char s1[], char s2[])
{
    int i, j, k;
    k = 0;
    for (i = 0; s1[i] != '\0'; i++)
        if (s1[i] == '-')
            if (i == 0 || s1[i+1] == '\0')
                s2[k++] = '-';
            else
                for (j = s1[i-1]; j <= s1[i+1]; j++)
                    s2[k++] = j;
    s2[k] = '\0';
}
 
int main(void)
{
    char s1[] = "-a-z0-9d-f-";
    char s2[128] = "";
    expand(s1, s2);
    printf("s1=%s\ns2=%s\n", s1, s2);
    return 0;
}

Решение задачи: «Насчет скобок инструкций»

Листинг программы

if (s1[i] == '-')
    do
        if (i == 0 || s1[i+1] == '\0')
            s2[k++] = '-';
    while (0);
else
    for (j = s1[i-1]; j <= s1[i+1]; j++)
        s2[k++] = j;

Объяснение кода листинга программы

В этом коде сравнивается символ в строке s1 со знаком -.
Если символ в строке s1 равен -, то выполняется следующий блок кода.
Внутри блока проверяется, является ли текущий индекс i первым или последним в строке s1.
Если i является первым или последним индексом, то в строку s2 добавляется символ -.
Если текущий символ в строке s1 не равен -, то выполняется следующий блок кода.
Внутри блока инициализируется переменная j значением символа, предшествующего текущему символу в строке s1.
Затем, пока j меньше следующего символа в строке s1, в строку s2 добавляется значение j.
Значение k увеличивается на единицу после каждого добавления значения в строку s2.