> I think this also shows that using a POINTER_TYPE for a non-pointer > is bogus. POINTER_TYPE is not for "semantically a pointer" but > for pointers. Just use RECORD_TYPE here (and of course lower > things earlier).
FWIW that's what Ada does for its fat pointers. -- Eric Botcazou
