diff options
| author | Nicolai Stange <nicstange@gmail.com> | 2016-02-01 03:30:49 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-03-31 02:13:57 +0200 |
| commit | 2919ca4cd57c4633bccf26b01cb2b8c00271446d (patch) | |
| tree | f9aecf9024d2a3c462f4864319a8094cae052dbc /validation | |
| parent | 274c154704db4e5f4417a087a1ab8b2002245832 (diff) | |
| download | sparse-dev-2919ca4cd57c4633bccf26b01cb2b8c00271446d.tar.gz | |
constexpr: init flags at expression allocation
Currently, the expression evaluation code explicitly opts out from
constness at evaluation if certain criteria regarding the subexpressions
are not matched.
Instead of this active opt-out, we want to have subexpression constness
attributes to get propagated from child expressions to their parents in
the future.
A prerequisite is that each expression's ->flags is in a defined
state at all times.
Set ->flags to SET_INT or NONE at expression allocation time,
depending if the expression has a type or not
(alloc_const_expression() or alloc_expression()).
Signed-off-by: Nicolai Stange <nicstange@gmail.com>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
0 files changed, 0 insertions, 0 deletions