That's what this is, keeping in mind that the compiler's implementation of undefined behavior is an input that should be fuzzed.

Think of, say, integer overflow. The problem is that typical compilers have a consistent (but non-standard) implementation, so it can't be fuzzed without some compiler help.