[PATCH] sparse/dissect: introduce do_inline(struct symbol *sym)

[Oleg Nesterov <oleg@redhat.com>]

parse_function_body() doesn't do add_symbol(decl) if MOD_INLINE, this
means that dissect/semind can't see the definitions of inline functions
in translation_unit_used_list.

Test-case:

	$ cat -n INLINE.c
	     1	static inline void i_func(void)
	     2	{
	     3		unknown();
	     4	}
	     5
	     6	void func(void)
	     7	{
	     8		i_func();
	     9		i_func();
	    10	}

Before this patch:

	$ ./test-dissect INLINE.c

	   6:6                    def   f func                             void ( ... )
	   8:9   func             --r   f i_func                           void ( ... )
	   9:9   func             --r   f i_func                           void ( ... )

With this patch:

	$ ./test-dissect INLINE.c

	   6:6                    def   f func                             void ( ... )
	   1:20                   def   f i_func                           void ( ... )
	   3:9   i_func           --r   f unknown                          bad type
	   8:9   func             --r   f i_func                           void ( ... )
	   9:9   func             --r   f i_func                           void ( ... )

This change is not really needed if dissect_show_all_symbols == 1, in
this case do_file() uses file_scope/global_scope. do_inline() doesn't
bother to check dissect_show_all_symbols, it relies on sym->visited.

Signed-off-by: Oleg Nesterov <oleg@redhat.com>
---
 dissect.c | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/dissect.c b/dissect.c
index 5fed8e22..62f927c5 100644
--- a/dissect.c
+++ b/dissect.c
@@ -59,6 +59,7 @@ static void do_sym_list(struct symbol_list *list);
 
 static struct symbol
 	*base_type(struct symbol *sym),
+	*do_symbol(struct symbol *sym),
 	*do_initializer(struct symbol *type, struct expression *expr),
 	*do_expression(usage_t mode, struct expression *expr),
 	*do_statement(usage_t mode, struct statement *stmt);
@@ -331,6 +332,16 @@ static struct expression *peek_preop(struct expression *expr, int op)
 	return NULL;
 }
 
+static inline void do_inline(struct symbol *sym)
+{
+	if (sym && !sym->visited && (sym->ctype.modifiers & MOD_INLINE)) {
+		struct symbol *dctx = dissect_ctx;
+		dissect_ctx = NULL;
+		do_symbol(sym);
+		dissect_ctx = dctx;
+	}
+}
+
 static struct symbol *do_expression(usage_t mode, struct expression *expr)
 {
 	struct symbol *ret = &int_ctype;
@@ -377,8 +388,10 @@ again:
 		ret = do_expression(mode, expr->cond_false);
 
 	break; case EXPR_CALL:
-		if (expr->fn->type == EXPR_SYMBOL)
+		if (expr->fn->type == EXPR_SYMBOL) {
 			expr->fn->op = 'f'; /* for expr_symbol() */
+			do_inline(expr->fn->symbol);
+		}
 		ret = do_expression(U_R_PTR, expr->fn);
 		if (is_ptr(ret))
 			ret = ret->ctype.base_type;
@@ -621,7 +634,7 @@ static inline bool is_typedef(struct symbol *sym)
 	return (sym->namespace == NS_TYPEDEF);
 }
 
-static inline struct symbol *do_symbol(struct symbol *sym)
+static struct symbol *do_symbol(struct symbol *sym)
 {
 	struct symbol *type = base_type(sym);
 	struct symbol *dctx = dissect_ctx;
-- 
2.52.0