Does ANSI insist this is legal?

[Doug Gwyn]

In article <12570048 at hpclwjm.HP.COM> walter at hpclwjm.HP.COM (Walter Murray) writes:
>Assuming a char can't hold a pointer, the behavior of this code is undefined.
>May a conforming implementation produce an error at compile time?

You may recall that we had this debate several months ago, using a different
code example, with me on one side of the issue and most other X3J11 members
who participated in the discussion on the other.  I think it is an issue that
needs an official interpretation ruling.