Merge pull request #1651 from antonio-nino-diaz-arm/an/rand-misra
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Tue, 30 Oct 2018 14:48:02 +0000 (15:48 +0100)
committerGitHub <noreply@github.com>
Tue, 30 Oct 2018 14:48:02 +0000 (15:48 +0100)
commit2eedba9a5576ad8d76ae896b829e617e962d0e96
tree6501ccc07dae2df6b1a2ae14b90f470f2e9ca28a
parent392b1d591c026a2cd1b0600098caf4beb298d5d7
parent195e363f84c080bc0e8f3799391164fff1aece70
Merge pull request #1651 from antonio-nino-diaz-arm/an/rand-misra

Fix some MISRA defects