]> git.proxmox.com Git - mirror_qemu.git/commit - dma-helpers.c
dma: the passed io_func does not return NULL
authorPaolo Bonzini <pbonzini@redhat.com>
Mon, 14 Nov 2011 16:50:52 +0000 (17:50 +0100)
committerKevin Wolf <kwolf@redhat.com>
Thu, 15 Dec 2011 11:40:08 +0000 (12:40 +0100)
commit6bee44ea346aed24e12d525daf10542d695508db
treee87afbfbc8d0df17e9c5eae3399afd6ceec65dcf
parent91977c2e5f6419d00f4ae2800586f009b6070ab1
dma: the passed io_func does not return NULL

Initially found with the following semantic patch:

@ type @
BlockDriverAIOCB *x;
expression E;
@@
  x = E;
- if (x == NULL) { ... }

@ acb1 @
expression E, E1;
@@
  E1->acb = E;
- if (E1->acb == NULL) { ... }

@ aiocb1 @
expression E, E1;
@@
  E1->aiocb = E;
- if (E1->aiocb == NULL) { ... }

@ acb @
expression E, E1;
@@
  E1.acb = E;
- if (E1.acb == NULL) { ... }

@ aiocb @
expression E, E1;
@@
  E1.aiocb = E;
- if (E1.aiocb == NULL) { ... }

but changed manually to include an assert.

Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Kevin Wolf <kwolf@redhat.com>
dma-helpers.c