oweals/musl.git
12 years agofix change lost in the process of integrating mips dynamic linker
Rich Felker [Sun, 5 Aug 2012 17:46:39 +0000 (13:46 -0400)]
fix change lost in the process of integrating mips dynamic linker

12 years agoremove configure check disabling shared libraries on mips
Rich Felker [Sun, 5 Aug 2012 16:57:19 +0000 (12:57 -0400)]
remove configure check disabling shared libraries on mips

12 years agomips dynamic linker support
Rich Felker [Sun, 5 Aug 2012 16:50:26 +0000 (12:50 -0400)]
mips dynamic linker support

not heavily tested, but the basics are working. the basic concept is
that the dynamic linker entry point code invokes a pure-PIC (no global
accesses) C function in reloc.h to perform the early GOT relocations
needed to make the dynamic linker itself functional, then invokes
__dynlink like on other archs. since mips uses some ugly arch-specific
hacks to optimize relocating the GOT (rather than just using the
normal DT_REL[A] tables like on other archs), the dynamic linker has
been modified slightly to support calling arch-specific relocation
code in reloc.h.

most of the actual mips-specific behavior was developed by reading the
output of readelf on libc.so and simple executable files. i could not
find good reference information on which relocation types need to be
supported or their semantics, so it's possible that some legitimate
usage cases will not work yet.

12 years agomake dynlink.lo depend on reloc.h in makefile
Rich Felker [Sun, 5 Aug 2012 16:32:20 +0000 (12:32 -0400)]
make dynlink.lo depend on reloc.h in makefile

this is mainly a development convenience but will also ensure users
building from latest git always get up-to-date arch-specific dynamic
linker code without having to "make clean".

12 years agomore cleanup of dynamic linker internals
Rich Felker [Sun, 5 Aug 2012 06:49:02 +0000 (02:49 -0400)]
more cleanup of dynamic linker internals

12 years agomore dynamic linker internals cleanup
Rich Felker [Sun, 5 Aug 2012 06:44:32 +0000 (02:44 -0400)]
more dynamic linker internals cleanup

changing the string printed for the dso name is not a regression; the
old code was simply using the wrong dso name (head rather than the dso
currently being relocated). this will be fixed in a later commit.

12 years agodynamic linker internals cleanup
Rich Felker [Sun, 5 Aug 2012 06:38:35 +0000 (02:38 -0400)]
dynamic linker internals cleanup

12 years agofloating point support for arm setjmp/longjmp
Rich Felker [Sun, 5 Aug 2012 06:37:14 +0000 (02:37 -0400)]
floating point support for arm setjmp/longjmp

not heavily tested, but at least they don't seem to break anything on
soft float targets with or without coprocessors. they check the auxv
AT_HWCAP flags to determine which coprocessor, if any, is available.

12 years agorelease notes for 0.9.3 v0.9.3
Rich Felker [Fri, 3 Aug 2012 02:11:49 +0000 (22:11 -0400)]
release notes for 0.9.3

12 years agoabstract out compiler runtime library for linking libc.so
Rich Felker [Fri, 3 Aug 2012 01:05:43 +0000 (21:05 -0400)]
abstract out compiler runtime library for linking libc.so

this allows config.mak to override the default -lgcc for building with
other compilers such as pcc/clang/etc.

12 years agofix argument type error on wcwidth function
Rich Felker [Fri, 3 Aug 2012 01:02:34 +0000 (21:02 -0400)]
fix argument type error on wcwidth function

since the correct declaration was not visible, and since the
representation of the types wchar_t and wint_t always match, a
compiler would have to go out of its way to make this bug manifest,
but better to fix it anyway.

12 years agofix missing static in getusershell (namespace pollution)
Rich Felker [Thu, 2 Aug 2012 18:32:17 +0000 (14:32 -0400)]
fix missing static in getusershell (namespace pollution)

12 years agooptimize mempcpy to minimize need for data saved across the call
Rich Felker [Wed, 1 Aug 2012 01:18:17 +0000 (21:18 -0400)]
optimize mempcpy to minimize need for data saved across the call

12 years agooptimize arm setjmp/longjmp register saving/loading
Rich Felker [Fri, 27 Jul 2012 04:17:09 +0000 (00:17 -0400)]
optimize arm setjmp/longjmp register saving/loading

