[splint-discuss] Internal Bug in cpplib.c

[Grant Edwards]

OK, I dumped out gcc's predefined macro values, and I'm trying
to feed them to splint so that it can then parse the system
headers.  Splint generates a bunch of "Internal Bug" messages
when I do that.  Here's a one-line file that generates such a
message:

  $ cat predefined.h
  
  #define __SIZE_TYPE__ unsigned int
  
  $ splint -nolib predefined.h -dump predefined
  
  Splint 3.1.1 --- 25 Oct 2004
  
  predefined.h:1:1: *** Internal Bug at cpplib.c:2831:
  cpplib.c:2831:
                 llassert failed: FALSE: Bad branch taken! [errno: 2]
       *** Please report bug to splint-bug at splint.org ***
         (attempting to continue, results may be incorrect)
  predefined.h:1:1: Macro __SIZE_TYPE__ already defined
  
  Finished checking --- 1 code warning

How can __SIZE_TYPE__ already be defined?  I told splint to
parse 1 file with 1 line in it.  How can that line be
redefining something?
  
-- 
Grant Edwards
grante at visi.com