oweals/musl.git
11 years agoalign stack properly for calling global ctors/dtors on x86[_64]
Rich Felker [Mon, 3 Jun 2013 21:32:42 +0000 (17:32 -0400)]
align stack properly for calling global ctors/dtors on x86[_64]

failure to do so was causing crashes on x86_64 when ctors used SSE,
which was first observed when ctors called variadic functions due to
the SSE prologue code inserted into every variadic function.

11 years agoensure that thread dtv pointer is never null to optimize __tls_get_addr
Rich Felker [Mon, 3 Jun 2013 20:35:59 +0000 (16:35 -0400)]
ensure that thread dtv pointer is never null to optimize __tls_get_addr

11 years agoMerge remote-tracking branch 'nsz/review'
Rich Felker [Sun, 26 May 2013 22:22:12 +0000 (18:22 -0400)]
Merge remote-tracking branch 'nsz/review'

11 years agofix the prototype of settimeofday to follow the original BSD declaration
Szabolcs Nagy [Sun, 26 May 2013 16:01:38 +0000 (16:01 +0000)]
fix the prototype of settimeofday to follow the original BSD declaration

11 years agofix ioctl _IOR, _IOW, etc macros to avoid signed overflow (2<<30)
Szabolcs Nagy [Sun, 26 May 2013 15:49:08 +0000 (15:49 +0000)]
fix ioctl _IOR, _IOW, etc macros to avoid signed overflow (2<<30)

11 years agoon x86_64 use long instead of long long for 64bit posix types
Szabolcs Nagy [Sun, 26 May 2013 15:43:17 +0000 (15:43 +0000)]
on x86_64 use long instead of long long for 64bit posix types

following glibc use the lowest rank 64bit integer type for ino_t etc.
this is eg. useful for printf format compatibility

11 years agochange underlying type of clock_t to be uniform and match ABI
Rich Felker [Fri, 24 May 2013 00:38:51 +0000 (20:38 -0400)]
change underlying type of clock_t to be uniform and match ABI

previously we were using an unsigned type on 32-bit systems so that
subtraction would be well-defined when it wrapped, but since wrapping
is non-conforming anyway (when clock() overflows, it has to return -1)
the only use of unsigned would be to buy a little bit more time before
overflow. this does not seem worth having the type vary per-arch
(which leads to more arch-specific bugs) or disagree with the ABI musl
(mostly) follows.

11 years agofix overflow behavior of clock() function
Rich Felker [Thu, 23 May 2013 18:31:02 +0000 (14:31 -0400)]
fix overflow behavior of clock() function

per Austin Group interpretation for issue #686, which cites the
requirements of ISO C, clock() cannot wrap. if the result is not
representable, it must return (clock_t)-1. in addition, the old code
was performing wrapping via signed overflow and thus invoking
undefined behavior.

since it seems impossible to accurately check for overflow with the
old times()-based fallback code, I have simply dropped the fallback
code for now, thus always returning -1 on ancient systems. if there's
a demand for making it work and somebody comes up with a way, it could
be reinstated, but the clock() function is essentially useless on
32-bit system anyway (it overflows in less than an hour).

it should be noted that I used LONG_MAX rather than ULONG_MAX, despite
32-bit archs using an unsigned type for clock_t. this discrepency with
the glibc/LSB type definitions will be fixed now; since wrapping of
clock_t is no longer supported, there's no use in it being unsigned.

11 years agomath: add fma TODO comments about the underflow issue
Szabolcs Nagy [Sun, 19 May 2013 14:43:32 +0000 (14:43 +0000)]
math: add fma TODO comments about the underflow issue

The underflow exception is not raised correctly in some
cornercases (see previous fma commit), added comments
with examples for fmaf, fmal and non-x86 fma.

In fmaf store the result before returning so it has the
correct precision when FLT_EVAL_METHOD!=0

11 years agomath: fix two fma issues (only affects non-nearest rounding mode, x86)
Szabolcs Nagy [Sun, 19 May 2013 12:13:08 +0000 (12:13 +0000)]
math: fix two fma issues (only affects non-nearest rounding mode, x86)

1) in downward rounding fma(1,1,-1) should be -0 but it was 0 with
gcc, the code was correct but gcc does not support FENV_ACCESS ON
so it used common subexpression elimination where it shouldn't have.
now volatile memory access is used as a barrier after fesetround.

2) in directed rounding modes there is no double rounding issue
so the complicated adjustments done for nearest rounding mode are
not needed. the only exception to this rule is raising the underflow
flag: assume "small" is an exactly representible subnormal value in
double precision and "verysmall" is a much smaller value so that
(long double)(small plus verysmall) == small
then
(double)(small plus verysmall)
raises underflow because the result is an inexact subnormal, but
(double)(long double)(small plus verysmall)
does not because small is not a subnormal in long double precision
and it is exact in double precision.
now this problem is fixed by checking inexact using fenv when the
result is subnormal

11 years agoMerge remote-tracking branch 'nsz/review'
Rich Felker [Sat, 18 May 2013 16:06:42 +0000 (12:06 -0400)]
Merge remote-tracking branch 'nsz/review'

