OSDN Git Service

block: dma_bdrv_* does not return NULL
authorPaolo Bonzini <pbonzini@redhat.com>
Mon, 14 Nov 2011 16:50:53 +0000 (17:50 +0100)
committerKevin Wolf <kwolf@redhat.com>
Thu, 15 Dec 2011 11:40:08 +0000 (12:40 +0100)
commitb9b2008bbff49e2714491a95109e1189e54a6491
treeaa4ab3960bd6abfd16165666b7ddc763916880a4
parent6bee44ea346aed24e12d525daf10542d695508db
block: dma_bdrv_* does not return NULL

Initially attempted with the following semantic patch:

@ rule1 @
expression E;
statement S;
@@
  E =
(
   dma_bdrv_io
|  dma_bdrv_read
|  dma_bdrv_write
)
     (...);
(
- if (E == NULL) { ... }
|
- if (E)
    { <... S ...> }
)

which however did not match anything.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
hw/ide/core.c
hw/ide/macio.c