ellipsis-init.c File Reference

#include <stddef.h>
#include <stdlib.h>
#include <string.h>
#include "utils/ellipsis-init.h"
#include "utils/ellipsis-malloc.h"
#include <stdio.h>
#include <stdint.h>

Include dependency graph for ellipsis-init.c:

Macros
#define	ALLOC_ASSIGN_BREAK(T, C)    case ellipsis‿init‿flex_ ## T: *(C*)lens = len;/* downgraded */ break
#define	ALLOC_CHECK_OR_RETURN(T, M)    case ellipsis‿init‿flex_ ## T: if (len <= M ## _MAX) /* downgraded */ break;else return ret
#define	ALLOC_RETRIEVE_BREAK(T, C)    case ellipsis‿init‿flex_ ## T: olen = *(C*)olens;/* downgraded */ break
#define	ELLIPSIS_CONTRACT(COUNT, COND, ACTION, VERB, CSTR, CTYPE, ...)
#define	ELLIPSIS_CONTRACT_CHECK_STATIC(CTYPE, COND, CSTR, ...)
#define	ELLIPSIS_CONTRACT_ICE_OR_TRUE(...)
#define	ELLIPSIS_CONTRACT_IMPL(COUNT, COND, ACTION, VERB, CSTR, CTYPE, ...)
#define	ELLIPSIS_CONTRACT_VIOLATION(COUNT, VERB, CTYPE, CSTR, ...)
#define	ELLIPSIS_TEST_ICE(...)   (false ? ELLIPSIS_TO_VOIDS(__VA_ARGS__) : (ellipsis‿contracts‿is_ice*)nullptr)
#define	ELLIPSIS_TO_VOIDS(...)   ((void*)((uintptr_t)((__VA_ARGS__)-(__VA_ARGS__))))
#define	STRINGIFY(...)   STRINGIFY_(__VA_ARGS__)
#define	STRINGIFY_(...)   #__VA_ARGS__

Typedefs
typedef struct ellipsis‿contracts‿is_ice	ellipsis‿contracts‿is_ice

Functions
void *	ellipsis‿alloc‿flex_core_s‿_Inner (signed long long len, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char const base_init[restrict static 1], unsigned char const dat_init[restrict static 1])
void *	ellipsis‿alloc‿flex_core_s‿_Insta (signed long long len, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char const base_init[restrict static 1], unsigned char const dat_init[restrict static 1])
void *	ellipsis‿alloc‿flex_core_u‿_Inner (unsigned long long len, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char const base_init[restrict static 1], unsigned char const dat_init[restrict static 1])
void *	ellipsis‿alloc‿flex_core_u‿_Insta (unsigned long long len, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char const base_init[restrict static 1], unsigned char const dat_init[restrict static 1])
void *	ellipsis‿init‿flex_core_s‿_Inner (signed long long len, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char ret[restrict static(off_dat+len *size_dat)], unsigned char const base_init[restrict static 1], unsigned char const dat_init[restrict static 1])
void *	ellipsis‿init‿flex_core_s‿_Insta (signed long long len, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char ret[restrict static(off_dat+len *size_dat)], unsigned char const base_init[restrict static 1], unsigned char const dat_init[restrict static 1])
void *	ellipsis‿init‿flex_core_u‿_Inner (unsigned long long len, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char ret[restrict static(off_dat+len *size_dat)], unsigned char const base_init[restrict static 1], unsigned char const dat_init[restrict static 1])
void *	ellipsis‿init‿flex_core_u‿_Insta (unsigned long long len, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char ret[restrict static(off_dat+len *size_dat)], unsigned char const base_init[restrict static 1], unsigned char const dat_init[restrict static 1])
void *()	ellipsis‿init‿obfuscate (void *p)
void	ellipsis‿init‿repeat‿_Inner (size_t n, unsigned char const sample[restrict static n], size_t m, unsigned char buffer[restrict static m])
void	ellipsis‿init‿repeat‿_Insta (size_t n, unsigned char const sample[restrict static n], size_t m, unsigned char buffer[restrict static m])
void *	ellipsis‿realloc‿flex_core_s‿_Inner (signed long long len, void *ostart_, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char const ini[restrict static 1])
void *	ellipsis‿realloc‿flex_core_s‿_Insta (signed long long len, void *ostart_, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char const ini[restrict static 1])
void *	ellipsis‿realloc‿flex_core_u‿_Inner (unsigned long long len, void *ostart_, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char const ini[restrict static 1])
void *	ellipsis‿realloc‿flex_core_u‿_Insta (unsigned long long len, void *ostart_, size_t size_base, ellipsis‿init‿flex type, size_t off_len, size_t size_dat, size_t off_dat, unsigned char const ini[restrict static 1])

