https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112946
--- Comment #7 from Gaius Mulley <gaius at gcc dot gnu.org> --- Created attachment 57025 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57025&action=edit Proposed fix v2 The proposed patch fixes the expression type mismatch case presented above. It also fixes a number of related expression (foo IN setval) and all binary sets arithmetic is checked and virtual tokens are used to highlight sub expressions in error.