Commit Graph
5004 Commits
Author SHA1 Message Date
Rich Felker caae5a8b27 fix register name usage in aarch64 clone.s
the alias fp is only supported on some assemblers. use the actual
register name x29 instead.
2025-07-01 11:57:40 -04:00
Szabolcs NagyandRich Felker ab4635fba6 make __getauxval a public ABI symbol
This is needed so that libgcc can access AT_HWCAP without violating
link namespace rules.

Internally musl already used __getauxval symbol for the same reason,
we just remove the hidden marking.
2025-06-13 14:36:08 -04:00
J. NeuschäferandRich Felker fcdff46a32 statx: add Linux 6.11 fields/constants
As of Linux 6.11, these fields and mask macros have been added to
include/uapi/linux/stat.h.
2025-06-13 14:30:42 -04:00
J. NeuschäferandRich Felker 18289e5dea ldso: fix typo in comment 2025-06-13 14:30:35 -04:00
A. WilcoxandRich Felker 86373b4999 powerpc: update HWCAP bits for Power10
Linux kernel commit ee988c11acf6f9464b7b44e9a091bf6afb3b3a49 added two
new HWCAP bits: one for ARCH_3_1, which is the Power10 ISA revision, and
one for MMA, which is the optional Matrix Multiply Assist extension.
2025-05-27 12:19:38 -04:00
Casey ConnollyandRich Felker fde29c04ad stdio: skip empty iovec when buffering is disabled
When buffering on a FILE is disabled we still send both iovecs, even
though the first one is always empty. Clean things up by skipping the
empty iovec instead.
2025-05-27 10:06:37 -04:00
Rich Felker ae3a8c93a6 fix strcasestr failing to find zero-length needle
the loop condition ending on end-of-haystack ends before a zero-length
needle can be matched, so just explicitly check it before the loop.
2025-05-16 09:11:14 -04:00
Rich Felker 23febbd3c5 align mbsnrtowcs behavior on partial character with new requirements
POSIX 2024 added a requirement that mbsnrtowcs, like mbrtowc, consume
any final partial character and store it in the mbstate_t object
before returning. this was previously unspecified but documented as a
potential future change.

an internal mbstate_t object is added for the case where the argument
is a null pointer. previously this was not needed since no operations
could modify the internal object and not processing it at all gave the
same behavior "as if" there were an internal object.
2025-05-05 09:27:29 -04:00
Rich Felker 6915b34860 dns resolver: reorder sockaddr union to make initialization safe
some recent compilers have adopted a dubious interpretation of the C
specification for union initializers, that when the initialized member
is smaller than the size of the union, the remaining padding does not
have to be zero-initialized. in the interests of not depending on any
particular interpretation, place the larger member first so it's
initialized and ensures the whole object is zero-filled.
2025-05-05 09:23:32 -04:00
Rich Felker a34ca6ead1 termios: fix input speed handling
traditionally, our cfsetispeed just set the output speed. this was not
conforming or reasonable behavior.

use of the input baud bits in termios c_cflag depends on kernel
support, which was added to linux along with TCSETS2 ioctl and
arbitrary-baud functionality sometime in the 2.6 series. with older
kernels, the separate input baud will not take, but this is the best
behavior we can hope for anyway, certainly better than wrongly
clobbering output baud setting.

the nonstandard cfsetspeed is now moved to a separate file, since it
no longer admits the weak alias implementation that made it
namespace-safe. it now sets the output speed, and on success, sets the
input speed to 0 (matched to output).
2025-02-22 16:44:39 -05:00
Alex Rønne PetersenandRich Felker b6b81f697b clone: clear the frame pointer in the child process on relevant ports
This just mirrors what is done in the start code for the affected
ports, as well as what is already done for the three x86 ports.

