Exemplos de free_16 em C++ (Cpp)

Exemplo n.º 1

Arquivo: memleaks_test16_true-valid-memsafety.c Projeto: oliverstth/sv-benchmarks

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

Exemplo n.º 2

Arquivo: Allocation.cpp Projeto: richardcervinka/world

void operator delete[]( void* ptr ) noexcept {
	if ( ptr != nullptr ) {
		free_16( ptr );
	}
}