diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2011-11-14 17:50:52 +0100 |
|---|---|---|
| committer | Kevin Wolf <kwolf@redhat.com> | 2011-12-15 12:40:08 +0100 |
| commit | 6bee44ea346aed24e12d525daf10542d695508db (patch) | |
| tree | e87afbfbc8d0df17e9c5eae3399afd6ceec65dcf /scripts/qapi-types.py | |
| parent | 91977c2e5f6419d00f4ae2800586f009b6070ab1 (diff) | |
| download | focaccia-qemu-6bee44ea346aed24e12d525daf10542d695508db.tar.gz focaccia-qemu-6bee44ea346aed24e12d525daf10542d695508db.zip | |
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>
Diffstat (limited to 'scripts/qapi-types.py')
0 files changed, 0 insertions, 0 deletions