Merge pull request github#15129 from MathiasVP/fix-joins-in-wrong-typ…

…e-format-argument C++: Fix joins in `cpp/wrong-type-format-argument`
michaelnebel · Dec 18, 2023 · 50b754b · 50b754b
2 parents d8fdba0 + 3897bef
commit 50b754b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/cpp/ql/lib/semmle/code/cpp/models/interfaces/FormattingFunction.qll b/cpp/ql/lib/semmle/code/cpp/models/interfaces/FormattingFunction.qll
@@ -9,8 +9,9 @@
 import semmle.code.cpp.models.interfaces.ArrayFunction
 import semmle.code.cpp.models.interfaces.Taint
 
+pragma[nomagic]
 private Type stripTopLevelSpecifiersOnly(Type t) {
-  result = stripTopLevelSpecifiersOnly(t.(SpecifiedType).getBaseType())
+  result = stripTopLevelSpecifiersOnly(pragma[only_bind_out](t.(SpecifiedType).getBaseType()))
   or
   result = t and
   not t instanceof SpecifiedType