test/alttypes.c

   1 # include "bool.h"
   2
   3 int /*@alt void@*/ f (void) ;
   4
   5 int f (void)
   6 {
   7   return 3;
   8 }
   9
  10 int g (void)
  11 {
  12   f ();
  13
  14   return 4;
  15 }
  16
  17 int /*@alt void@*/ f2 (void) ;
  18
  19 int /*@alt bool@*/ f2 (void)
  20 {
  21   return 3;
  22 }
  23
  24 extern int /*@alt char, bool@*/ x;
  25 int /*@alt char@*/ x;