mirror of
https://github.com/github/codeql.git
synced 2026-01-01 00:27:24 +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()
|