> I think this is ok, even from a middle-end point of view (that is, > until > we disentangle middle-end fold from frontend fold). Given Richard's opinion and the fact that it's a one-liner, I've committed this patch as rev. 129782. FX