https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63707
Eyal Rozenberg <eyalroz at technion dot ac.il> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |eyalroz at technion dot ac.il --- Comment #12 from Eyal Rozenberg <eyalroz at technion dot ac.il> --- Rejection valid code, especially valid code which is not contrived and can well occur in people's real-life work, seems like a high-priority bug. The last substantive comment here, other than dupe-marking-related comments two years ago, is comment #8, asking for this to be fixed - four and a half years ago. Jonathan and others - please try to prioritize fixing this, and even if you can't for some reason - at least explain which this can't be fixed promptly. See also: https://stackoverflow.com/q/65138048/1593077