diff options
author | Ard Biesheuvel <ard.biesheuvel@linaro.org> | 2014-11-16 11:00:15 +0800 |
---|---|---|
committer | Christopher Li <sparse@chrisli.org> | 2015-03-13 10:47:55 -0700 |
commit | 0f71312959ed8f7692deaedeb35d7612004f8d72 (patch) | |
tree | 41ae7a57cf41cbc1cd4dd5ab20d2c5938d77c497 /evaluate.c | |
parent | 76a73716e4fd76c81259968a7c7cb2fb73d993d7 (diff) | |
download | sparse-0f71312959ed8f7692deaedeb35d7612004f8d72.tar.gz |
Ignore pure attribute in assignement
The pure attribute only take effect in function node.
There is no way to make a value itself pure.
Reported-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'evaluate.c')
-rw-r--r-- | evaluate.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -623,7 +623,7 @@ static struct symbol *evaluate_ptr_add(struct expression *expr, struct symbol *i static void examine_fn_arguments(struct symbol *fn); -#define MOD_IGN (MOD_VOLATILE | MOD_CONST) +#define MOD_IGN (MOD_VOLATILE | MOD_CONST | MOD_PURE) const char *type_difference(struct ctype *c1, struct ctype *c2, unsigned long mod1, unsigned long mod2) |