the original code was wrongly based on how it would be done in thumb
mode, but that's not needed because musl's asm only targets arm.

12 years agosave AT_HWCAP from auxv for subsequent use in machine-specific code
Rich Felker [Fri, 27 Jul 2012 04:14:57 +0000 (00:14 -0400)]
save AT_HWCAP from auxv for subsequent use in machine-specific code

it's expected that this will be needed/useful only in asm, so I've
given it its own symbol that can be addressed in pc-relative ways from
asm rather than adding a field in the __libc structure which would
require hard-coding the offset wherever it's used.

12 years agoretry on cas failures in sem_trywait
Rich Felker [Tue, 24 Jul 2012 04:51:36 +0000 (00:51 -0400)]
retry on cas failures in sem_trywait

this seems counter-intuitive since sem_trywait is supposed to just try
once, not wait for the semaphore. however, the retry loop is not a
wait. instead, it's to handle the case where the value changes due to
a simultaneous post or wait from another thread while the semaphore
value remains positive. in such a case, it's absolutely wrong for
sem_trywait to fail with EAGAIN because the semaphore is not busy.

12 years agogcc wrapper improvement: leave libgcc dir in the library path
Rich Felker [Tue, 24 Jul 2012 03:29:03 +0000 (23:29 -0400)]
gcc wrapper improvement: leave libgcc dir in the library path

this is needed in case -lgcc is passed explicitly on the link command
line, for example if the wrapper is being used to build musl itself.

12 years agoadd ioperm/iopl syscalls
Rich Felker [Mon, 23 Jul 2012 20:54:53 +0000 (16:54 -0400)]
add ioperm/iopl syscalls

based on patches by orc and Isaac Dunham, with some fixes. sys/io.h
exists and contains prototypes for these functions regardless of
whether the target arch has them; this is a bit unorthodox but I don't
think it will break anything. the function definitions do not exist
unless the appropriate SYS_* syscall number macro is defined, which
should make sure configure scripts looking for these functions don't
find them on other systems.

presently, sys/io.h does not have the inb/outb/etc. port io
macros/functions. I'd be surprised if ioperm/iopl are useful without
them, so they probably need to be added at some point in appropriate
bits/io.h files...

12 years agoadd splice and vmsplice syscalls
Rich Felker [Mon, 23 Jul 2012 20:50:56 +0000 (16:50 -0400)]
add splice and vmsplice syscalls

based on patches by orc and Isaac Dunham.

12 years agoadd extended attributes syscalls
Rich Felker [Mon, 23 Jul 2012 20:39:44 +0000 (16:39 -0400)]
add extended attributes syscalls

based on patch by orc and Isaac Dunham, with some fixes.

12 years agoadd pipe2 syscall
Rich Felker [Mon, 23 Jul 2012 20:32:49 +0000 (16:32 -0400)]
add pipe2 syscall

based on patch by orc and Isaac Dunham, with some details fixed.

12 years agoremove scanf dependency from getaddrinfo /etc/services support
Rich Felker [Mon, 23 Jul 2012 02:09:45 +0000 (22:09 -0400)]
remove scanf dependency from getaddrinfo /etc/services support

12 years agogetaddrinfo /etc/services lookup support
Rich Felker [Sun, 22 Jul 2012 23:42:44 +0000 (19:42 -0400)]
getaddrinfo /etc/services lookup support

12 years agofix namespace issue in prototypes in math.h
Rich Felker [Sun, 22 Jul 2012 23:02:02 +0000 (19:02 -0400)]
fix namespace issue in prototypes in math.h

12 years agofix wrong size for sigjmp_buf signal set array
Rich Felker [Sun, 22 Jul 2012 22:58:35 +0000 (18:58 -0400)]
fix wrong size for sigjmp_buf signal set array

128 is the size in bytes, not longs.

12 years agoadd floating point register saving/restoring to mips setjmp/longjmp
Rich Felker [Sun, 22 Jul 2012 22:55:01 +0000 (18:55 -0400)]
add floating point register saving/restoring to mips setjmp/longjmp

also fix the alignment of jmp_buf to meet the abi. linux always
emulates fpu on mips if it's not present, so enabling this code
unconditionally is "safe" but may be slow. in the long term it may be
preferable to find a way to disable it on soft float builds.

