}
#endif
+#define TIMESTAMP_BUFFER_SIZE 26 /* including the null */
+void
+opr_AssertionFailed(char *file, int line)
+{
+ char tdate[TIMESTAMP_BUFFER_SIZE];
+ time_t when;
+ struct tm tm;
+
+ when = time(NULL);
+ strftime(tdate, sizeof(tdate), "%a %b %d %H:%M:%S %Y",
+ localtime_r(&when, &tm));
+ fprintf(stderr, "%s Assertion failed! file %s, line %d.\n", tdate, file,
+ line);
+ fflush(stderr);
+ opr_abort();
+}
+
+void
+opr_AssertFailU(const char *expr, const char *file, int line)
+{
+ fprintf(stderr, "Fatal Rx error: assertion failed: %s, "
+ "file: %s, line: %d\n",
+ expr, file, line);
+ fflush(stderr);
+ fflush(stdout);
+ opr_abort();
+}