diff -Naurd mpfr-4.0.2-a/PATCHES mpfr-4.0.2-b/PATCHES
--- mpfr-4.0.2-a/PATCHES	2020-06-02 12:39:10.963722927 +0000
+++ mpfr-4.0.2-b/PATCHES	2020-06-02 12:39:10.999722675 +0000
@@ -0,0 +1 @@
+fpif-dead-code
diff -Naurd mpfr-4.0.2-a/VERSION mpfr-4.0.2-b/VERSION
--- mpfr-4.0.2-a/VERSION	2020-06-02 11:26:59.175114040 +0000
+++ mpfr-4.0.2-b/VERSION	2020-06-02 12:39:10.999722675 +0000
@@ -1 +1 @@
-4.0.2-p8
+4.0.2-p9
diff -Naurd mpfr-4.0.2-a/src/fpif.c mpfr-4.0.2-b/src/fpif.c
--- mpfr-4.0.2-a/src/fpif.c	2019-01-07 13:53:20.000000000 +0000
+++ mpfr-4.0.2-b/src/fpif.c	2020-06-02 12:39:10.987722759 +0000
@@ -90,11 +90,7 @@
         {                                                               \
           (buffer) = (unsigned char *) mpfr_reallocate_func             \
             ((buffer), *(buffer_size), (wanted_size));                  \
-          if ((buffer) == NULL)                                         \
-            {                                                           \
-              *(buffer_size) = 0;                                       \
-              return NULL;                                              \
-            }                                                           \
+          MPFR_ASSERTN((buffer) != 0);                                  \
         }                                                               \
       *(buffer_size) = (wanted_size);                                   \
     }                                                                   \
diff -Naurd mpfr-4.0.2-a/src/mpfr.h mpfr-4.0.2-b/src/mpfr.h
--- mpfr-4.0.2-a/src/mpfr.h	2020-06-02 11:26:59.175114040 +0000
+++ mpfr-4.0.2-b/src/mpfr.h	2020-06-02 12:39:10.995722702 +0000
@@ -27,7 +27,7 @@
 #define MPFR_VERSION_MAJOR 4
 #define MPFR_VERSION_MINOR 0
 #define MPFR_VERSION_PATCHLEVEL 2
-#define MPFR_VERSION_STRING "4.0.2-p8"
+#define MPFR_VERSION_STRING "4.0.2-p9"
 
 /* User macros:
    MPFR_USE_FILE:        Define it to make MPFR define functions dealing
diff -Naurd mpfr-4.0.2-a/src/version.c mpfr-4.0.2-b/src/version.c
--- mpfr-4.0.2-a/src/version.c	2020-06-02 11:26:59.175114040 +0000
+++ mpfr-4.0.2-b/src/version.c	2020-06-02 12:39:10.999722675 +0000
@@ -25,5 +25,5 @@
 const char *
 mpfr_get_version (void)
 {
-  return "4.0.2-p8";
+  return "4.0.2-p9";
 }