mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +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, lowerBound(expr).toString()
|