Peter Maydell acd8279621 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
2016-07-19 17:56:27 +01:00
..
2016-05-19 16:42:29 +02:00
2016-06-07 18:19:23 +03:00
2016-05-19 16:42:29 +02:00
2016-05-12 13:22:24 +01:00
2016-05-12 13:22:25 +01:00
2016-01-29 15:07:24 +00:00
2016-01-29 15:07:24 +00:00
2016-05-19 16:42:29 +02:00
2016-05-19 16:42:29 +02:00
2016-06-20 18:12:04 +02:00
2016-05-12 13:22:25 +01:00
2016-05-19 16:42:29 +02:00
2016-05-19 16:42:29 +02:00
2016-01-29 15:07:22 +00:00
2016-01-29 15:07:24 +00:00