⬢ DragonFlyBSD Kernel Audit
DF-4048 / run.log
← back to finding ↓ download raw
== DF-4048 replica: command_table.c:869-890 le16 math on 32-bit ==
== ulSymClock (ULONG, 10KHz units)                       ==

case                          in(10KHz)      correct     produced      ok?
1080p60   8bpc (safe zone)        14850        14850        14850      yes
4K60     10bpc x30/24             59400        74250         8714    TRUNC
4K60     12bpc x36/24             59400        89100        23564    TRUNC
4K60     16bpc x48/24             59400       118800        53264    TRUNC
HDMI1.4 4K30 16bpc x48/24         34000        68000         2464    TRUNC

expected: all cases compute correctly; observed: 4/5 truncated
(also: :857 assigns without any cpu_to_le32 conversion - moot on LE x86, wrong on BE)
EXIT=1
== DF-4048 replica: command_table.c:869-890 le16 math on 32-bit ==
== ulSymClock (ULONG, 10KHz units)                       ==

case                          in(10KHz)      correct     produced      ok?
1080p60   8bpc (safe zone)        14850        14850        14850      yes
4K60     10bpc x30/24             59400        74250         8714    TRUNC
4K60     12bpc x36/24             59400        89100        23564    TRUNC
4K60     16bpc x48/24             59400       118800        53264    TRUNC
HDMI1.4 4K30 16bpc x48/24         34000        68000         2464    TRUNC

expected: all cases compute correctly; observed: 4/5 truncated
(also: :857 assigns without any cpu_to_le32 conversion - moot on LE x86, wrong on BE)
RUN4048_RC=1