1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
# 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));
}
|
