Class RewriteRemoveUnnecessaryBranches


  • public class RewriteRemoveUnnecessaryBranches
    extends StatementBlockRewriteRule
    Rule: Simplify program structure by pulling if or else statement body out (removing the if statement block ifself) in order to allow intra-procedure analysis to propagate exact statistics.