newlib/doc/makedoc.c: if realloc() fails, exit with an error message.

diff --git a/newlib/doc/makedoc.c b/newlib/doc/makedoc.c
index 966349c51216fae28bea534ebeb6db05470412d1..81aa6f9412949892fa2c14be99922f52b23c9a61 100644 (file)
--- a/newlib/doc/makedoc.c
+++ b/newlib/doc/makedoc.c
@@ -135,6 +135,11 @@ catchar (string_type *buffer, char ch)
   {
     buffer->size *=2;
     buffer->ptr = realloc(buffer->ptr, buffer->size);
+    if (!buffer->ptr)
+    {
+      fprintf(stderr,"Can't allocate memory\n");
+      exit(1);
+    }
   }
 
   buffer->ptr[buffer->write_idx ++ ] = ch;