12 years agomake getservby*_r return error code rather than -1 (and using errno)
Rich Felker [Sun, 22 Jul 2012 22:49:49 +0000 (18:49 -0400)]
make getservby*_r return error code rather than -1 (and using errno)

untested but should be correct..

12 years agofix logic error for skipping failed interfaces in if_nameindex
Rich Felker [Sat, 21 Jul 2012 21:56:48 +0000 (17:56 -0400)]
fix logic error for skipping failed interfaces in if_nameindex

12 years agofix typo in aio.h
Rich Felker [Thu, 19 Jul 2012 04:37:43 +0000 (00:37 -0400)]
fix typo in aio.h

12 years agofix getservby*() with null pointer for protocol argument
Rich Felker [Sun, 15 Jul 2012 00:16:23 +0000 (20:16 -0400)]
fix getservby*() with null pointer for protocol argument

not sure this is the best fix but it should work

12 years agoavoid blx instruction which does not exist on armv4t or armv4
Rich Felker [Sun, 15 Jul 2012 00:15:02 +0000 (20:15 -0400)]
avoid blx instruction which does not exist on armv4t or armv4

12 years agomake dynamic linker tell the debugger its own pathname
Rich Felker [Fri, 13 Jul 2012 05:31:02 +0000 (01:31 -0400)]
make dynamic linker tell the debugger its own pathname

use the main program's PT_INTERP header if possible, since this is
sure to be a correct (and hopefully absolute) pathname.

12 years agofix broken mips a_fetch_add
Rich Felker [Fri, 13 Jul 2012 03:18:03 +0000 (23:18 -0400)]
fix broken mips a_fetch_add

sc was overwriting the result

12 years agosigsetjmp asm for mips
Rich Felker [Fri, 13 Jul 2012 02:20:36 +0000 (22:20 -0400)]
sigsetjmp asm for mips

12 years agomipsel (little endian) support
Rich Felker [Fri, 13 Jul 2012 01:49:30 +0000 (21:49 -0400)]
mipsel (little endian) support

the fields in the mcontext_t are long long (for no good reason) even
on 32-bit mips, so the offset of the instruction pointer (as a word)
varies depending on endianness.

12 years agoworkaround another sendmsg kernel bug on 64-bit machines
Rich Felker [Fri, 13 Jul 2012 01:37:54 +0000 (21:37 -0400)]
workaround another sendmsg kernel bug on 64-bit machines

the kernel wrongly expects the cmsg length field to be size_t instead
of socklen_t. in order to work around the issue, we have to impose a
length limit and copy to a local buffer. the length limit should be
more than sufficient for any real-world use; these headers are only
used for passing file descriptors and permissions between processes
over unix sockets.

12 years agofix redef of sigprocmask constants on mips
Rich Felker [Thu, 12 Jul 2012 20:54:43 +0000 (16:54 -0400)]
fix redef of sigprocmask constants on mips

this fix is easier than trying to reorder the header stuff

12 years agodisable dynamic linking on mips for now (broken)
Rich Felker [Thu, 12 Jul 2012 18:24:10 +0000 (14:24 -0400)]
disable dynamic linking on mips for now (broken)

12 years agomore mips bits-header fixes
Rich Felker [Thu, 12 Jul 2012 18:21:41 +0000 (14:21 -0400)]
more mips bits-header fixes

signal handling was very broken because of this

12 years agofix mips syscalls with long long args
Rich Felker [Thu, 12 Jul 2012 17:48:56 +0000 (13:48 -0400)]
fix mips syscalls with long long args

like arm, mips requires 64-bit arguments to be "aligned" on an even
register boundary.

12 years agofix several locks that weren't updated right for new futex-based __lock
Rich Felker [Thu, 12 Jul 2012 15:23:43 +0000 (11:23 -0400)]
fix several locks that weren't updated right for new futex-based __lock

these could have caused memory corruption due to invalid accesses to
the next field. all should be fixed now; I found the errors with fgrep
-r '__lock(&', which is bogus since the argument should be an array.

12 years agofix pthread_kill unlocking
Rich Felker [Thu, 12 Jul 2012 15:14:12 +0000 (11:14 -0400)]
fix pthread_kill unlocking

it had not been updated for the futex-based locks

