warning: char ** -> const char *const *

Да, это правильно. Вот, поэтому.

http://c-faq.com/ansi/constmismatch.html

tl;dr: const char ** - это указатель на const char *, а не на char *, который ты пытаешься передавать. Это разные типы, несмотря на то, что не-const можно привести к const. Для более вложенных указателей не работает даже это.

А вот превратить в const char * const * можно. Если это баг с getopt, то нужно соответственно изменить декларацию argv в main().

Ты, видимо, хочешь void f(char **const a) {}

Но что если я имел в виду именно const char **? То есть я хочу издеваться не над данными, а над указателем, который const char *.

Черт. Я в конец запутался. Я просто хочу пообещать, что не буду трогать ни указатели, ни данные.

Ты, видимо, хочешь void f(char **const a) {}

**a = 'a';, например, или *a = malloc(sizeof(char) * 100500); функция сможет, а не должна.

А вот превратить в const char * const * можно.

Да, в C++, а в C это вроде так и не добавили, хотя может в новом стандарте.

Всегда можно кастовать в нужный тип, это же C. Но на свой страх и риск, конечно.

А что делать, если

Я просто хочу пообещать, что не буду трогать ни указатели, ни данные.

при том, что на const char *const * он ругает аналогично?

Как выше писали, «const char *const *» действительно в C не работает, поэтому обещать компилятору надо вот так:

char **a;
f((const char **)a);

в C это вроде так и не добавили, хотя может в новом стандарте

Нет, в новом тоже не добавили. :(

Т.е. нужно явно приводить тип к (const char * const *).

Понятно.