/* See LICENSE file for copyright and license details. */
#include "common.h"
#ifndef TEST


int
(libnormalform_clause_sort_cmp__)(const void *a, const void *b)
{
	struct expression *const *ap = a, *const *bp = b;
	return libnormalform_clause_cmp__(*ap, *bp);
}


#else


#if defined(__GNUC__) /* TODO remove when testing is implemented in libnormalform_clause_sort_cmp__.c */
# pragma GCC diagnostic ignored "-Wunused-function"
# pragma GCC diagnostic ignored "-Wunused-macros"
#endif

#define libnormalform_clause_cmp__(...) cmptrampoline(__VA_ARGS__)

PURE static int
cmptrampoline(struct expression *a, struct expression *b)
{
	return libnormalform_clause_sort_cmp__(&a, &b);
}

#include "libnormalform_clause_cmp__.c"


#endif