assert/test-assert.c

   1 /* Test assert().
   2  *
   3  * This is hairier than you'd think, involving games with
   4  * stdio and signals.
   5  *
   6  */
   7
   8 #include <signal.h>
   9 #include <stdlib.h>
  10 #include <stdio.h>
  11 #include <string.h>
  12 #include <setjmp.h>
  13
  14 #include <support/xstdio.h>
  15
  16 jmp_buf rec;
  17 char buf[160];
  18
  19 static void
  20 sigabrt (int unused)
  21 {
  22   longjmp (rec, 1);  /* recover control */
  23 }
  24
  25 #undef NDEBUG
  26 #include <assert.h>
  27 static void
  28 assert1 (void)
  29 {
  30   assert (1 == 2);
  31 }
  32
  33 static void
  34 assert2 (void)
  35 {
  36   assert (1 == 1);
  37 }
  38
  39
  40 #define NDEBUG
  41 #include <assert.h>
  42 static void
  43 assert3 (void)
  44 {
  45   assert (2 == 3);
  46 }
  47
  48 int
  49 main (void)
  50 {
  51
  52   volatile int failed = 1;
  53
  54   fclose (stderr);
  55   stderr = tmpfile ();
  56   if(!stderr)
  57     abort ();
  58
  59   signal (SIGABRT, sigabrt);
  60
  61   if (!setjmp (rec))
  62     assert1 ();
  63   else
  64     failed = 0;  /* should happen */
  65
  66   if (!setjmp (rec))
  67     assert2 ();
  68   else
  69     failed = 1; /* should not happen */
  70
  71   if (!setjmp (rec))
  72     assert3 ();
  73   else
  74     failed = 1; /* should not happen */
  75
  76   rewind (stderr);
  77   xfgets (buf, 160, stderr);
  78   if (!strstr (buf, "1 == 2"))
  79     failed = 1;
  80
  81   xfgets (buf, 160, stderr);
  82   if (strstr (buf, "1 == 1"))
  83     failed = 1;
  84
  85   xfgets (buf, 160, stderr);
  86   if (strstr (buf, "2 == 3"))
  87     failed = 1;
  88
  89   return failed;
  90 }