diff options
author | Peter Maydell <peter.maydell@linaro.org> | 2016-07-11 19:22:52 +0100 |
---|---|---|
committer | Peter Maydell <peter.maydell@linaro.org> | 2016-07-19 17:56:27 +0100 |
commit | acd82796211041c5af43c8c523b85d250c2ccebe (patch) | |
tree | 671c635c8e4aa975a241f3681d0e889054775a3a /hw/intc/allwinner-a10-pic.c | |
parent | ff9d3e9cd9f7c41d8b822c0d12b0176d8e7e530d (diff) |
arm_gicv3: Add assert()s to tell Coverity that offsets are aligned
Coverity complains that the GICR_IPRIORITYR case in gicv3_readl()
can overflow an array, because it doesn't know that the offsets
passed to that function must be word aligned. Add some assert()s
which hopefully tell Coverity that this isn't possible.
Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Message-id: 1468261372-17508-1-git-send-email-peter.maydell@linaro.org
Diffstat (limited to 'hw/intc/allwinner-a10-pic.c')
0 files changed, 0 insertions, 0 deletions