Commit 7f56ff42 authored by Aart Bik's avatar Aart Bik
Browse files

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
parent bdd82728
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment