| commit | 7f56ff42ac663ccfa62034ed22297bd7d9bce2f6 | [log] [tgz] |
|---|---|---|
| author | Aart Bik <ajcbik@google.com> | Wed Aug 30 10:20:47 2017 -0700 |
| committer | Aart Bik <ajcbik@google.com> | Wed Aug 30 10:52:33 2017 -0700 |
| tree | 257b52e881647dc28be8999ecdcc38bc4ec7052a | |
| parent | bdd827280a787c359961caf990f4a2c6e57810c1 [diff] |
Refined range rule for ABS(x) Rationale; ABS(minint) = minint prevents assuming >=0 always. With a fail-before(sig11)/pass-after regression test. Test: 623 Change-Id: If5fb1580b207c7cdd964f7498849d1768bb1589d