C++/C#: resync

Robert Marsh · Robert Marsh · commit cc99ddfd2c8a · 2020-03-11T12:41:26.000-07:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRBlock.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/IRBlock.qll
@@ -27,7 +27,7 @@ class IRBlockBase extends TIRBlock {
    * by debugging and printing code only.
    */
   int getDisplayIndex() {
-    exists(IRConfiguration config |
+    exists(IRConfiguration::IRConfiguration config |
       config.shouldEvaluateDebugStringsForFunction(this.getEnclosingFunction())
     ) and
     this =
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/Instruction.qll
@@ -283,7 +283,7 @@ module InstructionSanity {
  * `File` and line number. Used for assigning register names when printing IR.
  */
 private Instruction getAnInstructionAtLine(IRFunction irFunc, Language::File file, int line) {
-  exists(IRConfiguration config |
+  exists(IRConfiguration::IRConfiguration config |
     config.shouldEvaluateDebugStringsForFunction(irFunc.getFunction())
   ) and
   exists(Language::Location location |
@@ -311,7 +311,7 @@ class Instruction extends Construction::TInstruction {
   }
 
   predicate shouldGenerateDumpStrings() {
-    exists(IRConfiguration config |
+    exists(IRConfiguration::IRConfiguration config |
       config.shouldEvaluateDebugStringsForFunction(this.getEnclosingFunction())
     )
   }
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRBlock.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/IRBlock.qll
@@ -27,7 +27,7 @@ class IRBlockBase extends TIRBlock {
    * by debugging and printing code only.
    */
   int getDisplayIndex() {
-    exists(IRConfiguration config |
+    exists(IRConfiguration::IRConfiguration config |
       config.shouldEvaluateDebugStringsForFunction(this.getEnclosingFunction())
     ) and
     this =
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/Instruction.qll
@@ -283,7 +283,7 @@ module InstructionSanity {
  * `File` and line number. Used for assigning register names when printing IR.
  */
 private Instruction getAnInstructionAtLine(IRFunction irFunc, Language::File file, int line) {
-  exists(IRConfiguration config |
+  exists(IRConfiguration::IRConfiguration config |
     config.shouldEvaluateDebugStringsForFunction(irFunc.getFunction())
   ) and
   exists(Language::Location location |
@@ -311,7 +311,7 @@ class Instruction extends Construction::TInstruction {
   }
 
   predicate shouldGenerateDumpStrings() {
-    exists(IRConfiguration config |
+    exists(IRConfiguration::IRConfiguration config |
       config.shouldEvaluateDebugStringsForFunction(this.getEnclosingFunction())
     )
   }
diff --git a/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/IRBlock.qll b/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/IRBlock.qll
@@ -27,7 +27,7 @@ class IRBlockBase extends TIRBlock {
    * by debugging and printing code only.
    */
   int getDisplayIndex() {
-    exists(IRConfiguration config |
+    exists(IRConfiguration::IRConfiguration config |
       config.shouldEvaluateDebugStringsForFunction(this.getEnclosingFunction())
     ) and
     this =
diff --git a/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/Instruction.qll b/csharp/ql/src/semmle/code/csharp/ir/implementation/raw/Instruction.qll
@@ -283,7 +283,7 @@ module InstructionSanity {
  * `File` and line number. Used for assigning register names when printing IR.
  */
 private Instruction getAnInstructionAtLine(IRFunction irFunc, Language::File file, int line) {
-  exists(IRConfiguration config |
+  exists(IRConfiguration::IRConfiguration config |
     config.shouldEvaluateDebugStringsForFunction(irFunc.getFunction())
   ) and
   exists(Language::Location location |
@@ -311,7 +311,7 @@ class Instruction extends Construction::TInstruction {
   }
 
   predicate shouldGenerateDumpStrings() {
-    exists(IRConfiguration config |
+    exists(IRConfiguration::IRConfiguration config |
       config.shouldEvaluateDebugStringsForFunction(this.getEnclosingFunction())
     )
   }
diff --git a/csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/IRBlock.qll b/csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/IRBlock.qll
@@ -27,7 +27,7 @@ class IRBlockBase extends TIRBlock {
    * by debugging and printing code only.
    */
   int getDisplayIndex() {
-    exists(IRConfiguration config |
+    exists(IRConfiguration::IRConfiguration config |
       config.shouldEvaluateDebugStringsForFunction(this.getEnclosingFunction())
     ) and
     this =
diff --git a/csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/Instruction.qll b/csharp/ql/src/semmle/code/csharp/ir/implementation/unaliased_ssa/Instruction.qll
@@ -283,7 +283,7 @@ module InstructionSanity {
  * `File` and line number. Used for assigning register names when printing IR.
  */
 private Instruction getAnInstructionAtLine(IRFunction irFunc, Language::File file, int line) {
-  exists(IRConfiguration config |
+  exists(IRConfiguration::IRConfiguration config |
     config.shouldEvaluateDebugStringsForFunction(irFunc.getFunction())
   ) and
   exists(Language::Location location |
@@ -311,7 +311,7 @@ class Instruction extends Construction::TInstruction {
   }
 
   predicate shouldGenerateDumpStrings() {
-    exists(IRConfiguration config |
+    exists(IRConfiguration::IRConfiguration config |
       config.shouldEvaluateDebugStringsForFunction(this.getEnclosingFunction())
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -283,7 +283,7 @@ module InstructionSanity {`
`283`	`283`	* `File` and line number. Used for assigning register names when printing IR.
`284`	`284`	`*/`
`285`	`285`	`private Instruction getAnInstructionAtLine(IRFunction irFunc, Language::File file, int line) {`
`286`		`- exists(IRConfiguration config \|`
	`286`	`+ exists(IRConfiguration::IRConfiguration config \|`
`287`	`287`	`config.shouldEvaluateDebugStringsForFunction(irFunc.getFunction())`
`288`	`288`	`) and`
`289`	`289`	`exists(Language::Location location \|`
`@@ -311,7 +311,7 @@ class Instruction extends Construction::TInstruction {`
`311`	`311`	`}`
`312`	`312`
`313`	`313`	`predicate shouldGenerateDumpStrings() {`
`314`		`- exists(IRConfiguration config \|`
	`314`	`+ exists(IRConfiguration::IRConfiguration config \|`
`315`	`315`	`config.shouldEvaluateDebugStringsForFunction(this.getEnclosingFunction())`
`316`	`316`	`)`
`317`	`317`	`}`