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

[Shigeru Chiba (JIRA)]

     [ https://issues.jboss.org/browse/JASSIST-168?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Shigeru Chiba updated JASSIST-168:
----------------------------------

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

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

and produces wrong dominator and post-dominator trees.

Originally reported by Masayuki Ioki.

  was:
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.


    
> 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:
> {code}
> public void run3(){
>   int k=0;
>   if (k != 0 && k!=2 || k < 7) {
>     k = 3 ;
>   }
> }
> {code}
> 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