bug in llmain.c:loadrc? -- was: [splint-discuss] C99 types

[Roland Illig]

NGB wrote:
> I'm tryong to get splint to handle my C99 types 
> uint8_t etc ..
> I have tried putting 
> -Duint8_t=unsigned char

This could be a bug in Splint. When this option is read from a 
configuration file, it is interpreted as two words: "-Duint8=unsigned" 
and "char". When you alternatively write
   -Duint8_t="unsigned char"
the configuration file parser interprets it as one word, but does not 
remove the quotes. (see llmain.c, line 2401--2436)

So I'm wondering too, how to write this argument in a configuration file.

Roland