VariableRenaming::getReachingDefsAtStatementStart

Gets the versions of all variables reaching a statment before its execution. Notice that this method and getReachingDefsAtNode potentially return different values for loops. With loops, variable values from the body of the loop flow to the top; hence getReachingDefsAtNode returns definitions from the loop body. On the other hand, getReachingDefsAtStatementStart does not return definitions coming in from a loop body.

Synopsis

Declared in <src/midend/programAnalysis/variableRenaming/VariableRenaming.h>

NumNodeRenameTable
getReachingDefsAtStatementStart(SgStatement* statement);

Return Value

A table of VarName‐>(num, defNode) for all variables at the beginning of the statement

Created with MrDocs