Make sure at compile time that the scalar type of the array
requested to be created via P9ARRAY_NEW() matches the scalar
type of the passed auto reference variable (unique pointer).
Suggested-by: Richard Henderson <richard.hender...@linaro.org>
Signed-off-by: Christian Schoenebeck <qemu_...@crudebyte.com>
Message-Id:
<c1965e2a096835dc9e1d4d659dfb15d96755cbe0.1633097129.git.qemu_...@crudebyte.com>
---
fsdev/p9array.h | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/fsdev/p9array.h b/fsdev/p9array.h
index fff946a3d7..6aa25327ca 100644
--- a/fsdev/p9array.h
+++ b/fsdev/p9array.h
@@ -27,6 +27,8 @@
#ifndef QEMU_P9ARRAY_H
#define QEMU_P9ARRAY_H
+#include "qemu/compiler.h"
+
/**
* P9Array provides a mechanism to access arrays in common C-style (e.g. by
* square bracket [] operator) in conjunction with reference variables that
@@ -149,6 +151,10 @@
* @param len - amount of array elements to be allocated immediately
*/
#define P9ARRAY_NEW(scalar_type, auto_var, len) \
+ QEMU_BUILD_BUG_MSG( \
+ !__builtin_types_compatible_p(scalar_type, typeof(*auto_var)), \
+ "P9Array scalar type mismatch" \
+ ); \
p9array_new_##scalar_type((&auto_var), len)
#endif /* QEMU_P9ARRAY_H */
--
2.20.1
