On 5/16/07, Dan Sheridan <[EMAIL PROTECTED]> wrote:
Example graph can be seen at
http://www.postman.org.uk/djs52/example.png, generated with

  ./graph validation/context.c | gvpr -f gvpr/return-paths | \
    gvpr -f gvpr/subg-fwd -a good_while3 | dot -Tpng > /tmp/example.png

Hi,

I have a question regarding this specific example:

If I understand the code correctly, the node name is the stream line
number of the first instruction of the BB right? Is that why the call
edge for r() comes from 169/173 (and not from 170/174, as I would
expect)?

Nice work BTW.

Regards,
--
Anderson Lizardo
-
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to