Ejemplo n.º 1
0
            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());
            }
Ejemplo n.º 2
0
 public virtual void Visit(SizeofInstruction instruction)
 {
 }
Ejemplo n.º 3
0
 public override void Visit(SizeofInstruction instruction)
 {
     instruction.Result.Type = Types.Instance.SizeofType;
 }
Ejemplo n.º 4
0
 public virtual void Visit(SizeofInstruction instruction)
 {
     Default(instruction);
 }