diff mbox

[v3] sparse: add option to print compound global data symbol info

Message ID 79efd80a-f418-1bb2-f459-803107dca981@infradead.org (mailing list archive)
State Superseded, archived
Headers show

Commit Message

Randy Dunlap April 11, 2018, 8:30 p.m. UTC 
From: Randy Dunlap <rdunlap@infradead.org>
with help from Linus. (many moons ago)

sparse addition to print all compound/composite global data symbols
with their sizes and alignment.

usage: -vcompound
Example:
  $ sparse -vcompound symbol-sizes.c
  compound-sizes.c:39:17: union un static [toplevel] un: compound size 192, alignment 8
  compound-sizes.c:42:25: struct inventory static [toplevel] inven[100]: compound size 19200, alignment 8
  compound-sizes.c:51:33: struct inventory static [toplevel] [usertype] invent[10]: compound size 1920, alignment 8
  compound-sizes.c:58:25: float static [toplevel] floats[42]: compound size 168, alignment 4
  compound-sizes.c:59:25: double static [toplevel] doubles[84]: compound size 672, alignment 8

and validation:
$ ./test-suite   single compound-sizes.c
     TEST    compound-sizes (compound-sizes.c)
compound-sizes.c passed !

Signed-off-by: Randy Dunlap <rdunlap@infradead.org>
---
v3: incorporate Luc's valuable help

 lib.c                       |    2 
 lib.h                       |    1 
 sparse.c                    |   44 ++++++++++++++++-
 validation/compound-sizes.c |   87 ++++++++++++++++++++++++++++++++++
 4 files changed, 133 insertions(+), 1 deletion(-)



--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Comments

Luc Van Oostenryck April 12, 2018, 8:20 a.m. UTC | #1 
On Wed, Apr 11, 2018 at 01:30:53PM -0700, Randy Dunlap wrote:
> From: Randy Dunlap <rdunlap@infradead.org>
> with help from Linus. (many moons ago)
> 
> sparse addition to print all compound/composite global data symbols
> with their sizes and alignment.

Hi,

I gave it some real testing now. All is good, just a few last details.

