diff options
author | Olaf Hering <olaf@aepfle.de> | 2014-07-22 09:19:15 +0200 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2014-07-24 16:23:18 +0100 |
commit | 52bdfeacbb601da2d66b5b1dde159b973ee8b309 (patch) | |
tree | 7c7dc0b904d234fefb41e23c9042107046580e52 /extras | |
parent | 597eaa8db932741f4b49336d5638c5a1833d4f2f (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.c | 2 |
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) { |