Clearing the frame pointer helps protect FP-based unwinders from
wrongly attempting to traverse into the parent thread's call frame
stack.
2025-02-21 20:53:41 -05:00
Alex Rønne PetersenandRich Felker 5e03c03fcd clone: align the given stack pointer on or1k and riscv
This was an oversight specific to these archs; others have always
aligned the new stack pointer correctly.
2025-02-21 19:56:28 -05:00
Lihua ZhaoandRich Felker 06c5e4e832 signal: check sigpause() input parameter 2025-02-21 19:52:58 -05:00
Xing LiandRich Felker b0dc340b38 loongarch64: add bits/hwcap.h for cpu feature bits in AT_HWCAP auxv entry 2025-02-21 19:49:55 -05:00
Rich Felker cabbd8697d bind_textdomain_codeset: fix return value
this function is documented as returning a null pointer on failure and
the current textdomain encoding, which is always UTF-8 in our
implementation, on success. there was some confusion over whether it's
expected to also return a null pointer in the case where it's using
the locale's encoding by default, rather than an explicitly bound one,
but it does not seem like that behavior would match applications'
expectations, and it would require gratuitously storing a meaningless
1-bit state for the textdomain.
2025-02-21 19:42:38 -05:00
Rich Felker 00fb7107ca shadow.h: remove declaration of function not implemented 2025-02-21 19:32:27 -05:00
Alex Rønne PetersenandRich Felker 362fc54572 riscv: mark __restore and __restore_rt hidden 2025-02-21 19:30:42 -05:00
Alex Rønne PetersenandRich Felker f1cda422cd i386, x86_64, x32: set the symbol type for the crt1 START function 2025-02-21 19:29:44 -05:00
Rich Felker c47ad25ea3 iconv: harden UTF-8 output code path against input decoder bugs
the UTF-8 output code was written assuming an invariant that iconv's
decoders only emit valid Unicode Scalar Values which wctomb can encode
successfully, thereby always returning a value between 1 and 4.

if this invariant is not satisfied, wctomb returns (size_t)-1, and the
subsequent adjustments to the output buffer pointer and remaining
output byte count overflow, moving the output position backwards,
potentially past the beginning of the buffer, without storing any
bytes.
2025-02-12 17:06:30 -05:00
Rich Felker 4c4f15dae5 hasmntopt: match only whole options not arbitrary substrings
the man page for this nonstandardized function has historically
documented it as scanning for a substring; however, this is
functionally incorrect (matches the substring "atime" in the "noatime"
option, for example) and differs from other existing implementations.

with the change made here, it should match glibc and other
implementations, only matching whole options delimited by commas or
separated from a value by an equals sign.
2025-02-09 13:36:44 -05:00
Rich Felker e5adcd97b5 iconv: fix erroneous input validation in EUC-KR decoder
as a result of incorrect bounds checking on the lead byte being
decoded, certain invalid inputs which should produce an encoding
error, such as "\xc8\x41", instead produced out-of-bounds loads from
the ksc table.

in a worst case, the loaded value may not be a valid unicode scalar
value, in which case, if the output encoding was UTF-8, wctomb would
return (size_t)-1, causing an overflow in the output pointer and
remaining buffer size which could clobber memory outside of the output
buffer.

bug report was submitted in private by Nick Wellnhofer on account of
potential security implications.
2025-02-09 10:07:19 -05:00
Rich Felker 5e594aeabf iconv: fix erroneous decoding of some invalid ShiftJIS sequences
out-of-range second bytes were not handled, leading to wrong character
output rather than a reported encoding error.

fix based on bug report by Nick Wellnhofer, submitted in private in
case the issue turned out to have security implications.
2025-02-09 10:02:10 -05:00
Alex Rønne PetersenandRich Felker 6af4f25b89 s390x: manually inline __tls_get_addr in __tls_get_offset
Calling __tls_get_addr with brasl is not valid since it's a global symbol; doing
so results in an R_390_PC32DBL relocation error from lld. We could fix this by
marking __tls_get_addr hidden since it is not part of the s390x ABI, or by using
a different instruction. However, given its simplicity, it makes more sense to
just manually inline it into __tls_get_offset for performance.

The patch has been tested by applying to Zig's bundled musl copy and running the
full Zig test suite under qemu-s390x.
2025-02-09 09:46:53 -05:00
Yao ZiandRich Felker 5ccf05d86d ldso: don't reclaim zero-memory-sized segments
Some weird linkers may emit PT_LOAD segments with memsz = 0. ELF
specification does not forbid this, but such a segment with non-zero
p_vaddr will result in reclaiming of invalid memory address.

This patch skips such segments during reclaiming for better
compatibility.
2025-02-09 09:03:50 -05:00
Rich Felker 1a98576401 sched.h: reduce namespace conflicts in _GNU_SOURCE profile
we have the cpuset macros call calloc/free/memset/memcmp directly so
that they don't depend on any further ABI surface. this is not
namespace-clean, but only affects the _GNU_SOURCE feature profile,
which is not intended to be namespace-clean. nonetheless, reports come
up now and then of things which are gratuitously broken, usually when
an application has wrapped malloc with macros.

this patch parenthesizes the function names so that function-like
macros will not be expanded, and removes the unused declaration of
memcpy. this is not a complete solution, but it should improve things
for affected applications, particularly ones which are not even trying
to use the cpuset interfaces which got them just because g++ always
defines _GNU_SOURCE.
2025-01-13 08:31:02 -05:00
Rich Felker d36e5bf83b mq: add x32-specific implementations to work around mismatched kernel ABI
the kernel mq_attr structure has 8 64-bit longs instead of 8 32-bit
longs.

