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 399
    • Issues 399
    • 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
  • #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