[Bug 55] Cflow is not propagated properly across multiple threads

http://abc.comlab.ox.ac.uk/cgi-bin/bugzilla/show_bug.cgi?id=55

------- Additional Comments From bruno.harbulot@cs.man.ac.uk 2005-08-04 20:21 -------
Created an attachment (id=8)
 --> (http://abc.comlab.ox.ac.uk/cgi-bin/bugzilla/attachment.cgi?id=8&action=view)
Quick fix to use inc() and dec() (and getThreadCounter()).

This patch seems to solve the problem, at least on the short example in the
initial bug report.
It uses inc() and dec() to get the thread counter each time these methods are
used. Otherwise, the instance of CFlowCounter.Counter might have been passed to
another thread.

However, this is a quick fix, some optimisations could probably be performed,
in particular regarding to what happens in genInitLocal:
Stmt initLocal = Jimple.v().newAssignStmt(cFlowLocal, cFlowInstance) ;

------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
Received on Thu Aug 4 20:21:19 2005