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 394
    • Issues 394
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 25
    • Merge requests 25
  • Deployments
    • Deployments
    • Releases
  • Wiki
    • Wiki
  • External wiki
    • External wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • sac-group
  • sac2csac2c
  • Issues
  • #2432
Closed
Open
Created Sep 01, 2024 by Sven-Bodo Scholz@sbsOwner

MTSTF fails if dead functions with potentially concurrent WLs are left in the AST.

A minimal example is:

noinline
int[.] inc (int[.] a)
{
   return with {
            (. <= iv <= .) : _add_SxS_ (1, _sel_VxA_(iv, a));
          } : genarray (_shape_A_(a), 1);
}

int main()
{
  return 0;
}

when compiled with -tmt_pth -noDFR with sac2c 1.3.3-MijasCosta-1244-g5a3e8

we get

** 21: Generating Code ...
Internal compiler error
Assertion "((NODE_TYPE (COND_COND (arg_node)) == N_id) || (NODE_TYPE (COND_COND (arg_node)) == N_bool))" failed at /Volumes/Users/sbs/sac2c/src/libsac2c/codegen/compile.c:10178 -- if-clause condition is neither a N_id nor a N_bool but node type 51!

The erroneous node is an application of F_run_mt_genarray which should have been eliminated in mt:mtstf!

Edited Sep 01, 2024 by Sven-Bodo Scholz
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking