From 00d772f9801b1f6b343569dd51b14ca96203f28b Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Mon, 24 Jun 2024 11:53:24 +0100 Subject: [PATCH] C++: Fix value numbering imports. --- config/identical-files.json | 5 ----- .../raw/gvn/internal/ValueNumberingImports.qll | 2 +- .../unaliased_ssa/gvn/internal/ValueNumberingImports.qll | 2 +- 3 files changed, 2 insertions(+), 7 deletions(-) diff --git a/config/identical-files.json b/config/identical-files.json index 2c730fb1ab4..891ddd8b631 100644 --- a/config/identical-files.json +++ b/config/identical-files.json @@ -181,11 +181,6 @@ "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysisImports.qll", "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysisImports.qll" ], - "C++ IR ValueNumberingImports": [ - "cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll", - "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll", - "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/gvn/internal/ValueNumberingImports.qll" - ], "IR SSA SSAConstruction": [ "cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll", "cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll" diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll index 8482a5e4b14..17e8fe3a125 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/gvn/internal/ValueNumberingImports.qll @@ -1,3 +1,3 @@ -import semmle.code.cpp.ir.implementation.aliased_ssa.IR +import semmle.code.cpp.ir.implementation.raw.IR import semmle.code.cpp.ir.internal.Overlap import semmle.code.cpp.ir.internal.IRCppLanguage as Language diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll index 8482a5e4b14..5b1b94d499b 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/gvn/internal/ValueNumberingImports.qll @@ -1,3 +1,3 @@ -import semmle.code.cpp.ir.implementation.aliased_ssa.IR +import semmle.code.cpp.ir.implementation.unaliased_ssa.IR import semmle.code.cpp.ir.internal.Overlap import semmle.code.cpp.ir.internal.IRCppLanguage as Language