C++: Fix expensive getWideCharType().

2025-12-23 04:06:37 +01:00 · 2022-03-17 14:29:54 +00:00
parent f53df255b9
commit ff3bedcab9
1 changed files with 1 additions and 1 deletions
--- 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
  }

  /**