All of lore.kernel.org
 help / color / mirror / Atom feed
* 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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.