oweals/musl.git
8 years agoupdate netinet/tcp.h for linux v4.2
Szabolcs Nagy [Tue, 8 Sep 2015 19:50:26 +0000 (19:50 +0000)]
update netinet/tcp.h for linux v4.2

TCP_CC_INFO is a new socket option to get congestion control info without
netlink (union tcp_cc_info is in linux/inet_diag.h kernel header).
linux commit 6e9250f59ef9efb932c84850cd221f22c2a03c4a

TCP_SAVE_SYN, TCP_SAVED_SYN socket options are for saving and getting the
SYN headers of passive connections in a server application.
linux commit cd8ae85299d54155702a56811b2e035e63064d3d

Add new tcpi_* fields to struct tcp_info implementing RFC4898 counters.
linux commit 2efd055c53c06b7e89c167c98069bab9afce7e59

8 years agoadd MS_LAZYTIME mount option to sys/mount.h
Szabolcs Nagy [Fri, 26 Jun 2015 20:47:11 +0000 (20:47 +0000)]
add MS_LAZYTIME mount option to sys/mount.h

new in linux 4.0 commit 0ae45f63d4ef8d8eeec49c7d8b44a1775fff13e8,
used to update atime/mtime/ctime only in memory when possible.

8 years agoadd AF_MPLS (PF_MPLS) address family to socket.h
Szabolcs Nagy [Fri, 26 Jun 2015 20:32:24 +0000 (20:32 +0000)]
add AF_MPLS (PF_MPLS) address family to socket.h

new in linux 4.0 commit 0189197f441602acdca3f97750d392a895b778fd.

8 years agoadd MSG_FASTOPEN sendmsg/sendto flag to socket.h
Szabolcs Nagy [Fri, 26 Jun 2015 20:27:37 +0000 (20:27 +0000)]
add MSG_FASTOPEN sendmsg/sendto flag to socket.h

This was new in linux 3.5 in commit cf60af03ca4e71134206809ea892e49b92a88896,
needed for tcp fastopen feature (sending data in TCP SYN packet).

8 years agoclean powerpc syscall.h
Szabolcs Nagy [Wed, 18 Nov 2015 23:20:34 +0000 (23:20 +0000)]
clean powerpc syscall.h

remove ifdefs for powerpc64.

8 years agoadd missing powerpc specific PROT_SAO memory protection flag
Szabolcs Nagy [Sun, 24 Jan 2016 00:20:43 +0000 (00:20 +0000)]
add missing powerpc specific PROT_SAO memory protection flag

this flag for strong access ordering was added in linux v2.6.27
commit aba46c5027cb59d98052231b36efcbbde9c77a1d

8 years agofix powerpc MCL_* mlockall flags in bits/mman.h
Szabolcs Nagy [Sun, 24 Jan 2016 00:18:17 +0000 (00:18 +0000)]
fix powerpc MCL_* mlockall flags in bits/mman.h

the definitions didn't match the linux uapi headers.

8 years agofix aarch64 atomics to load/store 32bit only
Szabolcs Nagy [Sun, 24 Jan 2016 20:51:34 +0000 (20:51 +0000)]
fix aarch64 atomics to load/store 32bit only

a_ll/a_sc inline asm used 64bit register operands (%0) instead of 32bit
ones (%w0), this at least broke a_and_64 (which always cleared the top
32bit, leaking memory in malloc).

8 years agoimprove aarch64 atomics
Rich Felker [Sat, 23 Jan 2016 19:03:40 +0000 (14:03 -0500)]
improve aarch64 atomics

aarch64 provides ll/sc variants with acquire/release memory order,
freeing us from the need to have full barriers both before and after
the ll/sc operation. previously they were not used because the a_cas
can fail without performing a_sc, in which case half of the barrier
would be omitted. instead, define a custom version of a_cas for
aarch64 which uses a_barrier explicitly when aborting the cas
operation. aside from cas, other operations built on top of ll/sc are
not affected since they never abort but rather loop until they
succeed.

a split ll/sc version of the pointer-sized a_cas_p is also introduced
using the same technique.

patch by Szabolcs Nagy.

8 years agoadd arch/abi info to dynamic linker's id/version output
Rich Felker [Fri, 22 Jan 2016 04:04:16 +0000 (04:04 +0000)]
add arch/abi info to dynamic linker's id/version output

8 years agoremove arch/$(ARCH)/src from the build system
Rich Felker [Fri, 22 Jan 2016 03:58:51 +0000 (03:58 +0000)]
remove arch/$(ARCH)/src from the build system

the files that used to come from extra src dirs under the arch dir
have all been removed or moved to appropriate places under the main
src tree.

8 years agoremove sh port's __fpscr_values source file
Rich Felker [Fri, 22 Jan 2016 03:50:58 +0000 (03:50 +0000)]
remove sh port's __fpscr_values source file

commit f3ddd173806fd5c60b3f034528ca24542aecc5b9, the dynamic linker
bootstrap overhaul, silently disabled the definition of __fpscr_values
in this file since libc.so's copy of __fpscr_values now comes from
crt_arch.h, the same place the public definition in the main program's
crt1.o ultimately comes from. remove this file which is no longer in
use.

8 years agomove sh port's __shcall internal function from arch/sh/src to src tree
Rich Felker [Fri, 22 Jan 2016 03:50:08 +0000 (03:50 +0000)]
move sh port's __shcall internal function from arch/sh/src to src tree

8 years agomove sh __unmapself code from arch/sh/src to main src tree
Rich Felker [Fri, 22 Jan 2016 03:46:00 +0000 (03:46 +0000)]
move sh __unmapself code from arch/sh/src to main src tree

8 years agomove x32 sysinfo impl and syscall fixup code out of arch/x32/src
Rich Felker [Fri, 22 Jan 2016 03:39:07 +0000 (03:39 +0000)]
move x32 sysinfo impl and syscall fixup code out of arch/x32/src

all such arch-specific translation units are being moved to
appropriate arch dirs under the main src tree.

8 years agooverhaul powerpc atomics for new atomics framework
Rich Felker [Fri, 22 Jan 2016 02:58:32 +0000 (02:58 +0000)]
overhaul powerpc atomics for new atomics framework

previously powerpc had a_cas defined in terms of its native ll/sc
style operations, but all other atomics were defined in terms of
a_cas. instead define a_ll and a_sc so the compiler can generate
optimized versions of all the atomic ops and perform better inlining
of a_cas.

