C++: Switch another 'DataFlowType' to 'Type'.

2026-02-11 20:51:06 +01:00 · 2026-01-16 12:42:33 +00:00
parent 08a6b99cfd
commit f05bff01e4
1 changed files with 1 additions and 1 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
@@ -53,7 +53,7 @@ private module SourceVariables {
     * the type of this source variable should be thought of as "pointer
     * to `getType()`".
     */
-    DataFlowType getType() {
+    Type getType() {
      if this.isGLValue()
      then result = base.getType()
      else result = getTypeImpl(base.getType(), ind - 1)