-ecc reports wrong error
Bugzilla Link | 913 |
Created on | Feb 16, 2012 20:16 |
Resolution | INVALID |
Resolved on | Feb 16, 2012 20:44 |
Version | svn |
OS | Linux |
Architecture | PC |
Extended Description
This is in my enhanced CTZ code that handles this guard a la comparisons against zero. ERROR: line 119 in file ArrayArith.sac: ERROR: argument #1 of "_val_lt_val_SxS_" should be less than argument #2; ERROR: types found: int{-1} and int{0} What's going on here is that the TC code for guard has a hidden additional check: PRF_ARG1( arg_node) >= 0 This does not work at all with my shiny new code, so I intend to remove that check from the guard. We may have to insert ANOTHER guard to cover that unstated check, but I think that they are already covered by _non_neg_val(). This code is not checked in, so don't be surprised if you can't reproduce the fault.