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 17
    • Merge requests 17
  • Deployments
    • Deployments
    • Releases
  • Wiki
    • Wiki
  • External wiki
    • External wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • sac-group
  • sac2csac2c
  • Issues
  • #2378
Closed
Open
Created Feb 09, 2024 by Sven-Bodo Scholz@sbsOwner

check c problem ICM undefined!

When compiling

noinline
int[*] myReshape (int[.] shp, int[*] data)
{
    return _reshape_VxA_(shp, data);
}

int main() {
    x = myReshape ([1], 42);

    return _sel_VxA_([0], x);
}

with sac2c -check c

we get

** 22: Creating binary code ...
/Volumes/Users/sbs/Dropbox/BodoSac/ruben/a.out.c:1476:265: error: use of undeclared identifier '_ICM_IS_UNDEFINED_'
        SAC_RuntimeWarningLoc ("./bug1.sac", 4, 12, "Arrays `" "SACp_emal_6042__idc_1216""' with shape %s ""And `" "SACl_data""' with shape %s ""do not adhere to prod matches prod shape constraint", SAC_PrintShape (SACp_emal_6042__idc_1216__desc), SAC_PrintShape (_ICM_IS_UNDEFINED_));
                                                                                                                                                                                                                                                                        ^
1 error generated.

One can also use -noprelude alongside....

Without -check c it compiles and runs fine.

When inlining it also runs fine.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking