[jboss-jira] [JBoss JIRA] (JASSIST-168) a wrong dominator tree is generated by ControlFlow

[Shigeru Chiba (JIRA)]

Shigeru Chiba created JASSIST-168:
-------------------------------------

             Summary: a wrong dominator tree is generated by ControlFlow
                 Key: JASSIST-168
                 URL: https://issues.jboss.org/browse/JASSIST-168
             Project: Javassist
          Issue Type: Bug
    Affects Versions: 3.16.1-GA
            Reporter: Shigeru Chiba
            Assignee: Shigeru Chiba


javassist.bytecode.analysis.ControlFlow#dominatorTree() has a bug.
For example, the method analyzes the following method:

public void run3(){
  int k=0;
  if (k != 0 && k!=2 || k < 7) {
    k = 3 ;
  }
}

and produces wrong dominator and post-dominator trees.

Originally reported by Masayuki Ioki.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.jboss.org/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira