Sara/behaviour-tree-test
1
0
Fork 0
Code Issues Pull requests Projects Releases 1 Packages Wiki Activity Actions

Fix are_spans_equal for p_size = 0 when pointers may be invalid (may crash in rare configurations).

Browse source
This commit is contained in:
Lukas Tenbrink 2026-03-08 17:02:00 +01:00
parent 220b0b2f74
commit fb62d46647
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
core/templates/span.h
View file

@ -38,7 +38,9 @@ bool are_spans_equal(const LHS *p_lhs, const RHS *p_rhs, size_t p_size) {
if constexpr (std::is_same_v<LHS, RHS> && std::is_fundamental_v<LHS>) {
// Optimize trivial type comparison.
// is_trivially_equality_comparable would help, but it doesn't exist.
return memcmp(p_lhs, p_rhs, p_size * sizeof(LHS)) == 0;
// memcmp requires pointer argument to be valid even on size = 0 (C11 §7.24.1(2)).
// Span allows ptr arguments to be invalid as long as size = 0, so only call when p_size > 0.
return p_size == 0 || memcmp(p_lhs, p_rhs, p_size * sizeof(LHS)) == 0;
} else {
// Normal case: Need to iterate the array manually.
for (size_t j = 0; j < p_size; j++) {