Не могу ни вспомнить, ни найти, что делает при вызове следующая функция some_function:

Со static, inline, void всё понятно.
Но что делает тело функции some_function с данными, переданными по указателю на AAA???

Ничего не делает. (void)a просто убирает предупреждение компилятора о неиспользованной переменной.

Если это реальный пример для реального процессора, то скорей всего используя такую функцию, адрес "some_type_t* a" передается в регистр, в какой именно надо смотреть из описания компилятора для процессора через какие регистры и как передаются параметры для функций.

http://electronix.ru/forum/index.php?showt...=117922&hl=
Не совсем то...

Действительно не делает ничего кроме устранения предупреждения компилятора о неиспользуемой переменной. А вот если бы a была volatile-переменной, то такая запись вынуждала бы компилятор прочитать эту переменную, что бывает полезно для регистров периферии, которые сбрасываются чтением.

Спасибо, понятно.
Для принудительного чтения регистров периферии всё же было бы (void)*a, если уж a - это указатель.
Я для предотвращения варнига обычно пишу a=a;
А тут (смотрю чужой код) померещился вызов функции без параметров по указателю a, но это указатель на данные, вот, думаю, хитро закручено...
А оказалось всё просто!
P.S. А кстати - разве компилятор ругается на неиспользованные параметры функций???

Иногда. Подайте компилятору ключик -Wall, получите много интересной ругани

Для Keil: --remarks

По теме - указатель превратили в ничто. Не понимаю.

Давайте по шагам:
Предупреждение - 'unused parameter'. Логично - параметр передали но не использовали, спрашивается - зачем передавали?
Попробуем использовать параметр, но так, что бы не было лишнего кода (как то не хочется истреблять варнинг такой ценой) -
Вполне валидный код, ничего не делает, и использует параметр 'a'. Имеем другое предупреждение - 'Code has no effect', т.е. п2 из предыдущего предложения в полный рост - 'Код ничего не делает'. Т.е. есть выражение, оно как то вычисляется, никаких побочных эффектов у него нет, но результат не используется. Подозрительно - зачем вычисляли?
И наконец вариант -
Теперь и параметр использован, и выражение имеет тип void, что обозначает невозможность его дальнейшего использования. Т.е. отсутствие использования результата уже не подозрительно - его в принципе нельзя использовать.

Имеем happy end - все счастливы

А вариант

чем плох?
То есть, имеется некий массив функций с одним аргументом - указателем на структуру. Вызываемых по указателю на функцию. В каких-то функциях аргумент используется, а в каких-то нет. Не могу представить.

Тем, что у него вообще параметра нет
Вы не сможете (без мата со стороны компилятора) положить в такой массив указатель на функцию без аргумента. Более того, на некоторых архитектура вы получите run-time слом, при попытке вызвать функцию без параметров как функцию с одним параметром (например 32х битный x86, calling conversion - stdcall).

Да. Я о том и говорю. Скорее всего, был массив функций с аргументами.
Иначе я писал бы сразу функцию без аргументов.
А не могу представить такого массива функций в реальности - какие-то с аргументами, какие-то нет. Для некой структуры. Хотя, если это часы, например...?

В смысле - зачем функции аргумент, если она его не использует? Это как раз вполне может быть. Аргумент может содержать какие то дополнительные данные, которые нужны далеко не всем функциям в массиве.

Например - у вас есть некий встроенный скриптовый язык, а в массиве сложены указатели на функции этого языка. И у вас есть функция, типа getenv, которая возвращает переменную окружения, в виде строки. Это самое окружение и передается в качестве параметра функции. Очевидно, что для getenv этот параметр потребуется, а для подавляющего большинства остальных функций - нет