In Eiffel Studio 6.5.8.524 GPL Edition - windows, the bug is reproducible indeed with the steps David wrote in last interaction. The C error when freezing is:

Error code: C Compiler Error

Error: External C/C++ compilation failed.
What to do: Check the external C/C++ compilation for details.

Error C2440: '=' : cannot convert from 'EIF_TYPED_VALUE' to 'EIF_REFERENCE'