>  
> +static void list_compound_symbols(struct symbol_list *list)
> +{
> +	struct symbol *sym, *base;
> +
> +	/* Only show arrays, structures, unions */
> +	FOR_EACH_PTR(list, sym) {
> +		/* Only show symbols that have a non-zero size */
> +		if (!sym->bit_size)

This test should be changed to 
		if (sym->bit_size <= 0)
because VLA have -1 in this field and:
- I don't think you're interested in VLA here;
- the call to show_typename(sym) here under will then
  throws an "error: bad constant expression" (but that
  could or should be fixed in show_typename() itself).


> +		if (is_func_type(sym))
> +			continue;
> +		if (is_float_type(sym) || is_scalar_type(sym))
> +			continue;

These two tests can be removed because they are now redundant with ...

> +		switch (base->type) {
> +		case SYM_STRUCT: case SYM_UNION: case SYM_ARRAY:
> +			break;
> +		default:
> +			continue;
> +		}
this one since only structs, unions & arrays will 'survive' the test
and so functions, floats or integer (and whatever other types) are
automatically rejected. It's what I meant in the previous review.


> +		check_symbols(res);
> +
> +		if (dbg_compound)
> +			list_compound_symbols(res);
>  	} END_FOR_EACH_PTR_NOTAG(file);

One thing that I think would be good to do is to change slighty
this list_compound_symbols() to not take a list of symbols but
just a single symbol and then do the
		if (dbg_compound)
			list_compound_symbol(sym);
inside check_symbols() which already loops through the symbol list.

Cheers,
-- Luc
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
diff mbox

Patch

--- spars-052rc1.orig/sparse.c
+++ spars-052rc1/sparse.c
@@ -292,6 +292,43 @@  static void check_symbols(struct symbol_
 		exit(1);
 }
 
+static void list_compound_symbols(struct symbol_list *list)
+{
+	struct symbol *sym, *base;
+
+	/* Only show arrays, structures, unions */
+	FOR_EACH_PTR(list, sym) {
+		/* Only show symbols that have a non-zero size */
+		if (!sym->bit_size)
+			continue;
+		if (!sym->ctype.base_type)
+			continue;
+		if (is_func_type(sym))
+			continue;
+		if (is_float_type(sym) || is_scalar_type(sym))
+			continue;
+		/* Don't show unnamed types */
+		if (!sym->ident)
+			continue;
+
+		if (sym->type == SYM_NODE)
+			base = sym->ctype.base_type;
+		else
+			base = sym;
+		switch (base->type) {
+		case SYM_STRUCT: case SYM_UNION: case SYM_ARRAY:
+			break;
+		default:
+			continue;
+		}
+
+		info(sym->pos, "%s: compound size %u, alignment %lu",
+			show_typename(sym),
+			bits_to_bytes(sym->bit_size),
+			sym->ctype.alignment);
+	} END_FOR_EACH_PTR(sym);
+}
+
 int main(int argc, char **argv)
 {
 	struct string_list *filelist = NULL;
@@ -300,7 +337,12 @@  int main(int argc, char **argv)
 	// Expand, linearize and show it.
 	check_symbols(sparse_initialize(argc, argv, &filelist));
 	FOR_EACH_PTR_NOTAG(filelist, file) {
-		check_symbols(sparse(file));
+		struct symbol_list *res = sparse(file);
+
+		check_symbols(res);
+
+		if (dbg_compound)
+			list_compound_symbols(res);
 	} END_FOR_EACH_PTR_NOTAG(file);
 
 	report_stats();
--- spars-052rc1.orig/lib.c
+++ spars-052rc1/lib.c
@@ -257,6 +257,7 @@  int dump_macro_defs = 0;
 
 int dbg_entry = 0;
 int dbg_dead = 0;
+int dbg_compound = 0;
 
 int fmem_report = 0;
 int fdump_linearize;
@@ -598,6 +599,7 @@  static char **handle_switch_W(char *arg,
 static struct warning debugs[] = {
 	{ "entry", &dbg_entry},
 	{ "dead", &dbg_dead},
+	{ "compound", &dbg_compound},
 };
 
 
--- spars-052rc1.orig/lib.h
+++ spars-052rc1/lib.h
@@ -150,6 +150,7 @@  extern int dump_macro_defs;
 
 extern int dbg_entry;
 extern int dbg_dead;
+extern int dbg_compound;
 
 extern int fmem_report;
 extern int fdump_linearize;
--- /dev/null
+++ spars-052rc1/validation/compound-sizes.c
@@ -0,0 +1,87 @@ 
+// This tests sparse "-vcompound" output.
+
+#include <stdlib.h>
+#include <stdint.h>
+
+// Do not list functions.
+static int do_nothing(void)
+{}
+
+// no:
+static inline int zero(void)
+{
+	return 0 / 1;
+}
+
+// no:
+struct inventory {
+	unsigned char	description[64];
+	unsigned char	department[64];
+	uint32_t	dept_number;
+	uint32_t	item_cost;
+	uint64_t	stock_number;
+	uint32_t	tally[12];	// per month
+};
+
+// no
+static struct inventory *get_inv(uint64_t stocknum)
+{
+	return NULL;
+}
+
+// no
+union un {
+	struct inventory inv;
+	unsigned char	bytes[0];
+};
+
+// yes
+static union un un;
+
+// yes
+static struct inventory	inven[100];
+
+// no
+typedef struct inventory	inventory_t;
+
+// no
+static struct inventory	*invptr;
+
+// yes
+static inventory_t		invent[10];
+
+// no
+static float		floater;
+static double		double_float;
+
+// yes
+static float		floats[42];
+static double		doubles[84];
+
+// no
+int main(void)
+{
+	// no, these are not global.
+	struct inventory inv[10];
+	inventory_t	invt[10];
+	// what about statics?
+	static struct inventory invtop;
+	static inventory_t inv_top;
+	static uint64_t stocknums[100];
+
+	invptr = get_inv(42000);
+	return 0;
+}
+
+/*
+ * check-name: compound-sizes
+ * check-command: sparse -vcompound $file
+ *
+ * check-error-start
+compound-sizes.c:39:17: union un static [toplevel] un: compound size 192, alignment 8
+compound-sizes.c:42:25: struct inventory static [toplevel] inven[100]: compound size 19200, alignment 8
+compound-sizes.c:51:33: struct inventory static [toplevel] [usertype] invent[10]: compound size 1920, alignment 8
+compound-sizes.c:58:25: float static [toplevel] floats[42]: compound size 168, alignment 4
+compound-sizes.c:59:25: double static [toplevel] doubles[84]: compound size 672, alignment 8
+ * check-error-end
+ */