extracting the result of the sc (stwcx.) instruction is rather awkward
because it's natively stored in a condition flag, which is not
representable in inline asm. but even with this limitation the new
code still seems significantly better.

8 years agoclean up x86_64 (and x32) atomics for new atomics framework
Rich Felker [Fri, 22 Jan 2016 00:53:09 +0000 (00:53 +0000)]
clean up x86_64 (and x32) atomics for new atomics framework

this commit mostly makes consistent things like spacing, function
ordering in atomic_arch.h, argument names, use of volatile, etc.
a_ctz_l was also removed from x86_64 since atomic.h provides it
automatically using a_ctz_64.

8 years agoclean up i386 atomics for new atomics framework
Rich Felker [Fri, 22 Jan 2016 00:16:53 +0000 (00:16 +0000)]
clean up i386 atomics for new atomics framework

this commit mostly makes consistent things like spacing, function
ordering in atomic_arch.h, argument names, use of volatile, etc. the
fake 64-bit and/or atomics are also removed because the shared
atomic.h does a better job of implementing them; it avoids making two
atomic memory accesses when only one 32-bit half needs to be touched.

no major overhaul is needed or possible because x86 actually has
native versions of all the usual atomic operations, rather than using
ll/sc or needing cas loops.

8 years agooverhaul mips atomics for new atomics framework
Rich Felker [Fri, 22 Jan 2016 00:10:40 +0000 (00:10 +0000)]
overhaul mips atomics for new atomics framework

8 years agomove arm-specific translation units out of arch/arm/src, to src/*/arm
Rich Felker [Fri, 22 Jan 2016 00:02:21 +0000 (00:02 +0000)]
move arm-specific translation units out of arch/arm/src, to src/*/arm

this is possible with the new build system that allows src/*/$(ARCH)/*
files which do not shadow a file in the parent directory, and yields a
more logical organization. eventually it will be possible to remove
arch/*/src from the build system.

8 years agooverhaul arm atomics for new atomics framework
Rich Felker [Thu, 21 Jan 2016 23:30:30 +0000 (23:30 +0000)]
overhaul arm atomics for new atomics framework

switch to ll/sc model so that new atomic.h can provide optimized
versions of all the atomic primitives without needing an ll/sc loop
written in asm for each one.

all isa levels which use ldrex/strex now use the inline ll/sc model
even if the type of barrier to use is not known until runtime (v6).
the cas model is only used for arm v5 and earlier, and it has been
optimized to make the call via inline asm with custom constraints
rather than as a C function call.

8 years agooverhaul aarch64 atomics for new atomics framework
Rich Felker [Thu, 21 Jan 2016 19:50:55 +0000 (19:50 +0000)]
overhaul aarch64 atomics for new atomics framework

8 years agooverhaul sh atomics for new atomics framework, add j-core cas.l backend
Rich Felker [Thu, 21 Jan 2016 19:28:15 +0000 (19:28 +0000)]
overhaul sh atomics for new atomics framework, add j-core cas.l backend

sh needs runtime-selected atomic backends since there are a number of
supported models that use non-forwards-compatible (non-smp-compatible)
atomic mechanisms. previously, the code paths for this were highly
inefficient since they involved C function calls with multiple
branches in the callee and heavy spills in the caller. the new code
performs calls the runtime-selected asm fragment from inline asm with
extremely minimal clobbers, rather than using a function call.

for the sh4a case where the atomic mechanism is known and there is no
forward-compatibility issue, the movli.l and movco.l instructions are
provided as a_ll and a_sc, allowing the new shared atomic.h to
generate efficient inline versions of all the basic atomic operations
without needing a cas loop.

8 years agorefactor internal atomic.h
Rich Felker [Thu, 21 Jan 2016 19:08:54 +0000 (19:08 +0000)]
refactor internal atomic.h

rather than having each arch provide its own atomic.h, there is a new
shared atomic.h in src/internal which pulls arch-specific definitions
from arc/$(ARCH)/atomic_arch.h. the latter can be extremely minimal,
defining only a_cas or new ll/sc type primitives which the shared
atomic.h will use to construct everything else.

this commit avoids making heavy changes to the individual archs'
atomic implementations. definitions which are identical or
near-identical to what the new shared atomic.h would produce have been
removed, but otherwise the changes made are just hooking up the
arch-specific files to the new infrastructure. major changes to take
advantage of the new system will come in subsequent commits.

8 years agofix global visibility (vis.h) support for out-of-tree builds
Rich Felker [Wed, 20 Jan 2016 19:43:37 +0000 (19:43 +0000)]
fix global visibility (vis.h) support for out-of-tree builds

commit 2f853dd6b9a95d5b13ee8f9df762125e0588df5d failed to change the
test for -include vis.h support to use $srcdir, so vis.h was always
disabled by configure for out-of-tree builds.

8 years agoexclude vis.h when compiling assembly files
Khem Raj [Wed, 20 Jan 2016 18:14:15 +0000 (10:14 -0800)]
exclude vis.h when compiling assembly files

otherwise C declarations are included into preprocessed (.S) asm
source files, producing errors from the assembler.

8 years agosimplify "make clean" and remove unneeded lib dir from tree
Rich Felker [Wed, 20 Jan 2016 04:01:05 +0000 (04:01 +0000)]
simplify "make clean" and remove unneeded lib dir from tree

the lib dir is automatically created if needed by the out-of-tree
build logic, and now that all generated files are in obj and lib,
deleting them is much simpler. using "rm -rf" is also more thorough,
as it picks up object files that were left around from source files
that no longer exist or which are no longer to be used because an
arch-specific replacement file was added or removed.

8 years agodeduplicate compiler invocation command line in makefile
Rich Felker [Wed, 20 Jan 2016 02:58:29 +0000 (02:58 +0000)]
deduplicate compiler invocation command line in makefile

also clean up duplication of CFLAGS passing to assembler.

8 years agoremove outdated/incorrect comment about AS_CMD from makefile
Rich Felker [Wed, 20 Jan 2016 02:52:39 +0000 (02:52 +0000)]
remove outdated/incorrect comment about AS_CMD from makefile

8 years agoremove support for subarch .sub files from the makefile
Rich Felker [Wed, 20 Jan 2016 02:49:32 +0000 (02:49 +0000)]
remove support for subarch .sub files from the makefile

