> ISTR Ada uses V_C_E to implement checks on value ranges to types. We need to > make sure to not interfere with this.
Yes, Jeff privately asked some time ago whether this would be problematic and I answered that this wouldn't. Ada no longer uses VIEW_CONVERT_EXPR between scalar types, including for checks, for about a decade and I actually said to Jeff that the optimizers ought to do the same. -- Eric Botcazou
