- /* Log the error */
- if (Code) {
- AbEnd ("%s%s (= %d), file `%s', line %u", Msg, Cond, Code, File, Line);
- } else {
- AbEnd ("%s%s, file `%s', line %u", Msg, Cond, File, Line);
- }
-}
-
-
-
-void Check (const char* Msg, const char* Cond, int Code,
- const char* File, unsigned Line)
-/* This function is called from all check macros (see below). It checks,
- * wether the given Code is true (!= 0). If so, it calls the CheckFailed
- * vector with the given strings. If not, it simply returns.
- */
-{
- if (Code != 0) {
- CheckFailed (Msg, Cond, Code, File, Line);
- }
+ /* Output a diagnostic and abort */
+ AbEnd ("%s%s, file `%s', line %u", Msg, Cond, File, Line);