// for values loaded from fields.
typeAnalysis.setFieldStoreTypeDatabase(AnalysisContext.currentAnalysisContext().getFieldStoreTypeDatabase());
TypeDataflow typeDataflow = new TypeDataflow(cfg, typeAnalysis);
try {
typeDataflow.execute();
} catch (CheckedAnalysisException e) {
AnalysisContext.logError("Error performing type dataflow analysis of " + descriptor, e);
throw e;
}
if (TypeAnalysis.DEBUG || ClassContext.DUMP_DATAFLOW_ANALYSIS) {