https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102254
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #2) > And maybe also should throw away (with a warning) or turn into > __builtin_unreachable () during GIMPLE passes. Because it is a clear UB. Yes, a candidate for isolate-paths IMHO. Not sure if it would count as "dereference" and thus applicable at -fisolate-erroneous-paths-dereference.