buf_size: fix handling of unknown flexible array sizes
[smatch.git] / evaluate.h
blobf68f7fb7c36754420fb16e21f6b1131da5871e6b
1 #ifndef EVALUATE_H
2 #define EVALUATE_H
4 struct expression;
5 struct statement;
6 struct symbol;
7 struct symbol_list;
9 ///
10 // evaluate the type of an expression
11 // @expr: the expression to be evaluated
12 // @return: the type of the expression or ``NULL``
13 // if the expression can't be evaluated
14 struct symbol *evaluate_expression(struct expression *expr);
16 ///
17 // evaluate the type of a statement
18 // @stmt: the statement to be evaluated
19 // @return: the type of the statement or ``NULL``
20 // if it can't be evaluated
21 struct symbol *evaluate_statement(struct statement *stmt);
23 ///
24 // evaluate the type of a set of symbols
25 // @list: the list of the symbol to be evaluated
26 void evaluate_symbol_list(struct symbol_list *list);
28 #endif