Home
last modified time | relevance | path

Searched refs:AfterMask (Results 1 – 5 of 5) sorted by relevance

/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow/
H A DEdgeTag.cs43 AfterNewObj = 1 << 8 | AfterMask,
44 AfterCall = 1 << 9 | AfterMask,
59 AfterMask = 1 << 23, enumerator
H A DAPC.cs93 if (edge.Tag == EdgeTag.Exit || edge.Tag == EdgeTag.Entry || edge.Tag.Is (EdgeTag.AfterMask))
146 if (edge.Tag == EdgeTag.Entry || edge.Tag.Is (EdgeTag.AfterMask))
162 if (edge.Tag == EdgeTag.Exit || edge.Tag == EdgeTag.Entry || edge.Tag.Is (EdgeTag.AfterMask))
179 if (edge.Tag.Is (EdgeTag.AfterMask))
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.NonNull/
H A DAnalysis.cs382 if (pc.SubroutineContext.AsEnumerable().Any (edge => edge.Tag.Is (EdgeTag.AfterMask))) in TryFindOldState()
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.ControlFlow.Subroutines/
H A DSubroutineBase.cs530 …if (context.Head.Tag.Is (EdgeTag.AfterMask) && context.Head.From.IsMethodCallBlock (out calledMeth… in GetOrdinaryEdgeSubroutines()
/dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.HeapAnalysis/
H A DAnalysisDecoder.cs1256 if (pair.Tag == EdgeTag.Exit || pair.Tag.Is (EdgeTag.AfterMask)) in FindOldState()