ellipsis-malloc.h

Go to the documentation of this file.

 
#ifndef ELLIPSIS_MALLOC_H
#define ELLIPSIS_MALLOC_H 1
 
extern thread_local bool volatile ellipsis‿contracts‿ignore‿dynamic;
extern thread_local bool volatile ellipsis‿contracts‿proceed‿dynamic;
extern thread_local bool volatile ellipsis‿contracts‿verbose‿dynamic;
 
typedef struct ellipsis‿contracts‿is_ice ellipsis‿contracts‿is_ice;
 
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
 
#define STRINGIFY(...) STRINGIFY_(__VA_ARGS__)
#define STRINGIFY_(...) #__VA_ARGS__
 
#define ELLIPSIS_CONTRACT_VIOLATION(COUNT, VERB, CTYPE, CSTR, ...) \
({\
 static char const contract_format_ ## COUNT[]  = \
 __FILE__ ":" STRINGIFY(__LINE__) ": violation of " CTYPE " `" CSTR "`" __VA_OPT__(", ") __VA_ARGS__ "\n";\
 (VERB \
 ? fputs(contract_format_ ## COUNT, stderr) \
 : 0);\
 })
 
#define ELLIPSIS_CONTRACT_IMPL(COUNT, COND, ACTION, VERB, CSTR, CTYPE, ...) \
(((false) || (COND)) \
 ? (void)0 \
 : (ELLIPSIS_CONTRACT_VIOLATION(COUNT, VERB, CTYPE, CSTR __VA_OPT__(,) __VA_ARGS__) \
 , ((false) \
 ? (void)0 \
 : ACTION())))
 
#define ELLIPSIS_TO_VOIDS(...) ((void*)((uintptr_t)((__VA_ARGS__)-(__VA_ARGS__))))
 
#define ELLIPSIS_TEST_ICE(...) (false ? ELLIPSIS_TO_VOIDS(__VA_ARGS__) : (ellipsis‿contracts‿is_ice*)nullptr)
 
#define ELLIPSIS_CONTRACT_ICE_OR_TRUE(...) \
 _Generic( \
 ELLIPSIS_TEST_ICE(__VA_ARGS__), \
 ellipsis‿contracts‿is_ice*: (__VA_ARGS__), \
 default: true)
 
#define ELLIPSIS_CONTRACT_CHECK_STATIC(CTYPE, COND, CSTR, ...) \
 ({\
 static_assert(ELLIPSIS_CONTRACT_ICE_OR_TRUE(COND), \
 "compile time violation of " CTYPE " " CSTR \
 __VA_OPT__(", ") __VA_ARGS__ );\
 })
 
#define ELLIPSIS_CONTRACT(COUNT, COND, ACTION, VERB, CSTR, CTYPE, ...) \
 \
 do { \
 _Generic( \
 ELLIPSIS_TEST_ICE(COND), \
 ellipsis‿contracts‿is_ice*: ELLIPSIS_CONTRACT_CHECK_STATIC(CTYPE, COND, CSTR __VA_OPT__(,) __VA_ARGS__), \
 default: ELLIPSIS_CONTRACT_IMPL(COUNT, COND, ACTION, VERB, CSTR, CTYPE __VA_OPT__(,) __VA_ARGS__));\
 } while(false)
 
#include <stdlib.h>
#include <string.h>
 
inline
void* ellipsis‿malloc(size_t __LOC_ID_0_1) {
  ELLIPSIS_CONTRACT(1, __LOC_ID_0_1, abort, true, "__LOC(0, 1)", "assertion", "request to allocate empty storage instance");
  void* __LOC_ID_1_1  = malloc(__LOC_ID_0_1);
  ELLIPSIS_CONTRACT(2, __LOC_ID_1_1, abort, true, "__LOC()", "assertion", "unable to allocate storage instance, malloc failed");
  return __LOC_ID_1_1;
}
 
inline
char* ellipsis‿strdup(const char* __LOC_ID_0_2) {
  ELLIPSIS_CONTRACT(3, __LOC_ID_0_2, abort, true, "__LOC(0, 1)", "assertion", "request to duplicate non-existing string");
  char* __LOC_ID_1_2  = strdup(__LOC_ID_0_2);
  ELLIPSIS_CONTRACT(4, __LOC_ID_1_2, abort, true, "__LOC()", "assertion", "unable to allocate storage instance, strdup failed");
  return __LOC_ID_1_2;
}
 
inline
void* ellipsis‿realloc(void* __LOC_ID_0_3, size_t __LOC_ID_0_4) {
  ELLIPSIS_CONTRACT(5, __LOC_ID_0_4, abort, true, "__LOC(0, 1)", "assertion", "request to re-allocate empty storage instance");
  void* __LOC_ID_1_3  = realloc(__LOC_ID_0_3, __LOC_ID_0_4);
  ELLIPSIS_CONTRACT(6, __LOC_ID_1_3, abort, true, "__LOC()", "assertion", "unable to re-allocate storage instance, realloc failed");
  return __LOC_ID_1_3;
}
 
#endif