[splint-discuss] information demand

[Ludolf Holzheid]

On Thu, 2006-07-20 13:41:19 +0200, ABDESSELEM Belkacem wrote:
> I want to know if we have a special porting to 64-bit flag in splint like
> -errchk=longprt64, signext    option if lint tool


I suppose the splint equivalence of the lint flag 'signext' is
'-ignore-signs' (on by default).


As far as I understood 'longptr64', it makes lint to complain about
something like:

  int integer;
  void *pointer = NULL;

  integer = (int) pointer;

Without the cast, splint would warn as long as the '-type' flag is not
set. However, splint seems to assume that the programmers know what
they are doing when casting explicitly ...

Ludolf