http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49813
--- Comment #32 from rguenther at suse dot de <rguenther at suse dot de> 2011-07-25 10:59:30 UTC --- On Mon, 25 Jul 2011, paolo.carlini at oracle dot com wrote: > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49813 > > --- Comment #31 from Paolo Carlini <paolo.carlini at oracle dot com> > 2011-07-25 10:54:24 UTC --- > Richard, as far as I can see, if we don't fold, we don't fold, that line of > user code with, eg constexpr data, will simply not compile. I don't think this > is a major issue... Ah, ok. So a constexpr function only means the frontend has to "try" to constant-fold it, and if it doesn't fold to a constant it's an errorneous program. I suppose only if the result is used in a constexpr, that is (recursively so).