Dave Korn wrote:
Roberto, what does ldd show on the various cc1 binaries in the different
stage directories of your most recent bootstrap? I'm guessing you'll see that
the stage 2 cc1 is linked against the system libstdc++ rather than the
newly-bootstrapped one.
$ find . -name cc1
./prev-gcc/cc1
./gcc/cc1
./stage1-gcc/cc1
$ find . -name cc1 | xargs ldd
./prev-gcc/cc1:
linux-vdso.so.1 => (0x00007fffb37ff000)
libmpfr.so.1 => /usr/lib64/libmpfr.so.1 (0x0000003e34000000)
libgmp.so.3 => /usr/lib64/libgmp.so.3 (0x0000003e3b400000)
libppl_c.so.2 => /usr/local/lib64/libppl_c.so.2 (0x0000000002027000)
libppl.so.7 => /usr/local/lib64/libppl.so.7 (0x0000000000110000)
libgmpxx.so.4 => /usr/lib64/libgmpxx.so.4 (0x00000000015e7000)
libc.so.6 => /lib64/libc.so.6 (0x0000003e33c00000)
libstdc++.so.6 => /usr/lib64/libstdc++.so.6 (0x0000003e3de00000)
libm.so.6 => /lib64/libm.so.6 (0x000000000278a000)
libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x0000000001880000)
/lib64/ld-linux-x86-64.so.2 (0x0000003e33800000)
./gcc/cc1:
linux-vdso.so.1 => (0x00007fff4e3fe000)
libmpfr.so.1 => /usr/lib64/libmpfr.so.1 (0x0000003e34000000)
libgmp.so.3 => /usr/lib64/libgmp.so.3 (0x0000003e3b400000)
libppl_c.so.2 => /usr/local/lib64/libppl_c.so.2 (0x0000000002fbc000)
libppl.so.7 => /usr/local/lib64/libppl.so.7 (0x0000000000110000)
libgmpxx.so.4 => /usr/lib64/libgmpxx.so.4 (0x00000000064f1000)
libc.so.6 => /lib64/libc.so.6 (0x0000003e33c00000)
libstdc++.so.6 => /usr/lib64/libstdc++.so.6 (0x0000003e3de00000)
libm.so.6 => /lib64/libm.so.6 (0x0000000006d01000)
libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x000000000110b000)
/lib64/ld-linux-x86-64.so.2 (0x0000003e33800000)
./stage1-gcc/cc1:
linux-vdso.so.1 => (0x00007fff7bdff000)
libmpfr.so.1 => /usr/lib64/libmpfr.so.1 (0x0000003e34000000)
libgmp.so.3 => /usr/lib64/libgmp.so.3 (0x0000003e3b400000)
libppl_c.so.2 => /usr/local/lib64/libppl_c.so.2 (0x00007f9f736e1000)
libppl.so.7 => /usr/local/lib64/libppl.so.7 (0x0000000000110000)
libgmpxx.so.4 => /usr/lib64/libgmpxx.so.4 (0x00007f9f734dc000)
libc.so.6 => /lib64/libc.so.6 (0x0000003e33c00000)
libstdc++.so.6 => /usr/lib64/libstdc++.so.6 (0x0000003e3de00000)
libm.so.6 => /lib64/libm.so.6 (0x00007f9f73256000)
libgcc_s.so.1 => /lib64/libgcc_s.so.1 (0x00007f9f7303f000)
/lib64/ld-linux-x86-64.so.2 (0x0000003e33800000)
This is from HEAD of 20 minutes ago. Notice that I had to work around the
multiple definition of debug_value() you already reported.
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagn...@cs.unipr.it
