VariableRenaming::getMaxRenameNumberForName

Get the number of the last rename of the given variable.

Synopsis

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

int
getMaxRenameNumberForName(VarName const& var) const;

Description

This will return the number of the last renaming of the given variable. If the given variable has no renamings, it will return ‐1.

Return Value

The highest renaming number, or ‐1 if var is not renamed.

Parameters

Name	Description
var	The variable to get the last renaming for.

Created with MrDocs