unistd.h declares __fc_ttyname but it has no definition
ID0002489: This issue was created automatically from Mantis Issue 2489. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0002489 | Frama-C | Kernel > libc | public | 2020-01-08 | 2020-06-12 |
Reporter | vkraus | Assigned To | maroneze | Resolution | fixed |
Priority | normal | Severity | minor | Reproducibility | always |
Platform | x86_64 | OS | opam | OS Version | - |
Product Version | - | Target Version | - | Fixed in Version | Frama-C 21-Scandium |
Description :
When compiling __fc_runtime.c, I get
/usr/bin/ld: __fc_runtime.o:(.data.rel+0x0): undefined reference to `__fc_ttyname' collect2: error: ld returned 1 exit status
Additional Information :
gcc version 8.3.0 (debian buster) frama-c version 20.0 (Calcium)
Steps To Reproduce :
gcc -I$(frama-c -print-share-path)/libc -nostdinc -D__FC_MACHDEP_X86_64 -o __fc_runtime.o -c $(frama-c -print-share-path)/libc/__fc_runtime.c
(ignore the warnings)
echo "int main () { return 0; }" > main.c
gcc main.c __fc_runtime.o
You should get the error.