commit | b3365e0c4cda4f8f19284d2d418db158ab78d810 | [log] [tgz] |
---|---|---|
author | Aart Bik <ajcbik@google.com> | Mon Sep 21 14:45:05 2015 -0700 |
committer | Aart Bik <ajcbik@google.com> | Tue Sep 22 16:22:32 2015 +0000 |
tree | d76a5ee48912d7fae2c5e612def63000c8284f8a | |
parent | 6a6916b378c413c2692782e901393607c47f0005 [diff] |
Various improvements in range analysis. Rationale: Using min/max values for "unknowns" is a bit wasteful, since it eliminates two useful values. Replaced this with additional boolean to make cases more accurate. Added few cases to handle examples found in real-life. Change-Id: I211f8d9a28b1ae79abdb55fb4569716f21d8043b