CF producing wrong answer for min/max( N, N + ( -1))
|
|
Bugzilla Link |
1088 |
Created on |
Sep 26, 2013 19:38 |
Resolution |
FIXED |
Resolved on |
Sep 26, 2013 20:55 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
crud2.sac |
Extended Description
Created an attachment (id=986)
source code to reproduce fault
The CF function isVal1IsSumOfVal2 was failing to check the sign
of the "constant" argument to the addition when evaluating the
composition min( N, N + constant).
This led me on a merry chase through many dark alleys.