Update cpp/ql/lib/semmle/code/cpp/commons/Printf.qll

MathiasVP · geoffw0 · web-flow · commit 982de28b899f · 2021-11-11T13:19:13.000Z
Co-authored-by: Geoffrey White &lt;40627776+geoffw0@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/commons/Printf.qll b/cpp/ql/lib/semmle/code/cpp/commons/Printf.qll
@@ -277,7 +277,7 @@ class FormattingFunctionCall extends Expr {
  */
 bindingset[f]
 private int lengthInBase10(float f) {
-  f = 0 and result = 0
+  f = 0 and result = 1
   or
   result = f.log10().ceil()
 }

Original file line number	Diff line number	Diff line change
`@@ -277,7 +277,7 @@ class FormattingFunctionCall extends Expr {`
`277`	`277`	`*/`
`278`	`278`	`bindingset[f]`
`279`	`279`	`private int lengthInBase10(float f) {`
`280`		`- f = 0 and result = 0`
	`280`	`+ f = 0 and result = 1`
`281`	`281`	`or`
`282`	`282`	`result = f.log10().ceil()`
`283`	`283`	`}`