oweals/musl.git
8 years agoadd EPOLLEXCLUSIVE epoll flag from linux v4.5
Szabolcs Nagy [Sat, 19 Mar 2016 12:37:03 +0000 (13:37 +0100)]
add EPOLLEXCLUSIVE epoll flag from linux v4.5

new flag for exclusive wakeup mode when an event source fd is attached
to multiple epoll fds but they should not all receive the events.
new in linux commit df0108c5da561c66c333bb46bfe3c1fc65905898

8 years agoadd SO_ATTACH_REUSEPORT_[CE]BPF socket options from linux v4.5
Szabolcs Nagy [Sat, 19 Mar 2016 12:36:42 +0000 (13:36 +0100)]
add SO_ATTACH_REUSEPORT_[CE]BPF socket options from linux v4.5

new socket options for setting classic or extended BPF program
for sockets in a SO_REUSEPORT group.  added in linux commit
538950a1b7527a0a52ccd9337e3fcd304f027f13

8 years agoadd IPV6_HDRINCL socket option from linux v4.5
Szabolcs Nagy [Sat, 19 Mar 2016 12:36:09 +0000 (13:36 +0100)]
add IPV6_HDRINCL socket option from linux v4.5

new in linux commit 715f504b118998c41a2079a17e16bf5a8a114885
same as IP_HDRINCL but for SOL_IPV6 sockets.

8 years agoadd copy_file_range syscall numbers from linux v4.5
Szabolcs Nagy [Sat, 19 Mar 2016 12:35:43 +0000 (13:35 +0100)]
add copy_file_range syscall numbers from linux v4.5

it was introduced for offloading copying between regular files
in linux commit 29732938a6289a15e907da234d6692a2ead71855

(microblaze and sh does not yet have the syscall number.)

8 years agomips64: add recent linux syscall numbers
Szabolcs Nagy [Sat, 19 Mar 2016 12:35:08 +0000 (13:35 +0100)]
mips64: add recent linux syscall numbers

add userfaultfd, membarrier and mlock2 system call numbers.

8 years agofix outdated pathnames in COPYRIGHT file
Rich Felker [Sat, 19 Mar 2016 03:46:41 +0000 (23:46 -0400)]
fix outdated pathnames in COPYRIGHT file

8 years agodeduplicate bits/mman.h
Szabolcs Nagy [Fri, 18 Mar 2016 00:57:52 +0000 (00:57 +0000)]
deduplicate bits/mman.h

currently five targets use the same mman.h constants and the rest
share most constants too, so move them to sys/mman.h before the
bits/mman.h include where the differences can be corrected by
redefinition of the macros.

this fixes two minor bugs: POSIX_MADV_DONTNEED was wrong on most
targets (it should be the same as MADV_DONTNEED), and sh defined
the x86-only MAP_32BIT mmap flag.

8 years agofix padding string formats to width in wide printf variants
Rich Felker [Wed, 16 Mar 2016 20:35:22 +0000 (16:35 -0400)]
fix padding string formats to width in wide printf variants

the idiom fprintf(f, "%.*s", n, "") was wrongly used in vfwprintf as a
means of producing n spaces; instead it produces no output. the
correct form is fprintf(f, "%*s", n, ""), using width instead of
precision, since for %s the later is a maximum rather than a minimum.

8 years agocorrect pointer types for a_ll_p and a_sc_p primitives on mips64
Rich Felker [Fri, 11 Mar 2016 05:12:56 +0000 (05:12 +0000)]
correct pointer types for a_ll_p and a_sc_p primitives on mips64

these changes should not affect generated code, but they reflect that
the underlying objects operated on by a_cas_p are supposed to have
type volatile void *, not volatile long. in theory a compiler could
treat the effective type mismatch in the "m" memory operands as
undefined behavior.

8 years agomake mips64 a_sc_p atomic primitive's asm constraints work with clang
Rich Felker [Fri, 11 Mar 2016 05:02:10 +0000 (00:02 -0500)]
make mips64 a_sc_p atomic primitive's asm constraints work with clang

apparently clang does not accept matching-register input and output
constraints that differ in size (32-bit vs 64-bit).

based on patch by Jaydeep Patil.

8 years agomake configure check for unsupported (SPE) powerpc hard-float models
Rich Felker [Sun, 6 Mar 2016 22:11:29 +0000 (17:11 -0500)]
make configure check for unsupported (SPE) powerpc hard-float models

the SPE ABI may be compatible with soft-float, but actually making it
work requires some additional work, so for now it's best to make sure
broken builds don't happen.

8 years agoadd powerpc soft-float support
Felix Fietkau [Mon, 25 Jan 2016 12:20:52 +0000 (13:20 +0100)]
add powerpc soft-float support

Some PowerPC CPUs (e.g. Freescale MPC85xx) have a completely different
instruction set for floating point operations (SPE).
Executing regular PowerPC floating point instructions results in
"Illegal instruction" errors.

Make it possible to run these devices in soft-float mode.

8 years agoenv: avoid leaving dangling pointers in __env_map
Alexander Monakov [Sun, 6 Mar 2016 17:22:38 +0000 (20:22 +0300)]
env: avoid leaving dangling pointers in __env_map

This is the minimal fix for __putenv leaving a pointer to freed heap
storage in __env_map array, which could later on lead to errors such
as double-free.

8 years agoupdate documentation files for mips64 port
Rich Felker [Sun, 6 Mar 2016 17:48:58 +0000 (17:48 +0000)]
update documentation files for mips64 port

8 years agoadd mips64 port
Rich Felker [Sun, 6 Mar 2016 17:41:56 +0000 (17:41 +0000)]
add mips64 port