it's not clear that this is the nicest way to implement the fix, but
the concept (translation) is right, and the details can be changed
later if desired.
2024-12-23 07:05:06 +00:00
Rich Felker 561cd07dff SIGEV_THREAD timers: re-block signals when reusing kernel thread
previously, we left any changes made by the application to the timer
thread's signal mask active when resetting the thread state for reuse.
not only did this violate the intended invariant that timer threads
start with all signals blocked; it also allowed application code to
execute in a thread that, formally, did not exist. and further, if the
internal SIGTIMER signal became unblocked, it could also lead to
missed timer expiration events.
2024-12-13 11:41:54 +00:00
Rich Felker 47fa6e4fcc SIGEV_THREAD timers: fix fatal signal if internal SIGTIMER becomes unblocked
commit 6ae2568bc2 introduced a fatal
signal condition if the internal timer signal used for SIGEV_THREAD
timers is unblocked. this can happen whenever the application alters
the signal mask with SIG_SETMASK, since sigset_t objects never include
the bits used for implementation-internal signals.

this patch effectively reverts the breakage by adding back a no-op
signal handler.

overruns will not be accounted if the timer signal becomes unblocked,
but POSIX does not specify them except for SIGEV_SIGNAL timers anyway.
2024-12-13 11:31:40 +00:00
Xing LiandRich Felker 61399d4bd0 loongarch64: add TLSDESC support 2024-10-22 20:36:09 -04:00
Rich Felker 9b6a24f9c5 wire up vdso clock_gettime for riscv32 and riscv64 2024-10-22 19:26:31 -04:00
Rich Felker f2375aacac wire up vdso clock_gettime for powerpc, powerpc64, and s390x
symbol names and versions obtained from vdso(7) man page.
2024-10-22 19:11:24 -04:00
Alex Rønne PetersenandRich Felker bc5f816a7a mips: use preferred asm mnemomic jr for better assembler compatibility
The LLVM assembler reportedly assembles the form using the j mnemonic
incorrectly (see issue 107460). The jr form is canonical and avoids
this problem, so use it instead.
2024-10-22 18:58:02 -04:00
Alyssa RossandRich Felker 4e6c827cf4 mntent: exclude trailing newline from parsed field
When the pattern was changed from matching any whitespace to just
matching spaces and tabs, a newline started being appended to the
value of the matched field, if that field was a string. For example,
in a 4-field line, the mnt_opts field would have a newline on the end.

This happened because a newline is not a space or a tab, and so was
matched as part of the value before the end of the string was reached.
\n should therefore be added as a character that terminates a value.
This shouldn't interfere with the intention of the change to space and
tab only, as it was trying to make sure that other whitespace like
carriage returns, that should have been part of parsed values, were.

Fixes: f314e133
2024-10-22 17:44:52 -04:00
Alex Rønne PetersenandRich Felker 9929a571b5 arm: fix _init/_fini alignment in crti.o
This is just cbf59dd6 applied to arm.
2024-10-22 17:44:23 -04:00
Khem RajandRich Felker 047a16398b sys/stat.h: fix typo in statx member name stx_dio_offset_align
This was added in 23ab04a863
2024-10-12 21:33:41 -04:00
Stefan LieblerandRich Felker 5be920e910 s390x: don't allow br r0 in CRTJMP asm
The instruction encoding that would be "br %r0" is not actually a
branch to r0, but instead a nop/memory-barrier. gcc 14 has been found
to choose r0 for the "r"(pc) constraint, breaking CRTJMP.

This patch adjusts the inline assembly constraints and marks "pc" as
address ("a"), which disallows usage of r0.
2024-10-11 12:21:35 -04:00
Rich Felker 2fc56aaa9f update contributor name in authorship notices 2024-10-10 19:44:58 -04:00
Rich Felker 43664364c8 fix compile regression in exit on archs without SYS_pause
commit 8cca79a72c added use of SYS_pause
to exit() without accounting for newer archs omitting the syscall.

use the newly-added __sys_pause abstraction instead, which uses
SYS_ppoll when SYS_pause is missing.
2024-10-10 17:11:48 -04:00
Rich Felker 6d8000d3c6 abstract missing SYS_pause syscall with macros
newer archs lack the syscall. the pause() function accounted for this
with its own #ifdef, but that didn't allow use of the syscall directly
elsewhere, so move the logic to macros in src/internal/syscall.h where
it can be shared.
2024-10-10 17:11:39 -04:00
Rich Felker 23ab04a863 statx: add new struct statx fields and corresponding mask macros 2024-09-13 17:21:17 -04:00
Rich Felker 4ca8c26776 statx: fix uninitialized attributes/mask in fallback path
commit b817541f1c introduced statx with
a fallback using fstatat, but failed to fill in stx_rdev_major/minor
and stx_attributes[_mask]. the rdev omission has been addressed
separately. rather than explicitly zeroing the attributes and their
mask, pre-fill the entire structure with zeros. this will also cover
the padding adjacent to stx_mode, in case it's ever used in the
future.

