mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-20 18:21:47 +03:00
d910677d74
``` IDRIS2_VERIFY(cond, message_format, ...) ``` When condition is false, crash. Used in native functions where correct error handling is hard or not impossible. For example, `malloc` rarely fails, but if it fails, better crash with clear error message than spend time debugging null pointer dereference.
38 lines
719 B
C
38 lines
719 B
C
#include "idris_memory.h"
|
|
|
|
#include <errno.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
|
|
#include "idris_util.h"
|
|
|
|
void* idris2_malloc(int size) {
|
|
IDRIS2_VERIFY(size >= 0, "malloc negative argument: %d", size);
|
|
|
|
if (size == 0) {
|
|
// Do not depend on platform-speific behavior of malloc.
|
|
return NULL;
|
|
}
|
|
|
|
void* ptr = malloc(size);
|
|
IDRIS2_VERIFY(ptr, "malloc failed: %s", strerror(errno));
|
|
return ptr;
|
|
}
|
|
|
|
void idris2_free(void* ptr) {
|
|
if (!ptr) {
|
|
return;
|
|
}
|
|
free(ptr);
|
|
}
|
|
|
|
// TODO: remove `idrnet_malloc` and `idrnet_free` after bootstrap update
|
|
|
|
void* idrnet_malloc(int size) {
|
|
return idris2_malloc(size);
|
|
}
|
|
|
|
void idrnet_free(void* ptr) {
|
|
idris2_free(ptr);
|
|
}
|