OSDN Git Service

* config/i386/i386.md (*btdi_rex64): Change operand 1 predicate to
[pf3gnuchains/gcc-fork.git] / gcc / testsuite / ChangeLog
index 951fe3d..072a5cb 100644 (file)
@@ -1,3 +1,497 @@
+2008-06-10  Uros Bizjak  <ubizjak@gmail.com>
+
+       * gcc.target/i386/bt-mask-1.c: New test.
+       * gcc.target/i386/bt-mask-2.c: Ditto.
+
+2008-06-10  Uros Bizjak  <ubizjak@gmail.com>
+
+       PR target/36473
+       * gcc.target/i386/bt-1.c: New test.
+       * gcc.target/i386/bt-2.c: Ditto.
+
+2008-06-09  Andy Hutchinson  <hutchinsonandy@aim.com>
+
+       * gcc.c-torture/execute/builtins/lib/chk.c: Only include sys/types.h
+       for unix to check for uClibc.
+
+2008-06-09  Andy Hutchinson  <hutchinsonandy@aim.com>
+
+       PR testsuite/36285
+       * gcc.dg/compat/struct-return-10_y.c: Remove test_va.
+       * gcc.dg/compat/vector-defs.h: Add check for availability of 8 byte 
+       double.
+       * gcc.dg/compat/struct-layout-1_test.h: Change bitfield to match 
+       integer size.
+
+2008-06-09  Joseph Myers  <joseph@codesourcery.com>
+
+       * gcc.dg/pr34856.c: Condition use of -maltivec on
+       powerpc_altivec_ok.  Use -w on other powerpc*-*-linux*.
+
+2008-06-09  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * gcc.dg/torture/mips-hilo-1.c: Delete.
+       * gcc.target/mips/pr35232.c: Likewise.
+       * gcc.target/mips/fix-vr4130-1.c: Use modulus to create an mfhi.
+       * gcc.target/mips/fix-vr4130-3.c: Likewise.
+       * gcc.target/mips/int-moves-1.c: New test.
+       * gcc.target/mips/int-moves-2.c: Likewise.
+       * gcc.target/mips/fix-r4000-1.c: Likewise.
+       * gcc.target/mips/fix-r4000-2.c: Likewise.
+       * gcc.target/mips/fix-r4000-3.c: Likewise.
+       * gcc.target/mips/fix-r4000-4.c: Likewise.
+       * gcc.target/mips/fix-r4000-5.c: Likewise.
+       * gcc.target/mips/fix-r4000-6.c: Likewise.
+       * gcc.target/mips/fix-r4000-7.c: Likewise.
+       * gcc.target/mips/fix-r4000-8.c: Likewise.
+       * gcc.target/mips/fix-r4000-9.c: Likewise.
+       * gcc.target/mips/fix-r4000-10.c: Likewise.
+       * gcc.target/mips/fix-r4000-11.c: Likewise.
+       * gcc.target/mips/fix-r4000-12.c: Likewise.
+       * gcc.target/mips/timode-1.c: Likewise.
+       * gcc.target/mips/timode-2.c: Likewise.
+
+2008-06-09  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gnat.dg/specs/pack3.ads: New test.
+       * gnat.dg/specs/pack3_pkg.ads: New helper.
+
+2008-06-08  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/35242
+       * g++.dg/cpp0x/vt-35242.C: New.
+
+2008-06-08  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/36459
+       * gfortran.dg/proc_decl_16.f90: New.
+       
+2008-06-08  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/35830
+       * proc_decl_13.f90: New.
+       * proc_decl_14.f90: New.
+       * proc_decl_15.f90: New.
+
+2008-06-07  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
+
+       PR fortran/36420
+       PR fortran/36421
+       PR fortran/36422
+       * gfortran.dg/fmt_g0_1.f08: New test.
+       * gfortran.dg/fmt_g0_2.f08: New test.
+       * gfortran.dg/fmt_g0_3.f08: New test.
+
+2008-06-07  Xinliang David Li  <davidxl@google.com>
+
+       PR/36440
+       * gcc.dg/cdce1.c: Remove run target clause.
+       * gcc.dg/cdce2.c: Ditto.
+       * g++.dg/cdce3.C: Fix a bug in target specification.
+
+2008-06-07  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/36437
+       * gfortran.dg/c_sizeof_1.f90: New.
+       * gfortran.dg/c_sizeof_2.f90: New.
+
+2008-06-07  Joseph Myers  <joseph@codesourcery.com>
+
+       * g++.dg/abi/arm_cxa_vec1.C: Don't handle xscale*-*-*.
+       * g++.dg/eh/spbp.C: Don't handle *-*-solaris2.[56]*.
+       * g++.dg/warn/miss-format-1.C: Don't handle Solaris before Solaris
+       7.
+       * gcc.c-torture/compile/981006-1.c: Don't handle xscale*-*-*,
+       strongarm*-*-* and cris-*-aout*.
+       * gcc.c-torture/execute/941014-1.x: Don't handle xscale*-*-* and
+       strongarm*-*-*.
+       * gcc.dg/20030909-1.c: Don't handle xscale*-*-* and
+       strongarm*-*-*.
+       * gcc.dg/20031108-1.c: Don't handle xscale*-*-* and
+       strongarm*-*-*.
+       * gcc.dg/20040813-1.c: Don't handle *-*-sysv5*.
+       * gcc.dg/arm-asm.c: Don't handle strongarm*-*-* and xscale*-*-*.
+       * gcc.dg/arm-scd42-1.c: Use target arm*-*-*.
+       * gcc.dg/arm-scd42-3.c: Use target arm*-*-*.
+       * gcc.dg/cpp/assert4.c: Don't handle BeOS.
+       * gcc.dg/debug/pr35154.c: Don't handle *-*-sysv5*.
+       * gcc.dg/intmax_t-1.c: Don't handle *-*-solaris2.5.1 and
+       xscale*-*-elf*.
+       * gcc.dg/pragma-align.c: Don't handle i?86-*-sco3.2v5*.
+       * gcc.dg/pthread-init-2.c: Don't handle *-*-solaris2.5.1.
+       * gcc.misc-tests/arm-isr.exp: Use target arm*-*-*.
+       * gcc.target/powerpc/ppc-sdata-1.c: Don't handle powerpc-*-sysv*.
+       * gcc.target/powerpc/ppc-sdata-2.c: Don't handle powerpc-*-sysv*.
+       * gcc.target/powerpc/ppc-stackalign-1.c: Don't handle
+       powerpc-*-sysv*.
+       * gfortran.dg/debug/pr35154-stabs.f: Don't handle *-*-sysv5*.
+       * lib/target-supports.exp: Don't handle strongarm*-*-elf,
+       xscale*-*-elf and *-*-windiss.
+       * obj-c++.dg/dwarf-2.mm: Don't handle *-*-solaris2.[56]*.
+       * objc.dg/dwarf-1.m: Don't handle *-*-solaris2.[56]*.
+       * objc.dg/dwarf-2.m: Don't handle *-*-solaris2.[56]*.
+       * gcc.dg/mt-loopi1.c: Remove.
+
+2008-06-07  Samuel Tardieu  <sam@rfc1149.net>
+
+       * gnat.dg/specs/oversize.ads: New.
+
+2008-06-07  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/35327
+       * g++.dg/parse/crash41.C: New.
+
+2008-06-06  Jakub Jelinek  <jakub@redhat.com>
+
+       PR target/36362
+       * gcc.c-torture/execute/20080529-1.c: New test.
+
+2008-06-06  Jakub Jelinek  <jakub@redhat.com>
+
+       * gcc.dg/gomp/collapse-1.c: New test.
+       * gcc.dg/gomp/nesting-1.c: New test.
+       * g++.dg/gomp/task-1.C: New test.
+       * g++.dg/gomp/predetermined-1.C: New test.
+       * g++.dg/gomp/tls-4.C: New test.
+       * gfortran.dg/gomp/collapse1.f90: New test.
+       * gfortran.dg/gomp/sharing-3.f90: New test.
+       * gcc.dg/gomp/pr27499.c (foo): Remove is unsigned dg-warning.
+       * g++.dg/gomp/pr27499.C (foo): Likewise.
+       * g++.dg/gomp/for-16.C (foo): Likewise.
+       * g++.dg/gomp/tls-3.C: Remove dg-error, add S::s definition.
+       * g++.dg/gomp/pr34607.C: Adjust dg-error location.
+       * g++.dg/gomp/for-16.C (foo): Add a new dg-error.
+       * gcc.dg/gomp/appendix-a/a.35.4.c: Add dg-warning.
+       * gcc.dg/gomp/appendix-a/a.35.6.c: Likewise.
+       * gfortran.dg/gomp/appendix-a/a.35.4.f90: Likewise.
+       * gfortran.dg/gomp/appendix-a/a.35.6.f90: Likewise.
+       * gfortran.dg/gomp/omp_parse1.f90: Remove !$omp tab test.
+       * gfortran.dg/gomp/appendix-a/a.33.4.f90: Remove dg-error
+       about allocatable array.
+       * gfortran.dg/gomp/reduction1.f90: Likewise.
+
+2008-06-06  Richard Guenther  <rguenther@suse.de>
+
+       * gcc.dg/tree-ssa/alias-18.c: XFAIL some sub-tests.
+
+2008-06-04  Joseph Myers  <joseph@codesourcery.com>
+
+       * lib/target-supports.exp (check_effective_target_powerpc_spu):
+       Call check_effective_target_powerpc_altivec_ok.
+       * gcc.target/powerpc/dfp-dd.c, gcc.target/powerpc/dfp-td.c,
+       gcc.target/powerpc/ppc32-abi-dfp-1.c,
+       gcc.target/powerpc/ppu-intrinsics.c: Require powerpc_fprs.
+
+2008-06-04  Xinliang David Li  <davidxl@google.com>
+
+       * gcc.dg/cdce1.c: New test.
+       * gcc.dg/cdce2.c: Ditto.
+       * g++.dg/cdce3.C: Ditto.
+
+2008-06-04  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/36322
+       PR fortran/36275
+       * gfortran.dg/proc_decl_2.f90: Extended.
+
+2008-06-04  Joseph Myers  <joseph@codesourcery.com>
+           Maxim Kuvyrkov  <maxim@codesourcery.com>
+
+       * gcc.target/m68k/xgot-1.c: New test.
+
+2008-06-04  Richard Guenther  <rguenther@suse.de>
+
+       * gcc.c-torture/execute/20080604-1.c: New testcase.
+
+2008-06-03  Andy Hutchinson  <hutchinsonandy@aim.com>
+
+       PR/34880
+       * gcc.c-torture/execute/float-floor.c: Adjust test for 4 byte 
+       doubles.
+
+2008-06-03  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gnat.dg/aliasing1.ad[sb]: New test.
+       * gnat.dg/aliasing2.ad[sb]: Likewise.
+
+2008-06-02  Andy Hutchinson  <hutchinsonandy@aim.com>
+
+       * gcc.target/avr/avr.exp: Add avr testsuite.
+       * gcc.target/avr/trivial.c: Add simple test.
+       * gcc.target/avr/torture/avr-torture.exp: Add avr-torture testsuite.
+       * gcc.target/avr/torture/trivial.c: Add simple test.
+
+2008-06-02  Andy Hutchinson  <hutchinsonandy@aim.com>
+
+       * gcc.dg/pr19340.c: Disable for AVR as it has no scheduling.
+       * gcc.dg/section1.c: XFAIL AVR as bss section is used  differently.
+
+2008-06-02  Andy Hutchinson  <hutchinsonandy@aim.com>
+
+       * gcc.dg/pr18241-1.c: Use long on small int target.
+       * gcc.dg/pr32912-2.c: Ditto.
+       * gcc.dg/pr35065.c: Ditto.
+       * gcc.dg/pr36300-1.c: Ditto.
+       * gcc.dg/pr36300-2.c: Ditto.
+       * gcc.dg/pr27639.c: Reduce array size for small int target.
+       * gcc.dg/pr28755.c: Skip test if pointers are smaller than 32 bits.
+       * gcc.dg/pr36194.c: Reduce constant on small int target.
+       * gcc.dg/torture/builtin-frexp-1.c: Ditto.
+
+2008-06-02  Andy Hutchinson  <hutchinsonandy@aim.com>
+
+       * gcc.dg/torture/pr34330.c: Skip test for targets without pthread.
+       * gcc.dg/torture/pr36244.c: Ditto.
+       * gcc.dg/tree-ssa/pr36181.c: Ditto.
+
+2008-06-02  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/36361
+       * gfortran.dg/interface_24.f90: New.
+
+2008-06-02  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/36404
+       * g++.dg/template/crash79.C: New.
+       * g++.dg/other/pr28114.C: Adjust.       
+
+2008-06-02  Daniel Kraft  <d@domob.eu>
+
+       * finalize_1.f08:  New test.
+       * finalize_2.f03:  New test.
+       * finalize_3.f03:  New test.
+       * finalize_4.f03:  New test.
+       * finalize_5.f03:  New test.
+       * finalize_6.f90:  New test.
+       * finalize_7.f03:  New test.
+       * finalize_8.f03:  New test.
+
+2008-06-01  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * gcc.c-torture/execute/ieee/ieee.exp: Load c-torture.exp.
+
+2008-06-01  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * gcc.target/mips/fpr-moves-7.c: New test.
+       * gcc.target/mips/fpr-moves-8.c: New test.
+
+2008-05-30  Bernd Schmidt  <bernd.schmidt@analog.com>
+
+       * gcc.target/bfin/mcpu-default.c: Adjust for recent changes: default
+       CPU has all workarounds, and no longer explicitly sets bf532 as CPU
+       type.
+
+       * gcc.target/bfin/mcpu-bf531.c: Adjust for WORKAROUND_RETS.
+       * gcc.target/bfin/mcpu-bf532.c: Likewise.
+       * gcc.target/bfin/mcpu-bf533.c: Likewise.
+       * gcc.target/bfin/mcpu-bf534.c: Likewise.
+       * gcc.target/bfin/mcpu-bf536.c: Likewise.
+       * gcc.target/bfin/mcpu-bf537.c: Likewise.
+       * gcc.target/bfin/mcpu-bf548.c: Likewise.
+       * gcc.target/bfin/mcpu-bf549.c: Likewise.
+       * gcc.target/bfin/mcpu-bf561.c: Likewise.
+       * gcc.target/bfin/mcpu-bf523.c: Likewise.
+       * gcc.target/bfin/mcpu-bf524.c: Likewise.
+       * gcc.target/bfin/mcpu-bf526.c: Likewise.
+       * gcc.target/bfin/mcpu-bf522.c: Likewise.
+       * gcc.target/bfin/mcpu-bf525.c: Likewise.
+       * gcc.target/bfin/mcpu-bf527.c: Likewise.
+       * gcc.target/bfin/mcpu-bf538.c: Likewise.
+       * gcc.target/bfin/mcpu-bf539.c: Likewise.
+       * gcc.target/bfin/mcpu-bf542.c: Likewise.
+       * gcc.target/bfin/mcpu-bf544.c: Likewise.
+       * gcc.target/bfin/mcpu-default.c: Likewise.
+       * gcc.target/bfin/workarounds-any.c: Likewise.
+       * gcc.target/bfin/workarounds-none.c: Likewise.
+       * gcc.target/bfin/workarounds-1.c: Likewise.
+       * gcc.target/bfin/workarounds-2.c: Likewise.
+       * gcc.target/bfin/workarounds-3.c: Likewise.
+       * gcc.target/bfin/workarounds-4.c: Likewise.
+
+2008-05-30  Tom Tromey  <tromey@redhat.com>
+
+       PR preprocessor/36320:
+       * gcc.dg/cpp/pr36320.c: New file.
+
+2008-05-29  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/35243
+       * g++.dg/cpp0x/vt-35243.C: New. 
+
+2008-05-29  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR target/35771
+       * gcc.dg/torture/pr35771.h: New.
+       * gcc.dg/torture/pr35771-1.c: Likewise.
+       * gcc.dg/torture/pr35771-2.c: Likewise.
+       * gcc.dg/torture/pr35771-3.c: Likewise.
+
+2008-05-29  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gcc.dg/nested-func-6.c: New test.
+
+2008-05-29  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/36343
+       * gcc.c-torture/execute/pr36343.c: New testcase.
+
+2008-05-29  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat.dg/abstract1.ad[sb]: New test.
+
+2008-05-28  Janus Weil  <janus@gcc.gnu.org>
+
+       PR fortran/36325
+       PR fortran/35830
+       * gfortran.dg/interface_23.f90: New.
+       * gfortran.dg/gomp/reduction3.f90: Fixed invalid code.
+       * gfortran.dg/proc_decl_12.f90: New:
+       * gfortran.dg/external_procedures_1.f90: Fixed error message.
+       
+2008-05-28  Francois-Xavier Coudert  <fxcoudert@gcc.gnu.org>
+
+       PR fortran/36319
+       * gfortran.dg/widechar_5.f90: New file.
+       * gfortran.dg/widechar_6.f90: New file.
+       * gfortran.dg/widechar_7.f90: New file.
+       * gfortran.dg/widechar_intrinsics_5.f90: Uncomment the lines
+       testing the SPREAD intrinsic.
+       * gfortran.dg/widechar_intrinsics_6.f90: New file.
+       * gfortran.dg/widechar_intrinsics_7.f90: New file.
+       * gfortran.dg/widechar_intrinsics_8.f90: New file.
+       * gfortran.dg/widechar_intrinsics_9.f90: New file.
+       * gfortran.dg/widechar_intrinsics_10.f90: New file.
+
+2008-05-28  Seongbae Park <seongbae.park@gmail.com>
+
+       * gcc.dg/tree-prof/ic-misattribution-1.c: New test.
+       * gcc.dg/tree-prof/ic-misattribution-1a.c: New test.
+       * lib/profopt.exp (profopt-get-options): Support
+       dg-additional-sources.
+       (profopt-execute): Handle additional sources.
+
+2008-05-28  Rafael Espindola  <espindola@google.com>
+
+       * gcc.dg/20080528-1.c: New test.
+
+2008-05-28  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat.dg/old_errors.adb, gnat.dg/deep_old.adb: Adjust.
+
+       * gnat.dg/specs/iface_eq_test.ads,
+       gnat.dg/specs/iface_eq_test-child.ads: New test.
+       * gnat.dg/specs/self_class.ads: New test.
+       * gnat.dg/fixce.adb: New test.
+       * gnat.dg/frunaligned*.ad[sb]: New test.
+
+2008-05-27  Andy Hutchinson  <hutchinsonandy@aim.com>
+
+       * gcc.dg/tree-ssa/data-dep-1.c: Skip test for avr-*-* too much code.
+       * gcc.dg/tree-ssa/ldist-3.c: Ditto.
+       * gcc.dg/tree-ssa/ldist-5.c: Ditto.
+       * gcc.dg/tree-ssa/ifc-20040816-2 .c: Adjust for int size < 4 bytes.
+       * gcc.dg/tree-ssa/pr32540-1.c: Ditto.
+       * gcc.dg/tree-ssa/pr32540-2.c: Ditto.
+       * gcc.dg/tree-ssa/ssa-lim-5.c: Ditto.
+       * gcc.dg/tree-ssa/pr23115.c: Adjust test for double size < 8 bytes. 
+
+2008-05-27  H.J. Lu  <hongjiu.lu@intel.com>
+
+       PR target/35767
+       PR target/35771
+       * gcc.target/i386/pr35767-1.c: New.
+       * gcc.target/i386/pr35767-1d.c: Likewise.
+       * gcc.target/i386/pr35767-1i.c: Likewise.
+       * gcc.target/i386/pr35767-2.c: Likewise.
+       * gcc.target/i386/pr35767-2d.c: Likewise.
+       * gcc.target/i386/pr35767-2i.c: Likewise.
+       * gcc.target/i386/pr35767-3.c: Likewise.
+       * gcc.target/i386/pr35767-4.c: Likewise.
+       * gcc.target/i386/pr35767-5.c: Likewise.
+
+2008-05-27  Tobias Burnus  <burnus@net-b.de>
+
+       * gfortran.dg/assignment_3.f90: Add missing cleanup-modules.
+
+2008-05-27  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/36316
+       * gfortran.dg/assignment_3.f90: New.
+
+2008-05-27  Richard Sandiford  <rdsandiford@googlemail.com>
+
+       * lib/fortran-torture.exp (get-fortran-torture-options):
+       New function, replacing old FORTRAN_TORTURE_OPTIONS code.
+       * gfortran.fortran-torture/compile/compile.exp: Use
+       [get-fortran-torture-options] instead of $FORTRAN_TORTURE_OPTIONS.
+       * gfortran.fortran-torture/execute/execute.exp: Likewise.
+
+2008-05-27  Michael Matz  <matz@suse.de>
+
+       PR c++/27975
+       * g++.dg/warn/Wenum-compare.C: New testcase.
+       * g++.dg/warn/Wenum-compare-no.C: Ditto.
+
+2008-05-27  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/36339
+       * gcc.c-torture/execute/pr36339.c: New testcase.
+       * gcc.dg/tree-ssa/loadpre8.c: XFAIL.
+
+2008-05-27  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gnat.dg/pack9.ad[sb]: New test.
+
+2008-05-27  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat.dg/sync1.ad[sb]: New test.
+       * gnat.dg/interface5.ad[sb]: New test.
+
+2008-05-27  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
+
+       * gcc.c-torture/compile/pr11832.c: XFAIL on (x86 && ilp32 && pic).
+       * gcc.c-torture/compile/pr33009.c: Likewise.
+
+2008-05-27  Alexandre Oliva  <aoliva@redhat.com>
+
+       PR c++/35909
+       * g++.dg/conversion/bitfield9.C: New.
+
+2008-05-26  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat.dg/specs/array_no_def_init.ads: New test.
+
+2008-05-26  Kai Tietz  <kai.tietz@onevision.com>
+
+       * gcc-c.torture/execute/pr36321.c: New.
+
+2008-05-26  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/36300
+       * gcc.dg/pr36300-1.c: New testcase.
+       * gcc.dg/pr36300-2.c: Likewise.
+
+2008-05-26  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat.dg/set_in_pproc.adb: New test.
+       * gnat.dg/modular2.adb: New test.
+       * gnat.dg/pak.ad[sb]: New test.
+
+2008-05-25  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * gnat.dg/trampoline1.adb: New test.
+       * gnat.dg/trampoline2.adb: Likewise.
+
+2008-05-25  Tobias Burnus  <burnus@net-b.de>
+
+       PR fortran/32600
+       * gfortran.dg/c_f_pointer_tests_3.f90: New.
+
+2008-05-25  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/17526
+       * gcc.dg/torture/pr17526.c: New testcase.
+
 2008-05-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
 
        * gcc.dg/tg-tests.h: Fix spelling of FP_INFINITE.