system/serenity
system/serenity
1
0
Fork 0
mirror of https://github.com/SerenityOS/serenity synced 2024-11-05 17:46:52 +00:00
Code Issues Projects Releases Packages Wiki Activity

LibC: Prevent undefined shift in internal_to_integer

Browse source 
New tests will hit a dead bit count of 64, leading to an undefined
shift.
This commit is contained in:
kleines Filmröllchen 2024-01-08 16:24:42 +01:00 committed by Andrew Kaster
parent 8443d0a74d
commit 334f5e319c
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Userland/Libraries/LibC/math.cpp
View file

@ -68,6 +68,9 @@ static FloatType internal_to_integer(FloatType x, RoundingMode rounding_mode)
return x;
using Extractor = FloatExtractor<decltype(x)>;
// Most component types are larger than int.
constexpr auto zero = static_cast<Extractor::ComponentType>(0);
constexpr auto one = static_cast<Extractor::ComponentType>(1);
Extractor extractor;
extractor.d = x;
@ -90,7 +93,8 @@ static FloatType internal_to_integer(FloatType x, RoundingMode rounding_mode)
return x;
auto dead_bitcount = Extractor::mantissa_bits - unbiased_exponent;
auto dead_mask = (1ull << dead_bitcount) - 1;
// Avoid shifting by the integer type's size since that's UB.
auto dead_mask = dead_bitcount == sizeof(typename Extractor::ComponentType) * 8 ? ~zero : (one << dead_bitcount) - 1;
auto dead_bits = extractor.mantissa & dead_mask;
extractor.mantissa &= ~dead_mask;