search

roterdam / crystalsaf

Automatically exported from code.google.com/p/crystalsaf
0 stars 0 forks source link

Strange results when using TAC and SingleVariableDeclaration #20

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
I'm using a visitor to get results after various ASTNodes. What I've noticed is 
that my results are different if I'm using a SingleVariableDeclaration with an 
initializer.

If I have:
Foo foo = e();

and I call getResultsAfter, it gets me results after evalauating e() and 
setting it to a temp variable, but not after foo = temp. However, if I do this:
Foo foo;
foo = e();
it gets me the expected results.

The foo = temp TAC is being transferred over; I can get the results on the line 
after that and it will appear then. It's like that single TAC is coming  in one 
step too late.

 I briefly looked through the TAC instruction creation, but nothing looked out of place to me.

Original issue reported on code.google.com by ciera.christopher on 9 Jul 2010 at 4:00

GoogleCodeExporter commented 9 years ago

Original comment by ciera.christopher on 9 Jul 2010 at 4:01