Variables
ellipsis‿alloc‿flex_core_s	ellipsis‿alloc‿flex_core_s
ellipsis‿alloc‿flex_core_u	ellipsis‿alloc‿flex_core_u
thread_local bool volatile	ellipsis‿contracts‿ignore‿dynamic
thread_local bool volatile	ellipsis‿contracts‿proceed‿dynamic
thread_local bool volatile	ellipsis‿contracts‿verbose‿dynamic
ellipsis‿realloc‿flex_core_s	ellipsis‿realloc‿flex_core_s
ellipsis‿realloc‿flex_core_u	ellipsis‿realloc‿flex_core_u

Detailed Description

Warning

This is a file generated by eĿlipsis version 20250309, do not modify

Macro Definition Documentation

ALLOC_ASSIGN_BREAK

#define ALLOC_ASSIGN_BREAK	(		T,
			C
	)		case ellipsis‿init‿flex_ ## T: *(C*)lens = len;/* downgraded */ break

ALLOC_CHECK_OR_RETURN

#define ALLOC_CHECK_OR_RETURN	(		T,
			M
	)		case ellipsis‿init‿flex_ ## T: if (len <= M ## _MAX) /* downgraded */ break;else return ret

ALLOC_RETRIEVE_BREAK

#define ALLOC_RETRIEVE_BREAK	(		T,
			C
	)		case ellipsis‿init‿flex_ ## T: olen = *(C*)olens;/* downgraded */ break

ELLIPSIS_CONTRACT

#define ELLIPSIS_CONTRACT	(		COUNT,
			COND,
			ACTION,
			VERB,
			CSTR,
			CTYPE,
			...
	)

Value:

 \
 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)

ELLIPSIS_CONTRACT_CHECK_STATIC

#define ELLIPSIS_CONTRACT_CHECK_STATIC	(		CTYPE,
			COND,
			CSTR,
			...
	)

Value:

 ({\
 static_assert(ELLIPSIS_CONTRACT_ICE_OR_TRUE(COND), \
 "compile time violation of " CTYPE " " CSTR \
 __VA_OPT__(", ") __VA_ARGS__ );\
 })

ELLIPSIS_CONTRACT_ICE_OR_TRUE

#define ELLIPSIS_CONTRACT_ICE_OR_TRUE

(

...

)

Value:

 _Generic( \
 ELLIPSIS_TEST_ICE(__VA_ARGS__), \
 ellipsis‿contracts‿is_ice*: (__VA_ARGS__), \
 default: true)

ELLIPSIS_CONTRACT_IMPL

#define ELLIPSIS_CONTRACT_IMPL	(		COUNT,
			COND,
			ACTION,
			VERB,
			CSTR,
			CTYPE,
			...
	)

Value:

(((false) || (COND)) \
 ? (void)0 \
 : (ELLIPSIS_CONTRACT_VIOLATION(COUNT, VERB, CTYPE, CSTR __VA_OPT__(,) __VA_ARGS__) \
 , ((false) \
 ? (void)0 \
 : ACTION())))

ELLIPSIS_CONTRACT_VIOLATION

#define ELLIPSIS_CONTRACT_VIOLATION	(		COUNT,
			VERB,
			CTYPE,
			CSTR,
			...
	)

Value:

({\
 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);\
 })

ELLIPSIS_TEST_ICE

#define ELLIPSIS_TEST_ICE

(

...

)

(false ? ELLIPSIS_TO_VOIDS(__VA_ARGS__) : (ellipsis‿contracts‿is_ice*)nullptr)

ELLIPSIS_TO_VOIDS

#define ELLIPSIS_TO_VOIDS

(

...

)

((void*)((uintptr_t)((__VA_ARGS__)-(__VA_ARGS__))))

STRINGIFY

#define STRINGIFY

(

...

)

STRINGIFY_(__VA_ARGS__)

STRINGIFY_

#define STRINGIFY_

(

...

)

#__VA_ARGS__

Typedef Documentation

ellipsis‿contracts‿is_ice

typedef struct ellipsis‿contracts‿is_ice ellipsis‿contracts‿is_ice

Function Documentation

ellipsis‿alloc‿flex_core_s‿_Inner()

void * ellipsis‿alloc‿flex_core_s‿_Inner	(	signed long long	len,
		size_t	size_base,
		ellipsis‿init‿flex	type,
		size_t	off_len,
		size_t	size_dat,
		size_t	off_dat,
		unsigned char const	base_init[restrict static 1],
		unsigned char const	dat_init[restrict static 1]
	)

References ellipsis‿alloc‿flex_core_u.

Referenced by ellipsis‿alloc‿flex_core_s‿_Ctra().

Here is the caller graph for this function:

ellipsis‿alloc‿flex_core_s‿_Insta()

