Fails to build with gcc15/C23

[heirecka]

gcc version 15.1.0 (GCC)

Compiling mtgrammar.c...
mtgrammar.c: In function 'mtparse':
mtgrammar.c:63:15: error: too many arguments to function 'mtlex'; expected 0, have 1
   63 | #define yylex mtlex
      |               ^~~~~
mtgrammar.c:659:33: note: in expansion of macro 'yylex'
  659 | #   define YYLEX                yylex (&yylval)
      |                                 ^~~~~
mtgrammar.c:1017:16: note: in expansion of macro 'YYLEX'
 1017 |       yychar = YYLEX;
      |                ^~~~~
mtgrammar.c:135:12: note: declared here
  135 | extern int mtlex () ;
      |            ^~~~~
mtgrammar.c:139:37: error: too many arguments to function 'yyprint'; expected 0, have 3
  139 | # define YYPRINT(file, type, value) yyprint (file, type, value)
      |                                     ^~~~~~~
mtgrammar.c:1043:11: note: in expansion of macro 'YYPRINT'
 1043 |           YYPRINT (stderr, yychar, yylval);
      |           ^~~~~~~
mtgrammar.c:136:13: note: declared here
  136 | static void yyprint (/*FILE *p_file, int p_type, YYSTYPE p_value */);
      |             ^~~~~~~
mtgrammar.c: At top level:
mtgrammar.c:1669:13: error: conflicting types for 'yyprint'; have 'void(FILE *, int,  yystype)'
 1669 | static void yyprint (FILE *file, int type, YYSTYPE value)
      |             ^~~~~~~
mtgrammar.c:136:13: note: previous declaration of 'yyprint' with type 'void(void)'
  136 | static void yyprint (/*FILE *p_file, int p_type, YYSTYPE p_value */);
      |             ^~~~~~~
mtgrammar.c:136:13: warning: 'yyprint' used but never defined
make[3]: Leaving directory '/var/tmp/paludis/build/dev-util-splint-3.1.2/work/splint-3.1.2/src'
make[3]: *** [Makefile:1162: mtgrammar.o] Error 1
make[2]: *** [Makefile:1105: Headers/flag_codes.gen] Error 2
make[2]: Leaving directory '/var/tmp/paludis/build/dev-util-splint-3.1.2/work/splint-3.1.2/src'
make[1]: *** [Makefile:175: all-recursive] Error 1
make[1]: Leaving directory '/var/tmp/paludis/build/dev-util-splint-3.1.2/work/splint-3.1.2'
make: *** [Makefile:130: all] Error 2

[robohack]

Your output doesn't show the critical command line of the compiler invocation.

However I'm guessing it doesn't include a reasonable setting for the language standard level, such as -std=gnu99. Try again with that.

[heirecka]

However I'm guessing it doesn't include a reasonable setting for the language standard level, such as -std=gnu99. Try again with that.

Yes, I'm aware and hence I included the C23 bit in the title. But nothing in splint seems to set any -std=xx, so people will run into this, when using gcc 15, which defaults to C23.

[robohack]

Well then the answer is pretty obvious, no?

Make sure your compiler is told explicitly to compile C99 (or maybe GNU99).

The simplest might be just to set CC="gcc -std=c99" in the environment before you configure the project.

GCC is too aggressive with bumping the language level--don't give it the upper hand.

[robohack]

I do see the default src/Makefile.sys tries to add "-ansi" to CFLAGS iff CC is "gcc".

That is probably a little too naive these days.

Unfortunately Autoconf has no pre-existing macro to lock a compiler to a given level. (I.e. that's not what AC_PROG_CC_C99 tests for and does!)

Sadly C23 isn't backwards compatible, at least as GCC implements it by default.

[gruenich]

I agree with heirecka, splint should lock to C17 or some other working standard. It is not the user or the package maintainer to figure out which version to use.