bug in llmain.c:loadrc? -- was: [splint-discuss] C99 types
roland.illig at gmx.de
Sun Jun 6 05:03:30 EDT 2004
> 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
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.
More information about the splint-discuss