C++: add bindingset to private Printf predicate

That predicate turned out to create a lot of tuples, of which only a
minimal part was then used in the query.
This commit is contained in:
Paolo Tranquilli
2022-01-13 11:58:28 +00:00
committed by GitHub
parent 64d15d6226
commit e6763c858d

View File

@@ -382,6 +382,7 @@ private int lengthInBase10(float f) {
result = f.log10().floor() + 1
}
bindingset[expr]
private BufferWriteEstimationReason getEstimationReasonForIntegralExpression(Expr expr) {
// we consider the range analysis non trivial if it
// * constrained non-trivially both sides of a signed value, or