/*
 * buggy.c
 *
 *  Created on: Oct 18, 2009
 *      Author: brobey
 */

#include <malloc.h>

void fill_array(double *array, int size);

int
main(int argc, char *argv[])
{
	double a, *b;

	double x[10];

	a = x[10];
	x[20] = 1.0;

	b = (double *)malloc(sizeof(double)*20);

	fill_array(x, 100);
	fill_array(b, 10);

	b=NULL;
	free(b);

	b[3] = 1.0;

	fill_array(b, 10);

	free(x);
	free(b);


	return(0);
}

void fill_array(double *array, int size)
{
	int i;

	for (i=0; i<=size; i++){
		array[i] = 5.0;
	}
}