Добавлены опции предупреждений (#290)

bmstu-iu9 · Feb 22, 2021 · 8eae031 · 8eae031
1 parent afc88ce
commit 8eae031
Show file tree

Hide file tree

Showing 4 changed files with 17 additions and 2 deletions.
diff --git a/src/compiler/Checker.ref b/src/compiler/Checker.ref
@@ -82,6 +82,12 @@ PrepareMessage {
   RepVarInSpecPattern s.Mode e.Index
     = 'Repeated variable ' s.Mode '.' e.Index ' in specialization pattern';
 
+  RepeatedVariable s.Mode e.Index
+      = 'Repeated variable ' s.Mode '.' e.Index ' in assignment';
+
+  RepeatedVariableMaybe s.Mode e.Index
+      = 'Maybe repeated variable ' s.Mode '.' e.Index ' in last sentence';
+
   UnnamedVariableInSpecPattern s.Mode e.Index
     = 'Unnamed variable ' s.Mode '.' e.Index ' can\'t appear '
       'in $SPEC pattern';

diff --git a/src/compiler/Config.ref b/src/compiler/Config.ref
@@ -431,7 +431,7 @@ $ENTRY Config-GetWarningIds {
 
   e.WarningName ::= 'no-'? e.Error | 'no-'? e.WarningIdName | 'all'
   e.Error ::= 'error' ('=' e.WarningName)?
-  e.WarningIdName :: = 'screening' | 'nul-in-compound'
+  e.WarningIdName :: = 'screening' | 'nul-in-compound' | 'repeated' | 'repeated-maybe'
 
 */
 $ENTRY Config-SetWarning {
@@ -534,12 +534,14 @@ WarningForName {
   'ignored-pseudocomments' = True ignored-pseudocomments;
   'pseudofunctions' = True pseudofunctions;
   'pseudofunction' = True pseudofunctions; /* синоним */
+  'repeated' = True repeated;
+  'repeated-maybe' = True repeated-maybe;
 
   e.Other = False
 }
 
 $ENTRY Config-AllWarningIds {
-  /* пусто */ = (screening nul-in-compound)
+  /* пусто */ = (screening nul-in-compound repeated repeated-maybe)
 }
 
 WarningIds-Add {

diff --git a/src/compiler/Error.ref b/src/compiler/Error.ref
@@ -16,6 +16,8 @@ $EXTERN Config-AllWarningIds;
   s.WarningId ::=
       screening
     | nul-in-compound
+    | repeated
+    | repeated-maybe
 */
 $ENUM ErrorList;
 

diff --git a/src/compiler/ParseCmdLine.ref b/src/compiler/ParseCmdLine.ref
@@ -303,6 +303,7 @@ $ENTRY ParseCommandLine {
                      s.Pos
                      'option -W expects \'all\', \'[no-]error[=...]\', '
                      '\'[no-]screening\', \'[no-]pseudofunctions\' '
+                     '\'[no-]repeated\', \'[no-]repeated-maybe\' '
                      '\'[no-]nul-in-compound\', but got \'' e.BadValue '\''
                    );
 
@@ -386,6 +387,10 @@ PrintHelp {
 '                                        (enabled by default)\n'
 '          -Wpseudofunctions, -Wno-... - check/don\'t pseudofunction\n'
 '                                        correctness (enabled by default)\n'
+'          -Wrepeated, -Wno-... - check/don\'t repeated variables\n'
+'                                        in assignments (disabled by default)\n'
+'          -Wrepeated-maybe, -Wno-... - check/don\'t repeated variables\n'
+'                                        in last sentences (disabled by default)\n'
 '          -Werror[=...], -Wno-error[=...] - treat/don\'t all or only provided\n'
 '                                            warning(s) as error(s)\n'
 '-p, --prefix prefix-name\n'