diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-26 14:00:52 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-26 14:00:52 -0700 |
commit | 05c647755261e6c28a211ec4c7b0cf04c1d2ed7f (patch) | |
tree | 7985ee180985263a275ed3e95c662a5f394f9da8 /src/util/recursion_breaker.h | |
parent | 28867b06a05fc13d0257093fcd28caa5907317b6 (diff) |
Use uniform length limit for String constantsfixNightlies
This commit changes the code in the strings solver to use the
String::maxSize() length limit everywhere instead of having multiple
constants defined in different places. This fixes an issue in our
nightlies where we were trying to rewrite an indexof operation with a
start index greater than the maximum value of a 32-bit integer. The
rewriter was checking for a start index greater than the maximum of a
64-bit integer before trying to convert the Rational into a 32-bit
number, which failed with CLN. This commit fixes the check.
Diffstat (limited to 'src/util/recursion_breaker.h')
0 files changed, 0 insertions, 0 deletions