aboutsummaryrefslogtreecommitdiff
path: root/extras
diff options
context:
space:
mode:
authorOlaf Hering <olaf@aepfle.de>2014-07-22 09:19:15 +0200
committerIan Campbell <ian.campbell@citrix.com>2014-07-24 16:23:18 +0100
commit52bdfeacbb601da2d66b5b1dde159b973ee8b309 (patch)
tree7c7dc0b904d234fefb41e23c9042107046580e52 /extras
parent597eaa8db932741f4b49336d5638c5a1833d4f2f (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>
Diffstat (limited to 'extras')
-rw-r--r--extras/mini-os/tpm_tis.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/tpm_tis.c b/extras/mini-os/tpm_tis.c
index e8ca69f912..dc4134a161 100644
--- a/extras/mini-os/tpm_tis.c
+++ b/extras/mini-os/tpm_tis.c
@@ -611,7 +611,7 @@ s_time_t tpm_calc_ordinal_duration(struct tpm_chip *chip,
static int locality_enabled(struct tpm_chip* tpm, int l) {
- return tpm->enabled_localities & (1 << l);
+ return l >= 0 && tpm->enabled_localities & (1 << l);
}
static int check_locality(struct tpm_chip* tpm, int l) {