Ejemplos de alloc_16 en C++ (Cpp)

Ejemplo n.º 1

Archivo: Allocation.cpp Proyecto: richardcervinka/world

inline void* Alloc( const std::size_t size ) {
	std::size_t bytes = size;
	if ( bytes == 0 ) {
		bytes = 1;
	}
	void* storage = alloc_16( bytes );
	while ( storage == nullptr ) {
		std::new_handler handler = std::get_new_handler();
		if ( handler == nullptr ) {
			return nullptr;
		}
		handler();
		storage = alloc_16( bytes );
	}
	return storage;
}

Ejemplo n.º 2

Archivo: memleaks_test16_true-valid-memsafety.c Proyecto: oliverstth/sv-benchmarks

void entry_point(void) {
	int condition = __VERIFIER_nondet_int();
	struct A16 *p = alloc_16(condition);
	free_16(p, condition);
}

Ejemplo n.º 3

Archivo: memleaks_test16_2_false-valid-memtrack.c Proyecto: oliverstth/sv-benchmarks

void entry_point(void) {
	int condition = __VERIFIER_nondet_int();
	struct A16 *p = alloc_16(condition);
	//unsafe: forgot to free
}