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