/*
 * YAFFS: Yet another FFS. A NAND-flash specific file system.
 *
 * Copyright (C) 2002-2011 Aleph One Ltd.
 *   for Toby Churchill Ltd and Brightstar Engineering
 *
 * Created by Timothy Manning <timothy@yaffs.net>
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 */

/* generates a EBADF error by closing a handle twice */

#include "test_yaffs_open.h"

static int handle = -1;

int test_yaffs_close_EBADF(void)
{
	int output = 0;
	int error_code = 0;

	handle = test_yaffs_open();
	if (handle >= 0){
		output = yaffs_close(handle);
		if (output >= 0){
			output = yaffs_close(handle);
			if (output < 0){
				error_code = yaffs_get_error();
				if (abs(error_code) == EBADF){
					handle =-1;
					return 1;
				} else {
					print_message("different error than expected\n",2);
					return -1;
				}
			} else {
				print_message("closed the same handle twice. (which is a bad thing)\n", 2);
				return -1;
			}
		} else {
			print_message("failed to close the handle the firs time\n", 2);
			return -1;
		}	
	} else {
		print_message("failed to open file\n", 2);
		return -1;
	}

}


int test_yaffs_close_EBADF_clean(void)
{
	if (handle >= 0){
		printf("handle %d\n",handle);
		return yaffs_close(handle);
	} else {
		return 1;
	}
}