oweals/musl.git
10 years agofix #ifdef inside a macro argument list in __init_tls.c
Szabolcs Nagy [Wed, 13 Aug 2014 15:07:44 +0000 (17:07 +0200)]
fix #ifdef inside a macro argument list in __init_tls.c

C99 6.10.3p11 disallows such constructs
so use an #ifdef outside of the argument list of __syscall

10 years agofix CPU_EQUAL macro in sched.h
Szabolcs Nagy [Wed, 13 Aug 2014 14:55:56 +0000 (16:55 +0200)]
fix CPU_EQUAL macro in sched.h

10 years agoadd inline isspace in ctype.h as an optimization
Szabolcs Nagy [Wed, 13 Aug 2014 14:47:51 +0000 (16:47 +0200)]
add inline isspace in ctype.h as an optimization

isspace can be a bottleneck in a simple parser, inlining it
gives slightly smaller and faster code

src/locale/pleval.o already had this optimization, the size
change for other libc functions for i386 is

src/internal/intscan.o     2134    2118   -16
src/locale/dcngettext.o    1562    1552   -10
src/network/res_msend.o    1961    1940   -21
src/network/lookup_name.o  2627    2608   -19
src/network/getnameinfo.o  1814    1811    -3
src/network/lookup_serv.o   643     624   -19
src/stdio/vfscanf.o        2675    2663   -12
src/stdlib/atoll.o          117     107   -10
src/stdlib/atoi.o            95      91    -4
src/stdlib/atol.o            95      91    -4
src/time/strptime.o        1515    1503   -12
(TOTALS)                 432451  432321  -130

10 years agoadd dlerror message for static-linked dlsym failure
Rich Felker [Fri, 8 Aug 2014 04:53:27 +0000 (00:53 -0400)]
add dlerror message for static-linked dlsym failure

10 years agofix dlerror when using dlopen with a static libc
Clément Vasseur [Thu, 7 Aug 2014 15:49:29 +0000 (17:49 +0200)]
fix dlerror when using dlopen with a static libc

when the dynamic loader is disabled, dlopen fails correctly but dlerror
did not return a human readable error string like it should have.

10 years agomake clearenv available with _BSD_SOURCE
Clément Vasseur [Thu, 7 Aug 2014 15:49:24 +0000 (17:49 +0200)]
make clearenv available with _BSD_SOURCE

glibc declares clearenv under _BSD_SOURCE, some applications might
depend on it being available this way.

10 years agomake endmntent function handle null argument
Timo Teräs [Wed, 6 Aug 2014 11:15:15 +0000 (14:15 +0300)]
make endmntent function handle null argument

The function originates from SunOS 4.x in which the null argument
is allowed. glibc also handles this case.

10 years agorelease 1.1.4 v1.1.4
Rich Felker [Thu, 31 Jul 2014 23:10:31 +0000 (19:10 -0400)]
release 1.1.4

10 years agoupdate notice on broken gcc versions in INSTALL file
Rich Felker [Thu, 31 Jul 2014 23:02:54 +0000 (19:02 -0400)]
update notice on broken gcc versions in INSTALL file

10 years agoupdate COPYRIGHT file to reflect new contributors
Rich Felker [Thu, 31 Jul 2014 20:06:11 +0000 (16:06 -0400)]
update COPYRIGHT file to reflect new contributors

10 years agoharden locale name handling and prevent slashes in LC_MESSAGES
Rich Felker [Thu, 31 Jul 2014 16:05:25 +0000 (12:05 -0400)]
harden locale name handling and prevent slashes in LC_MESSAGES

the code which loads locale files was already rejecting locale names
containing slashes. however, LC_MESSAGES records a locale name even if
libc does not have a matching locale file, so that gettext or
application code can use the recorded locale name for message
translations to languages that libc does not support. this recorded
name was not being checked for slashes, meaning that such code could
potentially be tricked into directory traversal.

in addition, since the value of a locale category is sometimes used as
a pathname component by callers, the improved code rejects any value
beginning with a dot. this prevents traversal to the parent directory
via "..", use of the top-level locale directory via ".", and also
avoids "hidden" directories as a side effect.

finally, overly long locale names are now rejected (treated as an
unrecognized name and thus as an alias for C.UTF-8) rather than being
truncated.

10 years agoimplement ffsl and ffsll functions
Rich Felker [Thu, 31 Jul 2014 06:38:23 +0000 (02:38 -0400)]
implement ffsl and ffsll functions

per the resolution of Austin Group issue #617, these are accepted for
XSI option in POSIX future and thus I'm treating them as standard
functions.

10 years agolimit visibility of ffs function declaration to _XOPEN_SOURCE
Rich Felker [Thu, 31 Jul 2014 06:33:17 +0000 (02:33 -0400)]
limit visibility of ffs function declaration to _XOPEN_SOURCE

per the standard, ffs is XSI shaded, whereas the other functions in
this header are in the base.

10 years agofix broken offset argument to the mmap2 syscall on or1k
Rich Felker [Thu, 31 Jul 2014 03:25:37 +0000 (23:25 -0400)]
fix broken offset argument to the mmap2 syscall on or1k

for or1k, the kernel expects the offset passed to mmap2 in units of
the 8k page size, not the standard unit of 4k used on most other
archs.

10 years agoadd framework for mmap2 syscall unit to vary by arch
Rich Felker [Thu, 31 Jul 2014 03:24:31 +0000 (23:24 -0400)]
add framework for mmap2 syscall unit to vary by arch

10 years agoprovide PAGE_SIZE as a constant value of 8192 on or1k
Rich Felker [Thu, 31 Jul 2014 03:19:43 +0000 (23:19 -0400)]
provide PAGE_SIZE as a constant value of 8192 on or1k

according to Stefan Kristiansson, or1k page size is not actually
variable and the value of 8192 is part of the ABI.

10 years agoplural rule evaluator rewrite for dcngettext
Szabolcs Nagy [Wed, 30 Jul 2014 17:02:08 +0000 (19:02 +0200)]
plural rule evaluator rewrite for dcngettext

using an operator precedence parser the code size
became smaller and it is only slower by about %10

size of old vs new pleval.o on different archs:
(with inlined isspace added to pleval.c for now)