patch by Mahesh Bodapati and Jaydeep Patil of Imagination
Technologies.

8 years agogeneralize mips-specific reloc code not to hard-code sym/type encoding
Rich Felker [Sun, 6 Mar 2016 17:25:52 +0000 (17:25 +0000)]
generalize mips-specific reloc code not to hard-code sym/type encoding

this change is made in preparation for adding the mips64 port, which
needs a 64-bit (and mips64-specific) form of the R_INFO macro, but
it's a better abstraction anyway.

based on part of the mips64 port patch by Mahesh Bodapati and Jaydeep
Patil of Imagination Technologies.

8 years agomath: fix expf(-NAN) and exp2f(-NAN) to return -NAN instead of 0
Szabolcs Nagy [Fri, 4 Mar 2016 21:23:33 +0000 (21:23 +0000)]
math: fix expf(-NAN) and exp2f(-NAN) to return -NAN instead of 0

expf(-NAN) was treated as expf(-large) which unconditionally
returns +0, so special case +-NAN.
reported by Petr Hosek.

8 years agoadd sched_getcpu vDSO support
Nathan Zadoks [Wed, 2 Mar 2016 16:26:27 +0000 (17:26 +0100)]
add sched_getcpu vDSO support

This brings the call to an actually usable speed.
Quick unscientific benchmark: 14ns : 102ns :: vDSO : syscall

8 years agoadd sched_getcpu
Nathan Zadoks [Wed, 2 Mar 2016 16:26:26 +0000 (17:26 +0100)]
add sched_getcpu

This is a GNU extension, but a fairly minor one, for a system call that
otherwise has no libc wrapper.

8 years agofix ^* at the start of a complete BRE
Szabolcs Nagy [Mon, 29 Feb 2016 16:36:25 +0000 (16:36 +0000)]
fix ^* at the start of a complete BRE

This is a workaround to treat * as literal * at the start of a BRE.

Ideally ^ would be treated as an anchor at the start of any BRE
subexpression and similarly $ would be an anchor at the end of any
subexpression.  This is not required by the standard and hard to do
with the current code, but it's the existing practice.  If it is
changed, * should be treated as literal after such anchor as well.

8 years agofix * at the start of a BRE subexpression
Szabolcs Nagy [Mon, 29 Feb 2016 15:04:46 +0000 (15:04 +0000)]
fix * at the start of a BRE subexpression

commit 7eaa76fc2e7993582989d3838b1ac32dd8abac09 made * invalid at
the start of a BRE subexpression, but it should be accepted as
literal * there according to the standard.

This patch does not fix subexpressions starting with ^*.

8 years agoexplicitly include stdio.h to get EOF definition needed by wctob
Michael Meeuwisse [Tue, 23 Feb 2016 22:49:57 +0000 (23:49 +0100)]
explicitly include stdio.h to get EOF definition needed by wctob

8 years agohandle non-matching address family entries in hosts file
Rich Felker [Wed, 2 Mar 2016 05:34:51 +0000 (00:34 -0500)]
handle non-matching address family entries in hosts file

name_from_hosts failed to account for the possibility of an address
family error from name_from_numeric, wrongly counting such a return as
success and using the uninitialized address data as part of the
results passed up to the caller.

non-matching address family entries cannot simply be ignored or
results would be inconsistent with respect to whether AF_UNSPEC or a
specific address family is queried. instead, record that a
non-matching entry was seen, and fail the lookup with EAI_NONAME of no
matching-family entries are found.

8 years agomake aarch64 atomic_arch.h report that it defines pointer-sized ll/sc
Rich Felker [Tue, 23 Feb 2016 18:04:56 +0000 (13:04 -0500)]
make aarch64 atomic_arch.h report that it defines pointer-sized ll/sc

at present this is done only for consistency, since this file defines
its own a_cas_p rather than using the new generic one from atomic.h
added in commit 225f6a6b5b7173b6655e4f5d49b5b9fea70bf3bb. these
definitions may however be useful if we ever need to add other
pointer-sized atomic operations.

8 years agoallow implementing a_cas_p with pointer-sized ll/sc
Bobby Bingham [Tue, 23 Feb 2016 03:14:23 +0000 (21:14 -0600)]
allow implementing a_cas_p with pointer-sized ll/sc

No current ports do this, but it will be useful for porting to 64-bit ll/sc
architectures, such as mips64 and powerpc64.

8 years agorelease 1.1.14 v1.1.14
Rich Felker [Mon, 22 Feb 2016 05:07:05 +0000 (00:07 -0500)]
release 1.1.14

8 years agogenerate list of crt files to install instead of hard-coding in makefile
Rich Felker [Fri, 19 Feb 2016 19:16:33 +0000 (14:16 -0500)]
generate list of crt files to install instead of hard-coding in makefile

this follows the principle of having the source tree layout define
build semantics. it also makes it possible for crt/$(ARCH) to define
additional installable files, which may be needed for midipix and
other future targets.

8 years agoadd arch tuple matching for nt32 and nt64 in configure
Rich Felker [Fri, 19 Feb 2016 05:10:23 +0000 (00:10 -0500)]
add arch tuple matching for nt32 and nt64 in configure

the nt32 and nt64 archs will be provided by the midipix project for
building musl on top of its posix-like syscall layer for windows. at
present the needed arch files are in a separate repository, but having
the tuple matching in the upstream configure script should make it
possible to overlay the arch files without needing any further
patching.

8 years agowork around regression building for armhf with clang (compiler bug)
Rich Felker [Fri, 19 Feb 2016 01:20:07 +0000 (01:20 +0000)]
work around regression building for armhf with clang (compiler bug)

