| 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 |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
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. |
| Notes |
| Issue History |
|||
| 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 |
| Issue History |