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)
commitebd17fa41ed3750bf7e6aa5692558b16f1768c4a
tree33abf9143ea20e1fc38f0e968b5664e3cfdfe1fb
parent3c1fb7a7006b2cd076d958aa8ba14eba25e82de8
parentf8b30ca89b3e3a09d96019bf3998255a3f7a4c8a
Merge pull request #1660 from antonio-nino-diaz-arm/an/misra

Several MISRA defect fixes