]> xenbits.xensource.com Git - people/liuw/libxenctrl-split/mini-os.git/commit
projects / people / liuw / libxenctrl-split / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6fcd1e0) | patch
mini-os: tpm: fix array access in locality_enabled
authorOlaf Hering <olaf@aepfle.de>
Tue, 22 Jul 2014 07:19:15 +0000 (09:19 +0200)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 24 Jul 2014 15:23:18 +0000 (16:23 +0100)
commit9c6bc39260312f1335d9718002e6eaa1a08bcca1
treea947babea1d436c60778759c29f2707a33cc6023tree
parent6fcd1e03dc3d7d1b20cf3a577343622f4e83ed6ccommit | diff
mini-os: tpm: fix array access in locality_enabled

gcc-4.3 fails to prove that array indices will remain positive. Add a
hint for the compiler and check the index value before using it.

Signed-off-by: Olaf Hering <olaf@aepfle.de>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
tpm_tis.c diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.