From aa980ce0dc09ae4928102c9b034dfdd684cd9fd6 Mon Sep 17 00:00:00 2001 From: Andy Wingo Date: Wed, 7 May 2014 15:25:13 +0200 Subject: [PATCH] Fix thinko in synthesize-definition-effects! * module/language/cps/effects-analysis.scm (synthesize-definition-effects!): Fix a boneheaded thinko that caused all primcalls to be marked as causing car, cdr, vector, struct, and box effects. --- module/language/cps/effects-analysis.scm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/module/language/cps/effects-analysis.scm b/module/language/cps/effects-analysis.scm index fe6e8b309..6b72ec166 100644 --- a/module/language/cps/effects-analysis.scm +++ b/module/language/cps/effects-analysis.scm @@ -531,7 +531,9 @@ (add-deps! &box)) (_ (add-deps! (effects-clobber - (logior fx &car &cdr &vector &struct &box))) + (logand + fx + (cause (logior &car &cdr &vector &struct &box))))) #t))) (_ #t)) (lp (1+ label))))))