search

ciera / crystalsaf

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

Worklist does not propagate results across break statements out of loops #8

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
A while loop with a break has two edges going into the elihw node, from the
condition and the break statement, with different labels.  Only one of
those results is propagated to subsequent nodes.  Instead, the two should
be joined and the result be propagated forward.

Original issue reported on code.google.com by kevin.bi...@gmail.com on 18 Sep 2008 at 5:22

GoogleCodeExporter commented 9 years ago 
This issue should be fixed with r89.  Dummy CFG nodes (such as elihw) are now 
handled
by the concrete worklists, and the two existing implementations now provide 
results
for all outgoing labels.  This would also allow treating special kinds of dummy 
nodes
differently.

Original comment by kevin.bi...@gmail.com on 23 Sep 2008 at 2:43