This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/32258] Testsuite reports - FAIL: gcc.dg/torture/builtin-pow-mpfr-1.c
- From: "rob1weld at aol dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 13 Jun 2007 08:06:18 -0000
- Subject: [Bug middle-end/32258] Testsuite reports - FAIL: gcc.dg/torture/builtin-pow-mpfr-1.c
- References: <bug-32258-13830@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #11 from rob1weld at aol dot com 2007-06-13 08:06 -------
The configure script should check the headers against the library version.
Two people from "gcc.gnu.org" and I all got nailed by this. It may bite others
with less computer knowledge than ourselves.
The "bug" is this:
1): The configure script needs a sanity check since GCC compiles and works
reasonably well with the library / header mixup.
2): It is the GCC configure script that is choosing the wrong headers to match
the library it chose.
3a): _IF_ GCC wants /usr/lib/libmpfr.so/.a it should use /usr/include/mpfr.h
3b): _IF_ GCC wants /usr/local/lib/libmpfr.so/.a it should use
/usr/local/include/mpfr.h
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32258