as of commit af21a82ccc8687aa16e85def7db95efeae4cf72e, .sub files are
no longer in use. removing the makefile machinery to handle them not
only cleans up and simplifies the makefile, but also significantly
reduces make's startup time.

8 years agofix build regression for arm pre-v7 from out-of-tree build patch
Rich Felker [Wed, 20 Jan 2016 02:31:06 +0000 (02:31 +0000)]
fix build regression for arm pre-v7 from out-of-tree build patch

commit 2f853dd6b9a95d5b13ee8f9df762125e0588df5d failed to replicate
the old makefile logic that caused arch/arm/src/arm/atomics.s to be
built. since this was the only .s file under arch/*/src, rather than
trying to reproduce the old logic, I'm just moving it up a level and
adjusting the glob pattern in the makefile to catch it. eventually
arch/*/src will probably be removed in favor of moving all these files
to appropriate src/*/$(ARCH) locations.

8 years agoswitch arm, sh, and mips fenv asm from .sub system to .S files
Rich Felker [Wed, 20 Jan 2016 02:07:59 +0000 (02:07 +0000)]
switch arm, sh, and mips fenv asm from .sub system to .S files

8 years agoswitch sh and mips setjmp asm from .sub system to .S files
Rich Felker [Wed, 20 Jan 2016 01:44:06 +0000 (01:44 +0000)]
switch sh and mips setjmp asm from .sub system to .S files

8 years agofix dynamic linker path file selection for arm vs armhf
Rich Felker [Wed, 20 Jan 2016 01:16:09 +0000 (01:16 +0000)]
fix dynamic linker path file selection for arm vs armhf

the __SOFTFP__ macro which was wrongly being used does not reflect the
ABI (arm vs armhf) but just the availability of floating point
instructions/registers, so -mfloat-abi=softfp was wrongly being
treated as armhf. __ARM_PCS_VFP is the correct predefined macro to
check for the armhf EABI variant. this macro usage was corrected for
the build process in commit 4918c2bb206bfaaf5a1f7d3448c2f63d5e2b7d56
but reloc.h was apparently overlooked at the time.

8 years agoreplace armhf math asm source files with inline asm
Rich Felker [Wed, 20 Jan 2016 01:09:57 +0000 (01:09 +0000)]
replace armhf math asm source files with inline asm

this makes it possible to inline them with LTO, and is the simplest
approach to eliminating the use of .sub files.

this also makes VFP sqrt available for use with the standard EABI
(plain arm rather than armhf subarch) when libc is built with
-mfloat-abi=softfp. the same could have been done for fabs, but when
the argument and return value are in integer registers, moving to VFP
registers and back is almost certainly more costly than a simple
integer operation.

8 years agoadapt build of arm memcpy asm not to use .sub files
Rich Felker [Wed, 20 Jan 2016 00:35:05 +0000 (00:35 +0000)]
adapt build of arm memcpy asm not to use .sub files

this depends on commit 9f5eb77992b42d484d69e879d24ef86466f20f21, which
made it possible to use a .c file for arch-specific replacements, and on
commit 2f853dd6b9a95d5b13ee8f9df762125e0588df5d, the out-of-tree build
support, which made it so that src/*/$(ARCH)/* 'replacement' files get
used even if they don't match the base name of a .c file in the parent
directory.

8 years agoeliminate separate static/shared CFLAGS vars in makefile
Rich Felker [Wed, 20 Jan 2016 00:08:52 +0000 (19:08 -0500)]
eliminate separate static/shared CFLAGS vars in makefile

this allows the rules for .o and .lo files to be identical, with -fPIC
and -DSHARED added for .lo files via target-specific variable append.
this is arguably cleaner now and will allow more cleanup and removal
of redundant rule bodies after other prerequisite changes are made.

8 years agoadd support for arch-provided replacement files as .c or .S
Rich Felker [Tue, 19 Jan 2016 23:19:01 +0000 (18:19 -0500)]
add support for arch-provided replacement files as .c or .S

previously, replacement files provided in $(ARCH) dirs under src/ had
to be .s files. in order to replace a file with C source, an empty .s
file was needed there to suppress the original file, and a separate .c
file was needed in arch/$(ARCH)/src/.

support for .S is new and is aimed at short-term use eliminating .sub
files. asm source files are still expected not to make any heavy
preprocessor use, just simple conditionals on subarch. eventually most
affected files may be replaced with C source files with minimal inline
asm instead of asm source files.

8 years agonetinet/tcp: Add TCPOPT, TCPOLEN constants
Kylie McClain [Wed, 30 Dec 2015 22:24:02 +0000 (17:24 -0500)]
netinet/tcp: Add TCPOPT, TCPOLEN constants

Programs such as iptables depend on these constants, which can also
be found defined in other libcs.

Since only TCP_* is reserved as part of tcp.h's namespace, we hide
them behind _BSD_SOURCE (and therefore _DEFAULT_SOURCE) to expose
them by default, but keep it standard conforming.

8 years agofix if_nametoindex return value when socket open fails
Ron Yorston [Fri, 15 Jan 2016 09:39:44 +0000 (09:39 +0000)]
fix if_nametoindex return value when socket open fails

The return value of if_nametoindex is unsigned; it should return 0
on error.

8 years agosupport out-of-tree build
Petr Hosek [Wed, 18 Nov 2015 20:07:32 +0000 (12:07 -0800)]
support out-of-tree build

this change adds support for building musl outside of the source
tree. the implementation is similar to autotools where running
configure in a different directory creates config.mak in the current
working directory and symlinks the makefile, which contains the
logic for creating all necessary directories and resolving paths
relative to the source directory.

to support both in-tree and out-of-tree builds with implicit make
rules, all object files are now placed into a separate directory.

8 years agoadd missing protocols to protoent lookup functions
Timo Teräs [Tue, 5 Jan 2016 14:58:40 +0000 (16:58 +0200)]
add missing protocols to protoent lookup functions

8 years agoadjust mips crt_arch entry point asm to avoid assembler bugs
Rich Felker [Tue, 29 Dec 2015 18:01:29 +0000 (13:01 -0500)]
adjust mips crt_arch entry point asm to avoid assembler bugs

apparently the .gpword directive does not work reliably with local
text labels; values produced were offset by 64k from the correct
value, resulting in incorrect computation of the got pointer at
runtime. instead, use an external label so that the assembler does not
munge the relocation; the linker will then get it right.

commit 6fef8cafbd0f6f185897bc87feb1ff66e2e204e1 exposed this issue by
removing the old, non-PIE-compatible handwritten crt1.s, which was not
affected. presumably mips PIE executables (using Scrt1.o produced from
crt_arch.h) were already affected at the time.

8 years agoadjust i386 max_align_t definition to work around some broken compilers
Rich Felker [Tue, 29 Dec 2015 17:46:15 +0000 (12:46 -0500)]
adjust i386 max_align_t definition to work around some broken compilers

at least gcc 4.7 claims c++11 support but does not accept the alignas
keyword, causing breakage when stddef.h is included in c++11 mode.
instead, prefer using __attribute__((__aligned__)) on any compiler
with GNU extensions, and only use the alignas keyword as a fallback
for other C++ compilers.

C code should not be affected by this patch.

8 years agofix overly pessimistic realloc strategy in getdelim
Rich Felker [Sun, 20 Dec 2015 05:32:46 +0000 (00:32 -0500)]
fix overly pessimistic realloc strategy in getdelim

previously, getdelim was allocating twice the space needed every time
it expanded its buffer to implement exponential buffer growth (in
order to avoid quadratic run time). however, this doubling was
performed even when the final buffer length needed was already known,
which is the common case that occurs whenever the delimiter is in the
FILE's buffer.

this patch makes two changes to remedy the situation:

1. over-allocation is no longer performed if the delimiter has already
been found when realloc is needed.

2. growth factor is reduced from 2x to 1.5x to reduce the relative
excess allocation in cases where the delimiter is not initially in the
buffer, including unbuffered streams.

in theory these changes could lead to quadratic time if the same
buffer is reused to process a sequence of lines successively
increasing in length, but once this length exceeds the stdio buffer
size, the delimiter will not be found in the buffer right away and
exponential growth will still kick in.

8 years agoavoid updating caller's size when getdelim fails to realloc
Rich Felker [Sun, 20 Dec 2015 04:43:31 +0000 (23:43 -0500)]
avoid updating caller's size when getdelim fails to realloc

getdelim was updating *n, the caller's stored buffer size, before
calling realloc. if getdelim then failed due to realloc failure, the
caller would see in *n a value larger than the actual size of the
allocated block, and use of that value is unsafe. in particular,
passing it again to getdelim is unsafe.

now, temporary storage is used for the desired new size, and *n is not
written until realloc succeeds.

8 years agofix crash when signal number 0 is passed to sigaction
Rich Felker [Wed, 16 Dec 2015 04:20:36 +0000 (23:20 -0500)]
fix crash when signal number 0 is passed to sigaction

this error case was overlooked in the old range checking logic. new
check is moved out of __libc_sigaction to the public wrapper in order
to unify the error path and reduce code size.

8 years agoremove visibility suppression by SHARED macro in mips and x32 arch files
Rich Felker [Wed, 16 Dec 2015 04:18:38 +0000 (23:18 -0500)]
remove visibility suppression by SHARED macro in mips and x32 arch files

commit 8a8fdf6398b85c99dffb237e47fa577e2ddc9e77 was intended to remove
all such usage, but these arch-specific files were overlooked, leading
to inconsistent declarations and definitions.

8 years agofix tsearch, tfind, tdelete to handle null pointer input
Szabolcs Nagy [Sat, 5 Dec 2015 20:53:59 +0000 (21:53 +0100)]
fix tsearch, tfind, tdelete to handle null pointer input

POSIX specifies the behaviour for null rootp input, but it
was not implemented correctly.

8 years agotsearch code cleanup
Szabolcs Nagy [Sat, 5 Dec 2015 20:06:02 +0000 (21:06 +0100)]
tsearch code cleanup

changed the insertion method to simplify the recursion logic and
reduce code size a bit.

8 years agofix tsearch to avoid crash on oom
Szabolcs Nagy [Sat, 5 Dec 2015 20:04:18 +0000 (21:04 +0100)]
fix tsearch to avoid crash on oom

malloc failure was not properly propagated in the insertion method
which led to null pointer dereference.

8 years agofix tdelete to properly balance the tree
Szabolcs Nagy [Sat, 5 Dec 2015 20:02:34 +0000 (21:02 +0100)]
fix tdelete to properly balance the tree

the tsearch data structure is an avl tree, but it did not implement
the deletion operation correctly so the tree could become unbalanced.

reported by Ed Schouten.

8 years agoproperly handle point-to-point interfaces in getifaddrs()
Jo-Philipp Wich [Thu, 19 Nov 2015 20:43:10 +0000 (21:43 +0100)]
properly handle point-to-point interfaces in getifaddrs()

With point-to-point interfaces, the IFA_ADDRESS netlink attribute
contains the peer address while an extra attribute IFA_LOCAL carries
the actual local interface address.

Both the glibc and uclibc implementations of getifaddrs() handle this
case by moving the ifa_addr contents to the broadcast/remote address
union and overwriting ifa_addr upon receipt of an IFA_LOCAL attribute.

This patch adds the same special treatment logic of IFA_LOCAL to
musl's implementation of getifaddrs() in order to align its behaviour
with that of uclibc and glibc.

Signed-off-by: Jo-Philipp Wich <jow@openwrt.org>
8 years agoldso: fix the dtv update logic in __tls_get_new
Szabolcs Nagy [Thu, 26 Nov 2015 18:59:46 +0000 (19:59 +0100)]
ldso: fix the dtv update logic in __tls_get_new

if two or more threads accessed tls in a dso that was loaded after
the threads were created, then __tls_get_new could do out-of-bound
memory access (leading to segfault).

accidentally byte count was used instead of element count when
the new dtv pointer was computed. (dso->new_dtv is (void**).)

it is rare that the same dso provides dtv for several threads,
the crash was not observed in practice, but possible to trigger.

8 years agomath: explicitly promote expressions to excess-precision types
Rich Felker [Sat, 21 Nov 2015 21:23:30 +0000 (21:23 +0000)]
math: explicitly promote expressions to excess-precision types

a conforming compiler for an arch with excess precision floating point
(FLT_EVAL_METHOD!=0; presently i386 is the only such arch supported)
computes all intermediate results in the types float_t and double_t
rather than the nominal type of the expression. some incorrect
compilers, however, only keep excess precision in registers, and
convert down to the nominal type when spilling intermediate results to
memory, yielding unpredictable results that depend on the compiler's
choices of what/when to spill. in particular, this happens on old gcc
versions with -ffloat-store, which we need in order to work around
bugs where the compiler wrongly keeps explicitly-dropped excess
precision.

by explicitly converting to double_t where expressions are expected be
be evaluated in double_t precision, we can avoid depending on the
compiler to get types correct when spilling; the nominal and
intermediate precision now match. this commit should not change the
code generated by correct compilers, or by old ones on non-i386 archs
where double_t is defined as double.

this fixes a serious bug in argument reduction observed on i386 with
gcc 4.2: for values of x outside the unit circle, sin(x) was producing
results outside the interval [-1,1]. changes made in commit
0ce946cf808274c2d6e5419b139e130c8ad4bd30 were likely responsible for
breaking compatibility with this and other old gcc versions.

patch by Szabolcs Nagy.

8 years agoremove undef weak refs to init/fini array symbols in libc.so
Rich Felker [Fri, 20 Nov 2015 01:28:08 +0000 (20:28 -0500)]
remove undef weak refs to init/fini array symbols in libc.so

commit ad1cd43a86645ba2d4f7c8747240452a349d6bc1 eliminated
preprocessor-level omission of references to the init/fini array
symbols from object files going into libc.so. the references are weak,
and the intent was that the linker would resolve them to zero in
libc.so, but instead it leaves undefined references that could be
satisfied at runtime. normally these references would be harmless,
since the code using them does not even get executed, but some older
binutils versions produce a linking error: when linking a program
against libc.so, ld first tries to use the hidden init/fini array
symbols produced by the linker script to satisfy the references in
libc.so, then produces an error because the definitions are hidden.

ideally ld would have already provided definitions of these symbols
when linking libc.so, but the linker script for -shared omits them.

to avoid this situation, the dynamic linker now provides its own dummy
definitions of the init/fini array symbols for libc.so. since they are
hidden, everything binds at ld time and no references remain in the
dynamic symbol table. with modern binutils and --gc-sections, both
the dummy empty array objects and the code referencing them get
dropped at link time, anyway.

the _init and _fini symbols are also switched back to using weak
definitions rather than weak references since the latter behave
somewhat problematically in general, and the weak definition approach
was known to work well.

8 years agofix build regression from removal of #ifdef SHARED
Rich Felker [Thu, 19 Nov 2015 00:00:44 +0000 (19:00 -0500)]
fix build regression from removal of #ifdef SHARED

8 years agouse private maps even for read-only segments of FDPIC libraries
Rich Felker [Mon, 16 Nov 2015 02:28:41 +0000 (21:28 -0500)]
use private maps even for read-only segments of FDPIC libraries

the nommu kernel shares memory when it can anyway for private
read-only maps, but semantically the map should be private. this can
make a difference when debugging breakpoints are to be used, in which
case the kernel may need to ensure that the mapping is not shared.

the new behavior matches how the kernel FDPIC loader maps the main
program and/or program interpreter (dynamic linker) binary.

8 years agoremove use of SHARED macro in dynamic linker version reporting
Rich Felker [Thu, 12 Nov 2015 21:13:52 +0000 (16:13 -0500)]
remove use of SHARED macro in dynamic linker version reporting

also fix visibility of the glue function used.

8 years agounify static and dynamic linked implementations of thread-local storage
Rich Felker [Thu, 12 Nov 2015 20:50:26 +0000 (15:50 -0500)]
unify static and dynamic linked implementations of thread-local storage

this both allows removal of some of the main remaining uses of the
SHARED macro and clears one obstacle to static-linked dlopen support,
which may be added at some point in the future.

specialized single-TLS-module versions of __copy_tls and __reset_tls
are removed and replaced with code adapted from their dynamic-linked
versions, capable of operating on a whole chain of TLS modules, and
use of the dynamic linker's DSO chain (which contains large struct dso
objects) by these functions is replaced with a new chain of struct
tls_module objects containing only the information needed for
implementing TLS. this may also yield some performance benefit
initializing TLS for a new thread when a large number of modules
without TLS have been loaded, since since there is no need to walk
structures for modules without TLS.

8 years agounify static and dynamic libc init/fini code paths
Rich Felker [Thu, 12 Nov 2015 03:08:23 +0000 (22:08 -0500)]
unify static and dynamic libc init/fini code paths

use weak definitions that the dynamic linker can override instead of
preprocessor conditionals on SHARED so that the same libc start and
exit code can be used for both static and dynamic linking.

8 years agoeliminate use of SHARED macro in __tls_get_addr
Rich Felker [Thu, 12 Nov 2015 00:43:56 +0000 (19:43 -0500)]
eliminate use of SHARED macro in __tls_get_addr

this was only a tiny optimization, and static-linked binaries should
not be calling __tls_get_addr anyway since the linker is supposed to
perform relaxation, resulting in use of the local-exec TLS model.

8 years agoeliminate use of SHARED macro to suppress visibility attributes
Rich Felker [Thu, 12 Nov 2015 00:29:45 +0000 (19:29 -0500)]
eliminate use of SHARED macro to suppress visibility attributes

this is the first and simplest stage of removal of the SHARED macro,
which will eventually allow libc.a and libc.so to be produced from the
same object files.

the original motivation for these #ifdefs which are now being removed
was to allow building a static-only libc using a compiler that does
not support visibility. however, SHARED was the wrong condition to
test for this anyway; various assembly-language sources refer to
hidden symbols and declare them with the .hidden directive, making it
wrong to define the referenced symbols as non-hidden. if there is a
need in the future to build libc using compilers that lack visibility,
support could be moved to the build system or perhaps the __PIC__
macro could be checked instead of SHARED.

8 years agouse correct nofpu versions of setjmp/longjmp used on sh-nofpu-fdpic
Rich Felker [Wed, 11 Nov 2015 23:27:23 +0000 (18:27 -0500)]
use correct nofpu versions of setjmp/longjmp used on sh-nofpu-fdpic

when adding the fdpic subarchs, the need for these sub files was
overlooked. thus setjmp and longjmp performed illegal instructions.

8 years agofix dynamic loader library mapping for nommu systems
Rich Felker [Wed, 11 Nov 2015 22:34:17 +0000 (17:34 -0500)]
fix dynamic loader library mapping for nommu systems

on linux/nommu, non-writable private mappings of files may actually
use memory shared with other processes or the fs cache. the old nommu
loader code (used when mmap with MAP_FIXED fails) simply wrote over
top of the original file mapping, possibly clobbering this shared
memory. no such breakage was observed in practice, but it should have
been possible.

the new code starts by mapping anonymous writable memory on archs that
might support nommu, then maps load segments over top of it, falling
back to read if MAP_FIXED fails. we use an anonymous map rather than a
writable file map to avoid reading more data from disk than needed.
since pages cannot be loaded lazily on fault, in case of large
data/bss, mapping the full file may read a lot of data that will
subsequently be thrown away when processing additional LOAD segments.
as a result, we cannot skip the first LOAD segment when operating in
this mode.

these changes affect only non-FDPIC nommu support.

8 years agofix return value of nl_langinfo for invalid item arguments
Rich Felker [Wed, 11 Nov 2015 04:07:17 +0000 (23:07 -0500)]
fix return value of nl_langinfo for invalid item arguments

it was wrongly returning a null pointer instead of an empty string.

8 years agoexplicitly assemble all arm asm sources as UAL
Rich Felker [Tue, 10 Nov 2015 05:01:55 +0000 (00:01 -0500)]
explicitly assemble all arm asm sources as UAL

these files are all accepted as legacy arm syntax when producing arm
code, but legacy syntax cannot be used for producing thumb2 with
access to the full ISA. even after switching to UAL, some asm source
files contain instructions which are not valid in thumb mode, so these
will need to be addressed separately.

8 years agoremove non-working pre-armv4t support from arm asm
Rich Felker [Tue, 10 Nov 2015 03:36:38 +0000 (22:36 -0500)]
remove non-working pre-armv4t support from arm asm

the idea of the three-instruction sequence being removed was to be
able to return to thumb code when used on armv4t+ from a thumb caller,
but also to be able to run on armv4 without the bx instruction
available (in which case the low bit of lr would always be 0).
however, without compiler support for generating such a sequence from
C code, which does not exist and which there is unlikely to be
interest in implementing, there is little point in having it in the
asm, and it would likely be easier to add pre-armv4t support via
enhanced linker handling of R_ARM_V4BX than at the compiler level.

removing this code simplifies adding support for building libc in
thumb2-only form (for cortex-m).

8 years agouse vfp mnemonics rather than hard-coded opcodes in arm setjmp/longjmp
Rich Felker [Tue, 10 Nov 2015 02:14:07 +0000 (21:14 -0500)]
use vfp mnemonics rather than hard-coded opcodes in arm setjmp/longjmp

the code to save/restore vfp registers needs to build even when the
configured target does not have fpu; this is because code using vfp
fpu (but with the standard soft-float EABI) may call a libc built for
a soft-float only, and the EABI considers these registers call-saved
when they exist. thus, extra directives are used to force the
assembler to allow vfp instructions and to avoid marking the resulting
object files as requiring vfp.

moving away from using hard-coded opcode words is necessary in order
to eventually support producing thumb2-only output for cortex-m.

conditional execution of these instructions based on hwcap flags was
already implemented. when building for arm (non-thumb) output, the
only currently-supported configuration, this commit does not change
the code emitted.

8 years agowork around toolchains with broken visibility in libgcc/libpcc
Rich Felker [Sun, 8 Nov 2015 01:23:49 +0000 (20:23 -0500)]
work around toolchains with broken visibility in libgcc/libpcc

8 years agouse vfp mnemonics instead of p10 coprocessor ones in armhf fenv asm
Szabolcs Nagy [Thu, 5 Nov 2015 23:13:11 +0000 (18:13 -0500)]
use vfp mnemonics instead of p10 coprocessor ones in armhf fenv asm

mrc/mcr p10 coprocessor mnemonics are deprecated by some
toolchains.

8 years agoconvert arm memcpy asm to UAL, remove .word hacks
Rich Felker [Mon, 19 Oct 2015 00:17:43 +0000 (20:17 -0400)]
convert arm memcpy asm to UAL, remove .word hacks

contrary to commit 9367fe926196f407705bb07cd29c6e40eb1774dd, all
relevant gas versions actually do support .syntax unified.

8 years agoremove external linkage from __simple_malloc definition
Rich Felker [Thu, 5 Nov 2015 02:41:29 +0000 (21:41 -0500)]
remove external linkage from __simple_malloc definition

this function is used only as a weak definition for malloc, for static
linking in programs which do not call realloc or free. since it had
external linkage and was thereby exported in libc.so's dynamic symbol
table, --gc-sections was unable to drop it. this was merely an
oversight; there's no reason for it to be external, so make it static.

8 years agohave configure check/add --gc-sections linker option
Rich Felker [Thu, 5 Nov 2015 02:40:36 +0000 (21:40 -0500)]
have configure check/add --gc-sections linker option

this allowing the linker to drop certain weak definitions that are
only used as dummies for static linking. they could be eliminated for
shared library builds using the preprocessor instead, but we are
trying to transition to using the same object files for shared and
static libc, so a link-time solution is preferable.

8 years agohave configure check/add linker options to reduce size lost to padding
Rich Felker [Thu, 5 Nov 2015 02:39:13 +0000 (21:39 -0500)]
have configure check/add linker options to reduce size lost to padding

based on patch by Denys Vlasenko. sorting sections and common data
symbols by alignment acts as an approximation for optimal packing,
which the linker does not actually support.

8 years agohave configure check/add -ffunction-sections and -fdata-sections
Rich Felker [Wed, 4 Nov 2015 18:24:11 +0000 (13:24 -0500)]
have configure check/add -ffunction-sections and -fdata-sections

based on patch by Denys Vlasenko. the original intent for using these
options was to enable linking optimizations. these are immediately
available for static linking applications to libc.a, and will also be
used for linking libc.so in a subsequent commit.

in addition to the original motives, this change works around a whole
class of toolchain bugs where the compiler generates relative address
expressions using a weak symbol and the assembler "optimizes out" the
relocation which should result by using the weak definition. (see gas
pr 18561 and gcc pr 66609, 68178, etc. for examples.) by having
different functions and data objects in their own sections, all
relative address expressions are cross-section and thus cannot be
resolved to constants until link time. this allows us to retain
support for affected compiler/assembler versions without invasive
and fragile source-level workarounds.

8 years agofix mismatched parens in CMPLX def for annex-g-conforming compilers
Rich Felker [Tue, 3 Nov 2015 02:44:57 +0000 (21:44 -0500)]
fix mismatched parens in CMPLX def for annex-g-conforming compilers

this conditional path was never tested because there are no compilers
that conform to annex g (none with _Imaginary_I).

8 years agogeneralize sh entry point asm not to assume call dests fit in 12 bits
Rich Felker [Mon, 2 Nov 2015 23:11:36 +0000 (18:11 -0500)]
generalize sh entry point asm not to assume call dests fit in 12 bits

this assumption is borderline-unsafe to begin with, and fails badly
with -ffunction-sections since the linker can move the callee
arbitrarily far away when it lies in a different section.

8 years agokeep user-provided CFLAGS/LDFLAGS separate from those added by configure
Rich Felker [Mon, 2 Nov 2015 21:58:14 +0000 (16:58 -0500)]
keep user-provided CFLAGS/LDFLAGS separate from those added by configure

this way, overriding these variables on the make command line (or just
re-passing the originally-passed values when invoking make) won't
suppress use of the flags added by configure.

8 years agofix mremap memory synchronization and use of variadic argument
Rich Felker [Mon, 2 Nov 2015 21:37:51 +0000 (16:37 -0500)]
fix mremap memory synchronization and use of variadic argument

since mremap with the MREMAP_FIXED flag is an operation that unmaps
existing mappings, it needs to use the vm lock mechanism to ensure
that any in-progress synchronization operations using vm identities
from before the call have finished.

also, the variadic argument was erroneously being read even if the
MREMAP_FIXED flag was not passed. in practice this didn't break
anything, but it's UB and in theory LTO could turn it into a hard
error.

8 years agoprevent allocs than PTRDIFF_MAX via mremap
Daniel Micay [Sat, 31 Oct 2015 09:14:45 +0000 (05:14 -0400)]
prevent allocs than PTRDIFF_MAX via mremap

It's quite feasible for this to happen via MREMAP_MAYMOVE.

8 years agouse explicit __cp_cancel label in cancellable syscall asm for all archs
Rich Felker [Mon, 2 Nov 2015 21:16:00 +0000 (16:16 -0500)]
use explicit __cp_cancel label in cancellable syscall asm for all archs

previously, only archs that needed to do stack cleanup defined a
__cp_cancel label for acting on cancellation in their syscall asm, and
a default definition was provided by a weak alias to __cancel, the C
function. this resulted in wrong codegen for arm on gcc versions
affected by pr 68178 and possibly similar issues (like pr 66609) on
other archs, and also created an inconsistency where the __cp_begin
and __cp_end labels were treated as const data but __cp_cancel was
treated as a function. this in turn caused incorrect code generation
on archs where function pointers point to function descriptors rather
than code (for now, only sh/fdpic).

8 years agoproperly access mcontext_t program counter in cancellation handler
Rich Felker [Mon, 2 Nov 2015 17:39:28 +0000 (12:39 -0500)]
properly access mcontext_t program counter in cancellation handler

using the actual mcontext_t definition rather than an overlaid pointer
array both improves correctness/readability and eliminates some ugly
hacks for archs with 64-bit registers bit 32-bit program counter.

also fix UB due to comparison of pointers not in a common array
object.

8 years agofix missing bss handling in FDPIC ELF loader
Rich Felker [Thu, 29 Oct 2015 01:45:31 +0000 (21:45 -0400)]
fix missing bss handling in FDPIC ELF loader

when a library being loaded has bss (i.e. data segment with
p_memsz>p_filesz), this region needs to be zeroed with a combination
of memset and/or mmap. the regular ELF loader always did this but the
FDPIC code path omitted it, leading to objects in bss having
uninitialized/junk contents.

8 years agogetnameinfo: make size check not fail for bigger sizes
Hauke Mehrtens [Mon, 26 Oct 2015 22:03:55 +0000 (23:03 +0100)]
getnameinfo: make size check not fail for bigger sizes

getnameinfo() compares the size of the given struct sockaddr with
sizeof(struct sockaddr_in) and sizeof(struct sockaddr_in6) depending on
the net family. When you add a sockaddr of size sizeof(struct
sockaddr_storage) this function will fail because the size of the
sockaddr is too big. Change the check that it only fails if the size is
too small, but make it work when it is too big for example when someone
calls this function with a struct sockaddr_storage and its size.
This fixes a problem with IoTivity 1.0.0 and musl.

glibc and bionic are only failing if it is smaller, net/freebsd
implemented the != check.

Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
8 years agosafely handle failure to open hosts, services, resolv.conf files
Rich Felker [Mon, 26 Oct 2015 22:42:22 +0000 (18:42 -0400)]
safely handle failure to open hosts, services, resolv.conf files

previously, transient failures like fd exhaustion or other
resource-related errors were treated the same as non-existence of
these files, leading to fallbacks or false-negative results. in
particular:

- failure to open hosts resulted in fallback to dns, possibly yielding
  EAI_NONAME for a hostname that should be defined locally, or an
  unwanted result from dns that the hosts file was intended to
  replace.

- failure to open services resulted in EAI_SERVICE.

- failure to open resolv.conf resulted in querying localhost rather
  than the configured nameservers.

now, only permanent errors trigger the fallback behaviors above; all
other errors are reportable to the caller as EAI_SYSTEM.

8 years agofix single-byte overflow of malloc'd buffer in getdelim
Rich Felker [Sun, 25 Oct 2015 02:42:10 +0000 (22:42 -0400)]
fix single-byte overflow of malloc'd buffer in getdelim

the buffer enlargement logic here accounted for the terminating null
byte, but not for the possibility of hitting the delimiter in the
buffer-refill code path that uses getc_unlocked, in which case two
additional bytes (the delimiter and the null termination) are written
without another chance to enlarge the buffer.

this patch and the corresponding bug report are by Felix Janda.

8 years agoprevent user CFLAGS overrides from exposing executable stack
Rich Felker [Fri, 23 Oct 2015 04:01:01 +0000 (00:01 -0400)]
prevent user CFLAGS overrides from exposing executable stack

the option to suppress executable stack tagging was placed in CFLAGS,
which is treated as optional and overridable by the build system. if a
user replaces CFLAGS after configure has run, it could get lost,
resulting in a libc.so that's flagged as needing executable stack,
which would cause the kernel to map the initial stack as executable.

move -Wa,--noexecstack to CFLAGS_C99FSE, the make variable used for
mandatory compiler options.

8 years agofix breakage when user overrides CFLAGS on the make command line
Rich Felker [Fri, 23 Oct 2015 03:41:35 +0000 (23:41 -0400)]
fix breakage when user overrides CFLAGS on the make command line

these per-target CFLAGS adjustments are mandatory additions to the
command line for building the affected targets, not part of the
user-provided CFLAGS for tuning. my intent was always that the
variable append operations would take place after user settings, but
when a variable is set on the command line, it overrides all
definitions in the makefile, including target-specific ones.

based on patch by Szabolcs Nagy.

8 years agorelease 1.1.12 v1.1.12
Rich Felker [Mon, 19 Oct 2015 23:12:57 +0000 (19:12 -0400)]
release 1.1.12

8 years agodeclare fpu usage to the assembler in arm hard-float asm files
Szabolcs Nagy [Mon, 19 Oct 2015 06:05:58 +0000 (02:05 -0400)]
declare fpu usage to the assembler in arm hard-float asm files

Some armhf gcc toolchains (built with --with-float=hard but without
--with-fpu=vfp*) do not pass -mfpu=vfp to the assembler and then
binutils rejects the UAL mnemonics for VFP unless there is an .fpu vfp
directive in the asm source.

8 years agoadd missing memory barrier to pthread_join
Bobby Bingham [Sun, 4 Oct 2015 19:55:29 +0000 (14:55 -0500)]
add missing memory barrier to pthread_join

POSIX requires pthread_join to synchronize memory on success.  The
futex wait inside __timedwait_cp cannot handle this because it's not
called in all cases.  Also, in the case of a spurious wake, tid can
become zero between the wake and when the joining thread checks it.

8 years agofix dladdr treatment of function descriptors for fdpic
Rich Felker [Fri, 16 Oct 2015 02:51:56 +0000 (22:51 -0400)]
fix dladdr treatment of function descriptors for fdpic

when determining which module an address belongs to, all function
descriptor ranges must be checked first, in case the allocated memory
falls inside another module's memory range.

dladdr itself must also check addresses against function descriptors
before doing a best-match search against the symbol table. even when
doing the latter (e.g. for code addresses obtained from mcontext_t),
also check whether the best-match was a function, and if so, replace
the result with a function descriptor address. which is the nominal
"base address" of the function and which the caller needs if it
intends to subsequently call the matching function.

8 years agofix visibility mismatch in dynamic linker stage 2 function definition
Rich Felker [Thu, 15 Oct 2015 21:38:54 +0000 (17:38 -0400)]
fix visibility mismatch in dynamic linker stage 2 function definition

since commits 2907afb8dbd4c1d34825c3c9bd2b41564baca210 and
6fc30c2493fcfedec89e45088bea87766a1e3286, __dls2 is no longer called
via symbol lookup, but instead uses relative addressing that needs to
be resolved at link time. on some linker versions, and/or if
-Bsymbolic-functions is not used, the linker may leave behind a
dynamic relocation, which is not suitable for bootstrapping the
dynamic linker, if the reference to __dls2 is marked hidden but the
definition is not actually hidden. correcting the definition to use
hidden visibility fixes the problem.

the static-PIE entry point rcrt1 was likewise affected and is also
fixed by this patch.

8 years agosuppress sh assembler rejection of instructions based on isa level
Rich Felker [Thu, 15 Oct 2015 21:21:07 +0000 (17:21 -0400)]
suppress sh assembler rejection of instructions based on isa level

we need access to all instructions in order for runtime selection of
atomic model to work correctly. without this patch, some versions of
gcc instruct gas to reject instructions outside the target isa level.

8 years agoprevent reordering of or1k and powerpc thread pointer loads
Rich Felker [Thu, 15 Oct 2015 16:08:51 +0000 (12:08 -0400)]
prevent reordering of or1k and powerpc thread pointer loads

other archs use asm for the thread pointer load, so making that asm
volatile is sufficient to inform the compiler that it has a "side
effect" (crashing or giving the wrong result if the thread pointer was
not yet initialized) that prevents reordering. however, powerpc and
or1k have dedicated general purpose registers for the thread pointer
and did not need to use any asm to access it; instead, "local register
variables with a specified register" were used. however, there is no
specification for ordering constraints on this type of usage, and
presumably use of the thread pointer could be reordered across its
initialization.

to impose an ordering, I have added empty volatile asm blocks that
produce the "local register variable with a specified register" as
an output constraint.

8 years agomark arm thread-pointer-loading inline asm as volatile
Rich Felker [Thu, 15 Oct 2015 16:04:48 +0000 (12:04 -0400)]
mark arm thread-pointer-loading inline asm as volatile

this builds on commits a603a75a72bb469c6be4963ed1b55fabe675fe15 and
0ba35d69c0e77b225ec640d2bd112ff6d9d3b2af to ensure that a compiler
cannot conclude that it's valid to reorder the asm to a point before
the thread pointer is set up, or to treat the inline function as if it
were declared with attribute((const)).

other archs already use volatile asm for thread pointer loading.

8 years agoadd comment documenting hard-coded opcode for reading mips thread pointer
Rich Felker [Thu, 15 Oct 2015 04:55:41 +0000 (00:55 -0400)]
add comment documenting hard-coded opcode for reading mips thread pointer

8 years agoremove attribute((const)) from arm __pthread_self inline function
Rich Felker [Thu, 15 Oct 2015 04:20:50 +0000 (00:20 -0400)]
remove attribute((const)) from arm __pthread_self inline function

commit a603a75a72bb469c6be4963ed1b55fabe675fe15 did this for the
public pthread_self function but not the internal inline one.

8 years agofix strftime handling of out-of-range struct tm fields
Rich Felker [Wed, 14 Oct 2015 22:58:15 +0000 (18:58 -0400)]
fix strftime handling of out-of-range struct tm fields

strftime results are unspecified in this case, but should not invoke
undefined behaviour.

tm_wday, tm_yday, tm_mon and tm_year fields were used in signed int
arithmetic that could overflow.

based on patch by Szabolcs Nagy.