test/manual/returned.c

   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