27 Sep
2005
27 Sep
'05
7:10 p.m.
I don't think it's safe to do that generically. Afterall, f might look at the value of x directly and it mustn't be zero then. It'd be safe to do if one could analyze that it isn't possible for f to access x in any way.