Result of relational is AKV at end of Phase 6
|
|
Bugzilla Link |
617 |
Created on |
Dec 11, 2009 02:17 |
Resolution |
FIXED |
Resolved on |
Dec 11, 2009 23:01 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
SAACFprf_gt_SxV.sac |
Extended Description
I'm trying to figure out if this is a bug or just a very smart typechecker at
work. This code:
int main()
{
N = 25;
n1 = [ _sub_SxS_( 0, 1)];
T = with {
(. <= iv=[i] <= . ) : _sel_VxA_( [0], _ge_VxS_( n1, i));
} : genarray( [N], false);
StdIO::print(T);
return(0);
}
produces this at -b6:
bool[1]{-1} _flat_11 { } ;
T = with {
(_flat_5 <= iv=[i] < _flat_8)
{
_flat_11 = _ge_VxS_( n1, i);
Granted, it's true that_flat_11 is AKV, but I am disappointed, because
it breaks my CF unit test for extrema on relationals.