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
|
<A NAME="line0"></A><html><head>
<title>annotglobs.c</title>
</head><body>
<h3>annotglobs.c</h3>
<PRE>
<A NAME="line1"></A>int globnum;
<A NAME="line2"></A>
<A NAME="line3"></A>struct {
<A NAME="line4"></A> char *firstname;
<A NAME="line5"></A> char *lastname;
<A NAME="line6"></A> int id;
<A NAME="line7"></A>} globname;
<A NAME="line8"></A>
<A NAME="line9"></A>void
<A NAME="line10"></A>initialize (/*@only@*/ char *name)
<A NAME="line11"></A> /*@globals undef globnum,
<A NAME="line12"></A> undef globname @*/
<A NAME="line13"></A>{
<A NAME="line14"></A> globname.id = globnum;
<A NAME="line15"></A> globname.lastname = name;
<A NAME="line16"></A>}
<A NAME="line17"></A>
<A NAME="line18"></A>void finalize (void)
<A NAME="line19"></A> /*@globals killed globname@*/
<A NAME="line20"></A>{
<A NAME="line21"></A> free (globname.lastname);
<A NAME="line22"></A>}
</pre>
</body></html>
|