12 years agofix breakage of x86_64 sigaction from recent changes for mips
Rich Felker [Thu, 12 Jul 2012 15:00:21 +0000 (11:00 -0400)]
fix breakage of x86_64 sigaction from recent changes for mips

12 years agofix mips mcontext_t structure size
Rich Felker [Thu, 12 Jul 2012 04:14:40 +0000 (00:14 -0400)]
fix mips mcontext_t structure size

otherwise offs in ucontext_t will be wrong, and break code that
inspects or modifies the signal makes (including cancellation code).

12 years agofix potential race condition in detached threads
Rich Felker [Thu, 12 Jul 2012 03:36:46 +0000 (23:36 -0400)]
fix potential race condition in detached threads

after the thread unmaps its own stack/thread structure, the kernel,
performing child tid clear and futex wake, could clobber a new mapping
made at the same location as the just-removed thread's tid field.
disable kernel clearing of child tid to prevent this.

12 years agomips clone: don't free stack space used to copy arg
Rich Felker [Thu, 12 Jul 2012 03:01:09 +0000 (23:01 -0400)]
mips clone: don't free stack space used to copy arg

the mips abi reserves stack space equal to the size of the in-register
args for the callee to save the args, if desired. this would cause the
beginning of the thread structure to be clobbered...

12 years agofix mips clone() on real linux kernel
Rich Felker [Thu, 12 Jul 2012 02:59:43 +0000 (22:59 -0400)]
fix mips clone() on real linux kernel

the old code worked in qemu app-level emulation, but not on real
kernels where the clone syscall does not copy the register values to
the new thread. save arguments on the new thread stack instead.

12 years agofix MAP_ANONYMOUS value for mips, remove cruft copied from i386
Rich Felker [Thu, 12 Jul 2012 02:29:57 +0000 (22:29 -0400)]
fix MAP_ANONYMOUS value for mips, remove cruft copied from i386

12 years agofix clone() on mips (args were in wrong order)
Rich Felker [Thu, 12 Jul 2012 00:44:38 +0000 (20:44 -0400)]
fix clone() on mips (args were in wrong order)

with this change, threads on mips seem to be working

12 years agofirst attempt at making threads work on mips
Rich Felker [Wed, 11 Jul 2012 15:35:27 +0000 (11:35 -0400)]
first attempt at making threads work on mips

12 years agogeneric c version of __set_thread_area for archs where it works
Rich Felker [Wed, 11 Jul 2012 15:34:46 +0000 (11:34 -0400)]
generic c version of __set_thread_area for archs where it works

on other archs, like x86[_64], asm version is required

12 years agoinitial version of mips (o32) port, based on work by Richard Pennington (rdp)
Rich Felker [Wed, 11 Jul 2012 08:22:13 +0000 (04:22 -0400)]
initial version of mips (o32) port, based on work by Richard Pennington (rdp)

basically, this version of the code was obtained by starting with
rdp's work from his ellcc source tree, adapting it to musl's build
system and coding style, auditing the bits headers for discrepencies
with kernel definitions or glibc/LSB ABI or large file issues, fixing
up incompatibility with the old binutils from aboriginal linux, and
adding some new special cases to deal with the oddities of sigaction
and pipe syscall interfaces on mips.

at present, minimal test programs work, but some interfaces are broken
or missing. threaded programs probably will not link.

12 years agoremove unused var in new sigaction code
Rich Felker [Wed, 11 Jul 2012 07:20:43 +0000 (03:20 -0400)]
remove unused var in new sigaction code

12 years agouse unsigned bitmask for consistency in ksigaction
Rich Felker [Wed, 11 Jul 2012 06:48:12 +0000 (02:48 -0400)]
use unsigned bitmask for consistency in ksigaction

the type doesn't actually matter, just the size, but it's nice to be
consistent...

12 years agofix breakage from last commit: forgot to include ksigaction.h
Rich Felker [Wed, 11 Jul 2012 06:44:55 +0000 (02:44 -0400)]
fix breakage from last commit: forgot to include ksigaction.h

this file can be overridden by a same-named file in an arch dir.

12 years agochanges to kernel sigaction struct handling in preparation for mips port
Rich Felker [Wed, 11 Jul 2012 06:44:14 +0000 (02:44 -0400)]
changes to kernel sigaction struct handling in preparation for mips port

