C++: It turns out __assert_fail is special (see DefaultOptions.qll) so we don't need a body here. And the body was wrong.

This commit is contained in:
Geoffrey White
2021-01-12 17:41:39 +00:00
parent fe4ae7e975
commit d2dd19a293

View File

@@ -2,7 +2,7 @@
#define NULL ((void*)0)
#define assert(x) if (!(x)) __assert_fail(#x,__FILE__,__LINE__)
void __assert_fail(const char *assertion, const char *file, int line) { }
void __assert_fail(const char *assertion, const char *file, int line);
void aFakeFailed_1(int file, int line)
{