old:
   text    data     bss     dec     hex filename
    828       0       0     828     33c pl.i386.o
   1152       0       0    1152     480 pl.arm.o
   1704       0       0    1704     6a8 pl.mips.o
   1328       0       0    1328     530 pl.ppc.o
    992       0       0     992     3e0 pl.x64.o
new:
   text    data     bss     dec     hex filename
    693       0       0     693     2b5 pl.i386.o
    972       0       0     972     3cc pl.arm.o
   1276       0       0    1276     4fc pl.mips.o
   1087       0       0    1087     43f pl.ppc.o
    846       0       0     846     34e pl.x64.o

10 years agoreimplement if_nameindex and getifaddrs using netlink
Timo Teräs [Tue, 8 Apr 2014 14:03:16 +0000 (14:03 +0000)]
reimplement if_nameindex and getifaddrs using netlink

the previous implementations had several deficiencies, the most severe
of which was the inability to report unconfigured interfaces or
interfaces without ipv4 addresses. among the options discussed for
fixing this, using netlink turned out to be the one with the least
cost and most additional advantages. other improvements include:

if_nameindex now avoids duplicates in the list it produces, but still
includes legacy-style interface aliases if any are in use.

getifaddrs now reports hardware addresses and includes the scope_id
for link-local ipv6 addresses in the resulting address.

10 years agofix terminal control ioctl constants for sh
Rich Felker [Tue, 29 Jul 2014 20:40:51 +0000 (16:40 -0400)]
fix terminal control ioctl constants for sh

this commit changes the names to match the kernel names, exposing
under the normal names the "old" versions which work with a smaller
termios structure compatible with the userspace structure, and
renaming the "new" versions with "2" on the end like the kernel has.

this fixes spurious warnings "Unsupported ioctl: cmd=0x802c542a" from
qemu-sh4 and should be more correct anyway, since our userspace
termios structure does not have meaningful information in the part
which the kernel would be interpreting as speeds with the new ioctl.

10 years agotweaks to plural rules evaluator
Szabolcs Nagy [Tue, 29 Jul 2014 17:39:19 +0000 (19:39 +0200)]
tweaks to plural rules evaluator

const parsing, depth accounting and failure handling was changed
a bit so the generated code is slightly smaller.

10 years agoharden dcngettext plural processing
Rich Felker [Tue, 29 Jul 2014 16:25:41 +0000 (12:25 -0400)]
harden dcngettext plural processing

while the __mo_lookup backend can verify that the translated message
ends with a null terminator, is has no way to know nplurals and thus
no way to verify that sufficiently many null terminators are present
in the string to satisfy all plural forms. the code in dcngettext was
already attempting to avoid reading past the end of the mo file
mapping, but failed to do so because the strlen call itself could
over-read. using strnlen instead allows us to avoid the problem.

10 years agoharden mo file processing for locale/translations
Rich Felker [Tue, 29 Jul 2014 15:48:36 +0000 (11:48 -0400)]
harden mo file processing for locale/translations

rather than just checking that the start of the string lies within the
mapping, also check that the nominal length remains within the
mapping, and that the null terminator is present at the nominal
length. this ensures that the caller, using the result as a C string,
will not read past the end of the mapping.

the nominal length is never exposed to the caller, but it's useful
internally to find where the null terminator should be without having
to restort to linear search via strnlen/memchr.

10 years agoimplement non-default plural rules for ngettext translations
Rich Felker [Mon, 28 Jul 2014 22:04:15 +0000 (18:04 -0400)]
implement non-default plural rules for ngettext translations

the new code in dcngettext was written by me, and the expression
evaluator by Szabolcs Nagy (nsz).

10 years agoremove unused a_cas_l from or1k atomic.h
Rich Felker [Mon, 28 Jul 2014 01:59:58 +0000 (21:59 -0400)]
remove unused a_cas_l from or1k atomic.h

this follows the same logic as in the previous commit for other archs.

10 years agoclean up unused and inconsistent atomics in arch dirs
Rich Felker [Mon, 28 Jul 2014 01:50:24 +0000 (21:50 -0400)]
clean up unused and inconsistent atomics in arch dirs

the a_cas_l, a_swap_l, a_swap_p, and a_store_l operations were
probably used a long time ago when only i386 and x86_64 were
supported. as other archs were added, support for them was
inconsistent, and they are obviously not in use at present. having
them around potentially confuses readers working on new ports, and the
type-punning hacks and inconsistent use of types in their definitions
is not a style I wish to perpetuate in the source tree, so removing
them seems appropriate.

10 years agofix insufficient synchronization in sh atomic asm
Rich Felker [Mon, 28 Jul 2014 01:13:37 +0000 (21:13 -0400)]
fix insufficient synchronization in sh atomic asm

while other usage I've seen only has the synco instruction after the
atomic operation, I cannot find any documentation indicating that this
is correct. certainly all stores before the atomic need to have been
synchronized before the atomic operation takes place.

10 years agoimplement gettext message translation functions
Rich Felker [Sun, 27 Jul 2014 08:29:56 +0000 (04:29 -0400)]
implement gettext message translation functions

this commit replaces the stub implementations with working message
translation functions. translation units are factored so as to prevent
pulling in the legacy, non-library-safe functions which use a global
textdomain in modern code which is using the versions with an explicit
domain argument. bind_textdomain_codeset is also placed in its own
file since it should not be needed by most programs.

this implementation is still missing some features: the LANGUAGE
environment variable (for multiple fallback languages) is not honored,
and non-default plural-form rules are not supported. these issues will
be addressed in a later commit.

one notable difference from the GNU implementation is that there is no
default path for loading translation files. in principle one could be
added, but since the documented correct usage is to call the
bindtextdomain function, a default path is probably unnecessary.

10 years agoadd support for LC_TIME and LC_MESSAGES translations
Rich Felker [Sat, 26 Jul 2014 09:36:25 +0000 (05:36 -0400)]
add support for LC_TIME and LC_MESSAGES translations

for LC_MESSAGES, translation of strerror and similar literal message
functions is supported. for messages in other places (particularly the
dynamic linker) that use format strings, translation is not yet
supported. in order to make it possible and safe, such messages will
need to be refactored to separate the textual content from the format.

