CTS generates wrong type scalar
|
|
Bugzilla Link |
718 |
Created on |
Jun 09, 2010 21:11 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
crud.sac |
Extended Description
Created an attachment (id=732)
source code to reproduce fault
If I compile the attached with "sac2c crud.sac", sac2c
Build #16882:MODIFIED crashes with:
ASSERTION FAILED: file 'typecheck/new_types.c.old', line 647
TYgetSimpleType applied to nonsimple-type!
EXECUTION TERMINATED
The cause is an incorrect type declaration
for the scalar 0 in the following code:
bool _MAIN:Structures::_dup_23711_match__Cond_9( bool _flat_77 { ,NN } , int[.,.] arr_b { ,NN } , int[+] arr_a { ,NN } )
/*
* _dup_23711_match__Cond_9 :: ---
*/
{
int[2] _ctz_23227 { , NN, } ;
int[2] _ctz_23228 { , NN, } ;
...
_ctz_23227 = _sub_VxV_( _flat_81, _flat_82);
_ctz_23228 = 0;
_flat_80 = _eq_VxS_( _ctz_23227, _ctz_23228);