GitLab

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);