for LC_TIME, the day and month names and strftime-style format strings
provided by nl_langinfo are supported for translation. however there
may be limitations, as some of the original C-locale nl_langinfo
strings are non-unique and thus perhaps non-suitable as keys.

overall, the locale support activated by this commit should not be
seen as complete and polished but as a basis for beginning to test
locale functionality and implement locales.

10 years agoadd missing yes/no strings to nl_langinfo
Rich Felker [Sat, 26 Jul 2014 08:43:50 +0000 (04:43 -0400)]
add missing yes/no strings to nl_langinfo

these were removed from the standard but still offered as an extension
in langinfo.h, so nl_langinfo should support them.

10 years agofix nl_langinfo table for LC_TIME era-related items
Rich Felker [Sat, 26 Jul 2014 06:42:33 +0000 (02:42 -0400)]
fix nl_langinfo table for LC_TIME era-related items

due to a skipped slot and missing null terminator, the last few
strings were off by one or two slots from their item codes.

10 years agoimplement mo file string lookup for translations
Rich Felker [Sat, 26 Jul 2014 06:34:09 +0000 (02:34 -0400)]
implement mo file string lookup for translations

the core is based on a binary search; hash table is not used. both
native and reverse-endian mo files are supported. all offsets read
from the mapped mo file are checked against the mapping size to
prevent the possibility of reads outside the mapping.

this commit has no observable effects since there are not yet any
callers to the message translation code.

10 years agoimplement locale file loading and state for remaining locale categories
Rich Felker [Thu, 24 Jul 2014 07:23:11 +0000 (03:23 -0400)]
implement locale file loading and state for remaining locale categories

there is still no code which actually uses the loaded locale files, so
the main observable effect of this commit is that calls to setlocale
store and give back the names of the selected locales for the
remaining categories (LC_TIME, LC_COLLATE, LC_MONETARY) if a locale
file by the requested name could be loaded.

10 years agofix locale environment variable logic for empty strings
Rich Felker [Thu, 24 Jul 2014 07:02:17 +0000 (03:02 -0400)]
fix locale environment variable logic for empty strings

per POSIX (XBD 8.2) LC_*/LANG environment variables set to to the
empty string are supposed to be treated as if they were not set at
all.

10 years agoadd new PR_SET_THP_DISABLE and PR_GET_THP_DISABLE prctl flags
Szabolcs Nagy [Sun, 20 Jul 2014 14:13:52 +0000 (16:13 +0200)]
add new PR_SET_THP_DISABLE and PR_GET_THP_DISABLE prctl flags

they can be used to set or query if transparent huge pages are disabled.
introduced in linux 3.15 commit a0715cc22601e8830ace98366c0c2bd8da52af52

10 years agoadd pacing rate information to the tcp_info struct in tcp.h
Szabolcs Nagy [Sun, 20 Jul 2014 14:09:33 +0000 (16:09 +0200)]
add pacing rate information to the tcp_info struct in tcp.h

used by monitoring applications such as ss from iproute2
introduced in linux 3.15 commit 977cb0ecf82eb6d15562573c31edebf90db35163

10 years agoadd new ethernet packet types ETH_P_80221, ETH_P_LOOPBACK
Szabolcs Nagy [Sun, 20 Jul 2014 14:02:15 +0000 (16:02 +0200)]
add new ethernet packet types ETH_P_80221, ETH_P_LOOPBACK

ETH_P_80221 is ethertype for IEEE Std 802.21 - Media Independent Handover Protocol
introduced in linux 3.15 commit b62faf3cdc875a1ac5a10696cf6ea0b12bab1596

ETH_P_LOOPBACK is the correct packet type for loopback in IEEE 802.3*
introduced in linux 3.15 commit 61ccbb684421d374fdcd7cf5d6b024b06f03ce4e

some defines were shuffled to be in ascending order and match the kernel header

10 years agoadd syscall numbers for the new renameat2 syscall
Szabolcs Nagy [Sun, 20 Jul 2014 13:43:42 +0000 (15:43 +0200)]
add syscall numbers for the new renameat2 syscall

it's like rename but with flags eg. to allow atomic exchange of two files,
introduced in linux 3.15 commit 520c8b16505236fc82daa352e6c5e73cd9870cff

10 years agofix regression that negated some mips syscall error returns
Rich Felker [Sun, 20 Jul 2014 16:38:26 +0000 (12:38 -0400)]
fix regression that negated some mips syscall error returns

due to what was essentially a copy and paste error, the changes made
in commit f61be1f875a2758509d6e9e2cf6f1d9603b28b65 caused syscalls
with 5 or 6 arguments (and syscalls with 2, 3, or 4 arguments when
compiled with clang compatibility) to negate the returned error code a
second time, breaking errno reporting.

10 years agofix mips struct stat dev_t members for big endian
Rich Felker [Sun, 20 Jul 2014 03:37:21 +0000 (23:37 -0400)]
fix mips struct stat dev_t members for big endian

the mips version of this structure on the kernel side wrongly has
32-bit type rather than 64-bit type. fortunately there is adjacent
padding to bring it up to 64 bits, and on little-endian, this allows
us to treat the adjacent kernel st_dev and st_pad0[0] as as single
64-bit dev_t. however, on big endian, such treatment results in the
upper and lower 32-bit parts of the dev_t value being swapped. for the
purpose of just comparing st_dev values this did not break anything,
but it precluded actually processing the device numbers as major/minor
values.

since the broken kernel behavior that needs to be worked around is
isolated to one arch, I put the workarounds in syscall_arch.h rather
than adding a stat fixup path in the common code. on little endian
mips, the added code optimizes out completely.

the changes necessary were incompatible with the way the __asm_syscall
macro was factored so I just removed it and flattened the individual
__syscallN functions. this arguably makes the code easier to read and
understand, anyway.

10 years agoadd issetugid function to check for elevated privilege
Brent Cook [Tue, 15 Jul 2014 16:30:07 +0000 (16:30 +0000)]
add issetugid function to check for elevated privilege

this function provides a way for third-party library code to use the
same logic that's used internally in libc for suppressing untrusted
input/state (e.g. the environment) when the application is running
with privleges elevated by the setuid or setgid bit or some other
mechanism. its semantics are intended to match the openbsd function by
the same name.

