[ https://issues.jboss.org/browse/JASSIST-168?page=com.atlassian.jira.plugi... ] 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. -- 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