Splint обнаруживает ошибку синтаксического анализа для системного заголовочного файла, в котором используются суффиксы, определяющие размер, которые, по-видимому, используют компиляторы Windows. Таким образом, splint не может проанализировать файл, содержащий такое выражение, как 0xffui8
(где ui8 означает целое число без знака из 8 бит). Как я могу настроить шину, чтобы обойти это?
Более широкий контекст: я пытаюсь заставить шину работать с WinDDK 7600.16385.1. Файл с примером intsafe.h
.