From ff3bedcab932a0b7e6ecdfc872e88bd9bfaa8a42 Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Thu, 17 Mar 2022 14:29:54 +0000
Subject: [PATCH] C++: Fix expensive getWideCharType().

---
 .../semmle/code/cpp/models/interfaces/FormattingFunction.qll    | 2 +-
 1 file changed, 1 insertion(+), 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 1202895cca2..da2a8143dfe 100644
--- a/cpp/ql/lib/semmle/code/cpp/models/interfaces/FormattingFunction.qll
+++ b/cpp/ql/lib/semmle/code/cpp/models/interfaces/FormattingFunction.qll
@@ -97,7 +97,7 @@ abstract class FormattingFunction extends ArrayFunction, TaintFunction {
     result.getSize() > 1
     or
     not getFormatCharType().getSize() > 1 and
-    result = getAFormatterWideTypeOrDefault() // may have more than one result
+    result = pragma[only_bind_out](getAFormatterWideTypeOrDefault()) // may have more than one result
   }
 
   /**