there was some question as to whether this function is necessary:
getauxval(AT_SECURE) was proposed as an alternative. however, this has
several drawbacks. the most obvious is that it asks programmers to be
aware of an implementation detail of ELF-based systems (the aux
vector) rather than simply the semantic predicate to be checked. and
trying to write a safe, reliable version of issetugid in terms of
getauxval is difficult. for example, early versions of the glibc
getauxval did not report ENOENT, which could lead to false negatives
if AT_SECURE was not present in the aux vector (this could probably
only happen when running on non-linux kernels under linux emulation,
since glibc does not support linux versions old enough to lack
AT_SECURE). as for musl, getauxval has always properly reported
errors, but prior to commit 7bece9c2095ee81f14b1088f6b0ba2f37fecb283,
the musl implementation did not emulate AT_SECURE if missing, which
would result in a false positive. since musl actually does partially
support kernels that lack AT_SECURE, this was problematic.

the intent is that library authors will use issetugid if its
availability is detected at build time, and only fall back to the
unreliable alternatives on systems that lack it.

patch by Brent Cook. commit message/rationale by Rich Felker.

10 years agofix or1k atomic store
Rich Felker [Sun, 20 Jul 2014 00:42:15 +0000 (20:42 -0400)]
fix or1k atomic store

at the very least, a compiler barrier is required no matter what, and
that was missing. current or1k implementations have strong ordering,
but this is not guaranteed as part of the ISA, so some sort of
synchronizing operation is necessary.

in principle we should use l.msync, but due to misinterpretation of
the spec, it was wrongly treated as an optional instruction and is not
supported by some implementations. if future kernels trap it and treat
it as a nop (rather than illegal instruction) when the
hardware/emulator does not support it, we could consider using it.

in the absence of l.msync support, the l.lwa/l.swa instructions, which
are specified to have a built-in l.msync, need to be used. the easiest
way to use them to implement atomic store is to perform an atomic swap
and throw away the result. using compare-and-swap would be lighter,
and would probably be sufficient for all actual usage cases, but
checking this is difficult and error-prone:

