From: Maria Matejka <mq@ucw.cz>
Date: Thu, 28 Nov 2024 11:43:43 +0000 (+0100)
Subject: Merge commit '39e75b87' into thread-merge-2.16
X-Git-Tag: v3.0.0~54
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=52a11170fedbf597e2c31c782d707c3de8af4685;p=thirdparty%2Fbird.git

Merge commit '39e75b87' into thread-merge-2.16
---

52a11170fedbf597e2c31c782d707c3de8af4685
diff --cc doc/bird.sgml
index d07ac6dd0,e04f8d0eb..c5ebc142b
--- a/doc/bird.sgml
+++ b/doc/bird.sgml
@@@ -1995,13 -1945,16 +1997,16 @@@ may be an existing one (when just name 
  and name is used). In both cases, it must have the same type as elements.
  
  <p>The <cf>case</cf> is similar to case from Pascal. Syntax is <cf>case
- <m/expr/ { else: | <m/num_or_prefix [ .. num_or_prefix]/: <m/statement/ ; [
- ... ] }</cf>. The expression after <cf>case</cf> can be of any type which can be
- on the left side of the &tilde; operator and anything that could be a member of
- a set is allowed before <cf/:/. Multiple commands must be grouped by <cf/{}/.
- If <cf><m/expr/</cf> matches one of the <cf/:/ clauses, statements
- between it and next <cf/:/ statement are executed. If <cf><m/expr/</cf> matches
- neither of the <cf/:/ clauses, the statements after <cf/else:/ are executed.
+ <m/expr/ { else: | <m/set_body_expr/ /: <m/statement/ ; [... ] }</cf>.
+ 
+ The expression after <cf>case</cf> can be of any type that could be a member of
+ a set, while the <m/set_body_expr/ before <cf/:/ can be anything (constants,
+ intervals, expressions) that could be a part of a set literal. One exception is
+ prefix type, which can be used in sets bud not in <cf/case/ structure. Multiple
 -commands are allowed without <cf/{}/ grouping. If <cf><m/expr/</cf> matches one
 -of the <cf/:/ clauses, statements between it and next <cf/:/ statement are
++commands must be grouped by <cf/{}/. If <cf><m/expr/</cf> matches one
++of the <cf/:/ clauses, the statement or block after it is
+ executed. If <cf><m/expr/</cf> matches neither of the <cf/:/ clauses, the
 -statements after <cf/else:/ are executed.
++statement or block after <cf/else:/ is executed.
  
  <p>Here is example that uses <cf/if/ and <cf/case/ structures:
  
diff --cc filter/config.Y
index 311e851dc,d656a7268..bbffdbd4f
--- a/filter/config.Y
+++ b/filter/config.Y
@@@ -672,12 -642,18 +672,18 @@@ set_atom0
   | VPN_RD { $$.type = T_RD; $$.val.ec = $1; }
   | ENUM   { $$.type = pair_a($1); $$.val.i = pair_b($1); }
   | '(' term ')' {
 -     $$ = cf_eval($2, T_VOID);
 +     $$ = cf_eval_tmp($2, T_VOID);
-      if (!f_valid_set_type($$.type)) cf_error("Set-incompatible type");
+      if (!f_valid_set_type($$.type))
+        cf_error("Set-incompatible type (%s)", f_type_name($$.type));
     }
+  ;
+ 
+ set_atom:
+    set_atom0
 - | symbol_known {
 + | CF_SYM_KNOWN {
       cf_assert_symbol($1, SYM_CONSTANT);
-      if (!f_valid_set_type(SYM_TYPE($1))) cf_error("%s: set-incompatible type", $1->name);
+      if (!f_valid_set_type(SYM_TYPE($1)))
+        cf_error("%s: Set-incompatible type (%s)", $1->name, f_type_name(SYM_TYPE($1)));
       $$ = *$1->val;
     }
   ;
@@@ -779,7 -752,7 +782,7 @@@ fprefix_set
   ;
  
  switch_body: /* EMPTY */ { $$ = NULL; }
-  | switch_body switch_items ':' cmd  {
 - | switch_body switch_items ':' cmds_scoped {
++ | switch_body switch_items ':' cmd {
       /* Fill data fields */
       struct f_tree *t;
       for (t = $2; t; t = t->left)