mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
2ea25b9d90
The pretty-printing of a QL `float` didn't include enough digits to tell whether a large number had accurate bounds. The `toString` value of a float appears to be more precise.
5 lines
124 B
Plaintext
5 lines
124 B
Plaintext
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
|
|
|
|
from VariableAccess expr
|
|
select expr, upperBound(expr).toString()
|