fix a FlowAnalysis bug were non-returning loops were skipped#1688

Open

tim-hoffman wants to merge 2 commits intosoot-oss:developfrom tim-hoffman:BUG_FlowAnalysisMissesLoop

+382-53

Commits on Jul 1, 2021

fix a FlowAnalysis bug were non-returning loops were skipped
tim-hoffman
committed
avoid duplicate adds which could lead to heap exhaustion on large methods
tim-hoffman
committed