18-12-2013, 08:53 PM
Very interesting. One point to remember, however, is the fact "constant expressions" are not equal to "integer constant expressions". If anything, the latter is a subset of the former. How this fact places into the analysis, of course, is unclear.