Re: EdgesOutOf

[Navindra Umanee <navindra@cs.mcgill.ca>]

Hi Guillaume,

You are absolutely right.

Guillaume Salagnac <guillaume.salagnac@imag.fr> wrote:
> After a whole day of experimentations on this question, I wonder if it's
> possible that I encounter this problem just because I'm analyzing
> the Shimple version of the Scene.
> 
> Is the callgraph built from Jimple or Shimple ? I do have the -ws
> option enable, but when exactly is the jimple converted to SSA ? is it
> only at the beginning of "Whole Shimple Transformation Pack (wstp)" or
> is it *before* the "Call Graph Constructor (cg)" phase ?

Looking at the code it is indeed the case that the cg phase is
operating on the Jimple and then the Jimple bodies are transformed and
replaced by Shimple bodies.  This would indeed lead to the behaviour
you have seen.

I will look at this closely and see what needs to be done to fix this.

Later,
Navin.