If-ElseReturn as last in loop

Else not recognized, if currently an IFNOT:

org.objectweb.asm.ByteVector.putUtf8()

        for (int i = 0; i < charLength; ++i) {
            char c = s.charAt(i);
            if (c >= '\001' && c <= '\177') {
                data[len++] = (byte) c;
            } else {
                length = len;
                return encodeUTF8(s, i, 65535);
            }
        }
        length = len;

org.decojer.cavaj.transformers.TrCfg2JavaControlFlowStmts transformSequence
Warnung: 
org.objectweb.asm.ByteVector.putUTF8(Ljava/lang/String;)Lorg/objectweb/asm/ByteV
ector;: Struct leave in BB 2 without regular follow encounter:
--- Loop ---
Head: BB 5  Follow: BB 4
Members: 
  BB 3   
Last: BB 1
Type: WHILENOT

Original issue reported on code.google.com by andrePan...@gmail.com on 2 Apr 2014 at 7:27

hoseindoost / decojer

If-ElseReturn as last in loop #21