| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph/ |
| H A D | Update.cs | 34 where TFunc : IEquatable<TFunc>, IConstantInfo class
38 public abstract void Replay (MergeInfo<TFunc, TAbstractDomain> merge); in Replay()
39 public abstract void ReplayElimination (MergeInfo<TFunc, TAbstractDomain> merge); in ReplayElimination()
41 …public static Update<TFunc, TAbstractDomain> Reverse (Sequence<Update<TFunc, TAbstractDomain>> upd… in Reverse()
|
| H A D | SymGraph.cs | 89 private SymGraph (SymGraph<TFunc, TADomain> from) in SymGraph() method in Mono.CodeContracts.Static.Analysis.HeapAnalysis.SymbolicGraph.SymGraph
379 public SymGraph<TFunc, TADomain> Join(SymGraph<TFunc, TADomain> that) in Join()
392 public SymGraph<TFunc, TADomain> Widen(SymGraph<TFunc, TADomain> that) in Widen()
493 public SymGraph<TFunc, TADomain> Meet (SymGraph<TFunc, TADomain> that) in Meet()
503 public bool LessEqual (SymGraph<TFunc, TADomain> that) in LessEqual()
517 public bool LessEqual (SymGraph<TFunc, TADomain> that, in LessEqual()
631 private void DrainEqualityWorkList (WorkList<EqualityPair<TFunc, TADomain>> workList) in DrainEqualityWorkList()
684 …private static SymGraph<TFunc, TADomain> ComputeCommonTail (SymGraph<TFunc, TADomain> g1, SymGraph… in ComputeCommonTail()
710 …private static bool InternalLessEqual (SymGraph<TFunc, TADomain> thisG, SymGraph<TFunc, TADomain> … in InternalLessEqual()
839 private bool IsSameEGraph (SymGraph<TFunc, TADomain> that) in IsSameEGraph()
[all …]
|
| H A D | MergeInfo.cs | 55 public MergeInfo (SymGraph<TFunc, TADomain> result, in MergeInfo()
317 public void JoinMultiEdge (SymValue sv1, SymValue sv2, MultiEdge<TFunc, TADomain> edge) in JoinMultiEdge()
346 public void Replay (SymGraph<TFunc, TADomain> common) in Replay()
353 public void ReplayEliminations (SymGraph<TFunc, TADomain> common) in ReplayEliminations()
504 …private void Replay (Sequence<Update<TFunc, TADomain>> updates, Sequence<Update<TFunc, TADomain>> … in Replay()
510 …private void ReplayEliminations (Sequence<Update<TFunc, TADomain>> updates, Sequence<Update<TFunc,… in ReplayEliminations()
|
| H A D | AbstractDomainUpdate.cs | 43 public override void Replay (MergeInfo<TFunc, TAbstractDomain> merge) in Replay()
70 public override void ReplayElimination (MergeInfo<TFunc, TAbstractDomain> merge) in ReplayElimination()
|
| H A D | EliminateEdgeUpdate.cs | 45 public override void ReplayElimination (MergeInfo<TFunc, TAbstractDomain> merge) in ReplayElimination()
53 public override void Replay (MergeInfo<TFunc, TAbstractDomain> merge) in Replay()
|
| H A D | MultiEdgeUpdate.cs | 45 public override void Replay (MergeInfo<TFunc, TAbstractDomain> merge) in Replay()
55 public override void ReplayElimination (MergeInfo<TFunc, TAbstractDomain> merge) in ReplayElimination()
|
| H A D | EdgeUpdate.cs | 45 public override void Replay (MergeInfo<TFunc, TAbstractDomain> merge) in Replay()
92 public override void ReplayElimination (MergeInfo<TFunc, TAbstractDomain> merge) in ReplayElimination()
|
| H A D | EqualityUpdate.cs | 45 public override void Replay (MergeInfo<TFunc, TAbstractDomain> merge) in Replay()
55 public override void ReplayElimination (MergeInfo<TFunc, TAbstractDomain> merge) in ReplayElimination()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/test/Sema/ |
| H A D | warn-unused-variables.c | 24 return Y + X; // expected-error {{use of undeclared identifier 'Y'}} in TFunc()
|
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/lang/clang-mesa/clang-13.0.1.src/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/llvm80/llvm-8.0.1.src/tools/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|
| /dports/devel/llvm70/llvm-7.0.1.src/tools/clang/test/Sema/ |
| H A D | tautological-unsigned-zero-compare.c | 19 void TFunc() { in TFunc() function
|