On Thu, 15 Feb 2024 at 10:15, David Cantrell <dcantrell@xxxxxxxxxx> wrote:
On 2/14/24 13:32, Stephen Smoogen wrote:
>
>
> On Fri, 9 Feb 2024 at 17:17, Ian Laurie <nixuser@xxxxxxxx
> <mailto:nixuser@xxxxxxxx>> 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.cSplint 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 <dcantrell@xxxxxxxxxx>
Red Hat, Inc. | Boston, MA | EST5EDT
--
_______________________________________________
devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
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@xxxxxxxxxxxxxxxxxxxxxxx
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@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
