ACTION_RETURNED_PHASE_CODE_BEYOND_END_OF_SWITCH, // 100
};
-static inline void bug(enum bugtype num, const char *error_string) __attribute__((__noreturn__));
-static inline void bug(enum bugtype num, const char *error_string)
-{
- fprintf(stderr, "Fatal error %d, %s.\n", num, error_string);
- exit(EXIT_FAILURE);
-}
+/* Alas, declaring this static confuses the coverage analyzer */
+void bug(enum bugtype, const char *) __attribute__((__noreturn__));
#define BUG(x) bug(x, #x)
fprintf(header_file, "#endif\n");
}
+void bug(enum bugtype num, const char *error_string)
+{
+ fprintf(stderr, "Fatal error %d, %s.\n", num, error_string);
+ exit(EXIT_FAILURE);
+}
+
int main(void)
{
FILE* database = fopen("adventure.text", "r");
*t = (long) tv.tv_usec;
}
+void bug(enum bugtype num, const char *error_string)
+{
+ fprintf(stderr, "Fatal error %d, %s.\n", num, error_string);
+ exit(EXIT_FAILURE);
+}
+
/* end */