commit e4355bd6bec89688e8c739cd7b4c76e675643dca moved the math asm
from external source files to inline asm, but unfortunately, all
current releases of clang use the wrong inline asm constraint codes
for float and double ("w" and "P" instead of "t" and "w",
respectively). this patch adds detection for the bug in configure,
and, for now, just disables the affected asm on broken clang versions.

8 years agoimprove macro logic for enabling arm math asm
Rich Felker [Thu, 18 Feb 2016 23:53:03 +0000 (23:53 +0000)]
improve macro logic for enabling arm math asm

in order to take advantage of the fpu in -mfloat-abi=softfp mode, the
__VFP_FP__ (presence of vfp fpu) was checked instead of checking for
__ARM_PCS_VFP (hardfloat EABI variant). however, the latter macro is
the one that's actually specified by the ABI documents rather than
being compiler-specific, and should also be checked in case __VFP_FP__
is not defined on some compilers or some configurations.

8 years agoupdate authors/contributors list
Rich Felker [Thu, 18 Feb 2016 20:14:15 +0000 (15:14 -0500)]
update authors/contributors list

these additions were made based on scanning commit authors since the
last update, at the time of the 1.1.7 release, and adding everyone
with either substantial code contributions or a pattern of ongoing
simple patch submission.

8 years agofix regression in SH/FDPIC dynamic linker
Rich Felker [Thu, 18 Feb 2016 04:13:05 +0000 (04:13 +0000)]
fix regression in SH/FDPIC dynamic linker

the dynamic linker was found to hang when used as the PT_INTERP, but
not when invoked as a command. the mechanism of this failure was not
determined, but the cause is clear:

commit 5552ce52000855906a5cb4f08f2e456573cca51f removed the SHARED
macro, but arch/sh/crt_arch.h is still using it to choose the right
form of the crt/ldso entry point code. moving the forced definition
from rcrt1.c to dlstart.c restores the old behavior. eventually the
logic should be changed to fully remove the SHARED macro or at least
rename it to something more reasonable.

8 years agopartly revert detection of broken float in configure
Rich Felker [Thu, 18 Feb 2016 04:09:33 +0000 (04:09 +0000)]
partly revert detection of broken float in configure

commit 80fbaac4cd1930e9545a5d36bf46ae49011d2ce8 broke all soft-float
archs, where gcc defines __GCC_IEC_559==0 because rounding modes and
exception flags are not supported. for now, just check for
__FAST_MATH__ as an indication of broken float. this won't detect all
possible misconfigurations but it probably catches the most common
one.

8 years agosupport clean/distclean make targets in unconfigured tree
Rich Felker [Wed, 17 Feb 2016 21:11:45 +0000 (16:11 -0500)]
support clean/distclean make targets in unconfigured tree

commit 2f853dd6b9a95d5b13ee8f9df762125e0588df5d moved the error
handling for $(ARCH) not being set such that it applied to all
targets, including clean and distclean. previously these targets
worked even in an unconfigured tree. to restore the old behavior, make
most of the makefile body conditional on $(ARCH) being set/non-empty
and produce the error via a fake "all" target in the conditional
branch for the case where $(ARCH) is empty.

8 years agoadjust makefile to make crt/ and ldso/ sources arch-replaceable
Rich Felker [Wed, 17 Feb 2016 18:56:27 +0000 (13:56 -0500)]
adjust makefile to make crt/ and ldso/ sources arch-replaceable

