Potential missing checks

[Mansour Ahmadi]

Hi QEMU developers,

I noticed the following two potential missing checks by static analysis and detecting inconsistencies on the source code of QEMU. here is the result:

1)

Missing check on offset:

https://github.com/qemu/qemu/blob/c532b954d96f96d361ca31308f75f1b95bd4df76/disas/arm.c#L2728-L2733

While it is checked here:

https://github.com/qemu/qemu/blob/c532b954d96f96d361ca31308f75f1b95bd4df76/disas/arm.c#L1748-L1752

2)

Missing check on bmds->dirty_bitmap:

https://github.com/qemu/qemu/blob/c532b954d96f96d361ca31308f75f1b95bd4df76/migration/block.c#L377-L378

While it is checked here:

https://github.com/qemu/qemu/blob/c532b954d96f96d361ca31308f75f1b95bd4df76/migration/block.c#L363-L365

Thanks,

Mansour