+
+#ifdef __GNUC__
+#ifdef __CHECKER__
+void __assert_fail (const char *assertion, const char *file,
+ unsigned int line, const char *function)
+{
+ fprintf (stderr, "%s in file %s line %d func %s\n",
+ assertion, file, line, function);
+ abort ();
+}
+#endif
+#endif