On Thu, 15 Feb 2024 at 10:15, David Cantrell <[email protected]> wrote:
> On 2/14/24 13:32, Stephen Smoogen wrote: > > > > > > On Fri, 9 Feb 2024 at 17:17, Ian Laurie <[email protected] > > <mailto:[email protected]>> wrote: > > > > On 2/10/24 05:06, Stephen Smoogen wrote: > > > > > > I was trying out the splint program on some code and found that it > > > doesn't seem to work on any recent release due to changes in > various > > > header files > > I tried using splint many years ago in connection with embedded > > programming, and even though the GCC based embedded compiler I was > using > > was several major version numbers behind what was natively in > Fedora, I > > found splint to be hopelessly behind the times and utterly > unusable. I > > don't know why it is even packaged in Fedora. > > > > I wish I had the skills necessary to bring it up to date but I don't. > > > > > > Me too. I saw it is FTBFS in F40 and added my data > > to https://bugzilla.redhat.com/show_bug.cgi?id=2261709 > > <https://bugzilla.redhat.com/show_bug.cgi?id=2261709> > > I got it building and posted a PR: > https://src.fedoraproject.org/rpms/splint/pull-request/1 > > The upstream project went dormant in 2010, but there are some other > semi-active forks. I don't think that really matters. The program > itself could be useful for research and just as another tool in the > toolbox for development. > > Does it "work?" however. ``` [ssmoogen@toolbox phytool (fix_asprintf)]$ splint +posixlib phytool.c Splint 3.1.2 --- 22 Jul 2023 /usr/include/asm-generic/int-ll64.h:20:24: Parse Error: Suspect missing struct or union keyword: __signed__ : int. (For help on parse errors, see splint -help parseerrors.) *** Cannot continue. ``` Trying different flags, just got it to find even more 'parseerrors' on more and more layers of header files. I could not find any combination of flags which didn't result in the program not working with how our headers are done in post Fedora 38 (my oldest system). > -- > David Cantrell <[email protected]> > Red Hat, Inc. | Boston, MA | EST5EDT > -- > _______________________________________________ > devel mailing list -- [email protected] > To unsubscribe send an email to [email protected] > Fedora Code of Conduct: > https://docs.fedoraproject.org/en-US/project/code-of-conduct/ > List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines > List Archives: > https://lists.fedoraproject.org/archives/list/[email protected] > Do not reply to spam, report it: > https://pagure.io/fedora-infrastructure/new_issue > -- Stephen Smoogen, Red Hat Automotive Let us be kind to one another, for most of us are fighting a hard battle. -- Ian MacClaren
-- _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/[email protected] Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
