Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • sac2c sac2c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 400
    • Issues 400
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 12
    • Merge requests 12
  • Deployments
    • Deployments
    • Releases
  • Wiki
    • Wiki
  • External wiki
    • External wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • sac-group
  • sac2csac2c
  • Issues
  • #1031
Closed
Open
Created Jun 09, 2010 by Robert Bernecky@rbeDeveloper

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);
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking