Merge pull request #1660 from antonio-nino-diaz-arm/an/misra
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Fri, 2 Nov 2018 10:14:54 +0000 (11:14 +0100)
committerGitHub <noreply@github.com>
Fri, 2 Nov 2018 10:14:54 +0000 (11:14 +0100)
Several MISRA defect fixes


Trivial merge