splint failed to build from source in Fedora rawhide/f40 https://koji.fedoraproject.org/koji/taskinfo?taskID=112446731 For details on the mass rebuild see: https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild Please fix splint at your earliest convenience and set the bug's status to ASSIGNED when you start fixing it. If the bug remains in NEW state for 8 weeks, splint will be orphaned. Before branching of Fedora 41, splint will be retired, if it still fails to build. For more details on the FTBFS policy, please visit: https://docs.fedoraproject.org/en-US/fesco/Fails_to_build_from_source_Fails_to_install/
Created attachment 2013581 [details] build.log
Created attachment 2013582 [details] root.log file root.log too big, will only attach last 32768 bytes
Created attachment 2013583 [details] state.log
There seems to be a compiler bug within annobin. Compiling cpplib.c... cpplib.c: In function ‘do_defineAux’: cpplib.c:2907:16: warning: variable ‘hn’ set but not used [-Wunused-but-set-variable] 2907 | hashNode hn; | ^~ cpplib.c: In function ‘do_xifdef’: cpplib.c:5543:25: warning: increment of a boolean expression [-Wbool-operation] 5543 | pfile->no_macro_expand++; | ^~ cpplib.c:5545:25: warning: decrement of a boolean expression [-Wbool-operation] 5545 | pfile->no_macro_expand--; | ^~ *** WARNING *** there are active plugins, do not report this as a bug unless you can reproduce it without enabling any plugins. Event | Plugins PLUGIN_FINISH_UNIT | annobin: Generate final annotations PLUGIN_START_UNIT | annobin: Generate global annotations PLUGIN_ALL_PASSES_START | annobin: Generate per-function annotations PLUGIN_ALL_PASSES_END | annobin: Register per-function end symbols during RTL pass: ldp_fusion cpplib.c: In function ‘cpplib_createDefinition’: cpplib.c:2643:1: internal compiler error: in aarch64_pair_mem_from_base, at config/aarch64/aarch64.cc:8235 2643 | } | ^ Please submit a full bug report, with preprocessed source (by using -freport-bug). See <http://bugzilla.redhat.com/bugzilla> for instructions. The bug is not reproducible, so it is likely a hardware or OS problem.
As the other builds got cancelled it's not clear if annobin works otherwise.
Raphael, I am not sure the program is wanting to keep running in Fedora. I have not been able to get it working out of the box for various releases. Instead it will crash out saying it can't parse the glibc headers. I looked and the upstream is no longer fixing the project so it seems it might be good to retire.
I got it to build and run on F39 by doing an update of the autotools build files. It doesn't crash for me, but the CLI for splint is somewhat unusual and the output is a little less modern than other tools we have. Still, I think some people might find it useful in specific cases. I'll send a PR to the package in dist-git with my fixes.
https://src.fedoraproject.org/rpms/splint/pull-request/1
Older issue of upstream talks about autoconf failure.
Not reproducible in F42 but another issue in bug #2341375. cpplib.c: In function ‘cpplib_createDefinition’: cpplib.c:2643:1: internal compiler error: in aarch64_pair_mem_from_base, at config/aarch64/aarch64.cc:8235 2643 | } | ^ Please submit a full bug report, with preprocessed source (by using -freport-bug). See <http://bugzilla.redhat.com/bugzilla> for instructions. The bug is not reproducible, so it is likely a hardware or OS problem. make[3]: *** [Makefile:1162: cpplib.o] Error 1
This bug appears to have been reported against 'rawhide' during the Fedora Linux 42 development cycle. Changing version to 42.