qute

 1// SPDX-FileCopyrightText: 2026 Sören Tempel <soeren+git@soeren-tempel.net>
 2//
 3// SPDX-License-Identifier: GPL-3.0-only
 4
 5#include <stddef.h>
 6
 7extern void qute_exit(int);
 8extern void qute_make_symbolic(void *ptr, size_t nelem, size_t elsiz, const char *name);
 9
10#define assert(x) \
11	((void)((x) || (__assert_fail(),0)))
12
13_Noreturn void __assert_fail(void) {
14	__builtin_unreachable();
15}
16
17int main(void) {
18	int a;
19	qute_make_symbolic(&a, 1, sizeof(a), "a");
20
21	if (a <= 0)
22		qute_exit(0);
23	assert(a > 0);
24	return 0;
25}