Re: [Iverilog-devel] today's count of compiler warnings

[Stephen W. <st...@ic...>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Larry Doolittle wrote:
> On an amd64 system with GNU Autoconf 2.61 (Debian 2.61-5), and leaving the source tree pristine,
> at configuration time
> 
> config.status: WARNING:  ../verilog-0.9/Makefile.in seems to ignore the --datarootdir setting
> config.status: WARNING:  ../verilog-0.9/driver/Makefile.in seems to ignore the --datarootdir setting
> config.status: WARNING:  ../verilog-0.9/driver-vpi/Makefile.in seems to ignore the --datarootdir setting
> config.status: WARNING:  ../../verilog-0.9/vvp/Makefile.in seems to ignore the --datarootdir setting
> configure: WARNING: no configuration information is in tgt-null

I have no idea what to do with the above warnings. What is the
datarootdir setting and why should I not ignore it?

> ../../verilog-0.9/vvp/vpi_scope.cc:390: warning: dereferencing type-punned pointer will break strict-aliasing rules

This one is an unfortunate consequence of the compile_vpi_lookup
function. This function take a pointer to a handle so that it
can look up the label and arrange for the matching handle to be
stored in the pointer, some time in the future.

One way to handle this might be to rewire the vpi objects to
use __vpiHandle as a virtual base class so that C++ dynamic
casting, which is run-time type-safe, can be used here. That would
be a valuable cleanup, but a non-trivial task.

> ../../verilog-0.9/libveriuser/getp.c:56: warning: cast from pointer to integer of different size

The getp.c warning is an unfortunate consequence of the rather
amateurish design of the types in the PLI. Yes, the tf_igetp is
*defined* to be 32bits, and is expected to return pointers too.
Fools! Fortunately, the PLI1 that this is a part of is officially
gone from the standard as of 1364-2005. The VPI is not much better,
but at least this specific bit of nonsense doesn't exist there.

I would *love* to see how any of the big-3 declare tf_igetp in
their veriuser.h header files on a 64bit machine;-)

- --
Steve Williams                "The woods are lovely, dark and deep.
steve at icarus.com           But I have promises to keep,
http://www.icarus.com         and lines to code before I sleep,
http://www.picturel.com       And lines to code before I sleep."
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
Comment: Using GnuPG with SUSE - http://enigmail.mozdev.org

iD8DBQFHlp3grPt1Sc2b3ikRAjzWAJ4tdYRsmDRUCyUl/x10dRtTh323uQCfb0IG
YOSNnsLbg8AcdHXWM8go3So=
=Eld+
-----END PGP SIGNATURE-----