[cfe-dev] for-range; or: distinct source and semantic ASTs

[Sebastian Redl]

Hi,

Once again I'm pondering the C++0x for-range loop. I'm not sure how it would best fit into Clang.

Some background: for-range looks like this:

for (type name : collection) body;

where collection can be an array, a uniform initializer list, or an arbitrary object if some functions are overloaded for it.
The standard specifies the semantics of for-range in terms of a rewrite (let __ denote some invented unique variable):

1) If collection is an array of size N:

auto&& __ar = collection;
for (auto __p = __a+0; __p != __a+N; ++__a) {
  type name(*__p);
  body;
}

2) If collection is an initializer list or object:

auto&& __c = collection;
for (auto __it = begin(__c), __e = end(__c); __it != __e; ++it) {
  type name(*__it);
}


Clients interested in the semantics of the code (e.g. CodeGen) would be easier to satisfy if the AST contained a representation of the rewrite. It would also be easier to implement in Sema, because Sema can just construct the rewrite and validate it using existing routines. CodeGen could also just use existing routines.
Another client that is really interested in the semantics would be a search for function usage. Say I have this:

struct mycollection { ... };
mycollection::iterator begin(mycollection&);
mycollection::iterator end(mycollection&);

And now I want to find all references to the begin function. Then a for-range loop over mycollection is such a use, because it calls this function.

On the other hand, clients interested in the source representation (e.g. the pretty printer) want the original code, which is not easy to regenerate from the rewritten form. (For example, the declaration of the loop variable has gained an initializer.)


Unfortunately, I don't think our AST supports having distinct "source view" and "semantic view" tree visitation strategies, does it? How would I best implement such a case?

Sebastian