89 lines
1.2 KiB
C
89 lines
1.2 KiB
C
|
/* 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;
|
||
|
|
}
|