C++: Also add a 'getIndirection' on 'GlobalDef' as well. This will be useful in the next commit.

MathiasVP · MathiasVP · commit 95bb70f57724 · 2023-11-09T20:25:29.000Z
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
@@ -1006,6 +1006,9 @@ class GlobalDef extends TGlobalDef, SsaDefOrUse {
     global.hasIndexInBlock(block, index, sv)
   }
 
+  /** Gets the indirection index of this definition. */
+  int getIndirection() { result = global.getIndirection() }
+
   /** Gets the indirection index of this definition. */
   int getIndirectionIndex() { result = global.getIndirectionIndex() }
 

Original file line number	Diff line number	Diff line change
`@@ -1006,6 +1006,9 @@ class GlobalDef extends TGlobalDef, SsaDefOrUse {`
`1006`	`1006`	`global.hasIndexInBlock(block, index, sv)`
`1007`	`1007`	`}`
`1008`	`1008`
	`1009`	`+ /** Gets the indirection index of this definition. */`
	`1010`	`+ int getIndirection() { result = global.getIndirection() }`
	`1011`	`+`
`1009`	`1012`	`/** Gets the indirection index of this definition. */`
`1010`	`1013`	`int getIndirectionIndex() { result = global.getIndirectionIndex() }`
`1011`	`1014`