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 401
    • Issues 401
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 13
    • Merge requests 13
  • Deployments
    • Deployments
    • Releases
  • Wiki
    • Wiki
  • External wiki
    • External wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • sac-group
  • sac2csac2c
  • Issues
  • #1711
Closed
Open
Created Oct 13, 2006 by Florian Büther@fbuGuest

errorneous bottom handling on WL lhs

Bugzilla Link 308
Created on Oct 13, 2006 13:23
Resolution FIXED
Resolved on Oct 18, 2006 16:39
Version 1.00beta
OS Linux
Architecture PC
Attachments tutu.sac

Extended Description

Check the following code:
use Structures: all;
use SDLdisplay: all;
int main()
{
  disp = initDisplay( [10,10] );
  
  A, disp = with
  {
    ( . <= [y,x] <= . ) : ( 0, disp );
  } 
    ( genarray( [10,10], black( ) ), 
      propagate( disp ) );
  res = destroyDisplay( disp);
  return( res);
}
Here we got an obvious bug (the generator genarray supplies the default value
black() of type Color8, but inside the loop a 0 is returned). Compilation yields
this error:
** 11: Running SAC optimizations ...
**** Applying function inlining ...
**** Removing dead functions ...
**** Removing dead code ...
**** Applying loop invariant removal ...
ASSERTION FAILED: file 'src/optimize/SSALIR.c', line 1409
usage of undefined identifier
EXECUTION TERMINATED
This does not occur, when the disp is completely removed or when the second
parameter is a non-propagated parameter.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking