#59 JDT Translation Problem

[mshomrat]

Plugin: com.ibm.wala.cast.java.jdt
File: com.ibm.wala.cast.java.translator.jdt.JDTJava2CAstTranslator
Line: 2261

The JDTJava2CAstTranslator mishandles do-while loop due to a (possible) bug in the header creation.
The translation process creates a dummy header node you can jump back to from the end of the loop. However,instead of creating a labeled statement it is creating an empty one.

Suggested fix:
Change line 2261 to be: ASTNode header = makeBreakOrContinueTarget(n, "headerLabel" + n.getStartPosition());

Attached is a patch file.

[mshomrat]

patch file