commit | 74da5290dd5cc040bee5430796715bd9302036c2 | [log] [tgz] |
---|---|---|
author | Aart Bik <ajcbik@google.com> | Tue Dec 20 11:13:03 2016 -0800 |
committer | Aart Bik <ajcbik@google.com> | Tue Dec 20 11:13:03 2016 -0800 |
tree | b1dd4932ab1aa610509465e52dac09b06850650f | |
parent | d54f43ca39dfa92f08c2d760123f185f0f65fb86 [diff] |
Fix transfer over rejected induction. Rationale: With the more precise rejection of narrowing linear induction, parent rules should be prepared to reject failed transfers. Also added a bit more comments to clarify rules. With regression tests. Bug: 33774618 Test: test-art-host Change-Id: I4a206e51d4359ab383379914dd4697fc81903547