Если компилятор соответствует стандарту С99, то он должен иметь

• встроенный тип _Bool с рангом ниже любого целочисленного типа, способный вместить 0 и 1, при приведении любого скалярного значения к _Bool оно приводится как (val == 0 ? 0 : 1)
• стандартный включаемый файл stdbool.h, который определяет
  #define bool _Bool
  #define true 1
  #define false 0

Так что если обсуждаемая ситуация касается С99-режима компиляции и bool не переопределён пользователем, то после
в b будет корректное значение, ну а
как уже говорилось - неконтролируемая компилятором порнография, приводящая к UB.
И при
компилятор не обязан ничего проверять и "переприводить" - он не виноват, что в b левыми путями натолкали мусор.
Частными случаями UB может быть и ожидаемое программистом поведение, и совершенно противоположное.
должно бы работать правильно, но не лучше ли обойтись без извращений?

Это для очень многих процессоров не правда! Во многих случаях проверка на нулевое значение быстрее(инструкция меньше места занимает) или вообще не требует инструкции!

К тому же очень полезно смотреть листинги, на максимальной оптимизации! И будет видно как компилер работает с булевыми переменными.

Что-то меня сомнения гложат. Тогда уж и вылезать через ту же дырку,через которую влезли:

Угу. Для чтения тех же типов данных, которые были записаны при помощи Write(void* Buff,int N).

Использование выражений типа

само по себе вроде и не страшно, но неправильно, потому как проверять по равенству/неравенству действительно можно только на false


Использую чуть другие буквы и не использую файл stdbool.h

Последняя строчка априори верна. true в таком случае опять же равно +1.
Но, IMHO, использование в Си беззнаковых типов для bool и положительного значения для true это какая-то диверсия, что ли. Из знакового в беззнаковое преобразовать практически всегда возможно, а вот наоборот нет. Использую знаковое представление.

Хотя это, если таки пытаться делать проверку на true, вылазит боком при использовании структур с битовыми полями объявленного знакового типа bool. Тогда компилятор при знаковом целом типе для bool считает значение поля не как 1, а как -1, а сравнение с true просто никогда не работает (ну и не очень-то и хотелось).