11 years agomath: sin cos cleanup
Szabolcs Nagy [Sat, 18 May 2013 14:40:22 +0000 (14:40 +0000)]
math: sin cos cleanup

* use unsigned arithmetics
* use unsigned to store arg reduction quotient (so n&3 is understood)
* remove z=0.0 variables, use literal 0
* raise underflow and inexact exceptions properly when x is small
* fix spurious underflow in tanl

11 years agomake err.h functions print __progname
Rich Felker [Sat, 18 May 2013 14:20:42 +0000 (10:20 -0400)]
make err.h functions print __progname

patch by Strake. previously is was not feasible to duplicate this
functionality of the functions these were modeled on, since argv[0]
was not saved at program startup, but now that it's available it's
easy to use.

11 years agomath: tan cleanups
Szabolcs Nagy [Sat, 18 May 2013 12:34:00 +0000 (12:34 +0000)]
math: tan cleanups

* use unsigned arithmetics on the representation
* store arg reduction quotient in unsigned (so n%2 would work like n&1)
* use different convention to pass the arg reduction bit to __tan
  (this argument used to be 1 for even and -1 for odd reduction
  which meant obscure bithacks, the new n&1 is cleaner)
* raise inexact and underflow flags correctly for small x
  (tanl(x) may still raise spurious underflow for small but normal x)
  (this exception raising code increases codesize a bit, similar fixes
  are needed in many other places, it may worth investigating at some
  point if the inexact and underflow flags are worth raising correctly
  as this is not strictly required by the standard)
* tanf manual reduction optimization is kept for now
* tanl code path is cleaned up to follow similar logic to tan and tanf

11 years agoadd FLT_TRUE_MIN, etc. macros from C11
Rich Felker [Fri, 17 May 2013 22:38:42 +0000 (18:38 -0400)]
add FLT_TRUE_MIN, etc. macros from C11

there was some question as to how many decimal places to use, since
one decimal place is always sufficient to identify the smallest
denormal uniquely. for now, I'm following the example in the C
standard which is consistent with the other min/max macros we already
had in place.

11 years agoremove the __STDC_FORMAT_MACROS nonsense from inttypes.h
Rich Felker [Fri, 17 May 2013 18:23:41 +0000 (14:23 -0400)]
remove the __STDC_FORMAT_MACROS nonsense from inttypes.h

somehow I missed this when removing the corresponding
__STDC_LIMIT_MACROS and __STDC_CONSTANT_MACROS nonsense from stdint.h.
these were all attempts by the C committee to guess what the C++
committee would want, and the guesses turned out to be wrong.

11 years agofix mknod and mknodat to accept large dev_t values
Rich Felker [Thu, 16 May 2013 20:27:37 +0000 (16:27 -0400)]
fix mknod and mknodat to accept large dev_t values

support for these was recently added to sysmacros.h. note that the
syscall argument is a long, despite dev_t being 64-bit, so on 32-bit
archs the high bits will be lost. it appears the high bits are just
glibc silliness and not part of the kernel api, anyway, but it's nice
that we have them there for future expansion if needed.

11 years agomath: use double_t for temporaries to avoid stores on i386
Szabolcs Nagy [Wed, 15 May 2013 23:08:52 +0000 (23:08 +0000)]
math: use double_t for temporaries to avoid stores on i386

When FLT_EVAL_METHOD!=0 (only i386 with x87 fp) the excess
precision of an expression must be removed in an assignment.
(gcc needs -fexcess-precision=standard or -std=c99 for this)

This is done by extra load/store instructions which adds code
bloat when lot of temporaries are used and it makes the result
less precise in many cases.
Using double_t and float_t avoids these issues on i386 and
it makes no difference on other archs.

For now only a few functions are modified where the excess
precision is clearly beneficial (mostly polynomial evaluations
with temporaries).

object size differences on i386, gcc-4.8:
             old   new
