1#include <stdio.h>
2#include <stdlib.h>
3
4int main ()
5{
6  char *foo = (char *) malloc (10);
7  strcpy (foo, "hello");
8  foo = (char *) realloc (foo, 20);
9  printf ("%s", foo);
10  if (strcmp (foo, "hello"))
11    abort ();
12  free (foo);
13  printf (" world\n");
14  return 0;
15}
16/* { dg-output "hello world" } */
17