P2
It is possible to specify an alternative symbol name using an asm label attribute. Jextract was previously changed by https://bugs.openjdk.org/browse/JDK-8223105 to pick up and use this alternative name.
However, in the following time, it seems that, while we still parse and keep track of this attribute, we don't actually use the alternative name.
This makes uses of `stat` not work as expected on Mac for instance, because the wrong symbol name is used to link the function in some cases ('stat' instead of 'stat$INODE64')
However, in the following time, it seems that, while we still parse and keep track of this attribute, we don't actually use the alternative name.
This makes uses of `stat` not work as expected on Mac for instance, because the wrong symbol name is used to link the function in some cases ('stat' instead of 'stat$INODE64')