__cosdf.o    123    95
__cos.o      199   169
__sindf.o    131    95
__sin.o      225   203
__tandf.o    207   151
__tan.o      605   499
erff.o      1470  1416
erf.o       1703  1649
j0f.o       1779  1745
j0.o        2308  2274
j1f.o       1602  1568
j1.o        2286  2252
tgamma.o    1431  1424
math/*.o   64164 63635

11 years agosupport full range of dev_t major/minor numbers in makedev, etc. macros
Rich Felker [Wed, 15 May 2013 20:15:50 +0000 (16:15 -0400)]
support full range of dev_t major/minor numbers in makedev, etc. macros

11 years agoremove compound literals from math.h to please c++
Szabolcs Nagy [Mon, 6 May 2013 17:52:48 +0000 (17:52 +0000)]
remove compound literals from math.h to please c++

__FLOAT_BITS and __DOUBLE_BITS macros used union compound literals,
now they are changed into static inline functions. A good C compiler
generates the same code for both and the later is C++ conformant.

11 years agofix incorrect clock tick scaling in fallback case of clock()
Rich Felker [Sun, 5 May 2013 18:51:25 +0000 (14:51 -0400)]
fix incorrect clock tick scaling in fallback case of clock()

since CLOCKS_PER_SEC is 1000000 (required by XSI) and the times
syscall reports values in 1/100 second units (Linux), the correct
scaling factor is 10000, not 100. note that only ancient kernels which
lack clock_gettime are affected.

11 years agodo not interpret errors in return value of times() syscall
Rich Felker [Sun, 5 May 2013 18:19:37 +0000 (14:19 -0400)]
do not interpret errors in return value of times() syscall

all return values are valid, and on 32-bit systems, values that look
like errors can and will occur. since the only actual error this
function could return is EFAULT, and it is only returnable when the
application has invoked undefined behavior, simply ignore the
possibility that the return value is actually an error code.

11 years agotransition to using functions for internal signal blocking/restoring
Rich Felker [Fri, 26 Apr 2013 23:48:01 +0000 (19:48 -0400)]
transition to using functions for internal signal blocking/restoring

there are several reasons for this change. one is getting rid of the
repetition of the syscall signature all over the place. another is
sharing the constant masks without costly GOT accesses in PIC.

the main motivation, however, is accurately representing whether we
want to block signals that might be handled by the application, or all
signals.

11 years agooptimize/debloat raise
Rich Felker [Fri, 26 Apr 2013 23:02:23 +0000 (19:02 -0400)]
optimize/debloat raise

use __syscall rather than syscall when failure is not possible or not
to be considered.

11 years agoprevent code from running under a thread id which already gave ESRCH
Rich Felker [Fri, 26 Apr 2013 21:51:22 +0000 (17:51 -0400)]
prevent code from running under a thread id which already gave ESRCH

11 years agosynccall signal handler need not handle dead threads anymore
Rich Felker [Fri, 26 Apr 2013 21:46:58 +0000 (17:46 -0400)]
synccall signal handler need not handle dead threads anymore

they have already blocked signals before decrementing the thread
count, so the code being removed is unreachable in the case where the
thread is no longer counted.

11 years agofix clobbering of signal mask when creating thread with sched attributes
Rich Felker [Fri, 26 Apr 2013 21:30:32 +0000 (17:30 -0400)]
fix clobbering of signal mask when creating thread with sched attributes

this was simply a case of saving the state in the wrong place.

11 years agomake last thread's pthread_exit give exit(0) a consistent state
Rich Felker [Fri, 26 Apr 2013 20:16:04 +0000 (16:16 -0400)]
make last thread's pthread_exit give exit(0) a consistent state

the previous few commits ended up leaving the thread count and signal
mask wrong for atexit handlers and stdio cleanup.

11 years agouse atomic decrement rather than cas in pthread_exit thread count
Rich Felker [Fri, 26 Apr 2013 20:05:39 +0000 (16:05 -0400)]
use atomic decrement rather than cas in pthread_exit thread count

now that blocking signals prevents any application code from running
while the last thread is exiting, the cas logic is no longer needed to
prevent decrementing below zero.

11 years agoadd comments on some of the pthread_exit logic
Rich Felker [Fri, 26 Apr 2013 20:04:30 +0000 (16:04 -0400)]
add comments on some of the pthread_exit logic

11 years agoalways block signals in pthread_exit before decrementing thread count
Rich Felker [Fri, 26 Apr 2013 19:47:44 +0000 (15:47 -0400)]
always block signals in pthread_exit before decrementing thread count

the thread count (1+libc.threads_minus_1) must always be greater than
or equal to the number of threads which could have application code
running, even in an async-signal-safe sense. there is at least one
dangerous race condition if this invariant fails to hold: dlopen could
allocate too little TLS for existing threads, and a signal handler
running in the exiting thread could claim the allocated TLS for itself
(via __tls_get_addr), leaving too little for the other threads it was
allocated for and thereby causing out-of-bounds access.

there may be other situations where it's dangerous for the thread
count to be too low, particularly in the case where only one thread
should be left, in which case locking may be omitted. however, all
such code paths seem to arise from undefined behavior, since
async-signal-unsafe functions are not permitted to be called from a
signal handler that interrupts pthread_exit (which is itself
async-signal-unsafe).

this change may also simplify logic in __synccall and improve the
chances of making __synccall async-signal-safe.

11 years agoremove explicit locking to prevent __synccall setuid during posix_spawn
Rich Felker [Fri, 26 Apr 2013 19:09:49 +0000 (15:09 -0400)]
remove explicit locking to prevent __synccall setuid during posix_spawn

for the duration of the vm-sharing clone used by posix_spawn, all
signals are blocked in the parent process, including
implementation-internal signals. since __synccall cannot do anything
until successfully signaling all threads, the fact that signals are
blocked automatically yields the necessary safety.

aside from debloating and general simplification, part of the
motivation for removing the explicit lock is to simplify the
synchronization logic of __synccall in hopes that it can be made
async-signal-safe, which is needed to make setuid and setgid, which
depend on __synccall, conform to the standard. whether this will be
possible remains to be seen.

11 years agoremove __STDC_LIMIT_MACROS and __STDC_CONSTANT_MACROS checks in stdint.h
Rich Felker [Tue, 23 Apr 2013 00:47:34 +0000 (20:47 -0400)]
remove __STDC_LIMIT_MACROS and __STDC_CONSTANT_MACROS checks in stdint.h

C++11, the first C++ with stdint.h, requires the previously protected
macros to be exposed unconditionally by stdint.h. apparently these
checks were an early attempt by the C committee to guess what the C++
committee would want, and they guessed wrong.

11 years agofix reversed argument order x86_64 sigsetjmp's call to sigprocmask
Rich Felker [Mon, 22 Apr 2013 14:17:56 +0000 (10:17 -0400)]
fix reversed argument order x86_64 sigsetjmp's call to sigprocmask

this caused sigsetjmp not to save the signal mask but instead to
clobber it with whatever happened to be in the sigjmb_buf prior to the
call.

11 years agocomment potentially-confusing use of struct crypt_data type
Rich Felker [Sat, 20 Apr 2013 18:07:01 +0000 (14:07 -0400)]
comment potentially-confusing use of struct crypt_data type

11 years agomention bits headers in another part of copyright file
Rich Felker [Sat, 20 Apr 2013 18:03:12 +0000 (14:03 -0400)]
mention bits headers in another part of copyright file

11 years agoupdate copyright year
Rich Felker [Sat, 20 Apr 2013 18:02:55 +0000 (14:02 -0400)]
update copyright year

11 years agoclarify that bits headers are included as public headers
Rich Felker [Sat, 20 Apr 2013 18:01:33 +0000 (14:01 -0400)]
clarify that bits headers are included as public headers

11 years agomake dynamic linker accept : or \n as path separator
Rich Felker [Sat, 20 Apr 2013 15:51:58 +0000 (11:51 -0400)]
make dynamic linker accept : or \n as path separator

this allows /etc/ld-musl-$(ARCH).path to contain one path per line,
which is much more convenient for users than the :-delimited format,
which was a source of repeated and unnecessary confusion. for
simplicity, \n is also accepted in environment variables, though it
should probably not be used there.

at the same time, issues with overly long paths invoking UB or getting
truncated have been fixed. such issues should not have arisen with the
environment (which is size-limited) but could have been generated by a
path file larger than 2**31 bytes in length.

11 years agorelease notes for 0.9.10 v0.9.10
Rich Felker [Sun, 14 Apr 2013 05:51:00 +0000 (01:51 -0400)]
release notes for 0.9.10

11 years agomake ifaddrs.h expose sys/socket.h
Rich Felker [Thu, 11 Apr 2013 02:38:46 +0000 (22:38 -0400)]
make ifaddrs.h expose sys/socket.h

the getifaddrs interface seems to have been invented by glibc, and
they expose socket.h, so for us not to do so is just gratuitous
incompatibility with the interface we're mimicing.

11 years agogetifaddrs: implement proper ipv6 netmasks
rofl0r [Tue, 9 Apr 2013 09:00:52 +0000 (11:00 +0200)]
getifaddrs: implement proper ipv6 netmasks

11 years agombrtowc: do not leave mbstate_t in permanent-fail state after EILSEQ
Rich Felker [Tue, 9 Apr 2013 03:09:11 +0000 (23:09 -0400)]
mbrtowc: do not leave mbstate_t in permanent-fail state after EILSEQ

the standard is clear that the old behavior is conforming: "In this
case, [EILSEQ] shall be stored in errno and the conversion state is
undefined."

however, the specification of mbrtowc has one peculiarity when the
source argument is a null pointer: in this case, it's required to
behave as mbrtowc(NULL, "", 1, ps). no motivation is provided for this
requirement, but the natural one that comes to mind is that the intent
is to reset the mbstate_t object. for stateful encodings, such
behavior is actually specified: "If the corresponding wide character
is the null wide character, the resulting state described shall be the
initial conversion state." but in the case of UTF-8 where the
mbstate_t object contains a partially-decoded character rather than a
shift state, a subsequent '\0' byte indicates that the previous
partial character is incomplete and thus an illegal sequence.

naturally, applications using their own mbstate_t object should clear
it themselves after an error, but the standard presently provides no
way to clear the builtin mbstate_t object used when the ps argument is
a null pointer. I suspect this issue may be addressed in the future by
specifying that a null source argument resets the state, as this seems
to have been the intent all along.

for what it's worth, this change also slightly reduces code size.

11 years agoimplement mbtowc directly, not as a wrapper for mbrtowc
Rich Felker [Tue, 9 Apr 2013 03:01:32 +0000 (23:01 -0400)]
implement mbtowc directly, not as a wrapper for mbrtowc

the interface contract for mbtowc admits a much faster implementation
than mbrtowc can achieve; wrapping mbrtowc with an extra call frame
only made the situation worse.

since the regex implementation uses mbtowc already, this change should
improve regex performance too. it may be possible to improve
performance in other places internally by switching from mbrtowc to
mbtowc.

11 years agooptimize mbrtowc
Rich Felker [Tue, 9 Apr 2013 02:49:59 +0000 (22:49 -0400)]
optimize mbrtowc

this simple change, in my measurements, makes about a 7% performance
improvement. at first glance this change would seem like a
compiler-specific hack, since the modified code is not even used.
however, I suspect the reason is that I'm eliminating a second path
into the main body of the code, allowing the compiler more flexibility
to optimize the normal (hot) path into the main body. so even if it
weren't for the measurable (and quite notable) difference in
performance, I think the change makes sense.

11 years agofix out-of-bounds access in UTF-8 decoding
Rich Felker [Tue, 9 Apr 2013 02:29:46 +0000 (22:29 -0400)]
fix out-of-bounds access in UTF-8 decoding

SA and SB are used as the lowest and highest valid starter bytes, but
the value of SB was one-past the last valid starter. this caused
access past the end of the state table when the illegal byte '\xf5'
was encountered in a starter position. the error did not show up in
full-character decoding tests, since the bogus state read from just
past the table was unlikely to admit any continuation bytes as valid,
but would have shown up had we tested feeding '\xf5' to the
byte-at-a-time decoding in mbrtowc: it would cause the funtion to
wrongly return -2 rather than -1.

I may eventually go back and remove all references to SA and SB,
replacing them with the values; this would make the code more
transparent, I think. the original motivation for using macros was to
allow misguided users of the code to redefine them for the purpose of
enlarging the set of accepted sequences past the end of Unicode...

11 years agofix signalfd not to ignore flags
Rich Felker [Mon, 8 Apr 2013 03:19:00 +0000 (23:19 -0400)]
fix signalfd not to ignore flags

also include fallback code for broken kernels that don't support the
flags. as usual, the fallback has a race condition that can leak file
descriptors.

11 years agosilence nonsensical warnings in timer_create
Rich Felker [Sat, 6 Apr 2013 22:32:11 +0000 (18:32 -0400)]
silence nonsensical warnings in timer_create

11 years agoadd support for program_invocation[_short]_name
Rich Felker [Sat, 6 Apr 2013 21:50:37 +0000 (17:50 -0400)]
add support for program_invocation[_short]_name

this is a bit ugly, and the motivation for supporting it is
questionable. however the main factors were:
1. it will be useful to have this for certain internal purposes
anyway -- things like syslog.
2. applications can just save argv[0] in main, but it's hard to fix
non-portable library code that's depending on being able to get the
invocation name without the main application's help.

11 years agofix argument omission in ABI-compat weak_alias for fscanf
Rich Felker [Sat, 6 Apr 2013 21:15:58 +0000 (17:15 -0400)]
fix argument omission in ABI-compat weak_alias for fscanf

11 years agoAdd ABI compatability aliases.
Isaac Dunham [Sat, 6 Apr 2013 06:20:28 +0000 (23:20 -0700)]
Add ABI compatability aliases.

GNU used several extensions that were incompatible with C99 and POSIX,
so they used alternate names for the standard functions.

The result is that we need these to run standards-conformant programs
that were linked with glibc.

11 years agofix type error in pthread_create, introduced with pthread_getattr_np
Rich Felker [Sat, 6 Apr 2013 05:15:08 +0000 (01:15 -0400)]
fix type error in pthread_create, introduced with pthread_getattr_np

11 years agogetifaddrs: remove unused label
rofl0r [Fri, 5 Apr 2013 22:04:52 +0000 (00:04 +0200)]
getifaddrs: remove unused label

11 years agogetifaddrs: use if_nameindex to enumerate interfaces
rofl0r [Fri, 5 Apr 2013 20:47:30 +0000 (22:47 +0200)]
getifaddrs: use if_nameindex to enumerate interfaces

11 years agogetifaddrs: one less indent level
rofl0r [Fri, 5 Apr 2013 20:08:03 +0000 (22:08 +0200)]
getifaddrs: one less indent level

11 years agogetifaddrs: less malloc
rofl0r [Fri, 5 Apr 2013 20:06:35 +0000 (22:06 +0200)]
getifaddrs: less malloc

11 years agoinclude/ifaddrs.h: add prototypes for get/freeifaddrs
rofl0r [Fri, 5 Apr 2013 17:59:40 +0000 (19:59 +0200)]
include/ifaddrs.h: add prototypes for get/freeifaddrs

11 years agoadd getifaddrs
rofl0r [Fri, 5 Apr 2013 17:26:51 +0000 (19:26 +0200)]
add getifaddrs

supports ipv4 and ipv6, but not the "extended" usage where
usage statistics and other info are assigned to ifa_data members
of duplicate entries with AF_PACKET family.

11 years agonet/if.h: add some missing IFF_ constants
rofl0r [Fri, 5 Apr 2013 16:57:06 +0000 (18:57 +0200)]
net/if.h: add some missing IFF_ constants

11 years agoadd prototype for dn_skipname
Rich Felker [Fri, 5 Apr 2013 02:36:49 +0000 (22:36 -0400)]
add prototype for dn_skipname

11 years agoimplement dn_skipname (legacy resolver function)
Rich Felker [Fri, 5 Apr 2013 02:36:30 +0000 (22:36 -0400)]
implement dn_skipname (legacy resolver function)

11 years agoadd arpa/tftp.h
rofl0r [Fri, 5 Apr 2013 00:32:51 +0000 (02:32 +0200)]
add arpa/tftp.h

11 years agofix type issues in stdint.h so underlying types of 64-bit types match ABI
Rich Felker [Fri, 5 Apr 2013 00:09:50 +0000 (20:09 -0400)]
fix type issues in stdint.h so underlying types of 64-bit types match ABI

11 years agoeliminate bits/wchar.h
Rich Felker [Thu, 4 Apr 2013 23:57:23 +0000 (19:57 -0400)]
eliminate bits/wchar.h

the preprocessor can reliably determine the signedness of wchar_t.
L'\0' is used for 0 in the expressions so that, if the underlying type
of wchar_t is long rather than int, the promoted type of the
expression will match the type of wchar_t.

11 years agoeliminate gcc dependency for testing char signedness in limits.h
Rich Felker [Thu, 4 Apr 2013 23:50:55 +0000 (19:50 -0400)]
eliminate gcc dependency for testing char signedness in limits.h

11 years agoadd put*ent functions for passwd/group files and similar for shadow
Rich Felker [Thu, 4 Apr 2013 23:23:47 +0000 (19:23 -0400)]
add put*ent functions for passwd/group files and similar for shadow

since shadow does not yet support enumeration (getspent), the
corresponding FILE-based get and put versions are also subbed out for
now. this is partly out of laziness and partly because it's not clear
how they should work in the presence of TCB shadow files. the stubs
should make it possible to compile some software that expects them to
exist, but such software still may not work properly.

11 years agocleanup wcstombs
Rich Felker [Thu, 4 Apr 2013 18:55:42 +0000 (14:55 -0400)]
cleanup wcstombs

remove redundant headers and comments; this file is completely trivial
now. also, avoid temp var.

11 years agocleanup mbstowcs wrapper
Rich Felker [Thu, 4 Apr 2013 18:53:53 +0000 (14:53 -0400)]
cleanup mbstowcs wrapper

remove unneeded headers. this file is utterly trivial now and there's
no sense in having a comment to state that it's in the public domain.

11 years agominor optimization to mbstowcs
Rich Felker [Thu, 4 Apr 2013 18:51:05 +0000 (14:51 -0400)]
minor optimization to mbstowcs

there is no need to zero-fill an mbstate_t object in the caller;
mbsrtowcs will automatically treat a null pointer as the initial
state.

11 years agofix incorrect range checks in wcsrtombs
Rich Felker [Thu, 4 Apr 2013 18:48:48 +0000 (14:48 -0400)]
fix incorrect range checks in wcsrtombs

negative values of wchar_t need to be treated in the non-ASCII case so
that they can properly generate EILSEQ rather than getting truncated
to 8bit values and stored in the output.

11 years agooverhaul mbsrtowcs
Rich Felker [Thu, 4 Apr 2013 18:42:35 +0000 (14:42 -0400)]
overhaul mbsrtowcs

these changes fix at least two bugs:
- misaligned access to the input as uint32_t for vectorized ASCII test
- incorrect src pointer after stopping on EILSEQ

in addition, the text of the standard makes it unclear whether the
mbstate_t object is to be modified when the destination pointer is
null; previously it was cleared either way; now, it's only cleared
when the destination is non-null. this change may need revisiting, but
it should not affect most applications, since calling mbsrtowcs with
non-zero state can only happen when the head of the string was already
processed with mbrtowc.

finally, these changes shave about 20% size off the function and seem
to improve performance by 1-5%.

11 years agore-add useconds_t
rofl0r [Tue, 2 Apr 2013 02:38:23 +0000 (04:38 +0200)]
re-add useconds_t

this type was removed back in 5243e5f1606a9c6fcf01414e ,
because it was removed from the XSI specs.
however some apps use it.
since it's in the POSIX reserved namespace, we can expose it
unconditionally.

11 years agoadd arpa/nameser_compat.h
rofl0r [Tue, 2 Apr 2013 00:51:40 +0000 (02:51 +0200)]
add arpa/nameser_compat.h

the contents of this header are already in arpa/nameser.h

11 years agomake tm_zone etc visible under _GNU_SOURCE
rofl0r [Tue, 2 Apr 2013 00:48:39 +0000 (02:48 +0200)]
make tm_zone etc visible under _GNU_SOURCE

11 years ago__time_to_tm: initialize tm_zone and tm_gmtoff
rofl0r [Tue, 2 Apr 2013 00:47:07 +0000 (02:47 +0200)]
__time_to_tm: initialize tm_zone and tm_gmtoff

11 years agoadd syscall numbers for the new kcmp and finit_module syscalls
Szabolcs Nagy [Mon, 1 Apr 2013 18:02:32 +0000 (18:02 +0000)]
add syscall numbers for the new kcmp and finit_module syscalls
and remove syscall todos from microblaze

11 years agoadd the new SO_REUSEPORT socket option to mips and powerpc
Szabolcs Nagy [Mon, 1 Apr 2013 17:54:39 +0000 (17:54 +0000)]
add the new SO_REUSEPORT socket option to mips and powerpc

SO_REUSEPORT implementation was merged in the linux kernel commit
c617f398edd4db2b8567a28e899a88f8f574798d 2013-01-23

11 years agoadd new socket options to sys/socket.h following linux
Szabolcs Nagy [Sat, 23 Mar 2013 19:58:33 +0000 (19:58 +0000)]
add new socket options to sys/socket.h following linux

11 years agoadding ethernet protocol ids to if_ether.h following linux
Szabolcs Nagy [Sat, 23 Mar 2013 19:55:23 +0000 (19:55 +0000)]
adding ethernet protocol ids to if_ether.h following linux

11 years agoadd ADJ_SETOFFSET timex mode bit (new in linux v2.6.39)
Szabolcs Nagy [Sat, 23 Mar 2013 19:51:34 +0000 (19:51 +0000)]
add ADJ_SETOFFSET timex mode bit (new in linux v2.6.39)

11 years agoadd new linux tcp socket option flags to netinet/tcp.h
Szabolcs Nagy [Sat, 23 Mar 2013 19:49:38 +0000 (19:49 +0000)]
add new linux tcp socket option flags to netinet/tcp.h

11 years agofix typo in setpriority syscall wrapper
Rich Felker [Mon, 1 Apr 2013 15:20:12 +0000 (11:20 -0400)]
fix typo in setpriority syscall wrapper

11 years agoprovide prototype for pthread_getattr_np
Rich Felker [Mon, 1 Apr 2013 03:27:57 +0000 (23:27 -0400)]
provide prototype for pthread_getattr_np

11 years agoimplement pthread_getattr_np
Rich Felker [Mon, 1 Apr 2013 03:25:55 +0000 (23:25 -0400)]
implement pthread_getattr_np

this function is mainly (purely?) for obtaining stack address
information, but we also provide the detach state since it's easy to
do anyway.

11 years agoremove __SYSCALL_SSLEN arch macro in favor of using public _NSIG
Rich Felker [Wed, 27 Mar 2013 03:07:31 +0000 (23:07 -0400)]
remove __SYSCALL_SSLEN arch macro in favor of using public _NSIG

the issue at hand is that many syscalls require as an argument the
kernel-ABI size of sigset_t, intended to allow the kernel to switch to
a larger sigset_t in the future. previously, each arch was defining
this size in syscall_arch.h, which was redundant with the definition
of _NSIG in bits/signal.h. as it's used in some not-quite-portable
application code as well, _NSIG is much more likely to be recognized
and understood immediately by someone reading the code, and it's also
shorter and less cluttered.

note that _NSIG is actually 65/129, not 64/128, but the division takes
care of throwing away the off-by-one part.

11 years agoprovide emulation of fcntl F_DUPFD_CLOEXEC on old kernels
Rich Felker [Wed, 27 Mar 2013 02:54:57 +0000 (22:54 -0400)]
provide emulation of fcntl F_DUPFD_CLOEXEC on old kernels

I'm not entirely happy with the amount of ugliness here, but since
F_DUPFD_CLOEXEC is used elsewhere in code that's expected to work on
old kernels (popen), it seems necessary. reportedly even some modern
kernels went back and broke F_DUPFD_CLOEXEC (making it behave like
plain F_DUPFD), so it might be necessary to add some additional fixup
code later to deal with that issue too.

11 years agoin pipe2, use pipe() rather than __syscall(SYS_pipe, ...) for fallback
Rich Felker [Mon, 25 Mar 2013 15:34:22 +0000 (11:34 -0400)]
in pipe2, use pipe() rather than __syscall(SYS_pipe, ...) for fallback

SYS_pipe is not usable directly in general, since mips has a very
broken calling convention for the pipe syscall. instead, just call the
function, so that the mips-specific ugliness is isolated in
mips/pipe.s and not copied elsewhere.

11 years agorewrite popen to use posix_spawn instead of fragile vfork hacks
Rich Felker [Mon, 25 Mar 2013 02:41:38 +0000 (22:41 -0400)]
rewrite popen to use posix_spawn instead of fragile vfork hacks

11 years agoremove cruft from pre-posix_spawn version of the system function
Rich Felker [Mon, 25 Mar 2013 02:40:54 +0000 (22:40 -0400)]
remove cruft from pre-posix_spawn version of the system function

11 years agoadd deprecated SIGIOT alias for SIGABRT
Rich Felker [Sun, 24 Mar 2013 00:02:31 +0000 (20:02 -0400)]
add deprecated SIGIOT alias for SIGABRT

reportedly some programs (e.g. showkeys in the kbd package) use it.

11 years agofix multiple bugs in syslog interfaces
Rich Felker [Sat, 23 Mar 2013 22:59:30 +0000 (18:59 -0400)]
fix multiple bugs in syslog interfaces

1. as reported by William Haddon, the value returned by snprintf was
wrongly used as a length passed to sendto, despite it possibly
exceeding the buffer length. this could lead to invalid reads and
leaking additional data to syslog.

2. openlog was storing a pointer to the ident string passed by the
caller, rather than copying it. this bug is shared with (and even
documented in) other implementations like glibc, but such behavior
does not seem to meet the requirements of the standard.

3. extremely long ident provided to openlog, or corrupt ident due to
the above issue, could possibly have resulted in buffer overflows.
despite having the potential for smashing the stack, i believe the
impact is low since ident points to a short string literal in typical
application usage (and per the above bug, other usages will break
horribly on other implementations).

4. when used with LOG_NDELAY, openlog was not connecting the
newly-opened socket; sendto was being used instead. this defeated the
main purpose of LOG_NDELAY: preparing for chroot.

5. the default facility was not being used at all, so all messages
without an explicit facility passed to syslog were getting logged at
the kernel facility.

6. setlogmask was not thread-safe; no synchronization was performed
updating the mask. the fix uses atomics rather than locking to avoid
introducing a lock in the fast path for messages whose priority is not
in the mask.

7. in some code paths, the syslog lock was being unlocked twice; this
could result in releasing a lock that was actually held by a different
thread.

some additional enhancements to syslog such as a default identifier
based on argv[0] or similar may still be desired; at this time, only
the above-listed bugs have been fixed.

11 years agoremove soname from libc.so/ld-musl
Rich Felker [Sun, 10 Mar 2013 03:34:11 +0000 (22:34 -0500)]
remove soname from libc.so/ld-musl

it serves no purpose (binaries linked against musl as -lc/libc.so
automatically get the right DT_NEEDED value of libc.so) and causes
ldconfig to misbehave (making a symlink to ld-musl named libc.so in
/lib). ldconfig is not used on pure musl systems, but if ld-musl is
installed on a system where it's not the primary libc, this will
pollute the system /lib with a symlink to musl named libc.so, which
should NOT exist and could cause problems linking native apps. also,
the existence of the soname caused spurious warnings from ldconfig
when /lib and /usr/lib were the same physical directory.

11 years agofix epoll structure alignment on non-x86_64 archs
Rich Felker [Thu, 7 Mar 2013 04:57:39 +0000 (23:57 -0500)]
fix epoll structure alignment on non-x86_64 archs

this fix is far from ideal and breaks the rule of not using
arch-specific #ifdefs, but for now we just need a solution to the
existing breakage.

the underlying problem is that the kernel folks made a very stupid
decision to make misalignment of this struct part of the kernel
API/ABI for x86_64, in order to avoid writing a few extra lines of
code to handle both 32- and 64-bit userspace on 64-bit kernels. I had
just added the packed attribute unconditionally thinking it was
harmless on 32-bit archs, but non-x86 32-bit archs have 8-byte
alignment on 64-bit types.

11 years agofix missing type error in grp.h from adding fgetgrent
Rich Felker [Wed, 6 Mar 2013 14:32:52 +0000 (09:32 -0500)]
fix missing type error in grp.h from adding fgetgrent

11 years agofix types for wctype_t and wctrans_t
Rich Felker [Tue, 5 Mar 2013 00:22:14 +0000 (19:22 -0500)]
fix types for wctype_t and wctrans_t

wctype_t was incorrectly "int" rather than "long" on x86_64. not only
is this an ABI incompatibility; it's also a major design flaw if we
ever wanted wctype_t to be implemented as a pointer, which would be
necessary if locales support custom character classes, since int is
too small to store a converted pointer. this commit fixes wctype_t to
be unsigned long on all archs, matching the LSB ABI; this change does
not matter for C code, but for C++ it affects mangling.

the same issue applied to wctrans_t. glibc/LSB defines this type as
const __int32_t *, but since no such definition is visible, I've just
expanded the definition, int, everywhere.

it would be nice if these types (which don't vary by arch) could be in
wctype.h, but the OB XSI requirement in POSIX that wchar.h expose some
types and functions from wctype.h precludes doing so. glibc works
around this with some hideous hacks, but trying to duplicate that
would go against the intent of musl's headers.

11 years agofix some obscure header type size/alignment issues
Rich Felker [Mon, 4 Mar 2013 22:05:45 +0000 (17:05 -0500)]
fix some obscure header type size/alignment issues

11 years agofix wrong float_t on x86_64
Rich Felker [Tue, 26 Feb 2013 13:54:31 +0000 (08:54 -0500)]
fix wrong float_t on x86_64

x86_64 does not have excess precision, at all

11 years agofix cruft in utmp.h that was broken by changes in utmpx.h
Rich Felker [Tue, 26 Feb 2013 06:46:39 +0000 (01:46 -0500)]
fix cruft in utmp.h that was broken by changes in utmpx.h

patch by Chris Spiegel.

11 years agofix integer type issue in strverscmp
Rich Felker [Tue, 26 Feb 2013 06:42:11 +0000 (01:42 -0500)]
fix integer type issue in strverscmp

lenl-lenr is not a valid expression for a signed int return value from
strverscmp, since after implicit conversion from size_t to int this
difference could have the wrong sign or might even be zero. using the
difference for char values works since they're bounded well within the
range of differences representable by int, but it does not work for
size_t values.

11 years agoimplement non-stub strverscmp
Rich Felker [Tue, 26 Feb 2013 06:36:47 +0000 (01:36 -0500)]
implement non-stub strverscmp

patch by Isaac Dunham.