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 
intSet_singleton(int x)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 
intSet_singleton2(int x)23 intSet intSet_singleton2 (int x)
24 {
25   return (intSet_insert2 (intSet_new (), x));
26 }
27 
28 
29