*** buffer overflow detected ***: terminated /polycc in make test

[toufikbr05]

Hello,
I have a problem with compilation of Pluto in my container (I use a special docker in our labo (devcontainer)).
This problem is exactly in the step of : make test, the screen displays this message:

root@d10d29c13840:/workspace/pluto-0.11.4# make test
./test.sh --silent --lastwriter
test/jacobi-1d-imper.c
*** buffer overflow detected **: terminated
./polycc: line 54: 49374 Aborted (core dumped) $pluto $
Failed test/jacobi-1d-imper.c!
test/jacobi-2d-imper.c
*** buffer overflow detected ***: terminated
....
this message is repeated until the end of tests.

Thanks

[bondhugula]

This could mostly be due to using (dynamically linking against) a version of the ISL library that is different from the one Pluto was compiled against.

test.sh runs the test suite. Can you run the specific test in non-silent mode this way and paste the output?

$ ./polyccc test/jacobi-1d-imper.c --lastwriter

Also, Pluto 0.11.4 was released in 2017. Can you please try pluto 0.12.0 (released in Nov 2023).

If there is still an issue, can you provide the gdb backtrace of the crash:

$ gdb --args src/pluto  test/jacobi-1d-imper.c --lastwriter
$ bt

[toufikbr05]

Thank you for your answer,
I use an other image docker and it is working perfectly!