You can do even better than this. You can _make_ it undefined behavior with __builtin_unreachable().

No idea if the optimization potential is the same but at least then you can feel like your sanitizer is necessary in all cases (to help you find and add these calls).