Skip to content

Commit 0d91622

Browse files
committed
C++: Rename SsaInternals to SsaImpl and SsaInternalsCommon to SsaImplCommon.
1 parent c8f4b28 commit 0d91622

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll renamed to cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
private import codeql.ssa.Ssa as SsaImplCommon
1+
private import codeql.ssa.Ssa as Ssa
22
private import semmle.code.cpp.ir.IR
33
private import DataFlowUtil
44
private import DataFlowImplCommon as DataFlowImplCommon
@@ -12,7 +12,7 @@ private import semmle.code.cpp.ir.internal.IRCppLanguage
1212
private import semmle.code.cpp.ir.dataflow.internal.ModelUtil
1313
private import semmle.code.cpp.ir.implementation.raw.internal.TranslatedInitialization
1414
private import DataFlowPrivate
15-
import SsaInternalsCommon
15+
import SsaImplCommon
1616

1717
private module SourceVariables {
1818
cached
@@ -884,7 +884,7 @@ private predicate baseSourceVariableIsGlobal(
884884
)
885885
}
886886

887-
private module SsaInput implements SsaImplCommon::InputSig<Location> {
887+
private module SsaInput implements Ssa::InputSig<Location> {
888888
import InputSigCommon
889889
import SourceVariables
890890

@@ -958,7 +958,7 @@ class GlobalDef extends Definition {
958958
GlobalLikeVariable getVariable() { result = impl.getVariable() }
959959
}
960960

961-
private module SsaImpl = SsaImplCommon::Make<Location, SsaInput>;
961+
private module SsaImpl = Ssa::Make<Location, SsaInput>;
962962

963963
private module DataFlowIntegrationInput implements SsaImpl::DataFlowIntegrationInputSig {
964964
private import codeql.util.Boolean

0 commit comments

Comments
 (0)