From e5f012972d78cbef8c9110cea93ac43d177161f1 Mon Sep 17 00:00:00 2001 From: Fabrice Le Fessant Date: Fri, 13 Oct 2023 09:59:14 +0200 Subject: [PATCH] Add option --include FILE.h to add a #include in the generated C code This option has two side-effect: * the C file is compiled in the project directory (so that the included file can be found locally) * no prototype is generated, so the new header file must contain a prototype for all statically called functions --- cobc/ChangeLog | 8 +++++++ cobc/cobc.c | 16 +++++++++++++- cobc/cobc.h | 1 + cobc/codegen.c | 11 ++++++++++ cobc/help.c | 5 ++++- doc/gnucobol.texi | 10 +++++++++ tests/testsuite.src/used_binaries.at | 31 ++++++++++++++++++++++++++++ 7 files changed, 80 insertions(+), 2 deletions(-) diff --git a/cobc/ChangeLog b/cobc/ChangeLog index cc9c5c5bd..dccb4a81e 100644 --- a/cobc/ChangeLog +++ b/cobc/ChangeLog @@ -1,4 +1,12 @@ +2023-10-12 Fabrice Le Fessant + + * cobc.c, codegen.c: new option --include FILE, to #include + additional files in the C generated code. Such files can be + used to statically check the number of arguments in static + calls, for example. The files are put into quoted, unless + they start by '<' + 2023-10-11 Fabrice Le Fessant * cobc.c, pplex.l: new option --copy COPYBOOK, to include a COPYBOOK diff --git a/cobc/cobc.c b/cobc/cobc.c index a266dea7b..153062fd0 100644 --- a/cobc/cobc.c +++ b/cobc/cobc.c @@ -107,6 +107,7 @@ enum compile_level { #define CB_FLAG_GETOPT_DEFAULT_COLSEQ 15 #define CB_FLAG_GETOPT_MEMORY_CHECK 16 #define CB_FLAG_GETOPT_COPY_FILE 17 +#define CB_FLAG_GETOPT_INCLUDE_FILE 18 /* Info display limits */ @@ -234,6 +235,7 @@ const char *demangle_name = NULL; const char *cb_storage_file_name = NULL; const char *cb_call_extfh = NULL; struct cb_text_list *cb_copy_list = NULL; +struct cb_text_list *cb_include_file_list = NULL; struct cb_text_list *cb_include_list = NULL; struct cb_text_list *cb_depend_list = NULL; struct cb_text_list *cb_intrinsic_list = NULL; @@ -598,6 +600,7 @@ static const struct option long_options[] = { {"std", CB_RQ_ARG, NULL, '$'}, {"conf", CB_RQ_ARG, NULL, '&'}, {"copy", CB_RQ_ARG, NULL, CB_FLAG_GETOPT_COPY_FILE}, + {"include", CB_RQ_ARG, NULL, CB_FLAG_GETOPT_INCLUDE_FILE}, {"debug", CB_NO_ARG, NULL, 'd'}, {"ext", CB_RQ_ARG, NULL, 'e'}, /* note: kept *undocumented* until GC4, will be changed to '.' */ {"free", CB_NO_ARG, NULL, 'F'}, /* note: not assigned directly as this is only valid for */ @@ -3898,6 +3901,16 @@ process_command_line (const int argc, char **argv) break; } + case CB_FLAG_GETOPT_INCLUDE_FILE: /* 18 */ + /* -include= : add #include "file.h" to + generated C file */ + { + char *file = cobc_strdup (cob_optarg); + cb_flag_c_decl_for_static_call = 0; + CB_TEXT_LIST_ADD (cb_include_file_list, file); + break; + } + case 'A': /* -A : Add options to C compile phase */ COBC_ADD_STR (cobc_cflags, " ", cob_optarg, NULL); @@ -4445,7 +4458,8 @@ process_filename (const char *filename) fn->translate = cobc_main_strdup (output_name); } else if (save_all_src || save_temps || save_c_src - || cb_compile_level == CB_LEVEL_TRANSLATE) { + || cb_include_file_list + || cb_compile_level == CB_LEVEL_TRANSLATE) { fn->translate = cobc_main_stradd_dup (fbasename, ".c"); } else { fn->translate = cobc_main_malloc (COB_FILE_MAX); diff --git a/cobc/cobc.h b/cobc/cobc.h index 1e401993a..55a05aa91 100644 --- a/cobc/cobc.h +++ b/cobc/cobc.h @@ -474,6 +474,7 @@ extern FILE *cb_src_list_file; extern FILE *cb_depend_file; extern struct cb_text_list *cb_depend_list; extern struct cb_text_list *cb_copy_list; +extern struct cb_text_list *cb_include_file_list; extern struct cb_text_list *cb_include_list; extern struct cb_text_list *cb_intrinsic_list; extern struct cb_text_list *cb_extension_list; diff --git a/cobc/codegen.c b/cobc/codegen.c index f32391606..87e0a5f42 100644 --- a/cobc/codegen.c +++ b/cobc/codegen.c @@ -1833,6 +1833,17 @@ output_gnucobol_defines (const char *formatted_date) current_compile_tm.tm_sec; output_line ("#define COB_MODULE_TIME\t\t%d", i); + { + struct cb_text_list *l = cb_include_file_list ; + for (;l;l=l->next){ + if (l->text[0] == '<'){ + output_line ("#include %s", l->text); + } else { + output_line ("#include \"%s\"", l->text); + } + } + } + } /* CALL cache */ diff --git a/cobc/help.c b/cobc/help.c index 600db49da..3e95a2e19 100644 --- a/cobc/help.c +++ b/cobc/help.c @@ -116,8 +116,11 @@ cobc_print_usage_common_options (void) puts (_(" -X, --Xref specify cross reference in listing")); #endif puts (_(" -I add to copy/include search path")); - puts (_(" --copy include at beginning of file, as would COPY copybook.")); + puts (_(" --copy include at beginning of file,\n" + " as would COPY copybook.")); puts (_(" -L add to library search path")); + puts (_(" --include add a #include \"file.h\" at the beginning of the C\n" + " generated file (implies -fno-gen-c-decl-static-call)")); puts (_(" -l link the library ")); puts (_(" -K generate CALL to as static")); puts (_(" -D define for COBOL compilation")); diff --git a/doc/gnucobol.texi b/doc/gnucobol.texi index 3f535f341..c100d917a 100644 --- a/doc/gnucobol.texi +++ b/doc/gnucobol.texi @@ -371,6 +371,16 @@ another process. You can manually set an output file using @option{-o}. Include @file{copybook} at the beginning of the source code, as if @code{COPY copybook} had been parsed. +@item --include @var{file.h} +Add a @code{#include} @file{file.h} at the beginning of the generated +C source file. The file name is put into quotes, unless it starts by +@code{<}. The option also implies @option{-fno-gen-c-decl-static-call}. +This option can be used to check function prototypes when +static calls are used. When this option is used, the source file is +compiled in the project directory (instead of the temp directory), and +no prototypes are generated, so ALL static call functions must appear +in the header file, with GnuCOBOL compatible types. + @item -C Translation only. COBOL source files are translated into C files. The output is saved in file @file{*.c}. diff --git a/tests/testsuite.src/used_binaries.at b/tests/testsuite.src/used_binaries.at index 03e6549d1..d0c54e609 100644 --- a/tests/testsuite.src/used_binaries.at +++ b/tests/testsuite.src/used_binaries.at @@ -1002,3 +1002,34 @@ AT_CHECK([$COBC -fdiagnostics-plain-output -fdiagnostics-show-caret -Wno-others AT_CLEANUP + +AT_SETUP([check include header file]) +AT_KEYWORDS([-include]) + +AT_DATA([file.h], [ +extern void f(char *, long ); +]) + +AT_DATA([prog.cob], [ + IDENTIFICATION DIVISION. + PROGRAM-ID. prog. + PROCEDURE DIVISION. + CALL "f" USING "Hello". +]) + +# We ignore the error output, as it depends on the C compiler in use +AT_CHECK([$COBC -m --include file.h -fstatic-call prog.cob], [1], [], [ignore]) + +AT_DATA([prog2.cob], [ + IDENTIFICATION DIVISION. + PROGRAM-ID. prog. + DATA DIVISION. + WORKING-STORAGE SECTION. + 01 long USAGE BINARY-C-LONG. + PROCEDURE DIVISION. + CALL "f" USING "Hello" BY VALUE long RETURNING NOTHING. +]) + +AT_CHECK([$COBC -m --include file.h -fstatic-call prog2.cob], [0], [], []) + +AT_CLEANUP