prior to commit 2f853dd6b9a95d5b13ee8f9df762125e0588df5d which
overhauled the makefile for out-of-tree builds, crt/*.c files were
replaceable by crt/$(ARCH)/*.s, and top-level ldso/ did not exist (its
files were under src/ldso). since then, crti.o and crtn.o have been
hard-coded as arch-specific, but none of the other files in crt/ or
ldso/ were replaceable at all.

in preparation for easy integration with midipix, which has a port of
musl to windows, it needs to be possible to override the ELF-specific
code in these files. making the same arch-replacements system work
throughout the whole source tree also improves consistency and removes
the need for some file-specific rules (crti.o and crtn.o) in the
makefile.

8 years agomake configure attempt to catch broken floating point CFLAGS/defaults
Rich Felker [Wed, 17 Feb 2016 18:53:54 +0000 (13:53 -0500)]
make configure attempt to catch broken floating point CFLAGS/defaults

8 years agoin crypt-sha*, reject excessive rounds as error rather than clamping
Rich Felker [Tue, 16 Feb 2016 22:38:07 +0000 (17:38 -0500)]
in crypt-sha*, reject excessive rounds as error rather than clamping

the reference implementation clamps rounds to [1000,999999999]. we
further limited rounds to at most 9999999 as a defense against extreme
run times, but wrongly clamped instead of treating out-of-bounds
values as an error, thereby producing implementation-specific hash
results. fixing this should not break anything since values of rounds
this high are not useful anyway.

8 years agofix unlikely corner cases in getopt's message printing
Rich Felker [Tue, 16 Feb 2016 18:27:24 +0000 (13:27 -0500)]
fix unlikely corner cases in getopt's message printing

like fputs (see commit 10a17dfbad2c267d885817abc9c7589fc7ff630b), the
message printing code for getopt assumed that fwrite only returns 0 on
failure, but it can also happen on success if the total length to be
written is zero. programs with zero-length argv[0] were affected.

commit 500c6886c654fd45e4926990fee2c61d816be197 introduced this
problem in getopt by fixing the fwrite behavior to conform to the
requirements of ISO C. previously the wrong expectations of the getopt
code were met by the fwrite implementation.

8 years agofix assumption in fputs that fwrite returning 0 implies an error
Rich Felker [Tue, 16 Feb 2016 18:26:16 +0000 (13:26 -0500)]
fix assumption in fputs that fwrite returning 0 implies an error

internally, the idiom of passing nmemb=1 to fwrite and interpreting
the return value of fwrite (which is necessarily 0 or 1) as
failure/success is fairly widely used. this is not correct, however,
when the size argument is unknown and may be zero, since C requires
fwrite to return 0 in that special case. previously fwrite always
returned nmemb on success, but this was changed for conformance with
ISO C by commit 500c6886c654fd45e4926990fee2c61d816be197.

8 years agorelease 1.1.13 v1.1.13
Rich Felker [Tue, 16 Feb 2016 04:12:42 +0000 (23:12 -0500)]
release 1.1.13

8 years agodo not define static_assert macro for pre-C11 compilers
Rich Felker [Fri, 12 Feb 2016 15:11:40 +0000 (10:11 -0500)]
do not define static_assert macro for pre-C11 compilers

some software simply uses static_assert if the macro is defined, and
this breaks if the compiler does not recognize the _Static_assert
keyword used to define it.

8 years agoadd declarations for utmpname/utmpxname to appropriate headers
Rich Felker [Fri, 12 Feb 2016 14:58:50 +0000 (09:58 -0500)]
add declarations for utmpname/utmpxname to appropriate headers

commit 378f8cb5222b63e4f8532c757ce54e4074567e1f added these functions
(as stubs) but left them without declarations. this broke some
autoconf based software that detected linkability of the symbols but
didn't check for a declaration.

8 years agofix return value for fread/fwrite when size argument is 0
Rich Felker [Thu, 11 Feb 2016 00:44:19 +0000 (19:44 -0500)]
fix return value for fread/fwrite when size argument is 0

when the size argument was zero but nmemb was nonzero, these functions
were returning nmemb, despite no data having been written.
conceptually this is not wrong, but the standard requires a return
value of zero in this case.

8 years agofix line-buffered flush omission for odd usage of putc-family functions
Rich Felker [Thu, 11 Feb 2016 00:10:34 +0000 (19:10 -0500)]
fix line-buffered flush omission for odd usage of putc-family functions

as specified, the int argument providing the character to write is
converted to type unsigned char. for the actual write to buffer,
conversion happened implicitly via the assignment operator; however,
the logic to check whether the argument was a newline used the
original int value. thus usage such as putchar('\n'+0x100) failed to
produce a flush.

8 years agofix failed write reporting by fwrite in line-buffered mode
Rich Felker [Wed, 10 Feb 2016 18:51:05 +0000 (13:51 -0500)]
fix failed write reporting by fwrite in line-buffered mode

when a write error occurred while flushing output due to a newline,
fwrite falsely reported all bytes up to and including the newline as
successfully written. in general, due to buffering such "spurious
success" returns are acceptable for stdio; however for line-buffered
mode it was subtly wrong. errors were still visible via ferror() or as
a short-write return if there was more data past the newline that
should have been written, but since the contract for line-buffered
mode is that everything up through the newline be written out
immediately, a discrepency was observable in the actual file contents.

8 years agoremove workaround for broken mips assemblers
Rich Felker [Mon, 8 Feb 2016 21:07:09 +0000 (21:07 +0000)]
remove workaround for broken mips assemblers

the workaround was for a bug that botched .gpword references to local
labels, applying a nonsensical random offset of -0x4000 to them.

this reverses commit 5e396fb996a80b035d0f6ecf7fed50f68aa3ebb7 and a
removes a similar hack that was added to syscall_cp.s in the later
commit 756c8af8589265e99e454fe3adcda1d0bc5e1963. it turns out one
additional instance of the same idiom, the GETFUNCSYM macro in
arch/mips/reloc.h, was still affected by the assembler bug and does
not admit an easy workaround without making assumptions about how the
macro is used. the previous workarounds made static linking work but
left the early-stage dynamic linker broken and thus had limited
usefulness.

instead, affected users (using binutils versions older than 2.20) will
need to fix the bug on the binutils side; the trivial patch is commit
453f5985b13e35161984bf1bf657bbab11515aa4 in the binutils-gdb
repository.

8 years agoin mips cancellable syscall asm, don't assume gp register is valid
Rich Felker [Thu, 4 Feb 2016 23:01:03 +0000 (23:01 +0000)]
in mips cancellable syscall asm, don't assume gp register is valid

the old __cp_cancel code path loaded the address of __cancel from the
GOT using the $gp register, which happened to be set to point to the
correct GOT by the calling C function, but there is no ABI requirement
that this happen. instead, go the roundabout way and compute the
address of __cancel via pc-relative and gp-relative addressing
starting with a fake return address generated by a bal instruction,
which is the same trick crt1 uses to bootstrap.

8 years agoavoid using signals when a thread attempts to cancel itself
Rich Felker [Thu, 4 Feb 2016 22:59:13 +0000 (22:59 +0000)]
avoid using signals when a thread attempts to cancel itself

not only is pthread_kill expensive in this case; it also breaks
testing under qemu app-level emulation.

8 years agomake configure accept -h as an alias for --help
Rich Felker [Wed, 3 Feb 2016 02:14:09 +0000 (21:14 -0500)]
make configure accept -h as an alias for --help

8 years agoupdate INSTALL file with new archs, compiler info
Rich Felker [Tue, 2 Feb 2016 22:35:06 +0000 (17:35 -0500)]
update INSTALL file with new archs, compiler info

add aarch64 and or1k archs, upgrade sh from experimental, and note
that sh now supports the FDPIC ABI.

the old advice on compiler versions was outdated and more specific
than made sense. presence of compiler bugs varies a lot by arch, so
it's hard to make any good recommendations beyond "recent". if we want
to document specific known-good/bad compiler versions, a much larger
section in the documentation than what's appropriate for the INSTALL
file would be needed.

8 years agofix malloc_usable_size for NULL input
Szabolcs Nagy [Sun, 31 Jan 2016 16:31:03 +0000 (17:31 +0100)]
fix malloc_usable_size for NULL input

the linux man page specifies malloc_usable_size(0) to return 0 and
this is the semantics other implementations follow (jemalloc).
reported by Alexander Monakov.

8 years agoregex: increase the stack tre uses for tnfa creation
Szabolcs Nagy [Sun, 31 Jan 2016 15:46:46 +0000 (16:46 +0100)]
regex: increase the stack tre uses for tnfa creation

10k elements stack is increased to 1000k, otherwise tnfa creation fails
for reasonable sized patterns: a single literal char can add 7 elements
to this stack, so regcomp of an 1500 char long pattern (with only litral
chars) fails with REG_ESPACE. (the new limit allows about < 150k chars,
this arbitrary limit allows most command line regex usage.)

ideally there would be no upper bound: regcomp dynamically reallocates
this buffer, every reallocation checks for allocation failure and at
the end this stack is freed so there is no reason for special bound.
however that may have unwanted effect on regcomp and regexec runtime
so this is a conservative change.

8 years agobetter a_sc inline asm constraint on aarch64 and arm
Szabolcs Nagy [Sun, 31 Jan 2016 15:33:44 +0000 (16:33 +0100)]
better a_sc inline asm constraint on aarch64 and arm

"Q" input constraint was used for the written object, instead of "=Q"
output constraint.  this should not cause problems because "memory"
is on the clobber list, but "=Q" better documents the intent and more
consistent with the actual asm code.

this changes the generated code, because different registers are used,
but other than the register names nothing should change.

8 years agodon't suppress shared libc when linker lacks -Bsymbolic-functions
Rich Felker [Sun, 31 Jan 2016 05:40:33 +0000 (00:40 -0500)]
don't suppress shared libc when linker lacks -Bsymbolic-functions

previous work overhauling the dynamic linker made it so that linking
libc with -Bsymbolic-functions was no longer mandatory, but the
configure logic that forced --disable-shared when ld failed to accept
the option was left in place.

this commit removes the hard-coded -Bsymbolic-functions from the
Makefile and changes the configure test to one that simply adds it to
the auto-detected LDFLAGS on success.

8 years agoldso: fix GDB dynamic linker info on MIPS
Felix Fietkau [Sat, 30 Jan 2016 20:14:05 +0000 (21:14 +0100)]
ldso: fix GDB dynamic linker info on MIPS

GDB is looking for a pointer to the ldso debug info in the data of the
..rld_map section.

Signed-off-by: Felix Fietkau <nbd@openwrt.org>
8 years agoregex: simplify the {,} repetition parsing logic
Szabolcs Nagy [Sat, 18 Apr 2015 17:53:38 +0000 (17:53 +0000)]
regex: simplify the {,} repetition parsing logic

8 years agoregex: treat \+, \? as repetitions in BRE
Szabolcs Nagy [Sat, 18 Apr 2015 17:28:49 +0000 (17:28 +0000)]
regex: treat \+, \? as repetitions in BRE

These are undefined escape sequences by the standard, but often
used in sed scripts.

8 years agoregex: rewrite the repetition parsing code
Szabolcs Nagy [Sat, 18 Apr 2015 17:25:31 +0000 (17:25 +0000)]
regex: rewrite the repetition parsing code

The goto logic was hard to follow and modify. This is
in preparation for the BRE \+ and \? support.

8 years agoregex: treat \| in BRE as alternation
Szabolcs Nagy [Sat, 18 Apr 2015 16:47:17 +0000 (16:47 +0000)]
regex: treat \| in BRE as alternation

The standard does not define semantics for \| in BRE, but some code
depends on it meaning alternation. Empty alternative expression is
allowed to be consistent with ERE.

Based on a patch by Rob Landley.

8 years agoregex: reject repetitions in some cases with REG_BADRPT
Szabolcs Nagy [Sat, 18 Apr 2015 15:51:16 +0000 (15:51 +0000)]
regex: reject repetitions in some cases with REG_BADRPT

Previously repetitions were accepted after empty expressions like
in (*|?)|{2}, but in BRE the handling of * and \{\} were not
consistent: they were accepted as literals in some cases and
repetitions in others.

It is better to treat repetitions after an empty expression as an
error (this is allowed by the standard, and glibc mostly does the
same). This is hard to do consistently with the current logic so
the new rule is:

Reject repetitions after empty expressions, except after assertions
^*, $? and empty groups ()+ and never treat them as literals.

Empty alternation (|a) is undefined by the standard, but it can be
useful so that should be accepted.

8 years agoregex: clean up position accounting for literal nodes
Szabolcs Nagy [Sat, 18 Apr 2015 14:31:07 +0000 (14:31 +0000)]
regex: clean up position accounting for literal nodes

This should not change the meaning of the code, just make the intent
clearer: advancing position is tied to adding a new literal.

8 years agofix misaligned pointer-like objects in arm atomics asm source file
Rich Felker [Sun, 31 Jan 2016 00:42:08 +0000 (19:42 -0500)]
fix misaligned pointer-like objects in arm atomics asm source file

this file's .data section was not aligned, and just happened to get
the correct alignment with past builds. it's likely that the move of
atomic.s from arch/arm/src to src/thread/arm caused the change in
alignment, which broke the atomic and thread-pointer access fragments
on actual armv5 hardware.

8 years agofix regression in dynamic-linked tls when both main app & libs have tls
Rich Felker [Sat, 30 Jan 2016 19:34:45 +0000 (14:34 -0500)]
fix regression in dynamic-linked tls when both main app & libs have tls

commit d56460c939c94a6c547abe8238f442b8de10bfbd introduced this bug by
setting up the tls module chain incorrectly when the main app has tls.
the singly-linked list head pointer was setup correctly, but the tail
pointer was not, so the first attempt to append to the list (for a
shared library with tls) would treat the list as empty and effectively
removed the main app from the list. this left all tls module id
numbers off-by-one.

this bug did not appear in any released versions.

8 years agoreuse parsed resolv.conf in dns core to avoid re-reading/re-parsing
Rich Felker [Fri, 29 Jan 2016 01:51:31 +0000 (20:51 -0500)]
reuse parsed resolv.conf in dns core to avoid re-reading/re-parsing

8 years agofix uninitialized variable in new resolv.conf parser
Rich Felker [Fri, 29 Jan 2016 01:50:30 +0000 (20:50 -0500)]
fix uninitialized variable in new resolv.conf parser

8 years agoadd support for search domains to dns resolver
Rich Felker [Fri, 29 Jan 2016 00:50:48 +0000 (19:50 -0500)]
add support for search domains to dns resolver

search is only performed if the search or domain keyword is used in
resolv.conf and the queried name has fewer than ndots dots. there is
no default domain and names with >=ndots dots are never subjected to
search; failure in the root scope is final.

the (non-POSIX) res_search API presently does not honor search. this
may be added at some point in the future if needed.

resolv.conf is now parsed twice, at two different layers of the code
involved. this will be fixed in a subsequent patch.

8 years agofix handling of dns response codes
Rich Felker [Fri, 29 Jan 2016 00:23:06 +0000 (19:23 -0500)]
fix handling of dns response codes

rcode of 3 (NxDomain) was treated as a hard EAI_NONAME failure, but it
should instead return 0 (no results) so the caller can continue
searching. this will be important for adding search domain support.
the top-level caller will automatically return EAI_NONAME if there are
zero results at the end.

also, the case where rcode is 0 (success) but there are no results was
not handled. this happens when the domain exists but there are no A or
AAAA records for it. in this case a hard EAI_NONAME should be imposed
to inhibit further search, since the name was defined and just does
not have any address associated with it. previously a misleading hard
failure of EAI_FAIL was reported.

8 years agofix logic for matching search/domain keywords in resolv.conf
Rich Felker [Fri, 29 Jan 2016 00:20:13 +0000 (19:20 -0500)]
fix logic for matching search/domain keywords in resolv.conf

8 years agofactor resolv.conf parsing out of res_msend to its own file
Rich Felker [Thu, 28 Jan 2016 23:24:34 +0000 (18:24 -0500)]
factor resolv.conf parsing out of res_msend to its own file

this change is made in preparation for adding search domains, for
which higher-level code will need to parse resolv.conf. simply parsing
it twice for each lookup would be one reasonable option, but the
existing parser code was buggy anyway, which suggested to me that it's
a bad idea to have two variants of this code in two different places.

the old code in res_msend potentially misinterpreted overly long lines
in resolv.conf, and stopped parsing after it found 3 nameservers, even
if there were relevant options left to be parsed later in the file.

8 years agoadd errno setting to stub utmpxname function
Rich Felker [Thu, 28 Jan 2016 05:38:23 +0000 (00:38 -0500)]
add errno setting to stub utmpxname function

8 years agolegacy/utmpx: Add utmp{,x}name stubs
Kylie McClain [Fri, 22 Jan 2016 20:17:15 +0000 (15:17 -0500)]
legacy/utmpx: Add utmp{,x}name stubs

8 years agodeduplicate the bulk of the arch bits headers
Rich Felker [Thu, 28 Jan 2016 02:40:47 +0000 (21:40 -0500)]
deduplicate the bulk of the arch bits headers

all bits headers that were identical for a number of 'clean' archs are
moved to the new arch/generic tree. in addition, a few headers that
differed only cosmetically from the new generic version are removed.

additional deduplication may be possible in mman.h and in several
headers (limits.h, posix.h, stdint.h) that mostly depend on whether
the arch is 32- or 64-bit, but they are left alone for now because
greater gains are likely possible with more invasive changes to header
logic, which is beyond the scope of this commit.

8 years agoadd arch/generic include fallback to build rules
Rich Felker [Thu, 28 Jan 2016 00:31:15 +0000 (19:31 -0500)]
add arch/generic include fallback to build rules

this sets the stage for the first phase of the bits deduplication.
bits headers which are identical for "most" archs will be moved to
arch/generic/bits.

8 years agoremove unneeded -I options from configure test for may_alias attribute
Rich Felker [Thu, 28 Jan 2016 00:01:21 +0000 (19:01 -0500)]
remove unneeded -I options from configure test for may_alias attribute

this test does not include anything, so the -I options are not useful
and are just a maintenance burden if paths change.

8 years agomips: add vdso support
Hauke Mehrtens [Tue, 26 Jan 2016 20:26:34 +0000 (21:26 +0100)]
mips: add vdso support

vdso support is available on mips starting with kernel 4.4, see kernel
commit a7f4df4e21 "MIPS: VDSO: Add implementations of gettimeofday()
and clock_gettime()" for details.

In Linux kernel 4.4.0 the mips code returns -ENOSYS in case it can not
handle the vdso call and assumes the libc will call the original
syscall in this case. Handle this case in musl. Currently Linux kernel
4.4.0 handles the following types: CLOCK_REALTIME_COARSE,
CLOCK_MONOTONIC_COARSE, CLOCK_REALTIME and CLOCK_MONOTONIC.

8 years agoimprove clock_gettime and adapt it to support slightly-broken vdso
Rich Felker [Wed, 27 Jan 2016 17:23:47 +0000 (12:23 -0500)]
improve clock_gettime and adapt it to support slightly-broken vdso

these changes are motivated by a functionally similar patch by Hauke
Mehrtens to address the needs of the new mips vdso clock_gettime,
which wrongly fails with ENOSYS rather than falling back to making a
syscall for clock ids it cannot handle from userspace. in the process
of preparing to handle that case, it was noticed that the old
clock_gettime use of the vdso was actually wrong with respect to error
handling -- the tail call to the vdso function failed to set errno and
instead returned an error code.

since tail calls to vdso are no longer possible and since the plain
syscall code is now needed as a fallback path anyway, it does not make
sense to use a function pointer to call the plain syscall code path.
instead, it's inlined at the end of the main clock_gettime function.

the new code also avoids the need to test for initialization of the
vdso function pointer by statically initializing it to a self-init
function, and eliminates redundant loads from the volatile pointer
object.

finally, the use of a_cas_p on an object of type other than void *,
which is not permitted aliasing, is replaced by using an object with
the correct type and casting the value.

8 years agofix siginfo_t for mips
Szabolcs Nagy [Wed, 27 Jan 2016 00:54:25 +0000 (00:54 +0000)]
fix siginfo_t for mips

si_errno and si_code are swapped in mips siginfo_t compared to other
archs and some si_code values are different.  This fix is required
for POSIX timers to work.

based on patch by Dmitry Ivanov.

8 years agomove bits/signal.h include close to the top of signal.h
Szabolcs Nagy [Wed, 27 Jan 2016 00:40:32 +0000 (00:40 +0000)]
move bits/signal.h include close to the top of signal.h

only have code above the bits/signal.h include that is necessary.
(some types are used for the ucontext struct and mips has to
override a few macro definitions)

this way mips bits/signal.h will be able to affect siginfo_t.

8 years agoadd new PTRACE_SECCOMP_GET_FILTER ptrace command
Szabolcs Nagy [Sun, 24 Jan 2016 04:48:20 +0000 (04:48 +0000)]
add new PTRACE_SECCOMP_GET_FILTER ptrace command

allows the tracer to dump the bpf seccomp filters of the tracee,
new in linux v4.4, commit f8e529ed941ba2bbcbf310b575d968159ce7e895

8 years agoadd MCL_ONFAULT and MLOCK_ONFAULT mlockall and mlock2 flags
Szabolcs Nagy [Sun, 24 Jan 2016 01:19:38 +0000 (01:19 +0000)]
add MCL_ONFAULT and MLOCK_ONFAULT mlockall and mlock2 flags

they lock faulted pages into memory (useful when a small part of a
large mapped file needs efficient access), new in linux v4.4, commit
b0f205c2a3082dd9081f9a94e50658c5fa906ff1

MLOCK_* is not in the POSIX reserved namespace for sys/mman.h

8 years agoadd mlock2 syscall number from linux v4.4
Szabolcs Nagy [Sat, 23 Jan 2016 23:16:14 +0000 (23:16 +0000)]
add mlock2 syscall number from linux v4.4

this is mlock with a flags argument, new in linux commit
a8ca5d0ecbdde5cc3d7accacbd69968b0c98764e

as usual microblaze and sh don't have allocated syscall number yet.

8 years agoadd new PTRACE_O_SUSPEND_SECCOMP ptrace option
Szabolcs Nagy [Thu, 19 Nov 2015 00:01:17 +0000 (00:01 +0000)]
add new PTRACE_O_SUSPEND_SECCOMP ptrace option

allows a ptracer process to disable/enable seccomp filters of the
traced process, useful for checkpoint/restore, new in v4.3 commit
13c4a90119d28cfcb6b5bdd820c233b86c2b0237

8 years agoadd new PR_CAP_AMBIENT and related defines to sys/prctl.h
Szabolcs Nagy [Wed, 18 Nov 2015 23:56:08 +0000 (23:56 +0000)]
add new PR_CAP_AMBIENT and related defines to sys/prctl.h

ambient capability mask is new in linux v4.3, commit
58319057b7847667f0c9585b9de0e8932b0fdb08

8 years agoupdate netpacket/packet.h to linux v4.3
Szabolcs Nagy [Wed, 18 Nov 2015 23:54:22 +0000 (23:54 +0000)]
update netpacket/packet.h to linux v4.3

8 years agoadd new membarrier, userfaultfd and switch_endian syscalls
Szabolcs Nagy [Wed, 18 Nov 2015 23:31:37 +0000 (23:31 +0000)]
add new membarrier, userfaultfd and switch_endian syscalls

new in linux v4.3 added for aarch64, arm, i386, mips, or1k, powerpc,
x32 and x86_64.

membarrier is a system wide memory barrier, moves most of the
synchronization cost to one side, new in kernel commit
5b25b13ab08f616efd566347d809b4ece54570d1

userfaultfd is useful for qemu and is new in kernel commit
8d2afd96c20316d112e04d935d9e09150e988397

switch_endian is powerpc only for switching endianness, new in commit
529d235a0e190ded1d21ccc80a73e625ebcad09b

8 years agoadd new i386 socket syscall numbers
Szabolcs Nagy [Wed, 18 Nov 2015 23:27:07 +0000 (23:27 +0000)]
add new i386 socket syscall numbers

new in linux v4.3 commit 9dea5dc921b5f4045a18c63eb92e84dc274d17eb
direct calls instead of socketcall allow better seccomp filtering.

musl continues to use socketcalls internally on i386. (older kernels
would need a fallback mechanism if the direct calls were used.)

8 years agochange the internal socketcall selection logic
Szabolcs Nagy [Mon, 25 Jan 2016 00:52:58 +0000 (00:52 +0000)]
change the internal socketcall selection logic

only use SYS_socketcall if SYSCALL_USE_SOCKETCALL is defined
internally, otherwise use direct syscalls.

this commit does not change the current behaviour, it is
preparation for adding direct syscall numbers for i386.

8 years agoadd ssp suppression to some arch-override files that may need it
Rich Felker [Tue, 26 Jan 2016 01:06:31 +0000 (20:06 -0500)]
add ssp suppression to some arch-override files that may need it

these were not covered by the parent-level rules with the new build
system. in the old build system, the equivalent files were often in
arch/$(ARCH)/src and likewise lacked the suppression. this could lead
to early crashing (before thread pointer init) when libc itself was
built with stack protector enabled.

8 years agouse same object files for libc.a and libc.so if compiler produces PIC
Rich Felker [Tue, 26 Jan 2016 00:57:38 +0000 (19:57 -0500)]
use same object files for libc.a and libc.so if compiler produces PIC

now that .lo and .o files differ only by whether -fPIC is passed (and
no longer at the source level based on the SHARED macro), it's
possible to use the same object files for both static and shared libc
when the compiler would produce PIC for the static files anyway. this
happens if the user has included -fPIC in their CFLAGS or if the
compiler has been configured to produce PIE by default.

we use the .lo files for both, and still append -fPIC to the CFLAGS,
rather than using the .o files so that libc.so does not break
catastrophically if the user later removes -fPIC from CFLAGS in
config.mak or on the make command line. this also ensures that we get
full -fPIC in case -fpic, -fPIE, or some other lesser-PIC option was
passed in CFLAGS.

8 years agomove dynamic linker to its own top-level directory, ldso
Rich Felker [Tue, 26 Jan 2016 00:29:55 +0000 (19:29 -0500)]
move dynamic linker to its own top-level directory, ldso

this eliminates the last need for the SHARED macro to control how
files in the src tree are compiled. the same code is used for both
libc.a and libc.so, with additional code for the dynamic linker (from
the new ldso tree) being added to libc.so but not libc.a. separate .o
and .lo object files still exist for the src tree, but the only
difference is that the .lo files are built as PIC.

in the future, if/when we add dlopen support for static-linked
programs, much of the code in dynlink.c may be moved back into the src
tree, but properly factored into separate source files. in that case,
the code in the ldso tree will be reduced to just the dynamic linker
entry point, self-relocation, and loading of libraries needed by the
main application.

8 years agoadapt static dl_iterate_phdr not to depend on !defined(SHARED)
Rich Felker [Tue, 26 Jan 2016 00:12:41 +0000 (19:12 -0500)]
adapt static dl_iterate_phdr not to depend on !defined(SHARED)

like elsewhere, use a weak alias that the dynamic linker will override
with a more complete version capable of handling shared libraries.

8 years agomove static-linked stub dlsym out of dynlink.c
Rich Felker [Tue, 26 Jan 2016 00:01:22 +0000 (19:01 -0500)]
move static-linked stub dlsym out of dynlink.c

the function name is still __-prefixed because it requires an asm
wrapper to pass the caller's address in order for RTLD_NEXT to work.

since this was the last function in dynlink.c still used for static
linking, now the whole file is conditional on SHARED being defined.

8 years agomove static-linked stub dlopen out of dynlink.c
Rich Felker [Mon, 25 Jan 2016 23:58:06 +0000 (18:58 -0500)]
move static-linked stub dlopen out of dynlink.c

8 years agomove dlinfo out of dynlink.c
Rich Felker [Mon, 25 Jan 2016 23:55:35 +0000 (18:55 -0500)]
move dlinfo out of dynlink.c

8 years agomove dlclose out of dynlink.c to its own source file
Rich Felker [Mon, 25 Jan 2016 23:53:40 +0000 (18:53 -0500)]
move dlclose out of dynlink.c to its own source file

8 years agomove static-linked stub invalid dso handle checking out of dynlink.c
Rich Felker [Mon, 25 Jan 2016 23:51:33 +0000 (18:51 -0500)]
move static-linked stub invalid dso handle checking out of dynlink.c

8 years agomove static/stub version of dladdr out of dynlink.c
Rich Felker [Mon, 25 Jan 2016 23:37:05 +0000 (18:37 -0500)]
move static/stub version of dladdr out of dynlink.c

8 years agofactor dlerror and error-setting code out of dynlink.c
Rich Felker [Mon, 25 Jan 2016 22:56:00 +0000 (17:56 -0500)]
factor dlerror and error-setting code out of dynlink.c

the ultimate goal of this change is to get all code used in libc.a out
of dynlink.c, so that the dynamic linker code can be moved to its own
tree and object files in the src tree can all be shared between libc.a
and libc.so.

8 years agofix arm a_crash for big endian
Rich Felker [Mon, 25 Jan 2016 21:59:55 +0000 (21:59 +0000)]
fix arm a_crash for big endian

contrary to commit 89e149d275a7699a4a5e4c98bab267648f64cbba, big
endian arm does need the instruction bytes in big endian order. rather
than trying to use a special encoding that works as arm or thumb,
simply encode the simplest/canonical undefined instructions dependent
on whether __thumb__ is defined.

8 years agoadd native a_crash primitive for arm
Rich Felker [Mon, 25 Jan 2016 02:40:55 +0000 (02:40 +0000)]
add native a_crash primitive for arm

the .byte directive encodes a guaranteed-undefined instruction, the
same one Linux fills the kuser helper page with when it's disabled.
the udf mnemonic and and .insn directives are not supported by old
binutils versions, and larger-than-byte integer directives would
produce the wrong output on big-endian.