[splint-discuss] [BUG] splint code

Matuschka, Sebastian Sebastian.Matuschka at gcd-solutions.de
Tue Jan 29 02:03:43 PST 2008


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



More information about the splint-discuss mailing list