commit 16f3dec51d4c7026c700c82a1f7db7d18d399d35
author Nico Huber <nico.huber@secunet.com> Sun Oct 09 19:33:34 2016 +0200
committer Nico Huber <nico.h@gmx.de> Sat Oct 15 22:21:39 2016 +0200
tree 7c461e89bbbaa64ff0f0bf9b177b2169c1b7abdc
parent 2600c368397340160f1784ead98900a52ec6f68f

edid: Correctly initialize BPC if it's unset in EDID

The initialization with 0 was overlooked by GNAT / GNATprove, resulting
in a division by zero later.

Change-Id: Ibd916d6afaf07e80e48ca5cdeb4a085edf65bfab
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/16959
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Alexander Couzens <lynxis@fe80.eu>

common/hw-gfx-edid.adb

diff --git a/common/hw-gfx-edid.adb b/common/hw-gfx-edid.adb
index da60d54..733c7e0 100644
--- a/common/hw-gfx-edid.adb
+++ b/common/hw-gfx-edid.adb
@@ -160,7 +160,7 @@
                (Raw_EDID (INPUT) and INPUT_DIGITAL_DEPTH_MASK) = INPUT_DIGITAL_DEPTH_UNDEF or
                (Raw_EDID (INPUT) and INPUT_DIGITAL_DEPTH_MASK) = INPUT_DIGITAL_DEPTH_RESERVED
             then
-               0
+               Auto_BPC
             else
                4 + 2 * Pos64 (Shift_Right
                  (Raw_EDID (INPUT) and INPUT_DIGITAL_DEPTH_MASK,