[splint-discuss] SPLINT sysmac.h error

[Ludolf Holzheid]

On Tue, 2007-07-17 11:22:07 +1200, ok wrote:
> Show us the actual code that splint is complaining about
> (that is, the lines in sysmac.h).

Assuming Asim has the same version of IAR's sysmac.h, both offending
lines are

> #if     sizeof((char*)0 - (char*)0) <= sizeof(int)

Even if there was a 'sizeof' operator added to the preprocessor, this
will never give meaningful results for any ISO-C compatible
preprocessor, as the standard says, for preprocessor tokens, all
integer types act as if they were intmax_t or uintmax_t, respectively.

Anyway, due to other non-standard extensions of the IAR compiler, I'm
afraid Asim has to write replacements for the IAR headers anyway
(which could be minimalist and just enough to get splint running, as
he wants to check his own code only).

Ludolf

-- 

---------------------------------------------------------------
Ludolf Holzheid             Tel:    +49 621 339960
Bihl+Wiedemann GmbH         Fax:    +49 621 3392239
Floßwörthstraße 41          e-mail: lholzheid at bihl-wiedemann.de
D-68199 Mannheim, Germany
---------------------------------------------------------------