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 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93
|
<A NAME="line0"></A><html><head>
<title>returned.c</title>
</head><body>
<h3>returned.c</h3>
<PRE>
<A NAME="line1"></A>#include "<A HREF="intSet.h.html">intSet.h</A>"
<A NAME="line2"></A>
<A NAME="line3"></A>extern intSet intSet_insert
<A NAME="line4"></A> (/*@returned@*/ intSet s, int x);
<A NAME="line5"></A>
<A NAME="line6"></A>/*
<A NAME="line7"></A>** with returned, no error is reported, since the same
<A NAME="line8"></A>** storage is returned from insert, and returned
<A NAME="line9"></A>** from intSet_singleton as an implicit only result.
<A NAME="line10"></A>*/
<A NAME="line11"></A>
<A NAME="line12"></A>intSet intSet_singleton (int x)
<A NAME="line13"></A>{
<A NAME="line14"></A> return (intSet_insert (intSet_new (), x));
<A NAME="line15"></A> }
<A NAME="line16"></A>
<A NAME="line17"></A>/*
<A NAME="line18"></A>** without returned:
<A NAME="line19"></A>*/
<A NAME="line20"></A>
<A NAME="line21"></A>extern intSet intSet_insert2 (intSet s, int x);
<A NAME="line22"></A>
<A NAME="line23"></A>intSet intSet_singleton2 (int x)
<A NAME="line24"></A>{
<A NAME="line25"></A> return (intSet_insert2 (intSet_new (), x));
<A NAME="line26"></A>}
</pre>
</body></html>
|