#include <stdio.h>
#include "pre.h"
#include "state.h"

void
compiler_assert_impl(Compiler *cm, const char *pred_s)
{
	(void)cm;
	fprintf(stderr, "Bug check fail: `%s`\n", pred_s);
	fputs("This is a compiler bug, please report! (run with -v for bug reporting instructions)\n\n", stderr);
	fflush(stderr);
	debugtrap();
}