folkert/simh-testsetgenerator
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

AltairZ80: Mark Coverity false positives in rotate operations

Browse source
This commit is contained in:
Peter Schorn 2017-04-01 08:48:43 +02:00
parent 064c8e54a8
commit 17903827bd
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
AltairZ80/i86_prim_ops.c
View file

@ -733,6 +733,7 @@ uint8 rcr_byte(PC_ENV *m, uint8 d, uint8 s)
in case the object came in and was treated in case the object came in and was treated
as a negative number. Needed???*/ as a negative number. Needed???*/
mask = (1<<(8-cnt))-1; mask = (1<<(8-cnt))-1;
/* coverity[BAD_SHIFT] */
res = (d >> cnt) & mask; res = (d >> cnt) & mask;
/* now the high stuff which rotated around /* now the high stuff which rotated around
into the positions B_cnt-2 .. B_0 */ into the positions B_cnt-2 .. B_0 */
@ -804,6 +805,7 @@ uint16 rcr_word(PC_ENV *m, uint16 d, uint16 s)
in case the object came in and was treated in case the object came in and was treated
as a negative number. Needed???*/ as a negative number. Needed???*/
mask = (1<<(16-cnt))-1; mask = (1<<(16-cnt))-1;
/* coverity[BAD_SHIFT] */
res = (d >> cnt) & mask; res = (d >> cnt) & mask;
/* now the high stuff which rotated around /* now the high stuff which rotated around
into the positions B_cnt-2 .. B_0 */ into the positions B_cnt-2 .. B_0 */