test-assert.rar_games_test assert

/* Test assert(). * * This is hairier than you'd think, involving games with * stdio and signals. * */ #include <signal.h> #include <stdlib.h> #include <stdio.h> #include <string.h> #include <setjmp.h> jmp_buf rec; char buf[160]; static void sigabrt (int unused) { longjmp (rec, 1); /* recover control */ } #undef NDEBUG #include <assert.h> static void assert1 (void) { assert (1 == 2); } static void assert2 (void) { assert (1 == 1); } #define NDEBUG #include <assert.h> static void assert3 (void) { assert (2 == 3); } int main (void) { volatile int failed = 1; fclose (stderr); stderr = tmpfile (); if(!stderr) abort (); signal (SIGABRT, sigabrt); if (!setjmp (rec)) assert1 (); else failed = 0; /* should happen */ if (!setjmp (rec)) assert2 (); else failed = 1; /* should not happen */ if (!setjmp (rec)) assert3 (); else failed = 1; /* should not happen */ rewind (stderr); fgets (buf, 160, stderr); if (!strstr (buf, "1 == 2")) failed = 1; fgets (buf, 160, stderr); if (strstr (buf, "1 == 1")) failed = 1; fgets (buf, 160, stderr); if (strstr (buf, "2 == 3")) failed = 1; return failed; }