* Flow graph - identify loop body [not found] ` <BANLkTimmJJYcmpLE7MevAk-18GxmQpGftw@mail.gmail.com> @ 2011-05-13 16:32 ` Diego Pinheiro 2011-05-14 7:43 ` Dan Carpenter 0 siblings, 1 reply; 3+ messages in thread From: Diego Pinheiro @ 2011-05-13 16:32 UTC (permalink / raw) To: linux-sparse Hello, I'm trying to identify loop bodies to write its information in a xml file, but i didn't get how sparse works with it. How could I know which node is a loop body in the flow graph? ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Flow graph - identify loop body 2011-05-13 16:32 ` Flow graph - identify loop body Diego Pinheiro @ 2011-05-14 7:43 ` Dan Carpenter 2011-05-17 22:09 ` Diego Pinheiro 0 siblings, 1 reply; 3+ messages in thread From: Dan Carpenter @ 2011-05-14 7:43 UTC (permalink / raw) To: Diego Pinheiro; +Cc: linux-sparse On 5/13/11, Diego Pinheiro <diegoquintanap@gmail.com> wrote: > Hello, > > I'm trying to identify loop bodies to write its information in a xml > file, but i didn't get how sparse works with it. > > How could I know which node is a loop body in the flow graph? You might want try downloading smatch (http://smatch.sf.net) and looking in smatch_flow.c regards, dan carpenter ^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Flow graph - identify loop body 2011-05-14 7:43 ` Dan Carpenter @ 2011-05-17 22:09 ` Diego Pinheiro 0 siblings, 0 replies; 3+ messages in thread From: Diego Pinheiro @ 2011-05-17 22:09 UTC (permalink / raw) To: Dan Carpenter; +Cc: linux-sparse Thanks, it really helped. ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2011-05-17 22:09 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
[not found] <BANLkTikjg-6QD3_7H533fUKQm39aAj-xyA@mail.gmail.com>
[not found] ` <BANLkTimmJJYcmpLE7MevAk-18GxmQpGftw@mail.gmail.com>
2011-05-13 16:32 ` Flow graph - identify loop body Diego Pinheiro
2011-05-14 7:43 ` Dan Carpenter
2011-05-17 22:09 ` Diego Pinheiro
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).