Skip to content

Commit 34feafd

Browse files
committed
C#: Do not pass in TSourceVariable IPA type into shared SSA library
1 parent 4068cc9 commit 34feafd

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImplSpecific.qll

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
private import csharp
44
private import AssignableDefinitions
55
private import SsaImpl as SsaImpl
6+
private import semmle.code.csharp.dataflow.SSA
67

78
class BasicBlock = ControlFlow::BasicBlock;
89

@@ -12,7 +13,7 @@ BasicBlock getABasicBlockSuccessor(BasicBlock bb) { result = bb.getASuccessor()
1213

1314
class ExitBasicBlock = ControlFlow::BasicBlocks::ExitBlock;
1415

15-
class SourceVariable = SsaImpl::TSourceVariable;
16+
class SourceVariable = Ssa::SourceVariable;
1617

1718
predicate variableWrite = SsaImpl::variableWrite/4;
1819

0 commit comments

Comments
 (0)