как сабж сделать?

Разумнее всего, так-же, как на любую другую а также на любую переменную. Указатель это адрес, адрес это имя.
Гглавное прежде всего самому себе не морочить голову вопросом замены call на jump ( это если моих телепатических возможностей хватило понять какой на самом деле вопрос был задан и зачем )

как именно? так вот

не работает. Пишет

И что значит не морочить голову заменой call на jump? Именно этой замены я и хочу добиться.

Вы неправильно обьявляете указатель на функцию. Указатель на функцию имеет вид - объявляет указатель fPtr, ссылающийся на функцию, которая возвращает логическое значение и принимает в качестве аргументов символ.
В общем виде будет такое применение


P.S. Извиняюсь, у Вас все правильно, недосмотрел....

Вот именно это и значит - бессмысленная на 99,9% цель поставлена. Типа, сэкономить "один такт" и "один байт", один раз за все время работы программы.
Функция это функция и вызывается в общем случае call. Все остальное на откуп оптимизатору. Или прежде всего забыть, что это функция и оперировать ее адресом и переходить на него финтами. Вопрос зачем все это.

Все дело в стеке. Это ключевой момент в реализации модели состояний программы (см. аттач)

Посмотрел совсем мельком. Смысла написанного особого не понял. За обильную смесь из 'C' и asm( "...." ) на IAR надо вообще руки отрывать, ибо оптимизацию сносит по полной программе. Относительно нормально такое только GCC переваривает. Для большинства компиляторов asm( ) это жуткая заплатка только для крайних случаев.
Вообще похоже Вы пытаетесь изобрести велосипед setjmp()/longjmp() а то и просто switch() .
Если вдруг где-то чего-то действительно жмет, то несколько десятков строчек на ASM, тем более в ядре системы дело правильное. А пытаться замучать конкретный компилятор, дабы он сгенерил нечто конкретное, что Вам хочется увидеть дело не правильное.

Перечитал первый и свой же пост - все таки я не понял назначения атрибута __noreturn. Попробуйте объявить указатель без него

Так никто не понял и главное компилятор , как я полагаю, Автору мечталось, что с указателем на __noreturn компилятор должен будет проникнуться глубиной замысла и вместо вызова функции изобразить jump .

А это ничего, вообще, что локальные переменные (в т.ч. временные, созданные компилятором) так же могут лежать на стеке? И их будет разное кол-во в этих функциях. Вы перейдете на другую подпрограмму, она выкинет другое кол-во переменных со стека при возврате и улетит вникуда...

Поясню на примере как было раньше:


здесь происходит смешение обработчиков разных состояний - в одной функции main оказываются инициализация, проверка таймера (нужная только до получения некоторых сообщений) и обработка входа. То же самое в ProtocolHandler. Программа должна обрабатывать один набор сообщений до подключения программатора и другой - после. Т.е. при такой организации программы в ней появляются лишние - не существующие с точки зрения логики программы - связи. В модели состояний их нет.
В случае с переходами - да. Поэтому я и спрашиваю как сделать указатель на __noreturn функцию, чтобы убрать ассемблерную вставку.


Тогда при вызове pF() будет генерироваться call вместо jump


Да, именно так я и написал в третьем посте.

Вы высосали проблему "смешения" из пальца и теперь лезете в бутылку ради того, дабы ее "решить". Тот-же конечный автомат в main() не есть зло. Хочется красоты? В Вашем распоряжении операционные с вытесняющей многозадачностью. Хочется "на коленке" - уже писал - set/longjmp().

Не понял. В функциях с __noreturn у меня нету локальных переменных, а возвращаемы значения в строках типа if(SomeF()) храняться в регистрах

Три раза ха . Пока в моей маленькой программке нету...., в конкретном случае я посмотрел листинг и убедился, что нету... Потребуется компилятору и он создаст локальную переменную для собсвенных нужд и Вас не спросит, и правильно сделает.

zltigo, Вы не могли бы уточнить, как именно ассемблерные вставки влияют на оптимизацию?

Погано влияют. В общем случае компилятор о их поведении ничего не знает, посему должен исходить из того, что во вставке мог быть изменен любой регистр. Какая уж тут оптимизация после этого . Для обхода такого эффекта обычно есть в компиляторах ряд INTRINSICS - минимально необходимый набор процессорозависимых вещей, для которых в противном случае пришлось-бы городить вставки ( пусть даже из одной команды __no_operation(), __sleep(),..... ) на ASM. Посему, если ДЕЙСТВИТЕЛЬНО нужен ASM, то все пишется на чистом ASM, ассемблируется и линкуется.

Поразмышлял я тут над стеком и локальными переменными и решил отказаться от __noreturn функций в пользу обычных и цикла. Поэтому вопрос можно считать закрытым. Всем спасибо за помощь!