25 set_mpfr_flags (int counter)  in set_mpfr_flags()  argument
27   if (counter & 1)  in set_mpfr_flags()
31   if (counter & 2)  in set_mpfr_flags()
37   if (counter & 4)  in set_mpfr_flags()
42   if (counter & 8)  in set_mpfr_flags()
46   if (counter & 16)  in set_mpfr_flags()
50   if (counter & 32)  in set_mpfr_flags()
61 check_mpfr_flags (int counter)  in check_mpfr_flags()  argument
65   old = (counter & 1) != 0;  in check_mpfr_flags()
73   old = (counter & 2) != 0;  in check_mpfr_flags()
82   old = (counter & 4) != 0;  in check_mpfr_flags()
91   old = (counter & 8) != 0;  in check_mpfr_flags()
99   old = (counter & 16) != 0;  in check_mpfr_flags()
107   old = (counter & 32) != 0;  in check_mpfr_flags()