On Tue, 12 Jul 2011, Richard Guenther wrote: > (**) We really ought to forbid any arithmetic on types that have non-mode > precision and only allow conversions to/from such types.
Arithmetic on such types is a perfectly reasonable notion to have in language-independent code and carry out language-independent optimizations on. There may well be a case for lowering such arithmetic earlier than the present point at which it's lowered (expand), but it isn't obvious that gimplification is the right point for that lowering either. -- Joseph S. Myers jos...@codesourcery.com