> C returns -1 from global_bindings_p, as does Ada. That the languages that > probably care most about variable-size types find aspects of the generic > function need overriding like that should be a good indication that it > isn't really that generic - as I said above, semantics for variable sizes > are very front-end-specific.
I think that a large chunk of the non-generic code can be removed because it is either useless (the error) or obsolete (pending_size) in the 4.x series. After that, if you prefer to make this particular function FE-specific, fine with me, but they will all essentially look alike. -- Eric Botcazou