public override void Visit(SizeofInstruction instruction) { SavePreState(instruction, FreshCurrent()); var nstate = FreshCurrent(); if (instruction.HasResult && IsConstantType(instruction.Result.Type)) { UpdateStateNotConstant(nstate, instruction.Result); } SetCurrent(nstate); SavePostState(instruction, FreshCurrent()); }
public virtual void Visit(SizeofInstruction instruction) { }
public override void Visit(SizeofInstruction instruction) { instruction.Result.Type = Types.Instance.SizeofType; }
public virtual void Visit(SizeofInstruction instruction) { Default(instruction); }