C#: Fix some IR types that didn't compile.

This commit is contained in:
Calum Grant
2019-12-02 13:27:58 +00:00
parent 4494d61e56
commit c05263ca98
2 changed files with 5 additions and 3 deletions

View File

@@ -1,2 +1,2 @@
import semmle.code.cpp.ir.implementation.unaliased_ssa.IR as IR
import semmle.code.cpp.ir.implementation.unaliased_ssa.constant.ConstantAnalysis as ConstantAnalysis
import semmle.code.csharp.ir.implementation.unaliased_ssa.IR as IR
import semmle.code.csharp.ir.implementation.unaliased_ssa.constant.ConstantAnalysis as ConstantAnalysis

View File

@@ -9,6 +9,8 @@ newtype TIRVariable =
Construction::functionHasIR(callable) and
var.getCallable() = callable
} or
TIRTempVariable(Callable callable, Language::AST ast, TempVariableTag tag, Type type) {
TIRTempVariable(
Callable callable, Language::AST ast, TempVariableTag tag, Language::LanguageType type
) {
Construction::hasTempVariable(callable, ast, tag, type)
}