12 years agomake dynamic linker depend on -DSHARED not -fPIC
Rich Felker [Wed, 11 Jul 2012 05:47:30 +0000 (01:47 -0400)]
make dynamic linker depend on -DSHARED not -fPIC

if libc.a is compiled PIC for use in static PIE code, this should not
cause the dynamic linker (which still does not support static-linked
main program) to be built into libc.a.

12 years agofix lots of breakage on dlopen, mostly with explicit pathnames
Rich Felker [Wed, 11 Jul 2012 05:41:20 +0000 (01:41 -0400)]
fix lots of breakage on dlopen, mostly with explicit pathnames

most importantly, the name for such libs was being set from an
uninitialized buffer. also, shortname always had an initial '/'
character, making it useless for looking up already-loaded libraries
by name, and thus causing repeated searches through the library path.

major changes now:

- shortname is the base name for library lookups with no explicit
  pathname. it's initially clear for libraries loaded with an explicit
  pathname (and for the main program), but will be set if the same
  library (detected via inodes match) is later found by a search.

- exact name match is never used to identify libraries loaded with an
  explicit pathname. in this case, there's no explicit search, so we
  can just stat the file and check for inode match.

12 years agosupport -mfpmath=387 on x86_64
Rich Felker [Tue, 10 Jul 2012 05:18:40 +0000 (01:18 -0400)]
support -mfpmath=387 on x86_64

apparently somebody wants this for something... and it doesn't hurt.

12 years agofix wrong value of FLT_EVAL_METHOD for x86_64
Rich Felker [Tue, 10 Jul 2012 04:59:58 +0000 (00:59 -0400)]
fix wrong value of FLT_EVAL_METHOD for x86_64

12 years agomake arm syscalls (still non-inline) more efficient
Rich Felker [Mon, 9 Jul 2012 01:32:45 +0000 (21:32 -0400)]
make arm syscalls (still non-inline) more efficient

no need to pass zero for unused arguments; just omit them.

12 years agoremove little-endian assumption from arm atomic.h
Rich Felker [Sun, 8 Jul 2012 04:05:08 +0000 (00:05 -0400)]
remove little-endian assumption from arm atomic.h

this hidden endian dependency had left big endian arm badly broken.

12 years agofix dlsym RTLD_NEXT support
Rich Felker [Sat, 7 Jul 2012 20:32:27 +0000 (16:32 -0400)]
fix dlsym RTLD_NEXT support

previously this was being handled the same as a library-specific,
dependency-order lookup on the next library in the global chain, which
is likely to be utterly meaningless. instead the lookup needs to be in
the global namespace, but omitting the initial portion of the global
library chain up through the calling library.

12 years agoputw is supposed to return 0 (not the value written) on success
Rich Felker [Wed, 4 Jul 2012 16:21:22 +0000 (12:21 -0400)]
putw is supposed to return 0 (not the value written) on success

this is not a standard but it's the traditional behavior and it's more
useful because the caller can reliably detect errors.

12 years agomake sure getw/putw agree with prototypes by defining _GNU_SOURCE
Rich Felker [Wed, 4 Jul 2012 16:18:46 +0000 (12:18 -0400)]
make sure getw/putw agree with prototypes by defining _GNU_SOURCE

12 years agoadd prototypes for getw/putw
Rich Felker [Wed, 4 Jul 2012 16:18:04 +0000 (12:18 -0400)]
add prototypes for getw/putw

12 years agoconfigure: only use -ffloat-store on i386
Rich Felker [Wed, 4 Jul 2012 03:53:05 +0000 (23:53 -0400)]
configure: only use -ffloat-store on i386

this option is expensive and only used on old gcc's that lack
-fexcess-precision=standed, but it's not needed on non-i386 archs
where floating point does not have excess precision anyway.

if musl ever supports m68k, i think it will need to be special-cased
too. i'm not aware of any other archs with excess precision.

12 years agojmp_buf overhaul fixing several issues
Rich Felker [Wed, 4 Jul 2012 00:07:33 +0000 (20:07 -0400)]
jmp_buf overhaul fixing several issues

on arm, the location of the saved-signal-mask flag and mask were off
by one between sigsetjmp and siglongjmp, causing incorrect behavior
restoring the signal mask. this is because the siglongjmp code assumed
an extra slot was in the non-sig jmp_buf for the flag, but arm did not
have this. now, the extra slot is removed for all archs since it was
useless.