explicit zeroing of stx_btime is removed since, with this change, it
will already be pre-zeroed. as an aside, zeroing it was not strictly
necessary, since STATX_BASIC_STATS does not include STATX_BTIME and
thus does not indicate any validity for it.
2024-09-13 17:11:00 -04:00
Gabriel RavierandRich Felker 251cbb6366 statx: fix ENOSYS emulation not setting stx_rdev_*
The current implementation of the statx function fails to set the
values of stx->stx_rdev_major and stx->stx_rdev_minor if the statx
syscall fails with ENOSYS and thus the statx function has to fall back
on fstatat-based emulation.
2024-09-13 16:58:21 -04:00
Rich Felker 8c43c56269 sysconf: fix _SC_MINSIGSTKSZ computation to match kernel interpretation
the value placed in the aux vector AT_MINSIGSTKSZ by the kernel is
purely the signal frame size, and does not include any execution space
for the signal handler. this is contrary to the POSIX definition of
MINSIGSTKSZ to be a value that can actually execute at least some
minimal signal handler, and contrary to the historical definitions of
MINSIGSTKSZ which had at least 1k of headroom.
2024-08-31 12:38:56 -04:00
Rich Felker 300a1f5390 sigaltstack: enforce dynamic MINSIGSTKSZ limit
commit 996b6154b2 added support for
querying the dynamic limit but did not enforce it in sigaltstack. the
kernel also does not seem to reliably enforce it, or at least does not
necessarily enforce the same limit exposed to userspace, so it needs
to be enforced here.
2024-08-31 12:38:56 -04:00
Rich Felker 572a2e2eb9 printf: drastically reduce stack usage without [long] double args
internally, printf always works with the maximal-size supported
integer and floating point formats. however, the space needed to
format a floating point number is proportional to the mantissa and
exponent ranges. on archs where long double is larger than double,
knowing that the actual value fit in double allows us to use a much
smaller buffer, roughly 1/16 the size.

as a bonus, making the working buffer a VLA whose dimension depends on
the format specifier prevents the compiler from lifting the stack
adjustment to the top of printf_core. this makes it so printf calls
without floating point arguments do not waste even the smaller amount
of stack space needed for double, making it much more practical to use
printf in tightly stack-constrained environments.
2024-08-26 16:01:11 -04:00
Rich Felker c94a0c16f0 isatty: don't collapse all non-EBADF errors to ENOTTY
linux puts hung-up ttys in a state where ioctls produce EIO, and may
do the same for other types of devices in error or shutdown states.
such an error clearly does not mean the device is not a tty, but it
also can't reliably establish that the device is a tty, so the only
safe thing to do seems to be reporting the error. programs that don't
check errno will conclude that the device is not a tty, which is no
different from what happens now, but at least they gain the option to
differentiate between the cases.

commit c84971995b introduced the errno
collapsing behavior, but prior to that, errno was not set at all by
isatty.
2024-08-20 12:45:38 -04:00
Rich Felker ee18e584bf printf core: replace if(0) blocks around switch cases with explicit gotos
this is purely a readability change, not a functional one. all of the
integer format cases use a common tail for handling precision logic
after the string representation of the number has been generated. the
code as I originally wrote it was overly clever in the aim of making a
point that the flow could be done without goto, and jumped over
intervening cases by wrapping them in if (0) { }, with the case labels
for each inside the conditional block scope.

this has been a perpetual source of complaints about the readability
and comprehensibility of the file, so I am now changing it to
explicitly jump to the tail logic with goto statements.
2024-08-18 13:53:39 -04:00
Rich Felker 06a9647093 iconv: add cp858
this is the same as cp850, but with the euro symbol replacing the
lowercase dotless i at 0xd5. it is significant because it's used by
thermal receipt printers.
2024-08-18 13:00:10 -04:00
Rich Felker e1b57ede3e catan: remove no-op reduction mod pi and unused code
the output of atan2 is already in the correct range and does not need
further reduction. the MAXNUM macros were both unused and incorrect.
2024-08-16 11:51:53 -04:00
Rich Felker ca4e632df4 remove incorrect comment regarding powl exceptional cases
the comment does not match the required or actual behavior when x<0
and y is not an integer. while it could be corrected, the role of
comments here is to tell about characteristics unique to the
implementation, not to restate the requirements of the standard, so
just removing it seems best.
2024-08-14 20:43:27 -04:00