with store implemented in terms of swap, it's guaranteed that, when
another atomic operation is performed at the same time as the store,
either the result of the store followed by the other operation, or
just the store (clobbering the other operation's result) is seen. if
store were implemented in terms of cas, there are cases where this
invariant would fail to hold, and we would need detailed rules for the
situations in which the store operation is well-defined.

10 years agofix missing barriers in powerpc atomic store
Rich Felker [Sat, 19 Jul 2014 22:34:10 +0000 (18:34 -0400)]
fix missing barriers in powerpc atomic store

10 years agofix microblaze atomic store
Rich Felker [Sat, 19 Jul 2014 22:23:24 +0000 (18:23 -0400)]
fix microblaze atomic store

as far as I can tell, microblaze is strongly ordered, but this does
not seem to be well-documented and the assumption may need revisiting.
even with strong ordering, however, a volatile C assignment is not
sufficient to implement atomic store, since it does not preclude
reordering by the compiler with respect to non-volatile stores and
loads.

simply flanking a C store with empty volatile asm blocks with memory
clobbers would achieve the desired result, but is likely to result in
worse code generation, since the address and value for the store may
need to be spilled. actually writing the store in asm, so that there's
only one asm block, should give optimal code generation while
satisfying the requirement for having a compiler barrier.

10 years agofix missing barrier instructions in powerpc atomic asm
Rich Felker [Sat, 19 Jul 2014 19:57:48 +0000 (15:57 -0400)]
fix missing barrier instructions in powerpc atomic asm

10 years agofix missing barrier instructions in mips atomic asm
Rich Felker [Sat, 19 Jul 2014 19:51:12 +0000 (15:51 -0400)]
fix missing barrier instructions in mips atomic asm

previously I had wrongly assumed the ll/sc instructions also provided
memory synchronization; apparently they do not. this commit adds sync
instructions before and after each atomic operation and changes the
atomic store to simply use sync before and after a plain store, rather
than a useless compare-and-swap.

10 years agouse memory constraints for mips atomic asm
Rich Felker [Sat, 19 Jul 2014 17:51:35 +0000 (13:51 -0400)]
use memory constraints for mips atomic asm

despite lacking the semantic content that the asm accesses the
pointed-to object rather than just using its address as a value, the
mips asm was not actually broken. the asm blocks were declared
volatile, meaning that the compiler must treat them as having unknown
side effects.

however changing the asm to use memory constraints is desirable not
just from a semantic correctness and consistency standpoint, but also
produces better code. the compiler is able to use base/offset
addressing expressions for the atomic object's address rather than
having to load the address into a single register. this improves
access to global locks in static libc, and access to non-zero-offset
atomic fields in synchronization primitives, etc.

10 years agofix build breakage from ppc asm constraints change
Rich Felker [Sat, 19 Jul 2014 17:43:46 +0000 (13:43 -0400)]
fix build breakage from ppc asm constraints change

due to a mistake in my testing procedure, the changes in the previous
commit were not correctly tested and wrongly assumed to be valid. the
lwarx and stwcx. instructions do not accept general ppc memory address
expressions and thus the argument associated with the memory
constraint cannot be used directly.

instead, the memory constraint can be left as an argument that the asm
does not actually use, and the address can be provided in a separate
register constraint.

10 years agoremove cruft from microblaze atomic.h
Rich Felker [Sat, 19 Jul 2014 17:03:30 +0000 (13:03 -0400)]
remove cruft from microblaze atomic.h

10 years agofix broken constraints for powerpc atomic cas asm
Rich Felker [Sat, 19 Jul 2014 16:19:20 +0000 (12:19 -0400)]
fix broken constraints for powerpc atomic cas asm

the register constraint for the address to be accessed did not convey
that the asm can access the pointed-to object. as far as the compiler
could tell, the result of the asm was just a pure function of the
address and the values passed in, and thus the asm could be hoisted
out of loops or omitted entirely if the result was not used.

10 years agofix missing flags arg to fstatat syscall in fstat fallback path
Rich Felker [Fri, 18 Jul 2014 19:24:04 +0000 (15:24 -0400)]
fix missing flags arg to fstatat syscall in fstat fallback path

this code path is used only on archs without the plain, non-at
syscalls, and only when the fstat syscall fails with EBADF on a valid
file descriptor. this in turn can happen only for O_PATH file
descriptors, and may not happen at all on the newer kernels needed for
supporting such archs.

with the flags argument omitted, spurious fstat failures may happen
when the argument register happens to have the AT_SYMLINK_NOFOLLOW bit
set.

10 years agofix microblaze definition of struct stat
Rich Felker [Fri, 18 Jul 2014 18:55:30 +0000 (14:55 -0400)]
fix microblaze definition of struct stat

the erroneous definition was missed because with works with qemu
user-level emulation, which also has the wrong definition. the actual
kernel uses the asm-generic generic definition.

10 years agoadd or1k (OpenRISC 1000) architecture port
Stefan Kristiansson [Thu, 17 Jul 2014 19:09:10 +0000 (22:09 +0300)]
add or1k (OpenRISC 1000) architecture port

With the exception of a fenv implementation, the port is fully featured.
The port has been tested in or1ksim, the golden reference functional
simulator for OpenRISC 1000.
It passes all libc-test tests (except the math tests that
requires a fenv implementation).

The port assumes an or1k implementation that has support for
atomic instructions (l.lwa/l.swa).

Although it passes all the libc-test tests, the port is still
in an experimental state, and has yet experienced very little
'real-world' use.

10 years agoprovide getauxval(AT_SECURE) even if it is missing from the aux vector
Rich Felker [Fri, 18 Jul 2014 02:01:52 +0000 (22:01 -0400)]
provide getauxval(AT_SECURE) even if it is missing from the aux vector

this could happen on 2.4-series linux kernels that predate AT_SECURE
and possibly on other kernels that are emulating the linux syscall API
but not providing AT_SECURE in the aux vector at startup.

in principle applications should be checking errno anyway, but this
does not really work. to be secure, the caller would have to treat
ENOENT (indeterminate result) as possibly-suid and thereby disable
functionality in the typical non-suid usage case. and since glibc only
runs on kernels that provide AT_SECURE, applications written to the
glibc getauxval API might simply assume it succeeds.

10 years agoremove useless infinite loop from end of exit function
Rich Felker [Fri, 18 Jul 2014 01:37:10 +0000 (21:37 -0400)]
remove useless infinite loop from end of exit function

this was originally added as a cheap but portable way to quell
warnings about reaching the end of a function that does not return,
but since _Exit is marked _Noreturn, it's not needed. removing it
makes the call to _Exit into a tail call and shaves off a few bytes of
code from minimal static programs.

10 years agofix crash in regexec for nonzero nmatch argument with REG_NOSUB
Rich Felker [Thu, 17 Jul 2014 23:56:27 +0000 (19:56 -0400)]
fix crash in regexec for nonzero nmatch argument with REG_NOSUB

per POSIX, the nmatch and pmatch arguments are ignored when the regex
was compiled with REG_NOSUB.

10 years agowork around constant folding bug 61144 in gcc 4.9.0 and 4.9.1
Rich Felker [Thu, 17 Jul 2014 01:32:06 +0000 (21:32 -0400)]
work around constant folding bug 61144 in gcc 4.9.0 and 4.9.1

previously we detected this bug in configure and issued advice for a
workaround, but this turned out not to work. since then gcc 4.9.0 has
appeared in several distributions, and now 4.9.1 has been released
without a fix despite this being a wrong code generation bug which is
supposed to be a release-blocker, per gcc policy.

since the scope of the bug seems to affect only data objects (rather
than functions) whose definitions are overridable, and there are only
a very small number of these in musl, I am just changing them from
const to volatile for the time being. simply removing the const would
be sufficient to make gcc 4.9.1 work (the non-const case was
inadvertently fixed as part of another change in gcc), and this would
also be sufficient with 4.9.0 if we forced -O0 on the affected files
or on the whole build. however it's cleaner to just remove all the
broken compiler detection and use volatile, which will ensure that
they are never constant-folded. the quality of a non-broken compiler's
output should not be affected except for the fact that these objects
are no longer const and thus possibly add a few bytes to data/bss.

this change can be reconsidered and possibly reverted at some point in
the future when the broken gcc versions are no longer relevant.

10 years agosimplify __stdio_exit static linking logic
Rich Felker [Thu, 17 Jul 2014 00:44:22 +0000 (20:44 -0400)]
simplify __stdio_exit static linking logic

the purpose of this logic is to avoid linking __stdio_exit unless any
stdio reads (which might require repositioning the file offset at exit
time) or writes (which might require flushing at exit time) could have
been performed.

previously, exit called two wrapper functions for __stdio_exit named
__flush_on_exit and __seek_on_exit. both of these functions actually
performed both tasks (seek and flushing) by calling the underlying
__stdio_exit. in order to avoid doing this twice, an overridable data
object __towrite_used was used to cause __seek_on_exit to act as a nop
when __towrite was linked.

now, exit only makes one call, directly to __stdio_exit. this is
satisfiable by a weak dummy definition in exit.c, but the real
definition is pulled in by either __toread.c or __towrite.c through
their referencing a symbol which is defined only in __stdio_exit.c.

10 years agoimplement the LOG_CONS option in syslog
Rich Felker [Sat, 12 Jul 2014 01:59:49 +0000 (21:59 -0400)]
implement the LOG_CONS option in syslog

this was previously a no-op, somewhat intentionally, because I failed
to understand that it only has an effect when sending to the logging
facility fails and thus is not the nuisance that it would be if always
sent output to the console.

10 years agosuppress early syslog return when log socket cannot be opened
Rich Felker [Sat, 12 Jul 2014 01:56:50 +0000 (21:56 -0400)]
suppress early syslog return when log socket cannot be opened

this behavior is no longer valid in general, and was never necessary.
if the LOG_PERROR option is set, output to stderr could still succeed.
also, when the LOG_CONS option is added, it will need syslog to
proceed even if opening the log socket fails.

10 years agoimplement the LOG_PERROR option in syslog
Rich Felker [Sat, 12 Jul 2014 01:20:04 +0000 (21:20 -0400)]
implement the LOG_PERROR option in syslog

this is a nonstandard feature, but easy and inexpensive to add. since
the corresponding macro has always been defined in our syslog.h, it
makes sense to actually support it. applications may reasonably be
using the presence of the macro to assume that the feature is
supported.

the behavior of omitting the 'header' part of the log message does not
seem to be well-documented, but matches other implementations (at
least glibc) which have this option.

based on a patch by Clément Vasseur, but simplified using %n.

10 years agofix the %m specifier in syslog
Clément Vasseur [Wed, 9 Jul 2014 12:34:18 +0000 (14:34 +0200)]
fix the %m specifier in syslog

errno must be saved upon vsyslog entry, otherwise its value could be
changed by some libc function before reaching the %m handler in
vsnprintf.

10 years agoexplicitly reject empty names in dynamic linker load_library function
Rich Felker [Fri, 11 Jul 2014 04:29:44 +0000 (00:29 -0400)]
explicitly reject empty names in dynamic linker load_library function

previously passing an empty string for name resulted in failure, as
expected, but only after spurious syscalls, and it produced confusing
errno values (and thus dlerror strings).

in addition to dlopen calls, this issue affected use of LD_PRELOAD
with trailing whitespace or colon characters.

10 years agomake dynamic linker accept colon as a separator for LD_PRELOAD
Rich Felker [Fri, 11 Jul 2014 04:26:12 +0000 (00:26 -0400)]
make dynamic linker accept colon as a separator for LD_PRELOAD

10 years agofix typo in microblaze setjmp asm
Rich Felker [Tue, 8 Jul 2014 23:40:44 +0000 (19:40 -0400)]
fix typo in microblaze setjmp asm

r24 was wrongly being saved at a misaligned offset of 30 rather than
the correct offset of 40 in the jmp_buf. the exact effects of this
error have not been studied, but it's clear that the value of r24 was
lost across setjmp/longjmp and the saved values of r21 and/or r22 may
also have been corrupted.

10 years agorename file containing pthread_cleanup_push and pop for consistency
Rich Felker [Mon, 7 Jul 2014 03:10:35 +0000 (23:10 -0400)]
rename file containing pthread_cleanup_push and pop for consistency

10 years agorework cancellation weak alias logic not to depend on archive order
Rich Felker [Mon, 7 Jul 2014 02:56:25 +0000 (22:56 -0400)]
rework cancellation weak alias logic not to depend on archive order

if the order of object files in the static archive libc.a was not
respected by the linker, the old logic could wrongly cause POSIX
symbols outside of the ISO C namespace to be pulled into pure C
programs. this should not happen with well-behaved linkers, but
relying on the link order was a bad idea anyway.

files are renamed to better reflect their contents now that they don't
need names to control their order as members in the archive file.

10 years agofix multiple issues in legacy function getpass
Rich Felker [Sun, 6 Jul 2014 05:34:13 +0000 (01:34 -0400)]
fix multiple issues in legacy function getpass

1. failure to output a newline after the password is read
2. fd leaks via missing FD_CLOEXEC
3. fd leaks via failure-to-close when any of the standard streams are
   closed at the time of the call
4. wrongful fallback to use of stdin when opening /dev/tty fails
5. wrongful use of stderr rather than /dev/tty for prompt
6. failure to report error reading password

10 years agoeliminate use of cached pid from thread structure
Rich Felker [Sun, 6 Jul 2014 03:29:55 +0000 (23:29 -0400)]
eliminate use of cached pid from thread structure

the main motivation for this change is to remove the assumption that
the tid of the main thread is also the pid of the process. (the value
returned by the set_tid_address syscall was used to fill both fields
despite it semantically being the tid.) this is historically and
presently true on linux and unlikely to change, but it conceivably
could be false on other systems that otherwise reproduce the linux
syscall api/abi.

only a few parts of the code were actually still using the cached pid.
in a couple places (aio and synccall) it was a minor optimization to
avoid a syscall. caching could be reintroduced, but lazily as part of
the public getpid function rather than at program startup, if it's
deemed important for performance later. in other places (cancellation
and pthread_kill) the pid was completely unnecessary; the tkill
syscall can be used instead of tgkill. this is actually a rather
subtle issue, since tgkill is supposedly a solution to race conditions
that can affect use of tkill. however, as documented in the commit
message for commit 7779dbd2663269b465951189b4f43e70839bc073, tgkill
does not actually solve this race; it just limits it to happening
within one process rather than between processes. we use a lock that
avoids the race in pthread_kill, and the use in the cancellation
signal handler is self-targeted and thus not subject to tid reuse
races, so both are safe regardless of which syscall (tgkill or tkill)
is used.

10 years agoproperly pass current locale to *_l functions when used internally
Rich Felker [Thu, 3 Jul 2014 01:46:41 +0000 (21:46 -0400)]
properly pass current locale to *_l functions when used internally

this change is presently non-functional since the callees do not yet
use their locale argument for anything.

10 years agoconsolidate str[n]casecmp_l into str[n]casecmp source files
Rich Felker [Thu, 3 Jul 2014 01:38:54 +0000 (21:38 -0400)]
consolidate str[n]casecmp_l into str[n]casecmp source files

this is mainly done for consistency with the ctype functions and to
declutter the src/locale directory.

10 years agoconsolidate *_l ctype/wctype functions into their non-_l source files
Rich Felker [Thu, 3 Jul 2014 01:16:05 +0000 (21:16 -0400)]
consolidate *_l ctype/wctype functions into their non-_l source files

the main practical purposes of this commit are to remove a huge amount
of clutter from the src/locale directory, to cut down on the length of
the $(AR) and $(LD) command lines, and to reduce the amount of space
wasted by object file headers in the static libc.a. build time may
also be reduced, though this has not been measured.

as an additional justification, if there ever were a need for the
behavior of these functions to vary by locale, it would be necessary
for the non-_l versions to call the _l versions, so that linking the
former without the latter would not be possible anyway.

10 years agoadd locale framework
Rich Felker [Wed, 2 Jul 2014 23:33:19 +0000 (19:33 -0400)]
add locale framework

this commit adds non-stub implementations of setlocale, duplocale,
newlocale, and uselocale, along with the data structures and minimal
code needed for representing the active locale on a per-thread basis
and optimizing the common case where thread-local locale settings are
not in use.

at this point, the data structures only contain what is necessary to
represent LC_CTYPE (a single flag) and LC_MESSAGES (a name for use in
finding message translation files). representation for the other
categories will be added later; the expectation is that a single
pointer will suffice for each.

for LC_CTYPE, the strings "C" and "POSIX" are treated as special; any
other string is accepted and treated as "C.UTF-8". for other
categories, any string is accepted after being truncated to a maximum
supported length (currently 15 bytes). for LC_MESSAGES, the name is
kept regardless of whether libc itself can use such a message
translation locale, since applications using catgets or gettext should
be able to use message locales libc is not aware of. for other
categories, names which are not successfully loaded as locales (which,
at present, means all names) are treated as aliases for "C". setlocale
never fails.

locale settings are not yet used anywhere, so this commit should have
no visible effects except for the contents of the string returned by
setlocale.

10 years agofix failure of wide printf/scanf functions to set wide orientation
Rich Felker [Wed, 2 Jul 2014 16:09:48 +0000 (12:09 -0400)]
fix failure of wide printf/scanf functions to set wide orientation

in some cases, these functions internally call a byte-based input or
output function before calling getwc/putwc, so they cannot rely on the
latter to set the orientation.

10 years agofix typo in a comment in __libc_start_main
Rich Felker [Tue, 1 Jul 2014 23:06:48 +0000 (19:06 -0400)]
fix typo in a comment in __libc_start_main

10 years agofix incorrect return value for fwide function
Rich Felker [Tue, 1 Jul 2014 22:49:54 +0000 (18:49 -0400)]
fix incorrect return value for fwide function

when the orientation of the stream was already set, fwide was
incorrectly returning its argument (the requested orientation) rather
than the actual orientation of the stream.

10 years agofix ungrammatical comment in posix_spawn code
Rich Felker [Tue, 1 Jul 2014 22:32:52 +0000 (18:32 -0400)]
fix ungrammatical comment in posix_spawn code

10 years agofix aliasing violations in mbtowc and mbrtowc
Rich Felker [Tue, 1 Jul 2014 22:27:19 +0000 (18:27 -0400)]
fix aliasing violations in mbtowc and mbrtowc

these functions were setting wc to point to wchar_t aliasing itself as
a "cheap" way to support null wc arguments. doing so was anything but
cheap, since even without the aliasing violation, it would limit the
compiler's ability to optimize.

making wc point to a dummy object is equally easy and does not suffer
from the above problems.

10 years agofix regression in mips dynamic linker
Rich Felker [Mon, 30 Jun 2014 05:18:14 +0000 (01:18 -0400)]
fix regression in mips dynamic linker

this issue caused the address of functions in shared libraries to
resolve to their PLT thunks in the main program rather than their
correct addresses. it was observed causing crashes, though the
mechanism of the crash was not thoroughly investigated. since the
issue is very subtle, it calls for some explanation:

on all well-behaved archs, GOT entries that belong to the PLT use a
special relocation type, typically called JMP_SLOT, so that the
dynamic linker can avoid having the jump destinations for the PLT
resolve to PLT thunks themselves (they also provide a definition for
the symbol, which must be used whenever the address of the function is
taken so that all DSOs see the same address).

however, the traditional mips PIC ABI lacked such a JMP_SLOT
relocation type, presumably because, due to the way PIC works, the
address of the PLT thunk was never needed and could always be ignored.

prior to commit adf94c19666e687a728bbf398f9a88ea4ea19996, the mips
version of reloc.h contained a hack that caused all symbol lookups to
be treated like JMP_SLOT, inhibiting undefined symbols from ever being
used to resolve symbolic relocations. this hack goes all the way back
to commit babf820180368f00742ec65b2050a82380d7c542, when the mips
dynamic linker was first made usable.

during the recent refactoring to eliminate arch-specific relocation
processing (commit adf94c19666e687a728bbf398f9a88ea4ea19996), this
hack was overlooked and no equivalent functionality was provided in
the new code.

fixing the problem is not as simple as adding back an equivalent hack,
since there is now also a "non-PIC ABI" that can be used for the main
executable, which actually does use a PLT. the closest thing to
official documentation I could find for this ABI is nonpic.txt,
attached to Message-ID: 20080701202236.GA1534@caradoc.them.org, which
can be found in the gcc mailing list archives and elsewhere. per this
document, undefined symbols corresponding to PLT thunks have the
STO_MIPS_PLT bit set in the symbol's st_other field. thus, I have
added an arch-specific rule for mips, applied at the find_sym level
rather than the relocation level, to reject undefined symbols with the
STO_MIPS_PLT bit clear.

the previous hack of treating all mips relocations as JMP_SLOT-like,
rather than rejecting the unwanted symbols in find_sym, probably also
caused dlsym to wrongly return PLT thunks in place of the correct
address of a function under at least some conditions. this should now
be fixed, at least for global-scope symbol lookups.

10 years agofix regression in dynamic linker error reporting
Rich Felker [Mon, 30 Jun 2014 01:52:54 +0000 (21:52 -0400)]
fix regression in dynamic linker error reporting

due to a mistake when refactoring the error printing for the dynamic
linker (commit 7c73cacd09a51a87484db5689864743e4984a84d), all messages
were suppressed and replaced by blank lines.

10 years agorelease 1.1.3 v1.1.3
Rich Felker [Wed, 25 Jun 2014 20:18:05 +0000 (16:18 -0400)]
release 1.1.3

10 years agoadd tarball-producing targets to Makefile for ease of release
Rich Felker [Wed, 25 Jun 2014 20:14:37 +0000 (16:14 -0400)]
add tarball-producing targets to Makefile for ease of release

my old, out-of-tree release script that performed a clone rather than
using git archive checked the VERSION file to make sure that it
matched before doing a release. I believe there should be a way to do
the same with git commands (without resorting to checking out the
desired tag) but I have not yet found a way, so care should be taken
when using these targets that the correctness of the VERSION file is
not overlooked.

10 years agoupdate version reference in the README file
Rich Felker [Wed, 25 Jun 2014 18:16:53 +0000 (14:16 -0400)]
update version reference in the README file

10 years agoadd note to INSTALL file about gcc 4.9.0 not being supported
Rich Felker [Wed, 25 Jun 2014 18:16:15 +0000 (14:16 -0400)]
add note to INSTALL file about gcc 4.9.0 not being supported

10 years agoadd routing protocols to getprotoent-family functions
Timo Teräs [Tue, 24 Jun 2014 10:06:38 +0000 (13:06 +0300)]
add routing protocols to getprotoent-family functions

iptables and quagga need them to work.

10 years agorename dynamic linker _start to _dlstart in the stub version
Rich Felker [Mon, 23 Jun 2014 21:20:49 +0000 (17:20 -0400)]
rename dynamic linker _start to _dlstart in the stub version

the renaming was previously applied to all real versions of the
function in commit 3fa2eb2aba8d6b54dec53e7ad4c37e17392b166f.

10 years agoadd __sysv_signal abi-compat alias for the signal function
Rich Felker [Sun, 22 Jun 2014 04:39:03 +0000 (00:39 -0400)]
add __sysv_signal abi-compat alias for the signal function

it should be noted that the "real" __sysv_signal, which we do not
implement, is semantically different from signal. references to
__sysv_signal arise in code built against glibc under certain
combinations of feature test macros, and are almost surely
unintentional since the legacy sysv signal behavior has fundamental
race conditions that cannot be worked around and which make it
impossible to use safely.

10 years agoadd __xmknod and __xmknodat abi-compat functions
Rich Felker [Sun, 22 Jun 2014 04:37:12 +0000 (00:37 -0400)]
add __xmknod and __xmknodat abi-compat functions

these are put alongside the similar functions for __xstat, etc. in
__xstat.c to avoid bloating the number of source files.

10 years agoconsolidate __xstat abi-compat functions into a single source file
Rich Felker [Sun, 22 Jun 2014 04:29:32 +0000 (00:29 -0400)]
consolidate __xstat abi-compat functions into a single source file

these are mostly intended for use with dynamic linking (although they
can also be used statically with object files compiled against glibc
headers), so having them broken down into separate source files to
optimize for static linking is unlikely to be worth the cost having
more files in the source tree (which contributes to libc.a overhead,
compile time, link time, ar/linker command line size exhaustion, and
so on).

10 years agoimplement fmtmsg function
Rich Felker [Sat, 21 Jun 2014 23:24:15 +0000 (19:24 -0400)]
implement fmtmsg function

contributed by Isaac Dunham. this seems to be the last interface that
was missing for complete POSIX 2008 base + XSI coverage.

10 years agoimplement result address sorting in the resolver (getaddrinfo, etc.)
Rich Felker [Sat, 21 Jun 2014 23:21:05 +0000 (19:21 -0400)]
implement result address sorting in the resolver (getaddrinfo, etc.)

10 years agoremove hack in syslog.h that resulted in aliasing violations
Rich Felker [Sat, 21 Jun 2014 11:44:46 +0000 (07:44 -0400)]
remove hack in syslog.h that resulted in aliasing violations

this issue affected the prioritynames and facilitynames arrays which
are only provided when requested (usually by syslogd implementations)
and which are presently defined as compound literals. the aliasing
violation seems to have been introduced as a workaround for bad
behavior by gcc's -Wwrite-strings option, but it caused compilers to
completely optimize out the contents of prioritynames and
facilitynames since, under many usage cases, the aliasing rules prove
that the contents are never accessed.

10 years agoremove optimization-inhibiting behavior from configure's --enable-debug
Rich Felker [Fri, 20 Jun 2014 20:10:48 +0000 (16:10 -0400)]
remove optimization-inhibiting behavior from configure's --enable-debug

this behavior turned out to be counter-intuitive to users and in any
case it's unnecessary. optimization can be disabled explicitly using
the --disable-optimize option, or both can be achieved without any
enable/disable options by passing CFLAGS="-O0 -g".

10 years agofix gethostby*_r result pointer value on error
Timo Teräs [Fri, 20 Jun 2014 10:53:23 +0000 (13:53 +0300)]
fix gethostby*_r result pointer value on error

according to the documentation in the man pages, the GNU extension
functions gethostbyaddr_r, gethostbyname_r and gethostbyname2_r are
guaranteed to set the result pointer to NULL in case of error or no
result.

10 years agofix sendmmsg emulation return value for zero-length vector
Rich Felker [Fri, 20 Jun 2014 06:13:38 +0000 (02:13 -0400)]
fix sendmmsg emulation return value for zero-length vector

this case is not even documented, but the kernel returns 0 here and it
makes sense to be consistent.

10 years agorename dynamic linker entry point from _start to _dlstart
Rich Felker [Fri, 20 Jun 2014 04:25:12 +0000 (00:25 -0400)]
rename dynamic linker entry point from _start to _dlstart

the main motivation for this change is to aid in debugging. since the
main program's entry point is also named _start, it was difficult to
set breakpoints or quickly identify which _start execution stopped in.

10 years agoimplement sendmmsg and recvmmsg
Rich Felker [Fri, 20 Jun 2014 03:01:15 +0000 (23:01 -0400)]
implement sendmmsg and recvmmsg

these are not pure syscall wrappers because they have to work around
kernel API bugs on 64-bit archs. the workarounds could probably be
made somewhat more efficient, but at the cost of more complexity. this
may be revisited later.

10 years agoadd tlsdesc support for x86_64
Rich Felker [Thu, 19 Jun 2014 19:26:04 +0000 (15:26 -0400)]
add tlsdesc support for x86_64

10 years agoseparate __tls_get_addr implementation from dynamic linker/init_tls
Rich Felker [Thu, 19 Jun 2014 06:59:44 +0000 (02:59 -0400)]
separate __tls_get_addr implementation from dynamic linker/init_tls

such separation serves multiple purposes:

- by having the common path for __tls_get_addr alone in its own
  function with a tail call to the slow case, code generation is
  greatly improved.

- by having __tls_get_addr in it own file, it can be replaced on a
  per-arch basis as needed, for optimization or ABI-specific purposes.

- by removing __tls_get_addr from __init_tls.c, a few bytes of code
  are shaved off of static binaries (which are unlikely to use this
  function unless the linker messed up).

10 years agoadd tlsdesc support for i386
Rich Felker [Thu, 19 Jun 2014 06:50:45 +0000 (02:50 -0400)]
add tlsdesc support for i386

10 years agooptimize i386 ___tls_get_addr asm
Rich Felker [Thu, 19 Jun 2014 06:48:45 +0000 (02:48 -0400)]
optimize i386 ___tls_get_addr asm