a.b.c would still be valid GIMPLE, but the initial gimplification may break
it down in future. A later pass would be free to put it back together.
I have no problem with that. However, I though the purpose of the
proposal was to make it *not* valid GIMPLE. Of course, until we have a
tree combiner, it's not going to be put back together.