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: jmp_buf rec;
   15: char buf[160];
   16: 
   17: static void
   18: sigabrt (int unused)
   19: {
   20:   longjmp (rec, 1);  /* recover control */
   21: }
   22: 
   23: #undef NDEBUG
   24: #include <assert.h>
   25: static void
   26: assert1 (void)
   27: {
   28:   assert (1 == 2);
   29: }
   30: 
   31: static void
   32: assert2 (void)
   33: {
   34:   assert (1 == 1);
   35: }
   36: 
   37: 
   38: #define NDEBUG
   39: #include <assert.h>
   40: static void
   41: assert3 (void)
   42: {
   43:   assert (2 == 3);
   44: }
   45: 
   46: int
   47: main (void)
   48: {
   49: 
   50:   volatile int failed = 1;
   51: 
   52:   fclose (stderr);
   53:   stderr = tmpfile ();
   54:   if(!stderr)
   55:     abort ();
   56: 
   57:   signal (SIGABRT, sigabrt);
   58: 
   59:   if (!setjmp (rec))
   60:     assert1 ();
   61:   else
   62:     failed = 0;  /* should happen */
   63: 
   64:   if (!setjmp (rec))
   65:     assert2 ();
   66:   else
   67:     failed = 1; /* should not happen */
   68: 
   69:   if (!setjmp (rec))
   70:     assert3 ();
   71:   else
   72:     failed = 1; /* should not happen */
   73: 
   74:   rewind (stderr);
   75:   fgets (buf, 160, stderr);
   76:   if (!strstr (buf, "1 == 2"))
   77:     failed = 1;
   78: 
   79:   fgets (buf, 160, stderr);
   80:   if (strstr (buf, "1 == 1"))
   81:     failed = 1;
   82: 
   83:   fgets (buf, 160, stderr);
   84:   if (strstr (buf, "2 == 3"))
   85:     failed = 1;
   86: 
   87:   return failed;
   88: }