[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 closed JASSIST-168.
---------------------------------


    
> 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
>             Fix For: 3.17.0-GA
>
>
> 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
For more information on JIRA, see: http://www.atlassian.com/software/jira