CF failure: SCSprf_val_lt_val_SxS evaporates val_lt_val_SxS_( const, const) guard
|
|
Bugzilla Link |
1127 |
Created on |
Jul 23, 2014 21:22 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Extended Description
I just stumbled across this failure.
The offending code had been copy/pasted from the val_le_val_SxS code,
and I missed Case 2 now being rubbish. There is also at least two COlt calls
that are also rubbbish.
Fix to come over the weekend.
Failing code:
int[*] id(int[*] y)
{
return( y);
}
int main()
{
x = 0;
y = id(1);
y, p = _non_neg_val_S_( y);
z, p = _val_lt_val_SxS_( x, y);
return( z);
}