aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/evaluate.c
diff options
context:
space:
mode:
authorArd Biesheuvel <ard.biesheuvel@linaro.org>2014-11-16 11:00:15 +0800
committerChristopher Li <sparse@chrisli.org>2015-03-13 10:47:55 -0700
commit0f71312959ed8f7692deaedeb35d7612004f8d72 (patch)
tree41ae7a57cf41cbc1cd4dd5ab20d2c5938d77c497 /evaluate.c
parent76a73716e4fd76c81259968a7c7cb2fb73d993d7 (diff)
downloadsparse-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.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/evaluate.c b/evaluate.c
index 035e4487..e350c0c0 100644
--- a/evaluate.c
+++ b/evaluate.c
@@ -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)