[splint-discuss] Warnings when using g_assert

[Ludolf Holzheid]

On Wed, 2006-10-11 09:45:52 -0400, Jeremy Cowgar wrote:
> That will get rid of the error, but I use g_assert 100's of times.

If you don't want to change your sources, you might run splint on
sources piped through sed:

  %.o : %.c
      gcc $<
      sed -e 's:g_assert:/\*@i@\*/ g_assert:' $< > tmp.c
      splint tmp.c | sed -e "s/tmp\.c/$</g"
      rm tmp.c

This does not work for running splint on the complete sources, though.

BTW, having splint piping the sources through an external filter would
be a nice feature ...

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
---------------------------------------------------------------