public override void visit(DGlobal global)
{
if (global.var == null)
{
return;
}
TypeUnit tu = TypeUnit.FromVariable(global.var);
global.addType(tu);
}
public override void visit(DDeclareLocal local)
{
Variable var = graph_.file.lookupVariable(local.pc, local.offset);
local.setVariable(var);
if (var != null)
{
TypeUnit tu = TypeUnit.FromVariable(var);
//Debug.Assert(tu != null);
local.addType(new TypeUnit(tu));
}
}