On Thu, 15 Feb 2024 at 10:15, David Cantrell <dcantr...@redhat.com> wrote:

> On 2/14/24 13:32, Stephen Smoogen wrote:
> >
> >
> > On Fri, 9 Feb 2024 at 17:17, Ian Laurie <nixu...@mail.com
> > <mailto:nixu...@mail.com>> 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 <dcantr...@redhat.com>
> Red Hat, Inc. | Boston, MA | EST5EDT
> --
> _______________________________________________
> devel mailing list -- devel@lists.fedoraproject.org
> To unsubscribe send an email to devel-le...@lists.fedoraproject.org
> 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/devel@lists.fedoraproject.org
> 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 -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
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/devel@lists.fedoraproject.org
Do not reply to spam, report it: 
https://pagure.io/fedora-infrastructure/new_issue

Reply via email to