C++: We only call this predicate with unspecified types.

Author: MathiasVP

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

@@ -593,13 +593,11 @@ private class SideEffectArgumentNode extends ArgumentNode, SideEffectOperandNode
   }
 }
 
-private Type stripReferences(Type type) {
-  exists(Type unspecifiedType | unspecifiedType = type.getUnspecifiedType() |
-    result = unspecifiedType.(Cpp::ReferenceType).getBaseType().getUnspecifiedType()
-    or
-    not unspecifiedType instanceof Cpp::ReferenceType and
-    result = unspecifiedType
-  )
+private Type stripReferences(Type unspecifiedType) {
+  result = unspecifiedType.(Cpp::ReferenceType).getBaseType().getUnspecifiedType()
+  or
+  not unspecifiedType instanceof Cpp::ReferenceType and
+  result = unspecifiedType
 }
 
 private predicate forwardingCallTargetsConstructor(