diff options
| author | Philip Reames <listmail@philipreames.com> | 2017-12-01 20:57:19 +0000 |
|---|---|---|
| committer | Philip Reames <listmail@philipreames.com> | 2017-12-01 20:57:19 +0000 |
| commit | 6260cf71d3013124cb0ab901e5de058843fd9bbe (patch) | |
| tree | 9350828ccfa9295d6a608466d0a195fc7fcf4769 /lldb/packages/Python/lldbsuite/test/python_api/thread | |
| parent | d8b935e0d36020ae8e62451c6d192c9d1dcc2900 (diff) | |
| download | bcm5719-llvm-6260cf71d3013124cb0ab901e5de058843fd9bbe.tar.gz bcm5719-llvm-6260cf71d3013124cb0ab901e5de058843fd9bbe.zip | |
[IndVars] Fix a bug introduced in r317012
Turns out we can have comparisons which are indirect users of the induction variable that we can make invariant. In this case, there is no loop invariant value contributing and we'd fail an assert.
The test case was found by a java fuzzer and reduced. It's a real cornercase. You have to have a static loop which we've already proven only executes once, but haven't broken the backedge on, and an inner phi whose result can be constant folded by SCEV using exit count reasoning but not proven by isKnownPredicate. To my knowledge, only the fuzzer has hit this case.
llvm-svn: 319583
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/python_api/thread')
0 files changed, 0 insertions, 0 deletions
