Почему GCC не выдает ошибок при передаче параметра void * в параметр void**?

Разве gcc не должен выдавать предупреждение о типе, потому что void* передается в void** параметр функции?

Я пробовал clang, gcc4.8 и gcc9. Никто из них, кажется, не заботится:

gcc -Wall -c t.c

void f(void *a)
{
}

void g(void **b)
{
    f(b);
}

Интересно, что следующий пример ниже вызывает это предупреждение:

t.c: In function ‘g’:
t.c:7:2: warning: passing argument 1 of ‘f’ from incompatible pointer type [enabled by default]
  f(&b);
  ^
t.c:1:6: note: expected ‘void **’ but argument is of type ‘char *’
 void f(void **a)

void f(void **a)
{
}

void g(char b)
{
    f(&b);
}

и этот следующий дает:

t.c: In function ‘g’:
t.c:7:2: warning: passing argument 1 of ‘f’ from incompatible pointer type [enabled by default]
  f(&b);
  ^
t.c:1:6: note: expected ‘void **’ but argument is of type ‘char **’
 void f(void **a)

void f(void **a)
{
}

void g(char *b)
{
    f(&b);
}

но это не так:

void f(void *a)
{
}

void g(char b)
{
    f(&b);
}

поэтому иногда он заботится о том, чтобы тип указателя передавался в void**, а иногда нет. Таким образом, void* и void** не всегда рассматриваются одинаково. Также char** не будет транслироваться на void**.