ContextInsensitiveInterProceduralDataflow::remainingDueToCalls

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/analysis/dataflow.h>

std::map<Function, std::set<Function>> remainingDueToCalls;

Created with MrDocs