Description Lorenzo Salvadore 2024-09-03 12:57:59 UTC

Build fails with GCC 14. This blocks GCC_DEFAULT update to GCC 14.

gcc14  -O2 -pipe  -fstack-protector-strong -Wl,-rpath=/usr/local/lib/gcc14 -fno-strict-aliasing  -g -I. -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DREORDER -DTIMING -DVERSION="\"SMV 2.5.4.3. Mon Nov 19 10:01:26 2001.\"" -c grammar.c -o grammar.o
y.tab.c: In function 'yyparse':
y.tab.c:75:27: error: implicit declaration of function 'yyerror'; did you mean 'yyerrok'? [-Wimplicit-function-declaration]
y.tab.c:1432:5: note: in expansion of macro 'YYERROR_CALL'
y.tab.c:1496:9: error: implicit declaration of function 'memset' [-Wimplicit-function-declaration]
y.tab.c:1309:1: note: include '<string.h>' or provide a declaration of 'memset'
y.tab.c:1496:9: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch]
y.tab.c:1496:9: note: include '<string.h>' or provide a declaration of 'memset'
grammar.y:183:21: error: implicit declaration of function 'find_atom'; did you mean 'find_assoc'? [-Wimplicit-function-declaration]
  183 | neconstlist   : constant {$$ = cons(find_atom($1),NIL);}
      |                     ^~~~~~~~~

Full log: https://pkg-status.freebsd.org/gohan04/data/140amd64-default-foo/2024-08-29_19h57m48s/logs/errors/smv-2.5.4.3_11.log

Useful link: https://gcc.gnu.org/gcc-14/porting_to.html