[jboss-jira] [JBoss JIRA] (JASSIST-168) a wrong dominator tree is generated by ControlFlow
[
https://issues.jboss.org/browse/JASSIST-168?page=com.atlassian.jira.plugi...
]
Shigeru Chiba resolved JASSIST-168.
-----------------------------------
Fix Version/s: 3.17.0-GA
Resolution: Done
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:
https://issues.jboss.org/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira