[splint-discuss] Output Message length

Thu Jun 21 08:11:48 PDT 2007

On Thu, 2007-06-21 14:42:37 +0100, Asim Zaka wrote:
> <html>
> <body>
> HI Ludolf,<br><br>
> Thanks for the help. It looks much better now but still there are many
> warning which go beyond the max -linelen as I have started off by making
> -linelen 120 and have now reached -linelen 180 but I guess increasing
> beyond a certain value does not really increase the line length.<br><br>
> Do you know what I need to change in the code to increase this -linelen
> max to something like 300 characters?<br><br>
> Regards and Thanks alot!<br>
> Asim.<br><br>
> <br><br>
> <br>

Hi Asim,

as far as I read the code, the variable changed with '-linelen' is an
int, which allows for setting the maximum line length to about 2*10^9
characters for most operating systems.

It is initialized to DEFAULT_LINELEN, which is set to 80 in constants.h.

I still don't know why you want to recompile splint instead of just adding
something like '-linelen 10000' to your .splintrc.

Ludolf

P.S.: Please configure your mail program to send plain text mails.

-- 

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