View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0002489 | Frama-C | Kernel > libc | public | 2020-01-08 20:51 | 2020-06-12 08:59 | ||||
Reporter | vkraus | ||||||||
Assigned To | maroneze | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Platform | x86_64 | OS | opam | OS Version | |||||
Product Version | |||||||||
Target Version | Fixed in Version | Frama-C 21-Scandium | |||||||
Summary | 0002489: unistd.h declares __fc_ttyname but it has no definition | ||||||||
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 | ||||||||
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. | ||||||||
Additional Information | gcc version 8.3.0 (debian buster) frama-c version 20.0 (Calcium) | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
vkraus (reporter) 2020-01-08 20:54 |
Sorry, the steps are collapsed on a single line. The first command runs from gcc to __fc_runtime.c, and the second from "echo ..." to "> main.c". |
maroneze (administrator) 2020-01-15 18:43 |
Thanks for the report. I believe adding a "unistd.c" file with a non-extern declaration for that symbol should suffice. We'll also add a non-regression test to avoid re-introducing this kind of bug in the future. |
maroneze (administrator) 2020-01-22 15:47 Last edited: 2020-01-22 15:48 |
Fixed in commit https://git.frama-c.com/pub/frama-c/commit/eca7b9d1ec736b4e24806140ffe0a2df3607c67a. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2020-01-08 20:51 | vkraus | New Issue | |
2020-01-08 20:51 | vkraus | Status | new => assigned |
2020-01-08 20:51 | vkraus | Assigned To | => maroneze |
2020-01-08 20:54 | vkraus | Note Added: 0006929 | |
2020-01-15 18:43 | maroneze | Note Added: 0006930 | |
2020-01-15 18:43 | maroneze | Status | assigned => confirmed |
2020-01-22 15:47 | maroneze | Note Added: 0006932 | |
2020-01-22 15:47 | maroneze | Status | confirmed => resolved |
2020-01-22 15:47 | maroneze | Fixed in Version | => Frama-C GIT, precise the release id |
2020-01-22 15:47 | maroneze | Resolution | open => fixed |
2020-01-22 15:48 | maroneze | Note Edited: 0006932 | View Revisions |
2020-06-12 08:59 | signoles | Fixed in Version | Frama-C GIT, precise the release id => Frama-C 21-Scandium |
2020-06-12 08:59 | signoles | Status | resolved => closed |