[fuzzing] math.sin panic: integer part of floating point value out of bounds #9901
Description
Test case (format is very weird, sorry EDIT: updated test with a slightly more sane input format):
test "integer part out of bounds f64" {
const float = @bitCast(f64, @as(u64, 0b1111111101000001000000001111110111111111100000000000000000000001));
_ = std.math.sin(float);
}
test "integer part out of bounds f32" {
const float = @bitCast(f32, @as(u32, 0b11100011111111110000000000000000));
_ = std.math.sin(float);
}Result:
thread 1304409 panic: integer part of floating point value out of bounds
/home/ryan/Programming/zig/zig/lib/std/math/sin.zig:61:13: 0x209656 in sin_ (test)
var j = @floatToInt(I, y);
^
/home/ryan/Programming/zig/zig/lib/std/math/sin.zig:20:20: 0x2092bb in sin (test)
f64 => sin_(T, x),
^
/home/ryan/Programming/zig/zig/lib/std/math/sin.zig:134:12: 0x2076f4 in test "fuzzed" (test)
_ = sin(float);
^
EDIT: More inputs that trigger this bug:
0b1111111100000000000000001111111111111111111111111111000000000000
0b1110011000010111000000001111111100100011000000000111000000000000EDIT#2: For reference, here's what glibc's sin function gives for an input that Zig panics on:
input: 1111111101000001000000001111110111111111100000000000000000000001
result: 0011111111011110100010000101000011100001000001011011111111000100
and musl gives the same as glibc:
result: 0011111111011110100010000101000011100001000001011011111111000100