While adding some hacks in the splint sources i saw this code in
usymtab.c at line 2012:
if (c != ' ' || c != '\t')
{
llbuglit ("Junk in load file");
}
I guess it should be &&, else this if is _always_ executed.
I looked into the latest source code release and it is still there
(usymtab.c line 2012).
Regards
Sebastian