lclint-interest message 160

From Tue Sep 23 11:11:30 1997
X-Env: ( ->
Date: Tue, 23 Sep 1997 11:42:36 +0200
From: (Harald Kirsch)
Subject: FILE versus _IO_FILE

Hi there,

currently I am running lclint-2.3i on Linux. I am using the binary
version which can be downloaded. I get strange messages like

trigger.c:390: Function fprintf expects arg 1 to be FILE * gets _IO_FILE *:
                  ((_IO_FILE *)(&_IO_stderr_))

This message disappears as soon as I give lclint a -I option. Although I
am rather sure that the -I does points to identical files (an installed
version versus a working version) I investigated with strace and found
the following:

If I give a -I option, the only include files lclint loads are:
	>grep open strace-output | grep '\.h'

	4218  open("/home1/kir/work/tdfe/tdfsig.h", O_RDONLY) = 6
	4218  open("/home1/kir/work/tdfe/tdfsig.h", O_RDONLY) = 7
	4218  open("/home1/kir/work/tdfe/tdfe.h", O_RDONLY) = 8
	4218  open("/home1/kir/work/tdfe/tdfe.h", O_RDONLY) = 9
	4218  open("cmdline.h", O_RDONLY)       = 6
	4218  open("cmdline.h", O_RDONLY)       = 7

If I don't specify -I, lclint reads the usual stuff from /usr/include,
/usr/i486-linux/include, etc. and prints a lot of messages as shown

As far as I know, also .lcd-files are relevant. In both cases, 
is loaded, as I run lclint with +posixlib.

I suspect this is a bug!


Harald Kirsch,, +49 721 6091 369 | Now I rebooted.
FhG/IITB,      Fraunhoferstr.1, 76131 Karlsruhe  |     --- Jerry Pournelle

Previous Message Next Message Archive Summary LCLint Home Page David Evans
University of Virginia, Computer Science