[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH v2 11/15] qapi: Assert non-input visitors see only valid alternat
From: |
Markus Armbruster |
Subject: |
[PATCH v2 11/15] qapi: Assert non-input visitors see only valid alternate tags |
Date: |
Fri, 24 Apr 2020 10:43:34 +0200 |
An alternate type's visit_type_FOO() fails when it runs into an
invalid ->type.
This is appropriate with an input visitor: visit_start_alternate()
sets ->type according to the input, and bad input can lead to bad
->type.
It should never happen with an output, clone or dealloc visitor: if it
did, the alternate being output, cloned or deallocated would be messed
up beyond repair. Assert that.
Signed-off-by: Markus Armbruster <address@hidden>
Reviewed-by: Eric Blake <address@hidden>
---
scripts/qapi/visit.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/scripts/qapi/visit.py b/scripts/qapi/visit.py
index 678109dfb5..d5d7a1031f 100644
--- a/scripts/qapi/visit.py
+++ b/scripts/qapi/visit.py
@@ -232,6 +232,7 @@ void visit_type_%(c_name)s(Visitor *v, const char *name,
%(c_name)s **obj, Error
case QTYPE_NONE:
abort();
default:
+ assert(visit_is_input(v));
error_setg(&err, QERR_INVALID_PARAMETER_TYPE, name ? name : "null",
"%(name)s");
/* Avoid passing invalid *obj to qapi_free_%(c_name)s() */
--
2.21.1
- [PATCH v2 00/15] qapi: Spring cleaning, Markus Armbruster, 2020/04/24
- [PATCH v2 03/15] qapi: Fix typo in visit_start_list()'s contract, Markus Armbruster, 2020/04/24
- [PATCH v2 01/15] qapi: Belatedly update visitor.h's big comment for QAPI modules, Markus Armbruster, 2020/04/24
- [PATCH v2 04/15] qapi: Document @errp usage more thoroughly in visitor.h, Markus Armbruster, 2020/04/24
- [PATCH v2 02/15] qapi: Fix the virtual walk example in visitor.h's big comment, Markus Armbruster, 2020/04/24
- [PATCH v2 11/15] qapi: Assert non-input visitors see only valid alternate tags,
Markus Armbruster <=
- [PATCH v2 13/15] qom: Simplify object_property_get_enum(), Markus Armbruster, 2020/04/24
- [PATCH v2 06/15] qapi: Assert incomplete object occurs only in dealloc visitor, Markus Armbruster, 2020/04/24
- [PATCH v2 09/15] qapi: Assert non-input visitors see only valid narrow integers, Markus Armbruster, 2020/04/24
- [PATCH v2 14/15] qapi: Disallow qmp_marshal_FOO(NULL, ...), Markus Armbruster, 2020/04/24
- [PATCH v2 10/15] qapi: Clean up visitor's recovery from input with invalid type, Markus Armbruster, 2020/04/24
- [PATCH v2 15/15] qapi: Generate simpler marshalling code when no arguments, Markus Armbruster, 2020/04/24