Здравствуйте, Jukier, Вы писали:

J>Есть два вопроса:
J>1. Какое поведение должно быть по стандарту,
По стандарту тут UB:

A function pointer can be explicitly converted to a function pointer of a different type. The effect of calling
a function through a pointer to a function type (8.3.5) that is not the same as the type used in the definition
of the function is undefined.

Я понимаю, что сама задача определить как компилятор представляет тип bool на низком уровне может быть занятной. Но ты делаешь это неправильно, а твой код ломается раньше.

J> может ли переменная типа bool быть не равна ни true, ни false?
В правильной программе на С++ — не может.


J>2. Какое поведение в других компиляторах/версиях?

Всё то же UB.