[splint.git] / test / malloc.c

void f1 ()
{
  int *ip = (int *) malloc (89); /* not divisible */
  if (ip != NULL) {
    ip[88]=23; /* out of range */
    free (ip);
  }
}

void f2 ()
{
  int *ip = (int *) malloc (88); /* divisible okay */
  if (ip != NULL) {
    ip[21]=23; /* okay */
    ip[22]=23; /* bad */
    free (ip);
  }
}

void f3 ()
{
  int *ip = (int *) malloc (87 * sizeof (int)); 
  if (ip != NULL) {
    ip[21]=23; /* okay */
    ip[86]=23; /* okay */
    ip[87]=23; /* bad */
    free (ip);
  }
}

void f4 ()
{
  int *ip = (int *) malloc (87 * sizeof (short)); /* not divisible */
  if (ip != NULL) {
    ip[86]=23; /* bad */
    free (ip);
  }
}
Commit	Line	Data
6317f163	1	void f1 ()
	2	{
	3	int ip = (int ) malloc (89); /* not divisible */
	4	if (ip != NULL) {
	5	ip[88]=23; /* out of range */
	6	free (ip);
	7	}
	8	}
	9
	10	void f2 ()
	11	{
	12	int ip = (int ) malloc (88); /* divisible okay */
	13	if (ip != NULL) {
	14	ip[21]=23; /* okay */
	15	ip[22]=23; /* bad */
	16	free (ip);
	17	}
	18	}
	19
	20	void f3 ()
	21	{
	22	int ip = (int ) malloc (87 * sizeof (int));
	23	if (ip != NULL) {
	24	ip[21]=23; /* okay */
	25	ip[86]=23; /* okay */
	26	ip[87]=23; /* bad */
	27	free (ip);
	28	}
	29	}
	30
	31	void f4 ()
	32	{
	33	int ip = (int ) malloc (87 * sizeof (short)); /* not divisible */
	34	if (ip != NULL) {
	35	ip[86]=23; /* bad */
	36	free (ip);
	37	}
	38	}