Re: [Iverilog-devel] Always blocks with out delays (pr1862744)

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

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

Cary R. wrote:
| A quick update on this.
|
| I have the basics working. I am assuming a forever and while with a
constant true expression should also check for infinite loops. I still
need to add function and task call statements and the switch statement
which is just an extended conditional still need to be coded. I also
have a couple questions about how the indeterminate messages should be
displayed.
|
| Should we make the indeterminate case, may be an infinite loop, only
display a message when the appropriate -W (inf_loop) flag is given? Do
we want this included in the -Wall case? My guess is that we probably do
not since this is a possible warning not a true problem that should be
fixed. It's the limitations of the checks that is preventing us from
making a true determination of the state. I do not believe we should try
to truly determine this either. There is way too many things that would
need to be looked at and evaluated for a minimal return.
|
| Once this is completed we will need to have an explanation on the wiki
that covers how to interpret what a possible infinite loop means. It may
also be nice to have a small section in the manual that gives the basics.

We should warn too little, and not too much, I think. We've all
gotten tired of vendor tools printing warning/info files that are
bigger then the source being compiled, so let's not go there;-P

And yes, while loops with constant true expressions are exactly
the same as always statements as a whole, so have the potential
to make just as much of a mess.

- --
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 v2.0.4-svn0 (GNU/Linux)
Comment: Using GnuPG with SUSE - http://enigmail.mozdev.org

iD8DBQFIDNFcrPt1Sc2b3ikRAi3xAJ9slh8zcKhTeVNT4E1zK4vHQkSG2wCg50nV
ecGRL1C9kzcHCR1SIyuGtLs=
=eEJv
-----END PGP SIGNATURE-----