web-dev-qa-db-fra.com

gcc n'inclura pas correctement math.h

Voici un exemple minimal décrivant mon problème

test.c:

#include <stdio.h>
#include <math.h>

main ()
{
   fmod ( 3, 2 );
}

Et voici la commande que j'émets pour compiler test.c

gcc -lm test.c -o test

Et voici la sortie que j'obtiens lorsque j'émets la commande ci-dessus

/tmp/ccQmRk99.o: In function `main':
test.c:(.text+0x3e): undefined reference to `fmod'
collect2: ld returned 1 exit status

J'obtiens la même sortie si j'utilise à la place cc. J'utilise la version suivante de gcc

gcc-4.6.real (Ubuntu/Linaro 4.6.1-9ubuntu3) 4.6.1

Des idées pourquoi mon programme ne compile pas?

cgcclinkerstatic-libraries
19
puk

Le problème vient de l'éditeur de liens, ld, plutôt que de gcc (d'où le message d'état de sortie). En général, ld requiert que les objets et les bibliothèques soient spécifiés dans l'ordre usersupplier, où user est un objet qui utilise une fonction de bibliothèque et supplier est le objet qui le fournit.

Quand ton test.c est compilé en un objet le compilateur déclare que fmod est une référence non définie

$ gcc -c test.c
$ nm test.o
                 U fmod
0000000000000000 T main

(nm liste toutes les fonctions référencées par un fichier objet)

L'éditeur de liens modifie les références non définies en références définies, en recherchant les références pour voir si elles sont fournies dans d'autres fichiers.

$ gcc -lm test.o
$ nm a.out
0000000000600e30 d _DYNAMIC
0000000000600fe8 d _GLOBAL_OFFSET_TABLE_
00000000004006a8 R _IO_stdin_used
                 w _Jv_RegisterClasses
0000000000600e10 d __CTOR_END__
...
0000000000601018 D __dso_handle
                 w __gmon_start__
...
                 U __libc_start_main@@GLIBC_2.2.5
0000000000601020 A _edata
0000000000601030 A _end
0000000000400698 T _fini
0000000000400448 T _init
0000000000400490 T _start
00000000004004bc t call_gmon_start
0000000000601020 b completed.7382
0000000000601010 W data_start
0000000000601028 b dtor_idx.7384
                 U fmod@@GLIBC_2.2.5
0000000000400550 t frame_dummy
0000000000400574 T main

La plupart d'entre elles se réfèrent aux fonctions libc qui sont exécutées avant et après main pour configurer l'environnement. Vous pouvez voir que fmod pointe maintenant vers la glibc, où il sera résolu par le système de bibliothèque partagée.

Mon système est configuré pour utiliser les bibliothèques partagées par défaut. Si je force la liaison statique, j'obtiens la dépendance de l'ordre que vous voyez

$ gcc -static -lm test.o
test.o: In function `main':
test.c:(.text+0x40): undefined reference to `fmod'
collect2: ld returned 1 exit status

En mettant -lm plus loin dans la commande de l'éditeur de liens, aprèstest.o, lui permet de se lier avec succès. La vérification des symboles fmod devrait maintenant être résolue en une adresse réelle, et

$ gcc -static test.o -lm
$ nm a.out | grep fmod
0000000000400480 T __fmod
0000000000402b80 T __ieee754_fmod
0000000000400480 W fmod
52
Scott Wales

Depuis la page de manuel gcc (1): "le placement de l'option -l est significatif."

Plus précisément:

   -llibrary
   -l library
       Search the library named library when linking.  (The second alternative with the library as a
       separate argument is only for POSIX compliance and is not recommended.)

       It makes a difference where in the command you write this option; the linker searches and processes
       libraries and object files in the order they are specified.  Thus, foo.o -lz bar.o searches library z
       after file foo.o but before bar.o.  If bar.o refers to functions in z, those functions may not be
       loaded.

       The linker searches a standard list of directories for the library, which is actually a file named
       liblibrary.a.  The linker then uses this file as if it had been specified precisely by name.

       The directories searched include several standard system directories plus any that you specify with
       -L.

       Normally the files found this way are library files---archive files whose members are object files.
       The linker handles an archive file by scanning through it for members which define symbols that have
       so far been referenced but not defined.  But if the file that is found is an ordinary object file, it
       is linked in the usual fashion.  The only difference between using an -l option and specifying a file
       name is that -l surrounds library with lib and .a and searches several directories.
3
Toybuilder