Hi Sorry if this is the wrong address to contact. This is a minor request for a minor libmudflap problem. Could somebody with appropriate privilege please do me a favor and reopen the following bugzilla PR? http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20003 It seems the system won't let me do it because I'm not the original reporter. Thanks Greg