[splint-discuss] Re: How to tell splint to not pre-define things?

[Grant Edwards]

On Wed, Oct 27, 2004 at 11:56:44AM -0500, Grant Edwards wrote:

> [Where did those come from?  Splint comlains if I try to define
> those, yet splint has no way of knowing what they're supposed
> to be.]
> 
>   *1 (Constant)
>   ^14 23$#__USER_LABEL_PREFIX__#__REGISTER_PREFIX__#__TIME__
>   ^17 5$#S_SPLINT_S#__LCLINT__#__i686
> 
> [OK, I can see where S_SPLINT and __LCLINT__ might need to be
> defined, but why the rest?  Why is __i686 defined?  My
> architecture is H8/300H, so defining __i686 is just plain
> wrong.]

I tried rebuilding after doing configure --target=h8300-elf,
but that doesn't seem to make any difference.  Splint still
predefines __i686 and a bunch of other unwanted stuff.

I'm stumped.  Is splint hard-wired for native-only use?

-- 
Grant Edwards
grante at visi.com