From 3897befbe20ed23e5529bebfcd6791ae8e6c9a1d Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Mon, 18 Dec 2023 09:47:41 +0100 Subject: [PATCH] C++: Fix joins in 'cpp/wrong-type-format-argument'. --- .../semmle/code/cpp/models/interfaces/FormattingFunction.qll | 3 ++- 1 file changed, 2 insertions(+), 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 index 66f0a1dae014..7c1ea7231931 100644 --- 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