decorate functions that do not return

This commit is contained in:
2024-08-27 11:52:25 +02:00
committed by Andrew Johnson
parent 131578124b
commit 43e75e3901
12 changed files with 34 additions and 11 deletions
+3 -3
View File
@@ -696,16 +696,16 @@ extern void dataend (void);
extern void flexerror (char[]) NORETURN;
/* report a fatal error message and terminate */
extern void flexfatal (char[]);
extern void flexfatal (char[]) NORETURN;
/* return current time */
extern char *flex_gettime();
/* report an error message formatted with one integer argument */
extern void lerrif (char[], int);
extern void lerrif (char[], int) NORETURN;
/* report an error message formatted with one string argument */
extern void lerrsf (char[], char[]);
extern void lerrsf (char[], char[]) NORETURN;
/* spit out a "# line" statement */
extern void line_directive_out (FILE*);