[splint-discuss] False positive on infinite loop detection with structs.

2004-01-20 Thread John Carter
function in the loop test may use a global variable modified by the loop body. (Use -infloopsuncon to inhibit warning) Finished checking --- 1 code warning == Any suggestions? John Carter Phone

[splint-discuss] Speeding splint. ccache/distcc for splint.

2004-09-12 Thread John Carter
of the .c file and all the header files that went into it. Thus is there a way of extracting out of an ELF object file a hash that would include information on changes in splint annotations in the source files. Thank you, John Carter Phone : (64)(3) 358 6639 Tait

Re: [splint-discuss] Speeding splint. ccache/distcc for splint.

2004-09-12 Thread John Carter
branches of the code. * and a background clean build on checkin process that does a clean compile, splint and links all 13 product variants. This currently takes about 2 hours. The problem will only get worse as the number of variants increases. John Carter Phone