> Assuming you have a copyright assignment, just send a patch to > gcc-patches with the explanation. This is code which will never be used > for any popular target.
The patch is probably small enough that it does not require assignment, given the description in his original message. Paolo
