Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 550842

Summary: dev-util/splint with sys-libs/musl - osd.c: In function ‘osd_getPid’: osd.c:519:3: error: unknown type name ‘__pid_t’
Product: Gentoo Linux Reporter: Fredric Johansson <fredric.miscmail>
Component: [OLD] DevelopmentAssignee: Jeroen Roovers (RETIRED) <jer>
Status: RESOLVED FIXED    
Severity: normal CC: musl
Priority: Normal Keywords: PATCH
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Bug Depends on:    
Bug Blocks: 430702    
Attachments: Patch changing variable to pid_t

Description Fredric Johansson 2015-05-30 21:46:00 UTC
Created attachment 404340 [details, diff]
Patch changing variable to pid_t

Splint fails to compile against sys-libs/musl with:
x86_64-gentoo-linux-musl-gcc -DHAVE_CONFIG_H -I. -I..  -IHeaders   -O2 -pipe -fomit-frame-pointer -c `test -f osd.c || echo './'`osd.c
osd.c: In function ‘osd_getPid’:
osd.c:519:3: error: unknown type name ‘__pid_t’
   __pid_t pid = getpid ();

Issue is fixed upstream but not included in a release, patch is attached
Comment 1 Anthony Basile gentoo-dev 2015-05-31 14:31:32 UTC
I'm not sure how slow these releases are.  I'd rather not add this to the overlay because its done upstream.  @jer okay to backport or shoudl we wait?
Comment 2 Fredric Johansson 2015-05-31 21:25:45 UTC
Based on that 3.1.0 was released in April 2003, 3.1.2 in July 2007 and the issue was fixed in August 2008, I wouldn't expect any release soon
Comment 3 Anthony Basile gentoo-dev 2015-06-10 11:54:59 UTC
@jer, can we add this patch to the tree?  I tested on glibc.  No problems.
Comment 4 Jeroen Roovers (RETIRED) gentoo-dev 2015-06-11 04:21:51 UTC
Fixed in -r2.