Searched refs:atEndOld (Results 1 – 1 of 1) sorted by relevance
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.HeapAnalysis/ |
| H A D | Domain.cs | 440 public void CopyOldValue (APC pc, int dest, int source, Domain target, bool atEndOld) in CopyOldValue() argument
442 CopyOldValue (pc, target.Address (dest), Address (source), target, atEndOld); in CopyOldValue()
445 …ublic void CopyOldValue (APC pc, SymValue destAddr, SymValue srcAddr, Domain target, bool atEndOld) in CopyOldValue() argument
448 CopyOldValue (pc, destAddr, srcAddr, abstractType.Type, target, atEndOld); in CopyOldValue()
451 …, SymValue destAddr, SymValue srcAddr, FlatDomain<TypeNode> addrType, Domain target, bool atEndOld) in CopyOldValue() argument
453 CopyOldValue (pc, destAddr, srcAddr, addrType, true, atEndOld, target); in CopyOldValue()
456 …Value srcAddr, FlatDomain<TypeNode> addrType, bool setTargetAddrType, bool atEndOld, Domain target) in CopyOldValue() argument
467 CopyOldStructValue (pc, destAddr, srcAddr, targetType.Value, target, atEndOld); in CopyOldValue()
468 …else if (atEndOld && targetType.IsNormal() && MetaDataProvider.IsManagedPointer (targetType.Value)… in CopyOldValue()
473 CopyOldValue (pc, destAddr, srcAddr, targetType, setTargetAddrType, atEndOld, target); in CopyOldValue()
[all …]
|