hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Switch strategy to nomagic.

Browse Source
This commit is contained in:
Geoffrey White
2022-03-21 12:58:06 +00:00
parent ff3bedcab9
commit 97fef4b3a5
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/models/interfaces/FormattingFunction.qll
View File

@@ -92,12 +92,12 @@ abstract class FormattingFunction extends ArrayFunction, TaintFunction {
* snapshots there may be multiple results where we can't tell which is correct for a * snapshots there may be multiple results where we can't tell which is correct for a
* particular function. * particular function.
*/ */
Type getWideCharType() { pragma[nomagic] Type getWideCharType() {
result = getFormatCharType() and result = getFormatCharType() and
result.getSize() > 1 result.getSize() > 1
or or
not getFormatCharType().getSize() > 1 and not getFormatCharType().getSize() > 1 and
result = pragma[only_bind_out](getAFormatterWideTypeOrDefault()) // may have more than one result result = getAFormatterWideTypeOrDefault() // may have more than one result
} }
/** /**