> make the offending functions throw a special exception when they are called, signaling the calling of a function known to be bad.

I believe this would make it no different from an 'assert'.