also, arm eabi requires jmp_buf to have 8-byte alignment. we achieve
that using long long as the type rather than with non-portable gcc
attribute tags.

12 years agofix sigsetjmp on arm (needs asm)
Rich Felker [Tue, 3 Jul 2012 02:49:25 +0000 (22:49 -0400)]
fix sigsetjmp on arm (needs asm)

no idea why gcc refuses to compile the C code to use a tail call, but
it's best to use asm anyway so we don't have to rely on the quality of
the compiler's optimizations for correct code.

12 years agofix missing function declarations for __stdio_exit
Rich Felker [Tue, 3 Jul 2012 02:48:56 +0000 (22:48 -0400)]
fix missing function declarations for __stdio_exit

12 years agofix missing prototype and simplify sincosl on ld64 archs
Rich Felker [Tue, 3 Jul 2012 00:25:28 +0000 (20:25 -0400)]
fix missing prototype and simplify sincosl on ld64 archs

12 years agofix invalid implicit pointer conversion in ld64 modfl
Rich Felker [Tue, 3 Jul 2012 00:22:50 +0000 (20:22 -0400)]
fix invalid implicit pointer conversion in ld64 modfl

12 years agoreplace old and ugly crypt implementation
Rich Felker [Fri, 29 Jun 2012 04:56:37 +0000 (00:56 -0400)]
replace old and ugly crypt implementation

the new version is largely the work of Solar Designer, with minor
changes for integration with musl. compared to the old code, text size
is reduced by about 7k, stack space usage by about 70k, and
performance is greatly improved by avoiding expensive calculation of
constant tables on each run.

this version also adds support for extended des-based password hashes,
which allow for unlimited key (password) length and configurable
iteration counts.

i've also published the interface for crypt_r in a new crypt.h header.
especially since this is not a standard interface, i did not feel
compelled to match the glibc abi for the crypt_data structure. the
glibc structure is way too big to allocate on the stack; in fact it's
so big that the first usage may cause the main thread to exceed its
pre-committed stack size of 128k and thus could cause the program to
crash even on systems with overcommit disabled. the only legitimate
use of crypt_data for crypt_r is to store the hash string to return,
so i've reserved 256 bytes, which should be more than sufficient
(longest known password hashes are ~60 characters, and beyond that is
possibly even exceeding some implementations' passwd file field size
limit).

12 years agofix arm crti/crtn code
Rich Felker [Mon, 25 Jun 2012 20:06:09 +0000 (16:06 -0400)]
fix arm crti/crtn code

lr must be saved because init/fini-section code from the compiler
clobbers it. this was not a problem when i tested without gcc's
crtbegin/crtend files present, but with them, musl on arm fails to
work (infinite loop in _init).

12 years agorelease notes for 0.9.2 v0.9.2
Rich Felker [Mon, 25 Jun 2012 01:00:57 +0000 (21:00 -0400)]
release notes for 0.9.2

12 years agoadd process_vm_readv and process_vm_writev syscall wrappers
Rich Felker [Sun, 24 Jun 2012 01:38:47 +0000 (21:38 -0400)]
add process_vm_readv and process_vm_writev syscall wrappers

based on a patch submitted by Kristian L. <email@thexception.net>

12 years agoupdate syscall defs to latest kernel ones
Rich Felker [Sun, 24 Jun 2012 01:16:44 +0000 (21:16 -0400)]
update syscall defs to latest kernel ones

patch submitted by Kristian L. <email@thexception.net>

12 years agoproper error handling for fcntl F_GETOWN on modern kernels
Rich Felker [Thu, 21 Jun 2012 02:16:47 +0000 (22:16 -0400)]
proper error handling for fcntl F_GETOWN on modern kernels

on old kernels, there's no way to detect errors; we must assume
negative syscall return values are pgrp ids. but if the F_GETOWN_EX
fcntl works, we can get a reliable answer.

12 years agomath: fix fma bug on x86 (found by Bruno Haible with gnulib)
nsz [Wed, 20 Jun 2012 21:25:58 +0000 (23:25 +0200)]
math: fix fma bug on x86 (found by Bruno Haible with gnulib)

The long double adjustment was wrong:
The usual check is
  mant_bits & 0x7ff == 0x400
