[splint.git] / test / manual / returned.c

# include "intSet.h"

extern intSet intSet_insert  
   (/*@returned@*/ intSet s, int x);

/*
** with returned, no error is reported, since the same
** storage is returned from insert, and returned 
** from intSet_singleton as an implicit only result.
*/
 
intSet intSet_singleton (int x)
{
   return (intSet_insert (intSet_new (), x));
 }
 
/*
** without returned:
*/

extern intSet intSet_insert2 (intSet s, int x);
 
intSet intSet_singleton2 (int x)
{
  return (intSet_insert2 (intSet_new (), x));
}
Commit	Line	Data
77970e15	1	# include "intSet.h"
	2
	3	extern intSet intSet_insert
	4	(/@returned@/ intSet s, int x);
	5
	6	/*
	7	** with returned, no error is reported, since the same
	8	** storage is returned from insert, and returned
	9	** from intSet_singleton as an implicit only result.
	10	*/
	11
	12	intSet intSet_singleton (int x)
	13	{
	14	return (intSet_insert (intSet_new (), x));
	15	}
	16
	17	/*
	18	** without returned:
	19	*/
	20
	21	extern intSet intSet_insert2 (intSet s, int x);
	22
	23	intSet intSet_singleton2 (int x)
	24	{
	25	return (intSet_insert2 (intSet_new (), x));
	26	}
	27
	28