disable debugging properly

This commit is contained in:
Julian Dolby 2018-01-25 15:18:17 -05:00
parent cd944a8f12
commit 0f3b6f5d7e

View File

@ -335,13 +335,13 @@ public class ShrikeCFG extends AbstractCFG<IInstruction, ShrikeCFG.BasicBlock> i
ShrikeCFG.this.getMethod().getDeclaringClass().getReference().getClassLoader():
(ClassLoaderReference)element.getCatchClassLoader();
caughtException = ShrikeUtil.makeTypeReference(loader, element.getCatchClass());
//if (DEBUG) {
if (DEBUG) {
System.err.println(" caughtException " + caughtException);
//}
}
IClass caughtClass = cha.lookupClass(caughtException);
//if (DEBUG) {
System.err.println(" caughtException class " + caughtClass);
//}
if (DEBUG) {
System.err.println(" caughtException class " + caughtClass);
}
if (caughtClass == null) {
// conservatively add the edge, and raise a warning
addExceptionalEdgeTo(b);