1  /* Test file for multiple mpfr.h inclusion and intmax_t related functions
       2  
       3  Copyright 2010-2023 Free Software Foundation, Inc.
       4  Contributed by the AriC and Caramba projects, INRIA.
       5  
       6  This file is part of the GNU MPFR Library.
       7  
       8  The GNU MPFR Library is free software; you can redistribute it and/or modify
       9  it under the terms of the GNU Lesser General Public License as published by
      10  the Free Software Foundation; either version 3 of the License, or (at your
      11  option) any later version.
      12  
      13  The GNU MPFR Library is distributed in the hope that it will be useful, but
      14  WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
      15  or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
      16  License for more details.
      17  
      18  You should have received a copy of the GNU Lesser General Public License
      19  along with the GNU MPFR Library; see the file COPYING.LESSER.  If not, see
      20  https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
      21  51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */
      22  
      23  #ifdef HAVE_CONFIG_H
      24  # include "config.h"
      25  #endif
      26  
      27  #if HAVE_STDINT_H
      28  
      29  #if _MPFR_EXP_FORMAT == 4
      30  /* If mpfr_exp_t is defined as intmax_t, intmax_t must be defined before
      31     the inclusion of mpfr.h (this test doesn't use mpfr-impl.h). */
      32  # include <stdint.h>
      33  #endif
      34  
      35  #ifdef MPFR_USE_MINI_GMP
      36  #include "mpfr-test.h"
      37  #endif
      38  
      39  /* One of the goals of this test is to detect potential issues with the
      40   * following case in user code:
      41   *
      42   * #include <some_lib.h>
      43   * #include <stdint.h>
      44   * #define MPFR_USE_INTMAX_T
      45   * #include <mpfr.h>
      46   *
      47   * where some_lib.h has "#include <mpfr.h>". So, the mpfr.h header file
      48   * is included multiple times, a first time without <stdint.h> before,
      49   * and a second time with <stdint.h> support. We need to make sure that
      50   * the second inclusion is not a no-op due to some #include guard. This
      51   * was fixed in r7320.
      52   *
      53   * With mini-gmp, mpfr-impl.h is included first, but this should not
      54   * affect this test.
      55   *
      56   * Note: If _MPFR_EXP_FORMAT == 4 (which is never the case by default),
      57   * a part of the above check is not done because <stdint.h> is included
      58   * before the first mpfr.h inclusion (see above).
      59   *
      60   * Moreover, assuming that this test is run on a platform that has
      61   * <stdint.h> (most platforms do nowadays), without mini-gmp, this
      62   * test also allows one to detect that mpfr.h can be included without
      63   * any other inclusion before[*] (such as <stdio.h>). For instance,
      64   * it can detect any unprotected use of FILE in the mpfr.h header
      65   * file.
      66   * [*] possibly except config.h when used, which is normally not the
      67   *     case with a normal build. Anyway, if we decided to change that,
      68   *     this inclusion would not change anything as config.h would only
      69   *     have defines (such as HAVE_STDINT_H) currently provided as "-D"
      70   *     compiler arguments.
      71   */
      72  #include <mpfr.h>
      73  
      74  #include <stdint.h>
      75  
      76  #define MPFR_USE_INTMAX_T
      77  #include <mpfr.h>
      78  
      79  #include "mpfr-test.h"
      80  
      81  int
      82  main (void)
      83  {
      84    mpfr_t x;
      85    intmax_t j;
      86  
      87    tests_start_mpfr ();
      88  
      89    mpfr_init_set_ui (x, 1, MPFR_RNDN);
      90    j = mpfr_get_uj (x, MPFR_RNDN);
      91    mpfr_clear (x);
      92    if (j != 1)
      93      {
      94  #ifndef NPRINTF_J
      95        printf ("Error: got %jd instead of 1.\n", j);
      96  #else
      97        printf ("Error: did not get 1.\n");
      98  #endif
      99        exit (1);
     100      }
     101  
     102    tests_end_mpfr ();
     103    return 0;
     104  }
     105  
     106  #else  /* HAVE_STDINT_H */
     107  
     108  /* The test is disabled. */
     109  
     110  int
     111  main (void)
     112  {
     113    return 77;
     114  }
     115  
     116  #endif  /* HAVE_STDINT_H */