/*
 * Copyright (C) 2015 Red Hat, Inc.
 *
 * Author: Nikos Mavrogiannopoulos
 *
 * This file is part of GnuTLS.
 *
 * GnuTLS is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 3 of the License, or
 * (at your option) any later version.
 *
 * GnuTLS is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with GnuTLS; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA
 */

/* Parts copied from GnuTLS example programs. */

#ifdef HAVE_CONFIG_H
#include <config.h>
#endif

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/types.h>
#include <unistd.h>

#include <gnutls/gnutls.h>

#include "utils.h"

void doit(void)
{
	int ret;

	ret = gnutls_global_init();
	if (ret < 0) {
		fail("Could not initialize\n");
	}

	/* That shouldn't crash */
	gnutls_global_deinit();
	gnutls_global_deinit();
	gnutls_global_deinit();
	gnutls_global_deinit();

	ret = gnutls_global_init();
	if (ret < 0) {
		fail("Could not initialize: %d\n", __LINE__);
	}
	
	/* the rest shouldn't cause a leak */
	ret = gnutls_global_init();
	if (ret < 0) {
		fail("Could not initialize: %d\n", __LINE__);
	}

	ret = gnutls_global_init();
	if (ret < 0) {
		fail("Could not initialize: %d\n", __LINE__);
	}

	gnutls_global_deinit();
	gnutls_global_deinit();
	gnutls_global_deinit();
	gnutls_global_deinit();
	gnutls_global_deinit();

	/* This should fail */
	ret = gnutls_global_init();
	if (ret < 0) {
		fail("Could not initialize: %d\n", __LINE__);
	}
	
	gnutls_global_deinit();
}