12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788 |
- /* 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;
- }
|