From 155502cfdb08abb811c1207f85b496ce8d71106f Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Tue, 1 Mar 2022 16:56:49 +0000 Subject: [PATCH] C#/C++: Sync identical files. --- .../implementation/raw/gvn/internal/ValueNumberingInternal.qll | 1 - .../unaliased_ssa/gvn/internal/ValueNumberingInternal.qll | 1 - .../implementation/raw/gvn/internal/ValueNumberingInternal.qll | 1 - .../unaliased_ssa/gvn/internal/ValueNumberingInternal.qll | 1 - 4 files changed, 4 deletions(-) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll index fae12ea1f14..fdb645e03f0 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll @@ -155,7 +155,6 @@ private predicate fieldAddressValueNumber( TValueNumber objectAddress ) { instr.getEnclosingIRFunction() = irFunc and - instr.getField() = field and unique( | | instr.getField()) = field and tvalueNumber(instr.getObjectAddress()) = objectAddress } diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll index fae12ea1f14..fdb645e03f0 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll @@ -155,7 +155,6 @@ private predicate fieldAddressValueNumber( TValueNumber objectAddress ) { instr.getEnclosingIRFunction() = irFunc and - instr.getField() = field and unique( | | instr.getField()) = field and tvalueNumber(instr.getObjectAddress()) = objectAddress } diff --git a/csharp/ql/src/experimental/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll b/csharp/ql/src/experimental/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll index fae12ea1f14..fdb645e03f0 100644 --- a/csharp/ql/src/experimental/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll +++ b/csharp/ql/src/experimental/ir/implementation/raw/gvn/internal/ValueNumberingInternal.qll @@ -155,7 +155,6 @@ private predicate fieldAddressValueNumber( TValueNumber objectAddress ) { instr.getEnclosingIRFunction() = irFunc and - instr.getField() = field and unique( | | instr.getField()) = field and tvalueNumber(instr.getObjectAddress()) = objectAddress } diff --git a/csharp/ql/src/experimental/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll b/csharp/ql/src/experimental/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll index fae12ea1f14..fdb645e03f0 100644 --- a/csharp/ql/src/experimental/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll +++ b/csharp/ql/src/experimental/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingInternal.qll @@ -155,7 +155,6 @@ private predicate fieldAddressValueNumber( TValueNumber objectAddress ) { instr.getEnclosingIRFunction() = irFunc and - instr.getField() = field and unique( | | instr.getField()) = field and tvalueNumber(instr.getObjectAddress()) = objectAddress }