IntraProcAliasAnalysis::applyCFGTransferFunction

Apply the Transfer function to a node For an expression “pi = qj” OutC =TransferFunction(InC) = (InC – Must(Alias(p,i)) U (*a, b) where a ε Alias(p,i) and b ε Alias(q,j);

Synopsis

Declared in <src/midend/programAnalysis/VirtualFunctionAnalysis/IntraProcAliasAnalysis.h>

virtual
void
applyCFGTransferFunction(SgGraphNode* s);

Created with MrDocs