cfg.setFlags(cfg.getFlags() | PRUNED_UNCONDITIONAL_THROWERS); }
busyCFGSet.remove(methodId);
	public CFG getCFG(Method method) throws CFGBuilderException {		MethodGen methodGen = getMethodGen(method);		CFG cfg = getRawCFG(method);		if (PRUNE_INFEASIBLE_EXCEPTION_EDGES && !cfg.isFlagSet(PRUNED_INFEASIBLE_EXCEPTIONS)) {			try {				TypeDataflow typeDataflow = getTypeDataflow(method);				new PruneInfeasibleExceptionEdges(cfg, typeDataflow, getConstantPoolGen()).execute();			} catch (DataflowAnalysisException e) {				// FIXME: should report the error			} catch (ClassNotFoundException e) {				lookupFailureCallback.reportMissingClass(e);			}			cfg.setFlags(cfg.getFlags() | PRUNED_INFEASIBLE_EXCEPTIONS);		}		if (PRUNE_UNCONDITIONAL_EXCEPTION_THROWER_EDGES && !cfg.isFlagSet(PRUNED_UNCONDITIONAL_THROWERS)) {			try {				new PruneUnconditionalExceptionThrowerEdges(					methodGen, cfg, getConstantPoolGen(), lookupFailureCallback).execute();			} catch (DataflowAnalysisException e) {				// FIXME: should report the error			}			cfg.setFlags(cfg.getFlags() | PRUNED_UNCONDITIONAL_THROWERS);		}		return cfg;	}