Added files for test case.

[splint.git] / test / simplebufferConstraintTests / m.c

extern /*@null@*/ /*@out@*/ /*@only@*/ void *mymalloc (size_t size) /*@*/
     /*@ensuresConstraint MaxSet(result) == (size - 1); @*/ ;
  
void t()
{
char *f;

f = mymalloc (3);
f[2] = '2';
free (f);
}