diff options
| author | Eli Friedman <efriedma@quicinc.com> | 2021-07-09 14:10:44 -0700 |
|---|---|---|
| committer | Eli Friedman <efriedma@quicinc.com> | 2021-07-16 16:15:18 -0700 |
| commit | cbba71bfb50fb668b80ed430125a460279928272 (patch) | |
| tree | 6f9a892f3d236d4243725d354afea72b5f7031bc /lldb/source/Commands/CommandObjectThread.cpp | |
| parent | b8355b71260e762af4e125a2241817cffe40bf4e (diff) | |
| download | llvm-cbba71bfb50fb668b80ed430125a460279928272.zip llvm-cbba71bfb50fb668b80ed430125a460279928272.tar.gz llvm-cbba71bfb50fb668b80ed430125a460279928272.tar.bz2 | |
[ScalarEvolution] Fix overflow in computeBECount.
The current implementation of computeBECount doesn't account for the
possibility that adding "Stride - 1" to Delta might overflow. For almost
all loops, it doesn't, but it's not actually proven anywhere.
To deal with this, use a variety of tricks to try to prove that the
addition doesn't overflow. If the proof is impossible, use an alternate
sequence which never overflows.
Differential Revision: https://reviews.llvm.org/D105216
Diffstat (limited to 'lldb/source/Commands/CommandObjectThread.cpp')
0 files changed, 0 insertions, 0 deletions