C#: match IR global variable changes

This commit is contained in:
Robert Marsh
2022-03-22 13:22:37 -04:00
parent 6be3db8575
commit 12ccf3662a
2 changed files with 11 additions and 0 deletions

View File

@@ -47,6 +47,9 @@ module Raw {
cached
predicate functionHasIR(Callable callable) { exists(getTranslatedFunction(callable)) }
cached
predicate varHasIRFunc(Field field) { none() }
cached
predicate hasInstruction(TranslatedElement element, InstructionTag tag) {
element.hasInstruction(_, tag, _)

View File

@@ -8,6 +8,14 @@ class OpaqueTypeTag = CSharp::ValueOrRefType;
class Function = CSharp::Callable;
class GlobalVariable extends CSharp::Field {
GlobalVariable() {
this.isStatic()
}
}
class Declaration = CSharp::Declaration;
class Location = CSharp::Location;
class UnknownLocation = CSharp::EmptyLocation;