before doing a mant_bits++ or mant_bits-- adjustment since
this is the only case when rounding an inexact ld80 into
double can go wrong. (only in nearest rounding mode)

After such a check the ++ and -- is ok (the mantissa will end
in 0x401 or 0x3ff).

fma is a bit different (we need to add 3 numbers with correct
rounding: hi_xy + lo_xy + z so we should survive two roundings
at different places without precision loss)

The adjustment in fma only checks for zero low bits
  mant_bits & 0x3ff == 0
this way the adjusted value is correct when rounded to
double or *less* precision.
(this is an important piece in the fma puzzle)

Unfortunately in this case the -- is not a correct adjustment
because mant_bits might underflow so further checks are needed
and this was the source of the bug.

12 years agofix broken wcwidth tables
Rich Felker [Wed, 20 Jun 2012 19:22:03 +0000 (15:22 -0400)]
fix broken wcwidth tables

unicode char data has both "W" and "F" wide types and the old table
only included the "W" ones. this omitted U+3000 (ideographic space)
and all the wide-ascii, etc.

12 years agosupport ld80 pseudo-denormal invalid bit patterns; treat them as nan
Rich Felker [Wed, 20 Jun 2012 19:15:10 +0000 (15:15 -0400)]
support ld80 pseudo-denormal invalid bit patterns; treat them as nan

this is silly, but it makes apps that read binary junk and interpret
it as ld80 "safer", and it gets gnulib to stop replacing printf...

12 years agofix ptsname_r to conform to the upcoming posix requirements
Rich Felker [Wed, 20 Jun 2012 19:11:27 +0000 (15:11 -0400)]
fix ptsname_r to conform to the upcoming posix requirements

it should return the error code rather than 0/-1 and setting errno.

12 years agofix fwrite return value when full write does not succeed
Rich Felker [Wed, 20 Jun 2012 19:04:47 +0000 (15:04 -0400)]
fix fwrite return value when full write does not succeed

12 years agoavoid cancellation in pclose
Rich Felker [Wed, 20 Jun 2012 18:50:29 +0000 (14:50 -0400)]
avoid cancellation in pclose

at the point pclose might receive and act on cancellation, it has
already invalidated the FILE passed to it. thus, per musl's QOI
guarantees about cancellation and resource allocation/deallocation,
it's not a candidate for cancellation.

if it were required to be a cancellation point by posix, we would have
to switch the order of deallocation, but somehow still close the pipe
in order to trigger the child process to exit. i looked into doing
this, but the logic gets ugly, and i'm not sure the semantics are
conformant, so i'd rather just leave it alone unless there's a need to
change it.

12 years agofix invalid memory access in pclose
Rich Felker [Wed, 20 Jun 2012 18:47:34 +0000 (14:47 -0400)]
fix invalid memory access in pclose

12 years agomake popen cancellation-safe
Rich Felker [Wed, 20 Jun 2012 18:39:50 +0000 (14:39 -0400)]
make popen cancellation-safe

close was the only cancellation point called from popen, but it left
popen with major resource leaks if any call to close got cancelled.
the easiest, cheapest fix is just to use a non-cancellable close
function.

12 years agopopen: handle issues with fd0/1 being closed
Rich Felker [Wed, 20 Jun 2012 18:32:48 +0000 (14:32 -0400)]
popen: handle issues with fd0/1 being closed

also check for failure of dup2 and abort the child rather than
reading/writing the wrong file.

12 years agoduplocale: don't crash when called with LC_GLOBAL_LOCALE
Rich Felker [Wed, 20 Jun 2012 17:48:57 +0000 (13:48 -0400)]
duplocale: don't crash when called with LC_GLOBAL_LOCALE

posix has resolved to add this usage; for now, we just avoid writing
anything to the new locale object since it's not used anyway.

12 years agomake strerror_r behave nicer on failure
Rich Felker [Wed, 20 Jun 2012 16:07:18 +0000 (12:07 -0400)]
make strerror_r behave nicer on failure

if the buffer is too short, at least return a partial string. this is
helpful if the caller is lazy and does not check for failure. care is
taken to avoid writing anything if the buffer length is zero, and to
always null-terminate when the buffer length is non-zero.

12 years agofix another oob pointer arithmetic issue in printf floating point
Rich Felker [Wed, 20 Jun 2012 13:28:54 +0000 (09:28 -0400)]
fix another oob pointer arithmetic issue in printf floating point

