1 /*
2  * Copyright (C) 2010 The Android Open Source Project
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions
7  * are met:
8  *  * Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions and the following disclaimer.
10  *  * Redistributions in binary form must reproduce the above copyright
11  *    notice, this list of conditions and the following disclaimer in
12  *    the documentation and/or other materials provided with the
13  *    distribution.
14  *
15  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
16  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
17  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
18  * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
19  * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
20  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
21  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
22  * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
23  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
25  * OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26  * SUCH DAMAGE.
27  */
28 
29 #include "../private/libc_logging.h" // Relative path so we can #include this .cpp file for testing.
30 #include "../private/ScopedPthreadMutexLocker.h"
31 
32 #include <android/set_abort_message.h>
33 #include <assert.h>
34 #include <ctype.h>
35 #include <errno.h>
36 #include <fcntl.h>
37 #include <pthread.h>
38 #include <stdarg.h>
39 #include <stddef.h>
40 #include <stdlib.h>
41 #include <string.h>
42 #include <sys/mman.h>
43 #include <sys/socket.h>
44 #include <sys/types.h>
45 #include <sys/uio.h>
46 #include <sys/un.h>
47 #include <time.h>
48 #include <unistd.h>
49 
50 #define _REALLY_INCLUDE_SYS__SYSTEM_PROPERTIES_H_
51 #include <sys/_system_properties.h>
52 
53 static pthread_mutex_t g_abort_msg_lock = PTHREAD_MUTEX_INITIALIZER;
54 
55 __LIBC_HIDDEN__ abort_msg_t** __abort_message_ptr; // Accessible to __libc_init_common.
56 
57 // Must be kept in sync with frameworks/base/core/java/android/util/EventLog.java.
58 enum AndroidEventLogType {
59   EVENT_TYPE_INT      = 0,
60   EVENT_TYPE_LONG     = 1,
61   EVENT_TYPE_STRING   = 2,
62   EVENT_TYPE_LIST     = 3,
63   EVENT_TYPE_FLOAT    = 4,
64 };
65 
66 struct BufferOutputStream {
67  public:
BufferOutputStreamBufferOutputStream68   BufferOutputStream(char* buffer, size_t size) : total(0) {
69     buffer_ = buffer;
70     end_ = buffer + size - 1;
71     pos_ = buffer_;
72     pos_[0] = '\0';
73   }
74 
~BufferOutputStreamBufferOutputStream75   ~BufferOutputStream() {
76   }
77 
SendBufferOutputStream78   void Send(const char* data, int len) {
79     if (len < 0) {
80       len = strlen(data);
81     }
82 
83     total += len;
84 
85     while (len > 0) {
86       int avail = end_ - pos_;
87       if (avail == 0) {
88         return;
89       }
90       if (avail > len) {
91         avail = len;
92       }
93       memcpy(pos_, data, avail);
94       pos_ += avail;
95       pos_[0] = '\0';
96       len -= avail;
97     }
98   }
99 
100   size_t total;
101 
102  private:
103   char* buffer_;
104   char* pos_;
105   char* end_;
106 };
107 
108 struct FdOutputStream {
109  public:
FdOutputStreamFdOutputStream110   FdOutputStream(int fd) : total(0), fd_(fd) {
111   }
112 
SendFdOutputStream113   void Send(const char* data, int len) {
114     if (len < 0) {
115       len = strlen(data);
116     }
117 
118     total += len;
119 
120     while (len > 0) {
121       int rc = TEMP_FAILURE_RETRY(write(fd_, data, len));
122       if (rc == -1) {
123         return;
124       }
125       data += rc;
126       len -= rc;
127     }
128   }
129 
130   size_t total;
131 
132  private:
133   int fd_;
134 };
135 
136 /*** formatted output implementation
137  ***/
138 
139 /* Parse a decimal string from 'format + *ppos',
140  * return the value, and writes the new position past
141  * the decimal string in '*ppos' on exit.
142  *
143  * NOTE: Does *not* handle a sign prefix.
144  */
parse_decimal(const char * format,int * ppos)145 static unsigned parse_decimal(const char *format, int *ppos) {
146     const char* p = format + *ppos;
147     unsigned result = 0;
148 
149     for (;;) {
150         int ch = *p;
151         unsigned d = static_cast<unsigned>(ch - '0');
152 
153         if (d >= 10U) {
154             break;
155         }
156 
157         result = result*10 + d;
158         p++;
159     }
160     *ppos = p - format;
161     return result;
162 }
163 
164 // Writes number 'value' in base 'base' into buffer 'buf' of size 'buf_size' bytes.
165 // Assumes that buf_size > 0.
format_unsigned(char * buf,size_t buf_size,uint64_t value,int base,bool caps)166 static void format_unsigned(char* buf, size_t buf_size, uint64_t value, int base, bool caps) {
167   char* p = buf;
168   char* end = buf + buf_size - 1;
169 
170   // Generate digit string in reverse order.
171   while (value) {
172     unsigned d = value % base;
173     value /= base;
174     if (p != end) {
175       char ch;
176       if (d < 10) {
177         ch = '0' + d;
178       } else {
179         ch = (caps ? 'A' : 'a') + (d - 10);
180       }
181       *p++ = ch;
182     }
183   }
184 
185   // Special case for 0.
186   if (p == buf) {
187     if (p != end) {
188       *p++ = '0';
189     }
190   }
191   *p = '\0';
192 
193   // Reverse digit string in-place.
194   size_t length = p - buf;
195   for (size_t i = 0, j = length - 1; i < j; ++i, --j) {
196     char ch = buf[i];
197     buf[i] = buf[j];
198     buf[j] = ch;
199   }
200 }
201 
format_integer(char * buf,size_t buf_size,uint64_t value,char conversion)202 static void format_integer(char* buf, size_t buf_size, uint64_t value, char conversion) {
203   // Decode the conversion specifier.
204   int is_signed = (conversion == 'd' || conversion == 'i' || conversion == 'o');
205   int base = 10;
206   if (conversion == 'x' || conversion == 'X') {
207     base = 16;
208   } else if (conversion == 'o') {
209     base = 8;
210   }
211   bool caps = (conversion == 'X');
212 
213   if (is_signed && static_cast<int64_t>(value) < 0) {
214     buf[0] = '-';
215     buf += 1;
216     buf_size -= 1;
217     value = static_cast<uint64_t>(-static_cast<int64_t>(value));
218   }
219   format_unsigned(buf, buf_size, value, base, caps);
220 }
221 
222 template <typename Out>
SendRepeat(Out & o,char ch,int count)223 static void SendRepeat(Out& o, char ch, int count) {
224   char pad[8];
225   memset(pad, ch, sizeof(pad));
226 
227   const int pad_size = static_cast<int>(sizeof(pad));
228   while (count > 0) {
229     int avail = count;
230     if (avail > pad_size) {
231       avail = pad_size;
232     }
233     o.Send(pad, avail);
234     count -= avail;
235   }
236 }
237 
238 /* Perform formatted output to an output target 'o' */
239 template <typename Out>
out_vformat(Out & o,const char * format,va_list args)240 static void out_vformat(Out& o, const char* format, va_list args) {
241     int nn = 0;
242 
243     for (;;) {
244         int mm;
245         int padZero = 0;
246         int padLeft = 0;
247         char sign = '\0';
248         int width = -1;
249         int prec  = -1;
250         size_t bytelen = sizeof(int);
251         int slen;
252         char buffer[32];  /* temporary buffer used to format numbers */
253 
254         char  c;
255 
256         /* first, find all characters that are not 0 or '%' */
257         /* then send them to the output directly */
258         mm = nn;
259         do {
260             c = format[mm];
261             if (c == '\0' || c == '%')
262                 break;
263             mm++;
264         } while (1);
265 
266         if (mm > nn) {
267             o.Send(format+nn, mm-nn);
268             nn = mm;
269         }
270 
271         /* is this it ? then exit */
272         if (c == '\0')
273             break;
274 
275         /* nope, we are at a '%' modifier */
276         nn++;  // skip it
277 
278         /* parse flags */
279         for (;;) {
280             c = format[nn++];
281             if (c == '\0') {  /* single trailing '%' ? */
282                 c = '%';
283                 o.Send(&c, 1);
284                 return;
285             }
286             else if (c == '0') {
287                 padZero = 1;
288                 continue;
289             }
290             else if (c == '-') {
291                 padLeft = 1;
292                 continue;
293             }
294             else if (c == ' ' || c == '+') {
295                 sign = c;
296                 continue;
297             }
298             break;
299         }
300 
301         /* parse field width */
302         if ((c >= '0' && c <= '9')) {
303             nn --;
304             width = static_cast<int>(parse_decimal(format, &nn));
305             c = format[nn++];
306         }
307 
308         /* parse precision */
309         if (c == '.') {
310             prec = static_cast<int>(parse_decimal(format, &nn));
311             c = format[nn++];
312         }
313 
314         /* length modifier */
315         switch (c) {
316         case 'h':
317             bytelen = sizeof(short);
318             if (format[nn] == 'h') {
319                 bytelen = sizeof(char);
320                 nn += 1;
321             }
322             c = format[nn++];
323             break;
324         case 'l':
325             bytelen = sizeof(long);
326             if (format[nn] == 'l') {
327                 bytelen = sizeof(long long);
328                 nn += 1;
329             }
330             c = format[nn++];
331             break;
332         case 'z':
333             bytelen = sizeof(size_t);
334             c = format[nn++];
335             break;
336         case 't':
337             bytelen = sizeof(ptrdiff_t);
338             c = format[nn++];
339             break;
340         default:
341             ;
342         }
343 
344         /* conversion specifier */
345         const char* str = buffer;
346         if (c == 's') {
347             /* string */
348             str = va_arg(args, const char*);
349             if (str == NULL) {
350                 str = "(null)";
351             }
352         } else if (c == 'c') {
353             /* character */
354             /* NOTE: char is promoted to int when passed through the stack */
355             buffer[0] = static_cast<char>(va_arg(args, int));
356             buffer[1] = '\0';
357         } else if (c == 'p') {
358             uint64_t  value = reinterpret_cast<uintptr_t>(va_arg(args, void*));
359             buffer[0] = '0';
360             buffer[1] = 'x';
361             format_integer(buffer + 2, sizeof(buffer) - 2, value, 'x');
362         } else if (c == 'd' || c == 'i' || c == 'o' || c == 'u' || c == 'x' || c == 'X') {
363             /* integers - first read value from stack */
364             uint64_t value;
365             int is_signed = (c == 'd' || c == 'i' || c == 'o');
366 
367             /* NOTE: int8_t and int16_t are promoted to int when passed
368              *       through the stack
369              */
370             switch (bytelen) {
371             case 1: value = static_cast<uint8_t>(va_arg(args, int)); break;
372             case 2: value = static_cast<uint16_t>(va_arg(args, int)); break;
373             case 4: value = va_arg(args, uint32_t); break;
374             case 8: value = va_arg(args, uint64_t); break;
375             default: return;  /* should not happen */
376             }
377 
378             /* sign extension, if needed */
379             if (is_signed) {
380                 int shift = 64 - 8*bytelen;
381                 value = static_cast<uint64_t>((static_cast<int64_t>(value << shift)) >> shift);
382             }
383 
384             /* format the number properly into our buffer */
385             format_integer(buffer, sizeof(buffer), value, c);
386         } else if (c == '%') {
387             buffer[0] = '%';
388             buffer[1] = '\0';
389         } else {
390             __assert(__FILE__, __LINE__, "conversion specifier unsupported");
391         }
392 
393         /* if we are here, 'str' points to the content that must be
394          * outputted. handle padding and alignment now */
395 
396         slen = strlen(str);
397 
398         if (sign != '\0' || prec != -1) {
399             __assert(__FILE__, __LINE__, "sign/precision unsupported");
400         }
401 
402         if (slen < width && !padLeft) {
403             char padChar = padZero ? '0' : ' ';
404             SendRepeat(o, padChar, width - slen);
405         }
406 
407         o.Send(str, slen);
408 
409         if (slen < width && padLeft) {
410             char padChar = padZero ? '0' : ' ';
411             SendRepeat(o, padChar, width - slen);
412         }
413     }
414 }
415 
__libc_format_buffer(char * buffer,size_t buffer_size,const char * format,...)416 int __libc_format_buffer(char* buffer, size_t buffer_size, const char* format, ...) {
417   BufferOutputStream os(buffer, buffer_size);
418   va_list args;
419   va_start(args, format);
420   out_vformat(os, format, args);
421   va_end(args);
422   return os.total;
423 }
424 
__libc_format_fd(int fd,const char * format,...)425 int __libc_format_fd(int fd, const char* format, ...) {
426   FdOutputStream os(fd);
427   va_list args;
428   va_start(args, format);
429   out_vformat(os, format, args);
430   va_end(args);
431   return os.total;
432 }
433 
__libc_write_stderr(const char * tag,const char * msg)434 static int __libc_write_stderr(const char* tag, const char* msg) {
435   int fd = TEMP_FAILURE_RETRY(open("/dev/stderr", O_CLOEXEC | O_WRONLY | O_APPEND));
436   if (fd == -1) {
437     return -1;
438   }
439 
440   iovec vec[4];
441   vec[0].iov_base = const_cast<char*>(tag);
442   vec[0].iov_len = strlen(tag);
443   vec[1].iov_base = const_cast<char*>(": ");
444   vec[1].iov_len = 2;
445   vec[2].iov_base = const_cast<char*>(msg);
446   vec[2].iov_len = strlen(msg);
447   vec[3].iov_base = const_cast<char*>("\n");
448   vec[3].iov_len = 1;
449 
450   int result = TEMP_FAILURE_RETRY(writev(fd, vec, 4));
451   close(fd);
452   return result;
453 }
454 
__libc_open_log_socket()455 static int __libc_open_log_socket() {
456   // ToDo: Ideally we want this to fail if the gid of the current
457   // process is AID_LOGD, but will have to wait until we have
458   // registered this in private/android_filesystem_config.h. We have
459   // found that all logd crashes thus far have had no problem stuffing
460   // the UNIX domain socket and moving on so not critical *today*.
461 
462   int log_fd = TEMP_FAILURE_RETRY(socket(PF_UNIX, SOCK_DGRAM | SOCK_CLOEXEC, 0));
463   if (log_fd < 0) {
464     return -1;
465   }
466 
467   if (fcntl(log_fd, F_SETFL, O_NONBLOCK) == -1) {
468     close(log_fd);
469     return -1;
470   }
471 
472   union {
473     struct sockaddr    addr;
474     struct sockaddr_un addrUn;
475   } u;
476   memset(&u, 0, sizeof(u));
477   u.addrUn.sun_family = AF_UNIX;
478   strlcpy(u.addrUn.sun_path, "/dev/socket/logdw", sizeof(u.addrUn.sun_path));
479 
480   if (TEMP_FAILURE_RETRY(connect(log_fd, &u.addr, sizeof(u.addrUn))) != 0) {
481     close(log_fd);
482     return -1;
483   }
484 
485   return log_fd;
486 }
487 
488 struct cache {
489   const prop_info* pinfo;
490   uint32_t serial;
491   char c;
492 };
493 
refresh_cache(struct cache * cache,const char * key)494 static void refresh_cache(struct cache *cache, const char *key)
495 {
496   if (!cache->pinfo) {
497     cache->pinfo = __system_property_find(key);
498     if (!cache->pinfo) {
499       return;
500     }
501   }
502   uint32_t serial = __system_property_serial(cache->pinfo);
503   if (serial == cache->serial) {
504     return;
505   }
506   cache->serial = serial;
507 
508   char buf[PROP_VALUE_MAX];
509   __system_property_read(cache->pinfo, 0, buf);
510   cache->c = buf[0];
511 }
512 
513 // Timestamp state generally remains constant, since a change is
514 // rare, we can accept a trylock failure gracefully.
515 static pthread_mutex_t lock_clockid = PTHREAD_MUTEX_INITIALIZER;
516 
__android_log_clockid()517 static clockid_t __android_log_clockid()
518 {
519   static struct cache r_time_cache = { NULL, static_cast<uint32_t>(-1), 0 };
520   static struct cache p_time_cache = { NULL, static_cast<uint32_t>(-1), 0 };
521   char c;
522 
523   if (pthread_mutex_trylock(&lock_clockid)) {
524     // We are willing to accept some race in this context
525     if (!(c = p_time_cache.c)) {
526       c = r_time_cache.c;
527     }
528   } else {
529     static uint32_t serial;
530     uint32_t current_serial = __system_property_area_serial();
531     if (current_serial != serial) {
532       refresh_cache(&r_time_cache, "ro.logd.timestamp");
533       refresh_cache(&p_time_cache, "persist.logd.timestamp");
534       serial = current_serial;
535     }
536     if (!(c = p_time_cache.c)) {
537       c = r_time_cache.c;
538     }
539 
540     pthread_mutex_unlock(&lock_clockid);
541   }
542 
543   return (tolower(c) == 'm') ? CLOCK_MONOTONIC : CLOCK_REALTIME;
544 }
545 
546 struct log_time { // Wire format
547   uint32_t tv_sec;
548   uint32_t tv_nsec;
549 };
550 
__libc_write_log(int priority,const char * tag,const char * msg)551 int __libc_write_log(int priority, const char* tag, const char* msg) {
552   int main_log_fd = __libc_open_log_socket();
553   if (main_log_fd == -1) {
554     // Try stderr instead.
555     return __libc_write_stderr(tag, msg);
556   }
557 
558   iovec vec[6];
559   char log_id = (priority == ANDROID_LOG_FATAL) ? LOG_ID_CRASH : LOG_ID_MAIN;
560   vec[0].iov_base = &log_id;
561   vec[0].iov_len = sizeof(log_id);
562   uint16_t tid = gettid();
563   vec[1].iov_base = &tid;
564   vec[1].iov_len = sizeof(tid);
565   timespec ts;
566   clock_gettime(__android_log_clockid(), &ts);
567   log_time realtime_ts;
568   realtime_ts.tv_sec = ts.tv_sec;
569   realtime_ts.tv_nsec = ts.tv_nsec;
570   vec[2].iov_base = &realtime_ts;
571   vec[2].iov_len = sizeof(realtime_ts);
572 
573   vec[3].iov_base = &priority;
574   vec[3].iov_len = 1;
575   vec[4].iov_base = const_cast<char*>(tag);
576   vec[4].iov_len = strlen(tag) + 1;
577   vec[5].iov_base = const_cast<char*>(msg);
578   vec[5].iov_len = strlen(msg) + 1;
579 
580   int result = TEMP_FAILURE_RETRY(writev(main_log_fd, vec, sizeof(vec) / sizeof(vec[0])));
581   close(main_log_fd);
582   return result;
583 }
584 
__libc_format_log_va_list(int priority,const char * tag,const char * format,va_list args)585 int __libc_format_log_va_list(int priority, const char* tag, const char* format, va_list args) {
586   char buffer[1024];
587   BufferOutputStream os(buffer, sizeof(buffer));
588   out_vformat(os, format, args);
589   return __libc_write_log(priority, tag, buffer);
590 }
591 
__libc_format_log(int priority,const char * tag,const char * format,...)592 int __libc_format_log(int priority, const char* tag, const char* format, ...) {
593   va_list args;
594   va_start(args, format);
595   int result = __libc_format_log_va_list(priority, tag, format, args);
596   va_end(args);
597   return result;
598 }
599 
__libc_android_log_event(int32_t tag,char type,const void * payload,size_t len)600 static int __libc_android_log_event(int32_t tag, char type, const void* payload, size_t len) {
601   iovec vec[6];
602   char log_id = LOG_ID_EVENTS;
603   vec[0].iov_base = &log_id;
604   vec[0].iov_len = sizeof(log_id);
605   uint16_t tid = gettid();
606   vec[1].iov_base = &tid;
607   vec[1].iov_len = sizeof(tid);
608   timespec ts;
609   clock_gettime(__android_log_clockid(), &ts);
610   log_time realtime_ts;
611   realtime_ts.tv_sec = ts.tv_sec;
612   realtime_ts.tv_nsec = ts.tv_nsec;
613   vec[2].iov_base = &realtime_ts;
614   vec[2].iov_len = sizeof(realtime_ts);
615 
616   vec[3].iov_base = &tag;
617   vec[3].iov_len = sizeof(tag);
618   vec[4].iov_base = &type;
619   vec[4].iov_len = sizeof(type);
620   vec[5].iov_base = const_cast<void*>(payload);
621   vec[5].iov_len = len;
622 
623   int event_log_fd = __libc_open_log_socket();
624 
625   if (event_log_fd == -1) {
626     return -1;
627   }
628   int result = TEMP_FAILURE_RETRY(writev(event_log_fd, vec, sizeof(vec) / sizeof(vec[0])));
629   close(event_log_fd);
630   return result;
631 }
632 
__libc_android_log_event_int(int32_t tag,int value)633 void __libc_android_log_event_int(int32_t tag, int value) {
634   __libc_android_log_event(tag, EVENT_TYPE_INT, &value, sizeof(value));
635 }
636 
__libc_android_log_event_uid(int32_t tag)637 void __libc_android_log_event_uid(int32_t tag) {
638   __libc_android_log_event_int(tag, getuid());
639 }
640 
__fortify_chk_fail(const char * msg,uint32_t tag)641 void __fortify_chk_fail(const char* msg, uint32_t tag) {
642   if (tag != 0) {
643     __libc_android_log_event_uid(tag);
644   }
645   __libc_fatal("FORTIFY: %s", msg);
646 }
647 
__libc_fatal(const char * format,va_list args)648 static void __libc_fatal(const char* format, va_list args) {
649   char msg[1024];
650   BufferOutputStream os(msg, sizeof(msg));
651   out_vformat(os, format, args);
652 
653   // Log to stderr for the benefit of "adb shell" users.
654   struct iovec iov[2] = {
655     { msg, os.total },
656     { const_cast<char*>("\n"), 1 },
657   };
658   TEMP_FAILURE_RETRY(writev(2, iov, 2));
659 
660   // Log to the log for the benefit of regular app developers (whose stdout and stderr are closed).
661   __libc_write_log(ANDROID_LOG_FATAL, "libc", msg);
662 
663   android_set_abort_message(msg);
664 }
665 
__libc_fatal_no_abort(const char * format,...)666 void __libc_fatal_no_abort(const char* format, ...) {
667   va_list args;
668   va_start(args, format);
669   __libc_fatal(format, args);
670   va_end(args);
671 }
672 
__libc_fatal(const char * format,...)673 void __libc_fatal(const char* format, ...) {
674   va_list args;
675   va_start(args, format);
676   __libc_fatal(format, args);
677   va_end(args);
678   abort();
679 }
680 
android_set_abort_message(const char * msg)681 void android_set_abort_message(const char* msg) {
682   ScopedPthreadMutexLocker locker(&g_abort_msg_lock);
683 
684   if (__abort_message_ptr == NULL) {
685     // We must have crashed _very_ early.
686     return;
687   }
688 
689   if (*__abort_message_ptr != NULL) {
690     // We already have an abort message.
691     // Assume that the first crash is the one most worth reporting.
692     return;
693   }
694 
695   size_t size = sizeof(abort_msg_t) + strlen(msg) + 1;
696   void* map = mmap(NULL, size, PROT_READ | PROT_WRITE, MAP_ANON | MAP_PRIVATE, -1, 0);
697   if (map == MAP_FAILED) {
698     return;
699   }
700 
701   // TODO: if we stick to the current "one-shot" scheme, we can remove this code and
702   // stop storing the size.
703   if (*__abort_message_ptr != NULL) {
704     munmap(*__abort_message_ptr, (*__abort_message_ptr)->size);
705   }
706   abort_msg_t* new_abort_message = reinterpret_cast<abort_msg_t*>(map);
707   new_abort_message->size = size;
708   strcpy(new_abort_message->msg, msg);
709   *__abort_message_ptr = new_abort_message;
710 }
711