#include <stdlib.h>

#include "util.h"

void safe_free(void * & ptr) {
	if (ptr == nullptr) return;
	free(ptr);
	ptr = nullptr;
}
void safe_free(const char * & ptr) {
	auto x = static_cast<void *>(const_cast<char *>(ptr));
	safe_free(x);
}
void safe_free(char * & ptr) {
	auto x = static_cast<void *>(ptr);
	safe_free(x);
}
void safe_free(FILE * & ptr) {
	auto x = static_cast<void *>(ptr);
	safe_free(x);
}