https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112946
Gaius Mulley <gaius at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|FIXED |---
--- Comment #6 from Gaius Mulley <gaius at gcc dot gnu.org> ---
MODULE badexpression3 ;
TYPE
enums = (red, blue, green) ;
set = SET OF enums ;
VAR
setvar : set;
enumvar: enums;
BEGIN
setvar := set {red, blue} ;
setvar := setvar + green ; (* Should detect an error here. *)
IF NOT (green IN setvar)
THEN
HALT
END
END badexpression3.
successfully compiles - and it should detect an error at "setvar + green".
M2GenGCC.mod:FoldBinary (and FoldUnary) need the same treatment as FoldBecomes
in the original patch.