this one could never cause any problems unless the compiler/machine
goes to extra trouble to break oob pointer arithmetic, but it's best
to fix it anyway.

12 years agominor perror behavior fix
Rich Felker [Wed, 20 Jun 2012 13:27:28 +0000 (09:27 -0400)]
minor perror behavior fix

patch by nsz

12 years agofix localeconv values and implementation
Rich Felker [Wed, 20 Jun 2012 02:44:08 +0000 (22:44 -0400)]
fix localeconv values and implementation

dynamic-allocation of the structure is not valid; it can crash an
application if malloc fails. since localeconv is not specified to have
failure conditions, the object needs to have static storage duration.

need to review whether all the values are right or not still..

12 years agofix mistake in length test in getlogin_r
Rich Felker [Wed, 20 Jun 2012 02:31:19 +0000 (22:31 -0400)]
fix mistake in length test in getlogin_r

this was actually dangerously wrong, but presumably nobody uses this
broken function anymore anyway..

12 years agofix dummied-out fsync
Rich Felker [Wed, 20 Jun 2012 02:24:15 +0000 (22:24 -0400)]
fix dummied-out fsync

if we eventually have build options, it might be nice to make an
option to dummy this out again, in case anybody needs a system-wide
disable for disk/ssd-thrashing, etc. that some daemons do when
logging...

12 years agofix dummied-out fdatasync
Rich Felker [Wed, 20 Jun 2012 02:22:16 +0000 (22:22 -0400)]
fix dummied-out fdatasync

12 years agofix pointer overflow bug in floating point printf
Rich Felker [Wed, 20 Jun 2012 01:41:43 +0000 (21:41 -0400)]
fix pointer overflow bug in floating point printf

large precision values could cause out-of-bounds pointer arithmetic in
computing the precision cutoff (used to avoid expensive long-precision
arithmetic when the result will be discarded). per the C standard,
this is undefined behavior. one would expect that it works anyway, and
in fact it did in most real-world cases, but it was randomly
(depending on aslr) crashing in i386 binaries running on x86_64
kernels. this is because linux puts the userspace stack near 4GB
(instead of near 3GB) when the kernel is 64-bit, leading to the
out-of-bounds pointer arithmetic overflowing past the end of address
space and giving a very low pointer value, which then compared lower
than a pointer it should have been higher than.

the new code rearranges the arithmetic so that no overflow can occur.

while this bug could crash printf with memory corruption, it's
unlikely to have security impact in real-world applications since the
ability to provide an extremely large field precision value under
attacker-control is required to trigger the bug.

12 years agoadd vhangup syscall wrapper
Rich Felker [Tue, 19 Jun 2012 19:32:13 +0000 (15:32 -0400)]
add vhangup syscall wrapper

request/patch by william haddonthethird, slightly modifed to add
_GNU_SOURCE feature test macro so that the compiler can verify the
prototype matches.

12 years agoinclude declarations for new stdio_ext functions (gnulib support)
Rich Felker [Tue, 19 Jun 2012 19:18:22 +0000 (15:18 -0400)]
include declarations for new stdio_ext functions (gnulib support)

12 years agoadd new stdio extension functions to make gnulib happy
Rich Felker [Tue, 19 Jun 2012 05:35:23 +0000 (01:35 -0400)]
add new stdio extension functions to make gnulib happy

this is mildly ugly, but less ugly than gnulib trying to poke at the
definition of the FILE structure...

12 years agostdio: handle file position correctly at program exit
Rich Felker [Tue, 19 Jun 2012 05:27:26 +0000 (01:27 -0400)]
stdio: handle file position correctly at program exit

for seekable files, posix imposed requirements on the offset of the
underlying open file description after a stream is closed. this was
correctly handled (as a side effect of the unconditional fflush call)
when streams were explicitly closed by fclose, but was not handled
correctly at program exit time, where fflush(0) was being used.

the weak symbol hackery is to pull in __stdio_exit if either of
__toread or __towrite is used, but avoid calling it twice so we don't
have to keep extra state. the new __stdio_exit is a streamlined fflush
variant that avoids performing any unnecessary operations and which
never unlocks the files or open file list, so we can be sure no other
threads write new data to a stream's buffer after it's already
flushed.