>      cc -o /tmp/a.out marc.c
> 
> (Note that there is no -lpthread parameter)
> 
> and then run
> 
>      valgrind --tool=helgrind /tmp/a.out
> 
> There is no warning or  error at all. (under linux, that is).
> 
> I wonder WHICH library is used for pthread_cond_init() and friends.

The utility /usr/bin/ldd, which is a bash shell script that is part of glibc,
answers such questions:
   $ ldd /tmp/a.out
        linux-vdso.so.1 =>  (0x00007fffb71ff000)
        libc.so.6 => /lib64/libc.so.6 (0x00000030f0400000)
        /lib64/ld-linux-x86-64.so.2 (0x00000030f0000000)
and that is all.

Using gdb:
   $ gdb /tmp/a.out
   (gdb) b main
   (gdb) run
   (gdb) info shared
>From                To                  Syms Read   Shared Object Library
0x00000030f0000b20  0x00000030f001a2e9  Yes         /lib64/ld-linux-x86-64.so.2
0x00000030f041ef60  0x00000030f055f7a0  Yes         /lib64/libc.so.6
   (gdb)

-- 


------------------------------------------------------------------------------
LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial
Remotely access PCs and mobile devices and provide instant support
Improve your efficiency, and focus on delivering more value-add services
Discover what IT Professionals Know. Rescue delivers
http://p.sf.net/sfu/logmein_12329d2d
_______________________________________________
Valgrind-users mailing list
Valgrind-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-users

Reply via email to