pkg/compiler: check for flags with all equal values

There is no point in having flags when values are equal.
This can only mean a typo or other bug. Check for such cases
and fix 3 existing precedents.

1 files changed, 11 insertions, 1 deletions

diff --git a/pkg/compiler/check.go b/pkg/compiler/check.go
index 468b6e35e..022581771 100644
--- a/pkg/compiler/check.go
+++ b/pkg/compiler/check.go
@@ -248,7 +248,7 @@ func (comp *compiler) checkTypes() {
 
 func (comp *compiler) checkTypeValues() {
 	for _, decl := range comp.desc.Nodes {
-		switch decl.(type) {
+		switch n := decl.(type) {
 		case *ast.Call, *ast.Struct, *ast.Resource, *ast.TypeDef:
 			comp.foreachType(decl, func(t *ast.Type, desc *typeDesc,
 				args []*ast.Type, base prog.IntTypeCommon) {
@@ -261,6 +261,16 @@ func (comp *compiler) checkTypeValues() {
 					}
 				}
 			})
+		case *ast.IntFlags:
+			allEqual := len(n.Values) >= 2
+			for _, val := range n.Values {
+				if val.Value != n.Values[0].Value {
+					allEqual = false
+				}
+			}
+			if allEqual {
+				comp.error(n.Pos, "all %v values are equal %v", n.Name.Name, n.Values[0].Value)
+			}
 		}
 	}
 }