void * ellipsis‿alloc‿flex_core_s‿_Insta ( signed long long  len, size_t  size_base, ellipsis‿init‿flex  type, size_t  off_len, size_t  size_dat, size_t  off_dat, unsigned char const  base_init[restrict static 1], unsigned char const  dat_init[restrict static 1]  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿alloc‿flex_core_s‿_Ctra(), and ellipsis‿alloc‿flex_core_s‿_Insta().

Referenced by ellipsis‿alloc‿flex_core_s‿_Insta(), and ellipsis‿alloc‿flex_core_s().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿alloc‿flex_core_u‿_Inner()

void * ellipsis‿alloc‿flex_core_u‿_Inner	(	unsigned long long	len,
		size_t	size_base,
		ellipsis‿init‿flex	type,
		size_t	off_len,
		size_t	size_dat,
		size_t	off_dat,
		unsigned char const	base_init[restrict static 1],
		unsigned char const	dat_init[restrict static 1]
	)

References ALLOC_ASSIGN_BREAK, ellipsis‿init‿repeat(), and ellipsis‿malloc.

Referenced by ellipsis‿alloc‿flex_core_u‿_Ctra().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿alloc‿flex_core_u‿_Insta()

void * ellipsis‿alloc‿flex_core_u‿_Insta ( unsigned long long  len, size_t  size_base, ellipsis‿init‿flex  type, size_t  off_len, size_t  size_dat, size_t  off_dat, unsigned char const  base_init[restrict static 1], unsigned char const  dat_init[restrict static 1]  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿alloc‿flex_core_u‿_Ctra(), and ellipsis‿alloc‿flex_core_u‿_Insta().

Referenced by ellipsis‿alloc‿flex_core_u‿_Insta(), and ellipsis‿alloc‿flex_core_u().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿init‿flex_core_s‿_Inner()

void * ellipsis‿init‿flex_core_s‿_Inner	(	signed long long	len,
		size_t	size_base,
		ellipsis‿init‿flex	type,
		size_t	off_len,
		size_t	size_dat,
		size_t	off_dat,
		unsigned char	ret[restrict static(off_dat+len *size_dat)],
		unsigned char const	base_init[restrict static 1],
		unsigned char const	dat_init[restrict static 1]
	)

References ellipsis‿init‿flex_core_u().

Referenced by ellipsis‿init‿flex_core_s‿_Ctra().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿init‿flex_core_s‿_Insta()

void * ellipsis‿init‿flex_core_s‿_Insta ( signed long long  len, size_t  size_base, ellipsis‿init‿flex  type, size_t  off_len, size_t  size_dat, size_t  off_dat, unsigned char  ret[restrict static(off_dat+len *size_dat)], unsigned char const  base_init[restrict static 1], unsigned char const  dat_init[restrict static 1]  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿init‿flex_core_s‿_Ctra(), and ellipsis‿init‿flex_core_s‿_Insta().

Referenced by ellipsis‿init‿flex_core_s‿_Insta(), and ellipsis‿init‿flex_core_s().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿init‿flex_core_u‿_Inner()

void * ellipsis‿init‿flex_core_u‿_Inner	(	unsigned long long	len,
		size_t	size_base,
		ellipsis‿init‿flex	type,
		size_t	off_len,
		size_t	size_dat,
		size_t	off_dat,
		unsigned char	ret[restrict static(off_dat+len *size_dat)],
		unsigned char const	base_init[restrict static 1],
		unsigned char const	dat_init[restrict static 1]
	)

References ALLOC_ASSIGN_BREAK, and ellipsis‿init‿repeat().

Referenced by ellipsis‿init‿flex_core_u‿_Ctra().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿init‿flex_core_u‿_Insta()

void * ellipsis‿init‿flex_core_u‿_Insta ( unsigned long long  len, size_t  size_base, ellipsis‿init‿flex  type, size_t  off_len, size_t  size_dat, size_t  off_dat, unsigned char  ret[restrict static(off_dat+len *size_dat)], unsigned char const  base_init[restrict static 1], unsigned char const  dat_init[restrict static 1]  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿init‿flex_core_u‿_Ctra(), and ellipsis‿init‿flex_core_u‿_Insta().

Referenced by ellipsis‿init‿flex_core_u‿_Insta(), and ellipsis‿init‿flex_core_u().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿init‿obfuscate()

void *() ellipsis‿init‿obfuscate

(

void *

p

)

ellipsis‿init‿repeat‿_Inner()

void ellipsis‿init‿repeat‿_Inner	(	size_t	n,
		unsigned char const	sample[restrict static n],
		size_t	m,
		unsigned char	buffer[restrict static m]
	)

Referenced by ellipsis‿init‿repeat‿_Ctra().

Here is the caller graph for this function:

ellipsis‿init‿repeat‿_Insta()

void ellipsis‿init‿repeat‿_Insta ( size_t  n, unsigned char const  sample[restrict static n], size_t  m, unsigned char  buffer[restrict static m]  )

inline

References ellipsis‿init‿repeat‿_Ctra(), and ellipsis‿init‿repeat‿_Insta().

Referenced by ellipsis‿init‿repeat‿_Insta(), and ellipsis‿init‿repeat().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿realloc‿flex_core_s‿_Inner()

void * ellipsis‿realloc‿flex_core_s‿_Inner	(	signed long long	len,
		void *	ostart_,
		size_t	size_base,
		ellipsis‿init‿flex	type,
		size_t	off_len,
		size_t	size_dat,
		size_t	off_dat,
		unsigned char const	ini[restrict static 1]
	)

References ellipsis‿realloc‿flex_core_u.

Referenced by ellipsis‿realloc‿flex_core_s‿_Ctra().

Here is the caller graph for this function:

ellipsis‿realloc‿flex_core_s‿_Insta()

void * ellipsis‿realloc‿flex_core_s‿_Insta ( signed long long  len, void *  ostart_, size_t  size_base, ellipsis‿init‿flex  type, size_t  off_len, size_t  size_dat, size_t  off_dat, unsigned char const  ini[restrict static 1]  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿realloc‿flex_core_s‿_Ctra(), and ellipsis‿realloc‿flex_core_s‿_Insta().

Referenced by ellipsis‿realloc‿flex_core_s‿_Insta(), and ellipsis‿realloc‿flex_core_s().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿realloc‿flex_core_u‿_Inner()

void * ellipsis‿realloc‿flex_core_u‿_Inner	(	unsigned long long	len,
		void *	ostart_,
		size_t	size_base,
		ellipsis‿init‿flex	type,
		size_t	off_len,
		size_t	size_dat,
		size_t	off_dat,
		unsigned char const	ini[restrict static 1]
	)

References ALLOC_ASSIGN_BREAK, ALLOC_RETRIEVE_BREAK, ellipsis‿init‿repeat(), and ellipsis‿realloc.

Referenced by ellipsis‿realloc‿flex_core_u‿_Ctra().

Here is the call graph for this function:

Here is the caller graph for this function:

ellipsis‿realloc‿flex_core_u‿_Insta()

void * ellipsis‿realloc‿flex_core_u‿_Insta ( unsigned long long  len, void *  ostart_, size_t  size_base, ellipsis‿init‿flex  type, size_t  off_len, size_t  size_dat, size_t  off_dat, unsigned char const  ini[restrict static 1]  )

inline

start inner defer anchor at level 1

DEFER_TYPE needs a semicolon

end inner defer anchor, level 1

References ellipsis‿realloc‿flex_core_u‿_Ctra(), and ellipsis‿realloc‿flex_core_u‿_Insta().

Referenced by ellipsis‿realloc‿flex_core_u‿_Insta(), and ellipsis‿realloc‿flex_core_u().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

ellipsis‿alloc‿flex_core_s

ellipsis‿alloc‿flex_core_s ellipsis‿alloc‿flex_core_s

Referenced by ellipsis‿alloc‿flex_core_s().

ellipsis‿alloc‿flex_core_u

ellipsis‿alloc‿flex_core_u ellipsis‿alloc‿flex_core_u

Remarks

This translation unit implements ellipsis‿init::ellipsis‿init‿check_type, ellipsis‿init::ellipsis‿init‿check_range, ellipsis‿init::ellipsis‿init‿repeat, ellipsis‿init::ellipsis‿init‿flex_core_u, ellipsis‿init::ellipsis‿init‿flex_core_s

Referenced by ellipsis‿alloc‿flex_core_s‿_Inner(), and ellipsis‿alloc‿flex_core_u().

ellipsis‿contracts‿ignore‿dynamic

thread_local bool volatile ellipsis‿contracts‿ignore‿dynamic

extern

ellipsis‿contracts‿proceed‿dynamic

thread_local bool volatile ellipsis‿contracts‿proceed‿dynamic

extern

ellipsis‿contracts‿verbose‿dynamic

thread_local bool volatile ellipsis‿contracts‿verbose‿dynamic

extern

ellipsis‿realloc‿flex_core_s

ellipsis‿realloc‿flex_core_s ellipsis‿realloc‿flex_core_s

Referenced by ellipsis‿realloc‿flex_core_s().

ellipsis‿realloc‿flex_core_u

ellipsis‿realloc‿flex_core_u ellipsis‿realloc‿flex_core_u

Referenced by ellipsis‿realloc‿flex_core_s‿_Inner(), and ellipsis‿realloc‿flex_core_u().