aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2022-06-26 01:11:05 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2022-06-26 14:52:26 +0200
commit102baa11391d48e5da57519df53b7b8d7d751887 (patch)
tree774c2797c2216e2a9f98aca4c8c8ae52a060b0ed
parent4880bd1999feb9276faacd9a79647b53b6ffe8be (diff)
downloadsparse-102baa11391d48e5da57519df53b7b8d7d751887.tar.gz
inline: add testcases for inlining of variadics
Inlining of variadic functions needs some special cases. Add some testcases for this. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r--validation/inline-early/variadic0.c13
1 files changed, 13 insertions, 0 deletions
diff --git a/validation/inline-early/variadic0.c b/validation/inline-early/variadic0.c
new file mode 100644
index 00000000..566e129f
--- /dev/null
+++ b/validation/inline-early/variadic0.c
@@ -0,0 +1,13 @@
+static inline void fun(const char *fmt, ...)
+{
+}
+
+void main(void)
+{
+ fun("abc", 0); // will be a SYM_BASETYPE
+ fun("ijk", (const int)1); // will be a SYM_NODE
+}
+
+/*
+ * check-name: variadic0
+ */