Move control data for sieve into struct
[exim.git] / src / src / sieve.c
index cc3ad14a2d9920092b2b87223f722d5c73069973..db37f44fa4a2da097a28e2671a82a5229bb1b017 100644 (file)
@@ -1,11 +1,13 @@
-/* $Cambridge: exim/src/src/sieve.c,v 1.9 2005/04/06 14:40:24 ph10 Exp $ */
-
 /*************************************************
 *     Exim - an Internet mail transport agent    *
 *************************************************/
 
-/* Copyright (c) Michael Haardt 2003-2005 */
-/* See the file NOTICE for conditions of use and distribution. */
+/*
+ * Copyright (c) The Exim Maintainers 2016 - 2023
+ * Copyright (c) Michael Haardt 2003 - 2015
+ * See the file NOTICE for conditions of use and distribution.
+ * SPDX-License-Identifier: GPL-2.0-or-later
+ */
 
 /* This code was contributed by Michael Haardt. */
 
 #include "exim.h"
 
 #if HAVE_ICONV
-#include <iconv.h>
+# include <iconv.h>
 #endif
 
 /* Define this for RFC compliant \r\n end-of-line terminators.      */
 /* Undefine it for UNIX-style \n end-of-line terminators (default). */
 #undef RFC_EOL
 
-/* Define this for development of the subaddress Sieve extension.   */
-/* The code is currently broken.                                    */
-#undef SUBADDRESS
+/* Define this for development of the Sieve extension "encoded-character". */
+#define ENCODED_CHARACTER
+
+/* Define this for development of the Sieve extension "envelope-auth". */
+#undef ENVELOPE_AUTH
+
+/* Define this for development of the Sieve extension "enotify".    */
+#define ENOTIFY
 
-/* Define this for the vacation Sieve extension.                    */
+/* Define this for the Sieve extension "subaddress".                */
+#define SUBADDRESS
+
+/* Define this for the Sieve extension "vacation".                  */
 #define VACATION
 
 /* Must be >= 1                                                     */
 /* Increase it if you want to match headers from buggy MUAs.        */
 #define MIMEWORD_LENGTH 75
 
-struct Sieve
-  {
-  uschar *filter;
+struct Sieve {
+  const uschar *filter;
   const uschar *pc;
-  int line;
+  int  line;
   const uschar *errmsg;
-  int keep;
-  int require_envelope;
-  int require_fileinto;
+  int  keep;
+  int  require_envelope;
+  int  require_fileinto;
+#ifdef ENCODED_CHARACTER
+  BOOL require_encoded_character;
+#endif
+#ifdef ENVELOPE_AUTH
+  int  require_envelope_auth;
+#endif
+#ifdef ENOTIFY
+  int  require_enotify;
+  struct Notification *notified;
+#endif
+  const uschar *enotify_mailto_owner;
 #ifdef SUBADDRESS
-  int require_subaddress;
+  int  require_subaddress;
 #endif
 #ifdef VACATION
-  int require_vacation;
-  int vacation_ran;
+  BOOL require_vacation;
+  BOOL vacation_ran;
 #endif
-  uschar *vacation_directory;
+  const uschar *vacation_directory;
   const uschar *subaddress;
   const uschar *useraddress;
-  int require_copy;
-  int require_iascii_numeric;
-  };
+  BOOL require_copy;
+  BOOL require_iascii_numeric;
+};
 
-enum Comparator { COMP_OCTET, COMP_ASCII_CASEMAP, COMP_ASCII_NUMERIC };
+enum Comparator { COMP_OCTET, COMP_EN_ASCII_CASEMAP, COMP_ASCII_NUMERIC };
 enum MatchType { MATCH_IS, MATCH_CONTAINS, MATCH_MATCHES };
 #ifdef SUBADDRESS
 enum AddressPart { ADDRPART_USER, ADDRPART_DETAIL, ADDRPART_LOCALPART, ADDRPART_DOMAIN, ADDRPART_ALL };
@@ -76,57 +96,117 @@ enum AddressPart { ADDRPART_LOCALPART, ADDRPART_DOMAIN, ADDRPART_ALL };
 #endif
 enum RelOp { LT, LE, EQ, GE, GT, NE };
 
-struct String
-  {
-  uschar *character;
-  int length;
-  };
+struct Notification {
+  gstring method;
+  gstring importance;
+  gstring message;
+  struct Notification *next;
+};
+
+/* This should be a complete list of supported extensions, so that an external
+ManageSieve (RFC 5804) program can interrogate the current Exim binary for the
+list of extensions and provide correct information to a client.
+
+We'll emit the list in the order given here; keep it alphabetically sorted, so
+that callers don't get surprised.
+
+List *MUST* end with a NULL.  Which at least makes ifdef-vs-comma easier. */
+
+const uschar *exim_sieve_extension_list[] = {
+  CUS"comparator-i;ascii-numeric",
+  CUS"copy",
+#ifdef ENCODED_CHARACTER
+  CUS"encoded-character",
+#endif
+#ifdef ENOTIFY
+  CUS"enotify",
+#endif
+  CUS"envelope",
+#ifdef ENVELOPE_AUTH
+  CUS"envelope-auth",
+#endif
+  CUS"fileinto",
+#ifdef SUBADDRESS
+  CUS"subaddress",
+#endif
+#ifdef VACATION
+  CUS"vacation",
+#endif
+  NULL
+};
 
+static int eq_asciicase(const gstring * needle, const gstring * haystack, BOOL match_prefix);
 static int parse_test(struct Sieve *filter, int *cond, int exec);
 static int parse_commands(struct Sieve *filter, int exec, address_item **generated);
 
-static uschar str_from_c[]="From";
-static const struct String str_from={ str_from_c, 4 };
-static uschar str_to_c[]="To";
-static const struct String str_to={ str_to_c, 2 };
-static uschar str_cc_c[]="Cc";
-static const struct String str_cc={ str_cc_c, 2 };
-static uschar str_bcc_c[]="Bcc";
-static const struct String str_bcc={ str_bcc_c, 3 };
-static uschar str_sender_c[]="Sender";
-static const struct String str_sender={ str_sender_c, 6 };
-static uschar str_resent_from_c[]="Resent-From";
-static const struct String str_resent_from={ str_resent_from_c, 11 };
-static uschar str_resent_to_c[]="Resent-To";
-static const struct String str_resent_to={ str_resent_to_c, 9 };
-static uschar str_fileinto_c[]="fileinto";
-static const struct String str_fileinto={ str_fileinto_c, 8 };
-static uschar str_envelope_c[]="envelope";
-static const struct String str_envelope={ str_envelope_c, 8 };
+static uschar str_from_c[] = "From";
+static const gstring str_from = { .s = str_from_c, .ptr = 4, .size = 5 };
+static uschar str_to_c[] = "To";
+static const gstring str_to = { .s = str_to_c, .ptr = 2, .size = 3 };
+static uschar str_cc_c[] = "Cc";
+static const gstring str_cc = { .s = str_cc_c, .ptr = 2, .size = 3 };
+static uschar str_bcc_c[] = "Bcc";
+static const gstring str_bcc = { .s = str_bcc_c, .ptr = 3, .size = 4 };
+#ifdef ENVELOPE_AUTH
+static uschar str_auth_c[] = "auth";
+static const gstring str_auth = { .s = str_auth_c, .ptr = 4, .size = 5 };
+#endif
+static uschar str_sender_c[] = "Sender";
+static const gstring str_sender = { .s = str_sender_c, .ptr = 6, .size = 7 };
+static uschar str_resent_from_c[] = "Resent-From";
+static const gstring str_resent_from = { .s = str_resent_from_c, .ptr = 11, .size = 12 };
+static uschar str_resent_to_c[] = "Resent-To";
+static const gstring str_resent_to = { .s = str_resent_to_c, .ptr = 9, .size = 10 };
+static uschar str_fileinto_c[] = "fileinto";
+static const gstring str_fileinto = { .s = str_fileinto_c, .ptr = 8, .size = 9 };
+static uschar str_envelope_c[] = "envelope";
+static const gstring str_envelope = { .s = str_envelope_c, .ptr = 8, .size = 9 };
+#ifdef ENCODED_CHARACTER
+static uschar str_encoded_character_c[] = "encoded-character";
+static const gstring str_encoded_character = { .s = str_encoded_character_c, .ptr = 17, .size = 18 };
+#endif
+#ifdef ENVELOPE_AUTH
+static uschar str_envelope_auth_c[] = "envelope-auth";
+static const gstring str_envelope_auth = { .s = str_envelope_auth_c, .ptr = 13, .size = 14 };
+#endif
+#ifdef ENOTIFY
+static uschar str_enotify_c[] = "enotify";
+static const gstring str_enotify = { .s = str_enotify_c, .ptr = 7, .size = 8 };
+static uschar str_online_c[] = "online";
+static const gstring str_online = { .s = str_online_c, .ptr = 6, .size = 7 };
+static uschar str_maybe_c[] = "maybe";
+static const gstring str_maybe = { .s = str_maybe_c, .ptr = 5, .size = 6 };
+static uschar str_auto_submitted_c[] = "Auto-Submitted";
+static const gstring str_auto_submitted = { .s = str_auto_submitted_c, .ptr = 14, .size = 15 };
+#endif
 #ifdef SUBADDRESS
-static uschar str_subaddress_c[]="subaddress";
-static const struct String str_subaddress={ str_subaddress_c, 10 };
+static uschar str_subaddress_c[] = "subaddress";
+static const gstring str_subaddress = { .s = str_subaddress_c, .ptr = 10, .size = 11 };
 #endif
 #ifdef VACATION
-static uschar str_vacation_c[]="vacation";
-static const struct String str_vacation={ str_vacation_c, 8 };
-static uschar str_subject_c[]="Subject";
-static const struct String str_subject={ str_subject_c, 7 };
+static uschar str_vacation_c[] = "vacation";
+static const gstring str_vacation = { .s = str_vacation_c, .ptr = 8, .size = 9 };
+static uschar str_subject_c[] = "Subject";
+static const gstring str_subject = { .s = str_subject_c, .ptr = 7, .size = 8 };
 #endif
-static uschar str_copy_c[]="copy";
-static const struct String str_copy={ str_copy_c, 4 };
-static uschar str_iascii_casemap_c[]="i;ascii-casemap";
-static const struct String str_iascii_casemap={ str_iascii_casemap_c, 15 };
-static uschar str_ioctet_c[]="i;octet";
-static const struct String str_ioctet={ str_ioctet_c, 7 };
-static uschar str_iascii_numeric_c[]="i;ascii-numeric";
-static const struct String str_iascii_numeric={ str_iascii_numeric_c, 15 };
-static uschar str_comparator_iascii_casemap_c[]="comparator-i;ascii-casemap";
-static const struct String str_comparator_iascii_casemap={ str_comparator_iascii_casemap_c, 26 };
-static uschar str_comparator_ioctet_c[]="comparator-i;octet";
-static const struct String str_comparator_ioctet={ str_comparator_ioctet_c, 18 };
-static uschar str_comparator_iascii_numeric_c[]="comparator-i;ascii-numeric";
-static const struct String str_comparator_iascii_numeric={ str_comparator_iascii_numeric_c, 26 };
+static uschar str_copy_c[] = "copy";
+static const gstring str_copy = { .s = str_copy_c, .ptr = 4, .size = 5 };
+static uschar str_iascii_casemap_c[] = "i;ascii-casemap";
+static const gstring str_iascii_casemap = { .s = str_iascii_casemap_c, .ptr = 15, .size = 16 };
+static uschar str_enascii_casemap_c[] = "en;ascii-casemap";
+static const gstring str_enascii_casemap = { .s = str_enascii_casemap_c, .ptr = 16, .size = 17 };
+static uschar str_ioctet_c[] = "i;octet";
+static const gstring str_ioctet = { .s = str_ioctet_c, .ptr = 7, .size = 8 };
+static uschar str_iascii_numeric_c[] = "i;ascii-numeric";
+static const gstring str_iascii_numeric = { .s = str_iascii_numeric_c, .ptr = 15, .size = 16 };
+static uschar str_comparator_iascii_casemap_c[] = "comparator-i;ascii-casemap";
+static const gstring str_comparator_iascii_casemap = { .s = str_comparator_iascii_casemap_c, .ptr = 26, .size = 27 };
+static uschar str_comparator_enascii_casemap_c[] = "comparator-en;ascii-casemap";
+static const gstring str_comparator_enascii_casemap = { .s = str_comparator_enascii_casemap_c, .ptr = 27, .size = 28 };
+static uschar str_comparator_ioctet_c[] = "comparator-i;octet";
+static const gstring str_comparator_ioctet = { .s = str_comparator_ioctet_c, .ptr = 18, .size = 19 };
+static uschar str_comparator_iascii_numeric_c[] = "comparator-i;ascii-numeric";
+static const gstring str_comparator_iascii_numeric = { .s = str_comparator_iascii_numeric_c, .ptr = 26, .size = 27 };
 
 
 /*************************************************
@@ -136,102 +216,287 @@ static const struct String str_comparator_iascii_numeric={ str_comparator_iascii
 /*
 Arguments:
   src               UTF-8 string
+
+Returns
+  dst, allocated, a US-ASCII string
 */
 
-static struct String *quoted_printable_encode(const struct String *src, struct String *dst)
+static gstring *
+quoted_printable_encode(const gstring * src)
 {
-int pass;
-const uschar *start,*end;
-uschar *new = NULL;
+gstring * dst = NULL;
 uschar ch;
-size_t line;
+size_t line = 0;
+
+for (const uschar * start = src->s, * end = start + src->ptr;
+     start < end; ++start)
+  {
+  ch = *start;
+  if (line >= 73)      /* line length limit */
+    {
+    dst = string_catn(dst, US"=\n", 2);        /* line split */
+    line = 0;
+    }
+  if (  (ch >= '!' && ch <= '<')
+     || (ch >= '>' && ch <= '~')
+     || (  (ch == '\t' || ch == ' ')
+       && start+2 < end && (start[1] != '\r' || start[2] != '\n')      /* CRLF */
+       )
+     )
+    {
+    dst = string_catn(dst, start, 1);          /* copy char */
+    ++line;
+    }
+  else if (ch == '\r' && start+1 < end && start[1] == '\n')            /* CRLF */
+    {
+    dst = string_catn(dst, US"\n", 1);         /* NL */
+    line = 0;
+    ++start;   /* consume extra input char */
+    }
+  else
+    {
+    dst = string_fmt_append(dst, "=%02X", ch);
+    line += 3;
+    }
+  }
+
+(void) string_from_gstring(dst);
+gstring_release_unused(dst);
+return dst;
+}
+
+
+/*************************************************
+*     Check mail address for correct syntax      *
+*************************************************/
+
+/*
+Check mail address for being syntactically correct.
+
+Arguments:
+  filter      points to the Sieve filter including its state
+  address     String containing one address
 
-for (pass=0; pass<=1; ++pass)
+Returns
+  1           Mail address is syntactically OK
+ -1           syntax error
+*/
+
+int
+check_mail_address(struct Sieve * filter, const gstring * address)
+{
+int start, end, domain;
+uschar * error, * ss;
+
+if (address->ptr > 0)
   {
-  line=0;
-  if (pass==0)
-    dst->length=0;
+  ss = parse_extract_address(address->s, &error, &start, &end, &domain,
+    FALSE);
+  if (!ss)
+    {
+    filter->errmsg = string_sprintf("malformed address \"%s\" (%s)",
+      address->s, error);
+    return -1;
+    }
   else
+    return 1;
+  }
+else
+  {
+  filter->errmsg = CUS "empty address";
+  return -1;
+  }
+}
+
+
+/*************************************************
+*          Decode URI encoded string             *
+*************************************************/
+
+/*
+Arguments:
+  str               URI encoded string
+
+Returns
+  str is modified in place
+  TRUE              Decoding successful
+  FALSE             Encoding error
+*/
+
+#ifdef ENOTIFY
+static BOOL
+uri_decode(gstring * str)
+{
+uschar *s, *t, *e;
+
+if (str->ptr == 0) return TRUE;
+for (t = s = str->s, e = s + str->ptr; s < e; )
+  if (*s == '%')
     {
-    dst->character=store_get(dst->length+1); /* plus one for \0 */
-    new=dst->character;
+    if (s+2 < e && isxdigit(s[1]) && isxdigit(s[2]))
+      {
+      *t++ = ((isdigit(s[1]) ? s[1]-'0' : tolower(s[1])-'a'+10)<<4)
+            | (isdigit(s[2]) ? s[2]-'0' : tolower(s[2])-'a'+10);
+      s += 3;
+      }
+    else return FALSE;
     }
-  for (start=src->character,end=start+src->length; start<end; ++start)
+  else
+    *t++ = *s++;
+
+*t = '\0';
+str->ptr = t - str->s;
+return TRUE;
+}
+
+
+/*************************************************
+*               Parse mailto URI                 *
+*************************************************/
+
+/*
+Parse mailto-URI.
+
+       mailtoURI   = "mailto:" [ to ] [ headers ]
+       to          = [ addr-spec *("%2C" addr-spec ) ]
+       headers     = "?" header *( "&" header )
+       header      = hname " = " hvalue
+       hname       = *urlc
+       hvalue      = *urlc
+
+Arguments:
+  filter      points to the Sieve filter including its state
+  uri         URI, excluding scheme
+  recipient   list of recipients; prepnded to
+  body
+
+Returns
+  1           URI is syntactically OK
+  0           Unknown URI scheme
+ -1           syntax error
+*/
+
+static int
+parse_mailto_uri(struct Sieve * filter, const uschar * uri,
+  string_item ** recipient, gstring * header, gstring * subject,
+  gstring * body)
+{
+const uschar * start;
+
+if (Ustrncmp(uri, "mailto:", 7))
+  {
+  filter->errmsg = US "Unknown URI scheme";
+  return 0;
+  }
+
+uri += 7;
+if (*uri && *uri != '?')
+  for (;;)
     {
-    ch=*start;
-    if (line>=73)
+    /* match to */
+    for (start = uri; *uri && *uri != '?' && (*uri != '%' || uri[1] != '2' || tolower(uri[2]) != 'c'); ++uri);
+    if (uri > start)
       {
-      if (pass==0)
-        dst->length+=2;
-      else
+      gstring * to = string_catn(NULL, start, uri - start);
+      string_item * new;
+
+      if (!uri_decode(to))
         {
-        *new++='=';
-        *new++='\n';
+        filter->errmsg = US"Invalid URI encoding";
+        return -1;
         }
-      line=0;
-      }
-    if
-      (
-      (ch>=33 && ch<=60)
-      || (ch>=62 && ch<=126)
-      ||
-        (
-        (ch==9 || ch==32)
-#ifdef RFC_EOL
-        && start+2<end
-        && (*(start+1)!='\r' || *(start+2)!='\n')
-#else
-        && start+1<end
-        && *(start+1)!='\n'
-#endif
-        )
-      )
+      new = store_get(sizeof(string_item), GET_UNTAINTED);
+      new->text = string_from_gstring(to);
+      new->next = *recipient;
+      *recipient = new;
+      }
+    else
       {
-      if (pass==0)
-        ++dst->length;
-      else
-        *new++=*start;
-      ++line;
+      filter->errmsg = US"Missing addr-spec in URI";
+      return -1;
       }
-#ifdef RFC_EOL
-    else if (ch=='\r' && start+1<end && *(start+1)=='\n')
+    if (*uri == '%') uri += 3;
+    else break;
+    }
+if (*uri == '?')
+  for (uri++; ;)
+    {
+    gstring * hname = string_get(0), * hvalue = NULL;
+
+    /* match hname */
+    for (start = uri; *uri && (isalnum(*uri) || strchr("$-_.+!*'(), %", *uri)); ++uri) ;
+    if (uri > start)
       {
-      if (pass==0)
+      hname = string_catn(hname, start, uri-start);
+
+      if (!uri_decode(hname))
         {
-        ++dst->length;
-        line=0;
-        ++start;
+        filter->errmsg = US"Invalid URI encoding";
+        return -1;
         }
-      else
-        *new++='\n';
-        line=0;
       }
-#else
-    else if (ch=='\n')
+    /* match = */
+    if (*uri++ != '=')
       {
-      if (pass==0)
-        ++dst->length;
-      else
-        *new++=*start;
-      ++line;
+      filter->errmsg = US"Missing equal after hname";
+      return -1;
       }
-#endif
+
+    /* match hvalue */
+    for (start = uri; *uri && (isalnum(*uri) || strchr("$-_.+!*'(), %", *uri)); ++uri) ;
+    if (uri > start)
+      {
+      hvalue = string_catn(NULL, start, uri-start);    /*XXX this used to say "hname =" */
+
+      if (!uri_decode(hvalue))
+        {
+        filter->errmsg = US"Invalid URI encoding";
+        return -1;
+        }
+      }
+    if (hname->ptr == 2 && strcmpic(hname->s, US"to") == 0)
+      {
+      string_item * new = store_get(sizeof(string_item), GET_UNTAINTED);
+      new->text = string_from_gstring(hvalue);
+      new->next = *recipient;
+      *recipient = new;
+      }
+    else if (hname->ptr == 4 && strcmpic(hname->s, US"body") == 0)
+      *body = *hvalue;
+    else if (hname->ptr == 7 && strcmpic(hname->s, US"subject") == 0)
+      *subject = *hvalue;
     else
       {
-      if (pass==0)
-        dst->length+=3;
-      else
+      static gstring ignore[] =
+        {
+        {.s = US"date", .ptr = 4, .size = 5},
+        {.s = US"from", .ptr = 4, .size = 5},
+        {.s = US"message-id", .ptr = 10, .size = 11},
+        {.s = US"received", .ptr = 8, .size = 9},
+        {.s = US"auto-submitted", .ptr = 14, .size = 15}
+        };
+      static gstring * end = ignore + nelem(ignore);
+      gstring * i;
+
+      for (i = ignore; i < end && !eq_asciicase(hname, i,  FALSE); ++i);
+      if (i == end)
         {
-        sprintf(CS new,"=%02X",ch);
-        new+=3;
+       hname = string_fmt_append(NULL, "%Y%Y: %Y\n", header, hname, hvalue);
+       (void) string_from_gstring(hname);
+       /*XXX we seem to do nothing with this new hname? */
         }
-      line+=3;
       }
+    if (*uri == '&') ++uri;
+    else break;
     }
+if (*uri)
+  {
+  filter->errmsg = US"Syntactically invalid URI";
+  return -1;
   }
-  *new='\0'; /* not included in length, but nice */
-  return dst;
+return 1;
 }
+#endif
 
 
 /*************************************************
@@ -242,35 +507,35 @@ for (pass=0; pass<=1; ++pass)
 Arguments:
   needle            UTF-8 string to search ...
   haystack          ... inside the haystack
-  match_prefix      1 to compare if needle is a prefix of haystack
+  match_prefix      TRUE to compare if needle is a prefix of haystack
 
 Returns:      0               needle not found in haystack
               1               needle found
 */
 
-static int eq_octet(const struct String *needle,
-  const struct String *haystack, int match_prefix)
+static int
+eq_octet(const gstring *needle, const gstring *haystack, BOOL match_prefix)
 {
-size_t nl,hl;
-const uschar *n,*h;
+size_t nl, hl;
+const uschar *n, *h;
 
-nl=needle->length;
-n=needle->character;
-hl=haystack->length;
-h=haystack->character;
+nl = needle->ptr;
+n = needle->s;
+hl = haystack->ptr;
+h = haystack->s;
 while (nl>0 && hl>0)
   {
 #if !HAVE_ICONV
-  if (*n&0x80) return 0;
-  if (*h&0x80) return 0;
+  if (*n & 0x80) return 0;
+  if (*h & 0x80) return 0;
 #endif
-  if (*n!=*h) return 0;
+  if (*n != *h) return 0;
   ++n;
   ++h;
   --nl;
   --hl;
   }
-return (match_prefix ? nl==0 : nl==0 && hl==0);
+return (match_prefix ? nl == 0 : nl == 0 && hl == 0);
 }
 
 
@@ -282,279 +547,152 @@ return (match_prefix ? nl==0 : nl==0 && hl==0);
 Arguments:
   needle            UTF-8 string to search ...
   haystack          ... inside the haystack
-  match_prefix      1 to compare if needle is a prefix of haystack
+  match_prefix      TRUE to compare if needle is a prefix of haystack
 
 Returns:      0               needle not found in haystack
               1               needle found
 */
 
-static int eq_asciicase(const struct String *needle,
-  const struct String *haystack, int match_prefix)
+static int
+eq_asciicase(const gstring *needle, const gstring *haystack, BOOL match_prefix)
 {
-size_t nl,hl;
-const uschar *n,*h;
-uschar nc,hc;
-
-nl=needle->length;
-n=needle->character;
-hl=haystack->length;
-h=haystack->character;
-while (nl>0 && hl>0)
+size_t nl, hl;
+const uschar *n, *h;
+uschar nc, hc;
+
+nl = needle->ptr;
+n = needle->s;
+hl = haystack->ptr;
+h = haystack->s;
+while (nl > 0 && hl > 0)
   {
-  nc=*n;
-  hc=*h;
+  nc = *n;
+  hc = *h;
 #if !HAVE_ICONV
-  if (nc&0x80) return 0;
-  if (hc&0x80) return 0;
+  if (nc & 0x80) return 0;
+  if (hc & 0x80) return 0;
 #endif
   /* tolower depends on the locale and only ASCII case must be insensitive */
-  if ((nc&0x80) || (hc&0x80)) { if (nc!=hc) return 0; }
-  else if ((nc>='A' && nc<='Z' ? nc|0x20 : nc) != (hc>='A' && hc<='Z' ? hc|0x20 : hc)) return 0;
+  if ((nc >= 'A' && nc <= 'Z' ? nc | 0x20 : nc) != (hc >= 'A' && hc <= 'Z' ? hc | 0x20 : hc)) return 0;
   ++n;
   ++h;
   --nl;
   --hl;
   }
-return (match_prefix ? nl==0 : nl==0 && hl==0);
+return (match_prefix ? nl == 0 : nl == 0 && hl == 0);
 }
 
 
 /*************************************************
-*        Octet-wise glob pattern search          *
+*              Glob pattern search               *
 *************************************************/
 
 /*
 Arguments:
-  needle      pattern to search ...
-  haystack    ... inside the haystack
+  needle          pattern to search ...
+  haystack        ... inside the haystack
+  ascii_caseless  ignore ASCII case
+  match_octet     match octets, not UTF-8 multi-octet characters
 
 Returns:      0               needle not found in haystack
               1               needle found
+              -1              pattern error
 */
 
-static int eq_octetglob(const struct String *needle,
-  const struct String *haystack)
+static int
+eq_glob(const gstring *needle,
+  const gstring *haystack, BOOL ascii_caseless, BOOL match_octet)
 {
-struct String n,h;
+const uschar *n, *h, *nend, *hend;
+int may_advance = 0;
 
-n=*needle;
-h=*haystack;
-while (n.length)
-  {
-  switch (n.character[0])
-    {
-    case '*':
-      {
-      int currentLength;
-
-      ++n.character;
-      --n.length;
-      /* The greedy match is not yet well tested.  Some day we may */
-      /* need to refer to the matched parts, so the code is already */
-      /* prepared for that. */
-#if 1
-      /* greedy match */
-      currentLength=h.length;
-      h.character+=h.length;
-      h.length=0;
-      while (h.length<=currentLength)
-        {
-        if (eq_octetglob(&n,&h)) return 1;
-        else /* go back one octet */
-          {
-          --h.character;
-          ++h.length;
-          }
-        }
-      return 0;
-#else
-      /* minimal match */
-      while (h.length)
-        {
-        if (eq_octetglob(&n,&h)) return 1;
-        else /* advance one octet */
-          {
-          ++h.character;
-          --h.length;
-          }
-        }
-      break;
-#endif
-      }
-    case '?':
-      {
-      if (h.length)
-        {
-        ++h.character;
-        --h.length;
-        ++n.character;
-        --n.length;
-        }
-      else return 0;
-      break;
-      }
-    case '\\':
-      {
-      ++n.character;
-      --n.length;
-      /* FALLTHROUGH */
-      }
-    default:
-      {
-      if
-        (
-        h.length==0 ||
-#if !HAVE_ICONV
-        (h.character[0]&0x80) || (n.character[0]&0x80) ||
-#endif
-        h.character[0]!=n.character[0]
-        ) return 0;
-      else
-        {
-        ++h.character;
-        --h.length;
-        ++n.character;
-        --n.length;
-        };
-      }
+n = needle->s;
+h = haystack->s;
+nend = n+needle->ptr;
+hend = h+haystack->ptr;
+while (n < nend)
+  if (*n == '*')
+    {
+    ++n;
+    may_advance = 1;
     }
-  }
-return (h.length==0);
-}
-
-
-/*************************************************
-*   ASCII case-insensitive glob pattern search   *
-*************************************************/
-
-/*
-Arguments:
-  needle      UTF-8 pattern to search ...
-  haystack    ... inside the haystack
-
-Returns:      0               needle not found in haystack
-              1               needle found
-*/
-
-static int eq_asciicaseglob(const struct String *needle,
-  const struct String *haystack)
-{
-struct String n,h;
+  else
+    {
+    const uschar *npart, *hpart;
 
-n=*needle;
-h=*haystack;
-while (n.length)
-  {
-  switch (n.character[0])
-    {
-    case '*':
-      {
-      int currentLength;
-
-      ++n.character;
-      --n.length;
-      /* The greedy match is not yet well tested.  Some day we may */
-      /* need to refer to the matched parts, so the code is already */
-      /* prepared for that. */
-#if 1
-      /* greedy match */
-      currentLength=h.length;
-      h.character+=h.length;
-      h.length=0;
-      while (h.length<=currentLength)
+    /* Try to match a non-star part of the needle at the current */
+    /* position in the haystack.                                 */
+    match_part:
+    npart = n;
+    hpart = h;
+    while (npart<nend && *npart != '*') switch (*npart)
+      {
+      case '?':
         {
-        if (eq_asciicaseglob(&n,&h)) return 1;
-        else /* go back one UTF-8 character */
+        if (hpart == hend) return 0;
+        if (match_octet)
+          ++hpart;
+        else
           {
-          if (h.length==currentLength) return 0;
-          --h.character;
-          ++h.length;
-          if (h.character[0]&0x80)
+          /* Match one UTF8 encoded character */
+          if ((*hpart&0xc0) == 0xc0)
             {
-            while (h.length<currentLength && (*(h.character-1)&0x80))
-              {
-              --h.character;
-              ++h.length;
-              }
+            ++hpart;
+            while (hpart<hend && ((*hpart&0xc0) == 0x80)) ++hpart;
             }
+          else
+            ++hpart;
           }
+        ++npart;
+        break;
         }
-      /* NOTREACHED */
-#else
-      while (h.length)
+      case '\\':
         {
-        if (eq_asciicaseglob(&n,&h)) return 1;
-        else /* advance one UTF-8 character */
-          {
-          if (h.character[0]&0x80)
-            {
-            while (h.length && (h.character[0]&0x80))
-              {
-              ++h.character;
-              --h.length;
-              }
-            }
-          else
-            {
-            ++h.character;
-            --h.length;
-            }
-          }
+        ++npart;
+        if (npart == nend) return -1;
+        /* FALLTHROUGH */
         }
-      break;
-#endif
-      }
-    case '?':
-      {
-      if (h.length)
+      default:
         {
-        ++n.character;
-        --n.length;
-        /* advance one UTF-8 character */
-        if (h.character[0]&0x80)
+        if (hpart == hend) return 0;
+        /* tolower depends on the locale, but we need ASCII */
+        if
+          (
+#if !HAVE_ICONV
+          (*hpart&0x80) || (*npart&0x80) ||
+#endif
+          ascii_caseless
+          ? ((*npart>= 'A' && *npart<= 'Z' ? *npart|0x20 : *npart) != (*hpart>= 'A' && *hpart<= 'Z' ? *hpart|0x20 : *hpart))
+          : *hpart != *npart
+          )
           {
-          while (h.length && (h.character[0]&0x80))
+          if (may_advance)
+            /* string match after a star failed, advance and try again */
             {
-            ++h.character;
-            --h.length;
+            ++h;
+            goto match_part;
             }
+          else return 0;
           }
         else
           {
-          ++h.character;
-          --h.length;
-          }
+          ++npart;
+          ++hpart;
+          };
         }
-      else return 0;
-      break;
       }
-    case '\\':
+    /* at this point, a part was matched successfully */
+    if (may_advance && npart == nend && hpart<hend)
+      /* needle ends, but haystack does not: if there was a star before, advance and try again */
       {
-      ++n.character;
-      --n.length;
-      /* FALLTHROUGH */
-      }
-    default:
-      {
-      char nc,hc;
-
-      if (h.length==0) return 0;
-      nc=n.character[0];
-      hc=h.character[0];
-#if !HAVE_ICONV
-      if ((hc&0x80) || (nc&0x80)) return 0;
-#endif
-      /* tolower depends on the locale and only ASCII case must be insensitive */
-      if ((nc&0x80) || (hc&0x80)) { if (nc!=hc) return 0; }
-      else if ((nc>='A' && nc<='Z' ? nc|0x20 : nc) != (hc>='A' && hc<='Z' ? hc|0x20 : hc)) return 0;
-      ++h.character;
-      --h.length;
-      ++n.character;
-      --n.length;
+      ++h;
+      goto match_part;
       }
+    h = hpart;
+    n = npart;
+    may_advance = 0;
     }
-  }
-return (h.length==0);
+return (h == hend ? 1 : may_advance);
 }
 
 
@@ -572,39 +710,39 @@ Returns:      0               not (a relop b)
               1               a relop b
 */
 
-static int eq_asciinumeric(const struct String *a,
-  const struct String *b, enum RelOp relop)
+static int
+eq_asciinumeric(const gstring *a, const gstring *b, enum RelOp relop)
 {
-size_t al,bl;
-const uschar *as,*aend,*bs,*bend;
+size_t al, bl;
+const uschar *as, *aend, *bs, *bend;
 int cmp;
 
-as=a->character;
-aend=a->character+a->length;
-bs=b->character;
-bend=b->character+b->length;
+as = a->s;
+aend = a->s+a->ptr;
+bs = b->s;
+bend = b->s+b->ptr;
 
-while (*as>='0' && *as<='9' && as<aend) ++as;
-al=as-a->character;
-while (*bs>='0' && *bs<='9' && bs<bend) ++bs;
-bl=bs-b->character;
+while (*as>= '0' && *as<= '9' && as<aend) ++as;
+al = as-a->s;
+while (*bs>= '0' && *bs<= '9' && bs<bend) ++bs;
+bl = bs-b->s;
 
-if (al && bl==0) cmp=-1;
-else if (al==0 && bl==0) cmp=0;
-else if (al==0 && bl) cmp=1;
+if (al && bl == 0) cmp = -1;
+else if (al == 0 && bl == 0) cmp = 0;
+else if (al == 0 && bl) cmp = 1;
 else
   {
-  cmp=al-bl;
-  if (cmp==0) cmp=memcmp(a->character,b->character,al);
+  cmp = al-bl;
+  if (cmp == 0) cmp = memcmp(a->s, b->s, al);
   }
 switch (relop)
   {
-  case LT: return cmp<0;
-  case LE: return cmp<=0;
-  case EQ: return cmp==0;
-  case GE: return cmp>=0;
-  case GT: return cmp>0;
-  case NE: return cmp!=0;
+  case LT: return cmp < 0;
+  case LE: return cmp <= 0;
+  case EQ: return cmp == 0;
+  case GE: return cmp >= 0;
+  case GT: return cmp > 0;
+  case NE: return cmp != 0;
   }
   /*NOTREACHED*/
   return -1;
@@ -617,6 +755,7 @@ switch (relop)
 
 /*
 Arguments:
+  filter      points to the Sieve filter including its state
   needle      UTF-8 pattern or string to search ...
   haystack    ... inside the haystack
   co          comparator to use
@@ -627,111 +766,102 @@ Returns:      0               needle not found in haystack
               -1              comparator does not offer matchtype
 */
 
-static int compare(struct Sieve *filter, const struct String *needle, const struct String *haystack,
+static int
+compare(struct Sieve * filter, const gstring * needle, const gstring * haystack,
   enum Comparator co, enum MatchType mt)
 {
-int r=0;
+int r = 0;
 
-if ((filter_test != FTEST_NONE && debug_selector != 0) ||
-  (debug_selector & D_filter) != 0)
+if (   (filter_test != FTEST_NONE && debug_selector != 0)
+   || (debug_selector & D_filter) != 0)
   {
-  debug_printf("String comparison (match ");
+  debug_printf_indent("String comparison (match ");
   switch (mt)
     {
-    case MATCH_IS: debug_printf(":is"); break;
-    case MATCH_CONTAINS: debug_printf(":contains"); break;
-    case MATCH_MATCHES: debug_printf(":matches"); break;
+    case MATCH_IS: debug_printf_indent(":is"); break;
+    case MATCH_CONTAINS: debug_printf_indent(":contains"); break;
+    case MATCH_MATCHES: debug_printf_indent(":matches"); break;
     }
-  debug_printf(", comparison \"");
+  debug_printf_indent(", comparison \"");
   switch (co)
     {
-    case COMP_OCTET: debug_printf("i;octet"); break;
-    case COMP_ASCII_CASEMAP: debug_printf("i;ascii-casemap"); break;
-    case COMP_ASCII_NUMERIC: debug_printf("i;ascii-numeric"); break;
+    case COMP_OCTET: debug_printf_indent("i;octet"); break;
+    case COMP_EN_ASCII_CASEMAP: debug_printf_indent("en;ascii-casemap"); break;
+    case COMP_ASCII_NUMERIC: debug_printf_indent("i;ascii-numeric"); break;
     }
-  debug_printf("\"):\n");
-  debug_printf("  Search = %s (%d chars)\n", needle->character,needle->length);
-  debug_printf("  Inside = %s (%d chars)\n", haystack->character,haystack->length);
+  debug_printf_indent("\"):\n");
+  debug_printf_indent("  Search = %s (%d chars)\n", needle->s, needle->ptr);
+  debug_printf_indent("  Inside = %s (%d chars)\n", haystack->s, haystack->ptr);
   }
 switch (mt)
   {
   case MATCH_IS:
-    {
     switch (co)
       {
       case COMP_OCTET:
-        {
-        if (eq_octet(needle,haystack,0)) r=1;
+        if (eq_octet(needle, haystack, FALSE)) r = 1;
         break;
-        }
-      case COMP_ASCII_CASEMAP:
-        {
-        if (eq_asciicase(needle,haystack,0)) r=1;
+      case COMP_EN_ASCII_CASEMAP:
+        if (eq_asciicase(needle, haystack, FALSE)) r = 1;
         break;
-        }
       case COMP_ASCII_NUMERIC:
-        {
         if (!filter->require_iascii_numeric)
           {
-          filter->errmsg=CUS "missing previous require \"comparator-i;ascii-numeric\";";
+          filter->errmsg = CUS "missing previous require \"comparator-i;ascii-numeric\";";
           return -1;
           }
-        if (eq_asciinumeric(needle,haystack,EQ)) r=1;
+        if (eq_asciinumeric(needle, haystack, EQ)) r = 1;
         break;
-        }
       }
     break;
-    }
+
   case MATCH_CONTAINS:
     {
-    struct String h;
+    gstring h;
 
     switch (co)
       {
       case COMP_OCTET:
-        {
-        for (h=*haystack; h.length; ++h.character,--h.length) if (eq_octet(needle,&h,1)) { r=1; break; }
+        for (h = *haystack; h.ptr; ++h.s, --h.ptr)
+        if (eq_octet(needle, &h, TRUE)) { r = 1; break; }
         break;
-        }
-      case COMP_ASCII_CASEMAP:
-        {
-        for (h=*haystack; h.length; ++h.character,--h.length) if (eq_asciicase(needle,&h,1)) { r=1; break; }
+      case COMP_EN_ASCII_CASEMAP:
+        for (h = *haystack; h.ptr; ++h.s, --h.ptr)
+         if (eq_asciicase(needle, &h, TRUE)) { r = 1; break; }
         break;
-        }
       default:
-        {
-        filter->errmsg=CUS "comparator does not offer specified matchtype";
+        filter->errmsg = CUS "comparator does not offer specified matchtype";
         return -1;
-        }
       }
     break;
     }
+
   case MATCH_MATCHES:
-    {
     switch (co)
       {
       case COMP_OCTET:
-        {
-        if (eq_octetglob(needle,haystack)) r=1;
+        if ((r = eq_glob(needle, haystack, FALSE, TRUE)) == -1)
+          {
+          filter->errmsg = CUS "syntactically invalid pattern";
+          return -1;
+          }
         break;
-        }
-      case COMP_ASCII_CASEMAP:
-        {
-        if (eq_asciicaseglob(needle,haystack)) r=1;
+      case COMP_EN_ASCII_CASEMAP:
+        if ((r = eq_glob(needle, haystack, TRUE, TRUE)) == -1)
+          {
+          filter->errmsg = CUS "syntactically invalid pattern";
+          return -1;
+          }
         break;
-        }
       default:
-        {
-        filter->errmsg=CUS "comparator does not offer specified matchtype";
+        filter->errmsg = CUS "comparator does not offer specified matchtype";
         return -1;
-        }
       }
     break;
-    }
   }
 if ((filter_test != FTEST_NONE && debug_selector != 0) ||
   (debug_selector & D_filter) != 0)
-  debug_printf("  Result %s\n",r?"true":"false");
+  debug_printf_indent("  Result %s\n", r?"true":"false");
 return r;
 }
 
@@ -759,22 +889,21 @@ Returns:      0               string is not a valid header field
               1               string is a value header field
 */
 
-static int is_header(const struct String *header)
+static int
+is_header(const gstring *header)
 {
 size_t l;
 const uschar *h;
 
-l=header->length;
-h=header->character;
-if (l==0) return 0;
+l = header->ptr;
+h = header->s;
+if (l == 0) return 0;
 while (l)
   {
-  if (((unsigned char)*h)<33 || ((unsigned char)*h)==':' || ((unsigned char)*h)==127) return 0;
-  else
-    {
-    ++h;
-    --l;
-    }
+  if (*h < 33 || *h == ':' || *h == 127)
+    return 0;
+  ++h;
+  --l;
   }
 return 1;
 }
@@ -792,40 +921,28 @@ Arguments:
 Returns:      quoted string
 */
 
-static const uschar *quote(const struct String *header)
+static const uschar *
+quote(const gstring * header)
 {
-uschar *quoted=NULL;
-int size=0,ptr=0;
+gstring * quoted = NULL;
 size_t l;
-const uschar *h;
+const uschar * h;
 
-l=header->length;
-h=header->character;
-while (l)
-  {
+for (l = header->ptr, h = header->s; l; ++h, --l)
   switch (*h)
     {
     case '\0':
-      {
-      quoted=string_cat(quoted,&size,&ptr,CUS "\\0",2);
+      quoted = string_catn(quoted, CUS "\\0", 2);
       break;
-      }
     case '$':
     case '{':
     case '}':
-      {
-      quoted=string_cat(quoted,&size,&ptr,CUS "\\",1);
-      }
+      quoted = string_catn(quoted, CUS "\\", 1);
     default:
-      {
-      quoted=string_cat(quoted,&size,&ptr,h,1);
-      }
+      quoted = string_catn(quoted, h, 1);
     }
-  ++h;
-  --l;
-  }
-quoted=string_cat(quoted,&size,&ptr,CUS "",1);
-return quoted;
+
+return string_from_gstring(quoted);
 }
 
 
@@ -834,7 +951,7 @@ return quoted;
 *************************************************/
 
 /*
-According to RFC 3028, duplicate delivery to the same address must
+According to RFC 5228, duplicate delivery to the same address must
 not happen, so the list is first searched for the address.
 
 Arguments:
@@ -845,33 +962,36 @@ Arguments:
 Returns:      nothing
 */
 
-static void add_addr(address_item **generated, uschar *addr, int file, int maxage, int maxmessages, int maxstorage)
+static void
+add_addr(address_item **generated, uschar *addr, int file, int maxage, int maxmessages, int maxstorage)
 {
 address_item *new_addr;
 
-for (new_addr=*generated; new_addr; new_addr=new_addr->next)
-  {
-  if (Ustrcmp(new_addr->address,addr)==0 && (file ? testflag(new_addr, af_pfr|af_file) : 1))
+for (new_addr = *generated; new_addr; new_addr = new_addr->next)
+  if (  Ustrcmp(new_addr->address, addr) == 0
+     && (  !file
+       || testflag(new_addr, af_pfr)
+       || testflag(new_addr, af_file)
+       )
+     )
     {
     if ((filter_test != FTEST_NONE && debug_selector != 0) || (debug_selector & D_filter) != 0)
-      {
-      debug_printf("Repeated %s `%s' ignored.\n",file ? "fileinto" : "redirect", addr);
-      }
+      debug_printf_indent("Repeated %s `%s' ignored.\n", file ? "fileinto" : "redirect", addr);
+
     return;
     }
-  }
 
 if ((filter_test != FTEST_NONE && debug_selector != 0) || (debug_selector & D_filter) != 0)
-  {
-  debug_printf("%s `%s'\n",file ? "fileinto" : "redirect", addr);
-  }
-new_addr=deliver_make_addr(addr,TRUE);
+  debug_printf_indent("%s `%s'\n", file ? "fileinto" : "redirect", addr);
+
+new_addr = deliver_make_addr(addr, TRUE);
 if (file)
   {
-  setflag(new_addr, af_pfr|af_file);
+  setflag(new_addr, af_pfr);
+  setflag(new_addr, af_file);
   new_addr->mode = 0;
   }
-new_addr->p.errors_address = NULL;
+new_addr->prop.errors_address = NULL;
 new_addr->next = *generated;
 *generated = new_addr;
 }
@@ -882,6 +1002,10 @@ new_addr->next = *generated;
 *************************************************/
 
 /*
+Unfold the header field as described in RFC 2822 and remove all
+leading and trailing white space, then perform MIME decoding and
+translate the header field to UTF-8.
+
 Arguments:
   value       returned value of the field
   header      name of the header field
@@ -890,29 +1014,27 @@ Returns:      nothing          The expanded string is empty
                                in case there is no such header
 */
 
-static void expand_header(struct String *value, const struct String *header)
+static void
+expand_header(gstring * value, const gstring * header)
 {
-uschar *s,*r,*t;
+uschar *s, *r, *t;
 uschar *errmsg;
 
-value->length=0;
-value->character=(uschar*)0;
+value->ptr = 0;
+value->s = (uschar*)0;
 
-t=r=s=expand_string(string_sprintf("$rheader_%s",quote(header)));
-while (*r==' ') ++r;
+t = r = s = expand_string(string_sprintf("$rheader_%s", quote(header)));
+if (!t) return;
+while (*r == ' ' || *r == '\t') ++r;
 while (*r)
-  {
-  if (*r=='\n')
-    {
+  if (*r == '\n')
     ++r;
-    while (*r==' ' || *r=='\t') ++r;
-    if (*r) *t++=' ';
-    }
   else
-    *t++=*r++;
-  }
-*t++='\0';
-value->character=rfc2047_decode(s,TRUE,US"utf-8",'\0',&value->length,&errmsg);
+    *t++ = *r++;
+
+while (t>s && (*(t-1) == ' ' || *(t-1) == '\t')) --t;
+*t = '\0';
+value->s = rfc2047_decode(s, check_rfc2047_length, US"utf-8", '\0', &value->ptr, &errmsg);
 }
 
 
@@ -931,19 +1053,20 @@ Returns:      1                success
               -1               syntax error
 */
 
-static int parse_hashcomment(struct Sieve *filter)
+static int
+parse_hashcomment(struct Sieve * filter)
 {
 ++filter->pc;
 while (*filter->pc)
   {
 #ifdef RFC_EOL
-  if (*filter->pc=='\r' && *(filter->pc+1)=='\n')
+  if (*filter->pc == '\r' && (filter->pc)[1] == '\n')
 #else
-  if (*filter->pc=='\n')
+  if (*filter->pc == '\n')
 #endif
     {
 #ifdef RFC_EOL
-    filter->pc+=2;
+    filter->pc += 2;
 #else
     ++filter->pc;
 #endif
@@ -952,7 +1075,7 @@ while (*filter->pc)
     }
   else ++filter->pc;
   }
-filter->errmsg=CUS "missing end of comment";
+filter->errmsg = CUS "missing end of comment";
 return -1;
 }
 
@@ -972,20 +1095,21 @@ Returns:      1                success
               -1               syntax error
 */
 
-static int parse_comment(struct Sieve *filter)
+static int
+parse_comment(struct Sieve *filter)
 {
-  filter->pc+=2;
-  while (*filter->pc)
-  {
-    if (*filter->pc=='*' && *(filter->pc+1)=='/')
+filter->pc += 2;
+while (*filter->pc)
+  if (*filter->pc == '*' && (filter->pc)[1] == '/')
     {
-      filter->pc+=2;
-      return 1;
+    filter->pc +=  2;
+    return 1;
     }
-    else ++filter->pc;
-  }
-  filter->errmsg=CUS "missing end of comment";
-  return -1;
+  else
+    ++filter->pc;
+
+filter->errmsg = CUS "missing end of comment";
+return -1;
 }
 
 
@@ -1004,31 +1128,32 @@ Returns:      1                success
               -1               syntax error
 */
 
-static int parse_white(struct Sieve *filter)
+static int
+parse_white(struct Sieve *filter)
 {
 while (*filter->pc)
   {
-  if (*filter->pc==' ' || *filter->pc=='\t') ++filter->pc;
+  if (*filter->pc == ' ' || *filter->pc == '\t') ++filter->pc;
 #ifdef RFC_EOL
-  else if (*filter->pc=='\r' && *(filter->pc+1)=='\n')
+  else if (*filter->pc == '\r' && (filter->pc)[1] == '\n')
 #else
-  else if (*filter->pc=='\n')
+  else if (*filter->pc == '\n')
 #endif
     {
 #ifdef RFC_EOL
-    filter->pc+=2;
+    filter->pc +=  2;
 #else
     ++filter->pc;
 #endif
     ++filter->line;
     }
-  else if (*filter->pc=='#')
+  else if (*filter->pc == '#')
     {
-    if (parse_hashcomment(filter)==-1) return -1;
+    if (parse_hashcomment(filter) == -1) return -1;
     }
-  else if (*filter->pc=='/' && *(filter->pc+1)=='*')
+  else if (*filter->pc == '/' && (filter->pc)[1] == '*')
     {
-    if (parse_comment(filter)==-1) return -1;
+    if (parse_comment(filter) == -1) return -1;
     }
   else break;
   }
@@ -1036,8 +1161,219 @@ return 1;
 }
 
 
+#ifdef ENCODED_CHARACTER
+/*************************************************
+*      Decode hex-encoded-character string       *
+*************************************************/
+
+/*
+Encoding definition:
+   blank                = SP / TAB / CRLF
+   hex-pair-seq         = *blank hex-pair *(1*blank hex-pair) *blank
+   hex-pair             = 1*2HEXDIG
+
+Arguments:
+  src         points to a hex-pair-seq
+  end         points to its end
+  dst         points to the destination of the decoded octets,
+              optionally to (uschar*)0 for checking only
+
+Returns:      >= 0              number of decoded octets
+              -1               syntax error
+*/
+
+static int
+hex_decode(uschar *src, uschar *end, uschar *dst)
+{
+int decoded = 0;
+
+while (*src == ' ' || *src == '\t' || *src == '\n') ++src;
+do
+  {
+  int x, d, n;
+
+  for (x = 0, d = 0;
+      d<2 && src<end && isxdigit(n = tolower(*src));
+      x = (x<<4)|(n>= '0' && n<= '9' ? n-'0' : 10+(n-'a')) , ++d, ++src) ;
+  if (d == 0) return -1;
+  if (dst) *dst++ = x;
+  ++decoded;
+  if (src == end) return decoded;
+  if (*src == ' ' || *src == '\t' || *src == '\n')
+    while (*src == ' ' || *src == '\t' || *src == '\n') ++src;
+  else
+    return -1;
+  }
+while (src < end);
+return decoded;
+}
+
+
+/*************************************************
+*    Decode unicode-encoded-character string     *
+*************************************************/
+
+/*
+Encoding definition:
+   blank                = SP / TAB / CRLF
+   unicode-hex-seq      = *blank unicode-hex *(blank unicode-hex) *blank
+   unicode-hex          = 1*HEXDIG
+
+   It is an error for a script to use a hexadecimal value that isn't in
+   either the range 0 to D7FF or the range E000 to 10FFFF.
+
+   At this time, strings are already scanned, thus the CRLF is converted
+   to the internally used \n (should RFC_EOL have been used).
+
+Arguments:
+  src         points to a unicode-hex-seq
+  end         points to its end
+  dst         points to the destination of the decoded octets,
+              optionally to (uschar*)0 for checking only
+
+Returns:      >= 0              number of decoded octets
+              -1               syntax error
+              -2               semantic error (character range violation)
+*/
+
+static int
+unicode_decode(uschar *src, uschar *end, uschar *dst)
+{
+int decoded = 0;
+
+while (*src == ' ' || *src == '\t' || *src == '\n') ++src;
+do
+  {
+  uschar *hex_seq;
+  int c, d, n;
+
+  unicode_hex:
+  for (hex_seq = src; src < end && *src == '0'; ) src++;
+  for (c = 0, d = 0;
+       d < 7 && src < end && isxdigit(n = tolower(*src));
+       c = (c<<4)|(n>= '0' && n<= '9' ? n-'0' : 10+(n-'a')), ++d, ++src) ;
+  if (src == hex_seq) return -1;
+  if (d == 7 || (!((c >= 0 && c <= 0xd7ff) || (c >= 0xe000 && c <= 0x10ffff)))) return -2;
+  if (c<128)
+    {
+    if (dst) *dst++ = c;
+    ++decoded;
+    }
+  else if (c>= 0x80 && c<= 0x7ff)
+    {
+      if (dst)
+        {
+        *dst++ = 192+(c>>6);
+        *dst++ = 128+(c&0x3f);
+        }
+      decoded += 2;
+    }
+  else if (c>= 0x800 && c<= 0xffff)
+    {
+      if (dst)
+        {
+        *dst++ = 224+(c>>12);
+        *dst++ = 128+((c>>6)&0x3f);
+        *dst++ = 128+(c&0x3f);
+        }
+      decoded += 3;
+    }
+  else if (c>= 0x10000 && c<= 0x1fffff)
+    {
+      if (dst)
+        {
+        *dst++ = 240+(c>>18);
+        *dst++ = 128+((c>>10)&0x3f);
+        *dst++ = 128+((c>>6)&0x3f);
+        *dst++ = 128+(c&0x3f);
+        }
+      decoded += 4;
+    }
+  if (*src == ' ' || *src == '\t' || *src == '\n')
+    {
+    while (*src == ' ' || *src == '\t' || *src == '\n') ++src;
+    if (src == end) return decoded;
+    goto unicode_hex;
+    }
+  }
+while (src < end);
+return decoded;
+}
+
+
+/*************************************************
+*       Decode encoded-character string          *
+*************************************************/
+
+/*
+Encoding definition:
+   encoded-arb-octets   = "${hex:" hex-pair-seq "}"
+   encoded-unicode-char = "${unicode:" unicode-hex-seq "}"
+
+Arguments:
+  encoded     points to an encoded string, returns decoded string
+  filter      points to the Sieve filter including its state
+
+Returns:      1                success
+              -1               syntax error
+*/
+
+static int
+string_decode(struct Sieve *filter, gstring *data)
+{
+uschar *src, *dst, *end;
+
+src = data->s;
+dst = src;
+end = data->s+data->ptr;
+while (src < end)
+  {
+  uschar *brace;
+
+  if (
+      strncmpic(src, US "${hex:", 6) == 0
+      && (brace = Ustrchr(src+6, '}')) != (uschar*)0
+      && (hex_decode(src+6, brace, (uschar*)0))>= 0
+     )
+    {
+    dst += hex_decode(src+6, brace, dst);
+    src = brace+1;
+    }
+  else if (
+           strncmpic(src, US "${unicode:", 10) == 0
+           && (brace = Ustrchr(src+10, '}')) != (uschar*)0
+          )
+    {
+    switch (unicode_decode(src+10, brace, (uschar*)0))
+      {
+      case -2:
+        {
+        filter->errmsg = CUS "unicode character out of range";
+        return -1;
+        }
+      case -1:
+        {
+        *dst++ = *src++;
+        break;
+        }
+      default:
+        {
+        dst += unicode_decode(src+10, brace, dst);
+        src = brace+1;
+        }
+      }
+    }
+  else *dst++ = *src++;
+  }
+  data->ptr = dst-data->s;
+  *dst = '\0';
+return 1;
+}
+#endif
+
+
 /*************************************************
-*          Parse a optional string               *
+*          Parse an optional string              *
 *************************************************/
 
 /*
@@ -1066,57 +1402,76 @@ Returns:      1                success
               0                identifier not matched
 */
 
-static int parse_string(struct Sieve *filter, struct String *data)
+static int
+parse_string(struct Sieve *filter, gstring *data)
 {
-int dataCapacity=0;
+gstring * g = NULL;
 
-data->length=0;
-data->character=(uschar*)0;
-if (*filter->pc=='"') /* quoted string */
+data->ptr = 0;
+data->s = NULL;
+
+if (*filter->pc == '"') /* quoted string */
   {
   ++filter->pc;
   while (*filter->pc)
     {
-    if (*filter->pc=='"') /* end of string */
+    if (*filter->pc == '"') /* end of string */
       {
-      int foo=data->length;
-
       ++filter->pc;
-      data->character=string_cat(data->character,&dataCapacity,&foo,CUS "",1);
+
+      if (g)
+       data->ptr = len_string_from_gstring(g, &data->s);
+      else
+       data->s = US"\0";
+      /* that way, there will be at least one character allocated */
+
+#ifdef ENCODED_CHARACTER
+      if (   filter->require_encoded_character
+          && string_decode(filter, data) == -1)
+        return -1;
+#endif
       return 1;
       }
-    else if (*filter->pc=='\\' && *(filter->pc+1)) /* quoted character */
+    else if (*filter->pc == '\\' && (filter->pc)[1]) /* quoted character */
       {
-      if (*(filter->pc+1)=='0') data->character=string_cat(data->character,&dataCapacity,&data->length,CUS "",1);
-      else data->character=string_cat(data->character,&dataCapacity,&data->length,filter->pc+1,1);
-      filter->pc+=2;
+      g = string_catn(g, filter->pc+1, 1);
+      filter->pc +=  2;
       }
     else /* regular character */
       {
-      data->character=string_cat(data->character,&dataCapacity,&data->length,filter->pc,1);
+#ifdef RFC_EOL
+      if (*filter->pc == '\r' && (filter->pc)[1] == '\n') ++filter->line;
+#else
+      if (*filter->pc == '\n')
+        {
+        g = string_catn(g, US"\r", 1);
+        ++filter->line;
+        }
+#endif
+      g = string_catn(g, filter->pc, 1);
       filter->pc++;
       }
     }
-  filter->errmsg=CUS "missing end of string";
+  filter->errmsg = CUS "missing end of string";
   return -1;
   }
-else if (Ustrncmp(filter->pc,CUS "text:",5)==0) /* multiline string */
+else if (Ustrncmp(filter->pc, CUS "text:", 5) == 0) /* multiline string */
   {
-  filter->pc+=5;
+  filter->pc +=  5;
   /* skip optional white space followed by hashed comment or CRLF */
-  while (*filter->pc==' ' || *filter->pc=='\t') ++filter->pc;
-  if (*filter->pc=='#')
+  while (*filter->pc == ' ' || *filter->pc == '\t') ++filter->pc;
+  if (*filter->pc == '#')
     {
-    if (parse_hashcomment(filter)==-1) return -1;
+    if (parse_hashcomment(filter) == -1) return -1;
     }
 #ifdef RFC_EOL
-  else if (*filter->pc=='\r' && *(filter->pc+1)=='\n')
+  else if (*filter->pc == '\r' && (filter->pc)[1] == '\n')
 #else
-  else if (*filter->pc=='\n')
+  else if (*filter->pc == '\n')
 #endif
     {
 #ifdef RFC_EOL
-    filter->pc+=2;
+    filter->pc +=  2;
 #else
     ++filter->pc;
 #endif
@@ -1124,52 +1479,62 @@ else if (Ustrncmp(filter->pc,CUS "text:",5)==0) /* multiline string */
     }
   else
     {
-    filter->errmsg=CUS "syntax error";
+    filter->errmsg = CUS "syntax error";
     return -1;
     }
   while (*filter->pc)
     {
 #ifdef RFC_EOL
-    if (*filter->pc=='\r' && *(filter->pc+1)=='\n') /* end of line */
+    if (*filter->pc == '\r' && (filter->pc)[1] == '\n') /* end of line */
 #else
-    if (*filter->pc=='\n') /* end of line */
+    if (*filter->pc == '\n') /* end of line */
 #endif
       {
-      data->character=string_cat(data->character,&dataCapacity,&data->length,CUS "\r\n",2);
+      g = string_catn(g, CUS "\r\n", 2);
 #ifdef RFC_EOL
-      filter->pc+=2;
+      filter->pc +=  2;
 #else
       ++filter->pc;
 #endif
       ++filter->line;
 #ifdef RFC_EOL
-      if (*filter->pc=='.' && *(filter->pc+1)=='\r' && *(filter->pc+2)=='\n') /* end of string */
+      if (*filter->pc == '.' && (filter->pc)[1] == '\r' && (filter->pc)[2] == '\n') /* end of string */
 #else
-      if (*filter->pc=='.' && *(filter->pc+1)=='\n') /* end of string */
+      if (*filter->pc == '.' && (filter->pc)[1] == '\n') /* end of string */
 #endif
         {
-        data->character=string_cat(data->character,&dataCapacity,&data->length,CUS "",1);
+       if (g)
+         data->ptr = len_string_from_gstring(g, &data->s);
+       else
+         data->s = US"\0";
+       /* that way, there will be at least one character allocated */
+
 #ifdef RFC_EOL
-        filter->pc+=3;
+        filter->pc +=  3;
 #else
-        filter->pc+=2;
+        filter->pc +=  2;
 #endif
         ++filter->line;
+#ifdef ENCODED_CHARACTER
+        if (   filter->require_encoded_character
+            && string_decode(filter, data) == -1)
+          return -1;
+#endif
         return 1;
         }
-      else if (*filter->pc=='.' && *(filter->pc+1)=='.') /* remove dot stuffing */
+      else if (*filter->pc == '.' && (filter->pc)[1] == '.') /* remove dot stuffing */
         {
-        data->character=string_cat(data->character,&dataCapacity,&data->length,CUS ".",1);
-        filter->pc+=2;
+        g = string_catn(g, CUS ".", 1);
+        filter->pc +=  2;
         }
       }
     else /* regular character */
       {
-      data->character=string_cat(data->character,&dataCapacity,&data->length,filter->pc,1);
+      g = string_catn(g, filter->pc, 1);
       filter->pc++;
       }
     }
-  filter->errmsg=CUS "missing end of multi line string";
+  filter->errmsg = CUS "missing end of multi line string";
   return -1;
   }
 else return 0;
@@ -1192,19 +1557,20 @@ Returns:      1                success
               0                identifier not matched
 */
 
-static int parse_identifier(struct Sieve *filter, const uschar *id)
+static int
+parse_identifier(struct Sieve *filter, const uschar *id)
 {
-  size_t idlen=Ustrlen(id);
+size_t idlen = Ustrlen(id);
 
-  if (Ustrncmp(filter->pc,id,idlen)==0)
+if (strncmpic(US filter->pc, US id, idlen) == 0)
   {
-    uschar next=filter->pc[idlen];
+  uschar next = filter->pc[idlen];
 
-    if ((next>='A' && next<='Z') || (next>='a' && next<='z') || next=='_' || (next>='0' && next<='9')) return 0;
-    filter->pc+=idlen;
-    return 1;
+  if ((next>= 'A' && next<= 'Z') || (next>= 'a' && next<= 'z') || next == '_' || (next>= '0' && next<= '9')) return 0;
+  filter->pc += idlen;
+  return 1;
   }
-  else return 0;
+else return 0;
 }
 
 
@@ -1225,38 +1591,39 @@ Returns:      1                success
               -1               no string list found
 */
 
-static int parse_number(struct Sieve *filter, unsigned long *data)
+static int
+parse_number(struct Sieve *filter, unsigned long *data)
 {
-unsigned long d,u;
+unsigned long d, u;
 
-if (*filter->pc>='0' && *filter->pc<='9')
+if (*filter->pc>= '0' && *filter->pc<= '9')
   {
   uschar *e;
 
-  errno=0;
-  d=Ustrtoul(filter->pc,&e,10);
-  if (errno==ERANGE)
+  errno = 0;
+  d = Ustrtoul(filter->pc, &e, 10);
+  if (errno == ERANGE)
     {
-    filter->errmsg=CUstrerror(ERANGE);
+    filter->errmsg = CUstrerror(ERANGE);
     return -1;
     }
-  filter->pc=e;
-  u=1;
-  if (*filter->pc=='K') { u=1024; ++filter->pc; }
-  else if (*filter->pc=='M') { u=1024*1024; ++filter->pc; }
-  else if (*filter->pc=='G') { u=1024*1024*1024; ++filter->pc; }
+  filter->pc = e;
+  u = 1;
+  if (*filter->pc == 'K') { u = 1024; ++filter->pc; }
+  else if (*filter->pc == 'M') { u = 1024*1024; ++filter->pc; }
+  else if (*filter->pc == 'G') { u = 1024*1024*1024; ++filter->pc; }
   if (d>(ULONG_MAX/u))
     {
-    filter->errmsg=CUstrerror(ERANGE);
+    filter->errmsg = CUstrerror(ERANGE);
     return -1;
     }
-  d*=u;
-  *data=d;
+  d *= u;
+  *data = d;
   return 1;
   }
 else
   {
-  filter->errmsg=CUS "missing number";
+  filter->errmsg = CUS "missing number";
   return -1;
   }
 }
@@ -1268,7 +1635,7 @@ else
 
 /*
 Grammar:
-  string-list      = "[" string *("," string) "]" / string
+  string-list      = "[" string *(", " string) "]" / string
 
 Arguments:
   filter      points to the Sieve filter including its state
@@ -1278,90 +1645,86 @@ Returns:      1                success
               -1               no string list found
 */
 
-static int parse_stringlist(struct Sieve *filter, struct String **data)
+static int
+parse_stringlist(struct Sieve *filter, gstring **data)
 {
-const uschar *orig=filter->pc;
-int dataCapacity=0;
-int dataLength=0;
-struct String *d=(struct String*)0;
+const uschar *orig = filter->pc;
+int dataCapacity = 0;
+int dataLength = 0;
+gstring *d = NULL;
 int m;
 
-if (*filter->pc=='[') /* string list */
+if (*filter->pc == '[') /* string list */
   {
   ++filter->pc;
   for (;;)
     {
-    if (parse_white(filter)==-1) goto error;
-    if ((dataLength+1)>=dataCapacity) /* increase buffer */
+    if (parse_white(filter) == -1) goto error;
+    if (dataLength+1 >= dataCapacity) /* increase buffer */
       {
-      struct String *new;
-      int newCapacity;          /* Don't amalgamate with next line; some compilers grumble */
-      newCapacity=dataCapacity?(dataCapacity*=2):(dataCapacity=4);
-      if ((new=(struct String*)store_get(sizeof(struct String)*newCapacity))==(struct String*)0)
-        {
-        filter->errmsg=CUstrerror(errno);
-        goto error;
-        }
-      if (d) memcpy(new,d,sizeof(struct String)*dataLength);
-      d=new;
-      dataCapacity=newCapacity;
+      gstring *new;
+
+      dataCapacity = dataCapacity ? dataCapacity * 2 : 4;
+      new = store_get(sizeof(gstring) * dataCapacity, GET_UNTAINTED);
+
+      if (d) memcpy(new, d, sizeof(gstring)*dataLength);
+      d = new;
       }
-    m=parse_string(filter,&d[dataLength]);
-    if (m==0)
+
+    m = parse_string(filter, &d[dataLength]);
+    if (m == 0)
       {
-      if (dataLength==0) break;
+      if (dataLength == 0) break;
       else
         {
-        filter->errmsg=CUS "missing string";
+        filter->errmsg = CUS "missing string";
         goto error;
         }
       }
-    else if (m==-1) goto error;
+    else if (m == -1) goto error;
     else ++dataLength;
-    if (parse_white(filter)==-1) goto error;
-    if (*filter->pc==',') ++filter->pc;
+    if (parse_white(filter) == -1) goto error;
+    if (*filter->pc == ',') ++filter->pc;
     else break;
     }
-  if (*filter->pc==']')
+  if (*filter->pc == ']')
     {
-    d[dataLength].character=(uschar*)0;
-    d[dataLength].length=-1;
+    d[dataLength].s = (uschar*)0;
+    d[dataLength].ptr = -1;
     ++filter->pc;
-    *data=d;
+    *data = d;
     return 1;
     }
   else
     {
-    filter->errmsg=CUS "missing closing bracket";
+    filter->errmsg = CUS "missing closing bracket";
     goto error;
     }
   }
 else /* single string */
   {
-  if ((d=store_get(sizeof(struct String)*2))==(struct String*)0)
-    {
+  if (!(d = store_get(sizeof(gstring)*2, GET_UNTAINTED)))
     return -1;
-    }
-  m=parse_string(filter,&d[0]);
-  if (m==-1)
-    {
+
+  m = parse_string(filter, &d[0]);
+  if (m == -1)
     return -1;
-    }
-  else if (m==0)
+
+  else if (m == 0)
     {
-    filter->pc=orig;
+    filter->pc = orig;
     return 0;
     }
   else
     {
-    d[1].character=(uschar*)0;
-    d[1].length=-1;
-    *data=d;
+    d[1].s = (uschar*)0;
+    d[1].ptr = -1;
+    *data = d;
     return 1;
     }
   }
 error:
-filter->errmsg=CUS "missing string list";
+filter->errmsg = CUS "missing string list";
 return -1;
 }
 
@@ -1373,7 +1736,7 @@ return -1;
 /*
 Grammar:
   address-part     =  ":localpart" / ":domain" / ":all"
-  address-part     =/ ":user" / ":detail"
+  address-part     = / ":user" / ":detail"
 
 Arguments:
   filter      points to the Sieve filter including its state
@@ -1384,44 +1747,45 @@ Returns:      1                success
               -1               syntax error
 */
 
-static int parse_addresspart(struct Sieve *filter, enum AddressPart *a)
+static int
+parse_addresspart(struct Sieve *filter, enum AddressPart *a)
 {
 #ifdef SUBADDRESS
-if (parse_identifier(filter,CUS ":user")==1)
+if (parse_identifier(filter, CUS ":user") == 1)
   {
   if (!filter->require_subaddress)
     {
-    filter->errmsg=CUS "missing previous require \"subaddress\";";
+    filter->errmsg = CUS "missing previous require \"subaddress\";";
     return -1;
     }
-  *a=ADDRPART_USER;
+  *a = ADDRPART_USER;
   return 1;
   }
-else if (parse_identifier(filter,CUS ":detail")==1)
+else if (parse_identifier(filter, CUS ":detail") == 1)
   {
   if (!filter->require_subaddress)
     {
-    filter->errmsg=CUS "missing previous require \"subaddress\";";
+    filter->errmsg = CUS "missing previous require \"subaddress\";";
     return -1;
     }
-  *a=ADDRPART_DETAIL;
+  *a = ADDRPART_DETAIL;
   return 1;
   }
 else
 #endif
-if (parse_identifier(filter,CUS ":localpart")==1)
+if (parse_identifier(filter, CUS ":localpart") == 1)
   {
-  *a=ADDRPART_LOCALPART;
+  *a = ADDRPART_LOCALPART;
   return 1;
   }
-else if (parse_identifier(filter,CUS ":domain")==1)
+else if (parse_identifier(filter, CUS ":domain") == 1)
   {
-  *a=ADDRPART_DOMAIN;
+  *a = ADDRPART_DOMAIN;
   return 1;
   }
-else if (parse_identifier(filter,CUS ":all")==1)
+else if (parse_identifier(filter, CUS ":all") == 1)
   {
-  *a=ADDRPART_ALL;
+  *a = ADDRPART_ALL;
   return 1;
   }
 else return 0;
@@ -1445,43 +1809,49 @@ Returns:      1                success
               -1               incomplete comparator found
 */
 
-static int parse_comparator(struct Sieve *filter, enum Comparator *c)
+static int
+parse_comparator(struct Sieve *filter, enum Comparator *c)
 {
-struct String comparator_name;
+gstring comparator_name;
 
-if (parse_identifier(filter,CUS ":comparator")==0) return 0;
-if (parse_white(filter)==-1) return -1;
-switch (parse_string(filter,&comparator_name))
+if (parse_identifier(filter, CUS ":comparator") == 0) return 0;
+if (parse_white(filter) == -1) return -1;
+switch (parse_string(filter, &comparator_name))
   {
   case -1: return -1;
   case 0:
     {
-    filter->errmsg=CUS "missing comparator";
+    filter->errmsg = CUS "missing comparator";
     return -1;
     }
   default:
     {
     int match;
 
-    if (eq_asciicase(&comparator_name,&str_ioctet,0))
+    if (eq_asciicase(&comparator_name, &str_ioctet, FALSE))
       {
-      *c=COMP_OCTET;
-      match=1;
+      *c = COMP_OCTET;
+      match = 1;
       }
-    else if (eq_asciicase(&comparator_name,&str_iascii_casemap,0))
+    else if (eq_asciicase(&comparator_name, &str_iascii_casemap, FALSE))
       {
-      *c=COMP_ASCII_CASEMAP;
-      match=1;
+      *c = COMP_EN_ASCII_CASEMAP;
+      match = 1;
       }
-    else if (eq_asciicase(&comparator_name,&str_iascii_numeric,0))
+    else if (eq_asciicase(&comparator_name, &str_enascii_casemap, FALSE))
       {
-      *c=COMP_ASCII_NUMERIC;
-      match=1;
+      *c = COMP_EN_ASCII_CASEMAP;
+      match = 1;
+      }
+    else if (eq_asciicase(&comparator_name, &str_iascii_numeric, FALSE))
+      {
+      *c = COMP_ASCII_NUMERIC;
+      match = 1;
       }
     else
       {
-      filter->errmsg=CUS "invalid comparator";
-      match=-1;
+      filter->errmsg = CUS "invalid comparator";
+      match = -1;
       }
     return match;
     }
@@ -1505,24 +1875,25 @@ Returns:      1                success
               0                no match type found
 */
 
-static int parse_matchtype(struct Sieve *filter, enum MatchType *m)
+static int
+parse_matchtype(struct Sieve *filter, enum MatchType *m)
 {
-  if (parse_identifier(filter,CUS ":is")==1)
-  {
-    *m=MATCH_IS;
-    return 1;
-  }
-  else if (parse_identifier(filter,CUS ":contains")==1)
-  {
-    *m=MATCH_CONTAINS;
-    return 1;
-  }
-  else if (parse_identifier(filter,CUS ":matches")==1)
-  {
-    *m=MATCH_MATCHES;
-    return 1;
-  }
-  else return 0;
+if (parse_identifier(filter, CUS ":is") == 1)
+{
+  *m = MATCH_IS;
+  return 1;
+}
+else if (parse_identifier(filter, CUS ":contains") == 1)
+{
+  *m = MATCH_CONTAINS;
+  return 1;
+}
+else if (parse_identifier(filter, CUS ":matches") == 1)
+{
+  *m = MATCH_MATCHES;
+  return 1;
+}
+else return 0;
 }
 
 
@@ -1537,7 +1908,7 @@ Grammar:
 Arguments:
   filter      points to the Sieve filter including its state
   n           total number of tests
-  true        number of passed tests
+  num_true    number of passed tests
   exec        Execute parsed statements
 
 Returns:      1                success
@@ -1545,36 +1916,37 @@ Returns:      1                success
               -1               syntax or execution error
 */
 
-static int parse_testlist(struct Sieve *filter, int *n, int *true, int exec)
+static int
+parse_testlist(struct Sieve *filter, int *n, int *num_true, int exec)
 {
-if (parse_white(filter)==-1) return -1;
-if (*filter->pc=='(')
+if (parse_white(filter) == -1) return -1;
+if (*filter->pc == '(')
   {
   ++filter->pc;
-  *n=0;
-   *true=0;
+  *n = 0;
+   *num_true = 0;
   for (;;)
     {
     int cond;
 
-    switch (parse_test(filter,&cond,exec))
+    switch (parse_test(filter, &cond, exec))
       {
       case -1: return -1;
-      case 0: filter->errmsg=CUS "missing test"; return -1;
-      default: ++*n; if (cond) ++*true; break;
+      case 0: filter->errmsg = CUS "missing test"; return -1;
+      default: ++*n; if (cond) ++*num_true; break;
       }
-    if (parse_white(filter)==-1) return -1;
-    if (*filter->pc==',') ++filter->pc;
+    if (parse_white(filter) == -1) return -1;
+    if (*filter->pc == ',') ++filter->pc;
     else break;
     }
-  if (*filter->pc==')')
+  if (*filter->pc == ')')
     {
     ++filter->pc;
     return 1;
     }
   else
     {
-    filter->errmsg=CUS "missing closing paren";
+    filter->errmsg = CUS "missing closing paren";
     return -1;
     }
   }
@@ -1597,10 +1969,11 @@ Returns:      1                success
               -1               syntax or execution error
 */
 
-static int parse_test(struct Sieve *filter, int *cond, int exec)
+static int
+parse_test(struct Sieve *filter, int *cond, int exec)
 {
-if (parse_white(filter)==-1) return -1;
-if (parse_identifier(filter,CUS "address"))
+if (parse_white(filter) == -1) return -1;
+if (parse_identifier(filter, CUS "address"))
   {
   /*
   address-test = "address" { [address-part] [comparator] [match-type] }
@@ -1609,95 +1982,94 @@ if (parse_identifier(filter,CUS "address"))
   header-list From, To, Cc, Bcc, Sender, Resent-From, Resent-To
   */
 
-  enum AddressPart addressPart=ADDRPART_ALL;
-  enum Comparator comparator=COMP_ASCII_CASEMAP;
-  enum MatchType matchType=MATCH_IS;
-  struct String *hdr,*h,*key,*k;
+  enum AddressPart addressPart = ADDRPART_ALL;
+  enum Comparator comparator = COMP_EN_ASCII_CASEMAP;
+  enum MatchType matchType = MATCH_IS;
+  gstring *hdr, *key;
   int m;
-  int ap=0,co=0,mt=0;
+  int ap = 0, co = 0, mt = 0;
 
   for (;;)
     {
-    if (parse_white(filter)==-1) return -1;
-    if ((m=parse_addresspart(filter,&addressPart))!=0)
+    if (parse_white(filter) == -1) return -1;
+    if ((m = parse_addresspart(filter, &addressPart)) != 0)
       {
-      if (m==-1) return -1;
+      if (m == -1) return -1;
       if (ap)
         {
-        filter->errmsg=CUS "address part already specified";
+        filter->errmsg = CUS "address part already specified";
         return -1;
         }
-      else ap=1;
+      else ap = 1;
       }
-    else if ((m=parse_comparator(filter,&comparator))!=0)
+    else if ((m = parse_comparator(filter, &comparator)) != 0)
       {
-      if (m==-1) return -1;
+      if (m == -1) return -1;
       if (co)
         {
-        filter->errmsg=CUS "comparator already specified";
+        filter->errmsg = CUS "comparator already specified";
         return -1;
         }
-      else co=1;
+      else co = 1;
       }
-    else if ((m=parse_matchtype(filter,&matchType))!=0)
+    else if ((m = parse_matchtype(filter, &matchType)) != 0)
       {
-      if (m==-1) return -1;
+      if (m == -1) return -1;
       if (mt)
         {
-        filter->errmsg=CUS "match type already specified";
+        filter->errmsg = CUS "match type already specified";
         return -1;
         }
-      else mt=1;
+      else mt = 1;
       }
     else break;
     }
-  if (parse_white(filter)==-1) return -1;
-  if ((m=parse_stringlist(filter,&hdr))!=1)
+  if (parse_white(filter) == -1)
+    return -1;
+  if ((m = parse_stringlist(filter, &hdr)) != 1)
     {
-    if (m==0) filter->errmsg=CUS "header string list expected";
+    if (m == 0) filter->errmsg = CUS "header string list expected";
     return -1;
     }
-  if (parse_white(filter)==-1) return -1;
-  if ((m=parse_stringlist(filter,&key))!=1)
+  if (parse_white(filter) == -1)
+    return -1;
+  if ((m = parse_stringlist(filter, &key)) != 1)
     {
-    if (m==0) filter->errmsg=CUS "key string list expected";
+    if (m == 0) filter->errmsg = CUS "key string list expected";
     return -1;
     }
-  *cond=0;
-  for (h=hdr; h->length!=-1 && !*cond; ++h)
+  *cond = 0;
+  for (gstring * h = hdr; h->ptr != -1 && !*cond; ++h)
     {
-    uschar *header_value=(uschar*)0,*extracted_addr,*end_addr;
+    uschar * header_value = NULL, * extracted_addr, * end_addr;
 
-    if
-      (
-      !eq_asciicase(h,&str_from,0)
-      && !eq_asciicase(h,&str_to,0)
-      && !eq_asciicase(h,&str_cc,0)
-      && !eq_asciicase(h,&str_bcc,0)
-      && !eq_asciicase(h,&str_sender,0)
-      && !eq_asciicase(h,&str_resent_from,0)
-      && !eq_asciicase(h,&str_resent_to,0)
-      )
+    if (  !eq_asciicase(h, &str_from, FALSE)
+       && !eq_asciicase(h, &str_to, FALSE)
+       && !eq_asciicase(h, &str_cc, FALSE)
+       && !eq_asciicase(h, &str_bcc, FALSE)
+       && !eq_asciicase(h, &str_sender, FALSE)
+       && !eq_asciicase(h, &str_resent_from, FALSE)
+       && !eq_asciicase(h, &str_resent_to, FALSE)
+       )
       {
-      filter->errmsg=CUS "invalid header field";
+      filter->errmsg = CUS "invalid header field";
       return -1;
       }
     if (exec)
       {
       /* We are only interested in addresses below, so no MIME decoding */
-      header_value=expand_string(string_sprintf("$rheader_%s",quote(h)));
-      if (header_value == NULL)
+      if (!(header_value = expand_string(string_sprintf("$rheader_%s", quote(h)))))
         {
-        filter->errmsg=CUS "header string expansion failed";
+        filter->errmsg = CUS "header string expansion failed";
         return -1;
         }
-      parse_allow_group = TRUE;
+      f.parse_allow_group = TRUE;
       while (*header_value && !*cond)
         {
         uschar *error;
         int start, end, domain;
         int saveend;
-        uschar *part=NULL;
+        uschar *part = NULL;
 
         end_addr = parse_find_address_end(header_value, FALSE);
         saveend = *end_addr;
@@ -1706,207 +2078,206 @@ if (parse_identifier(filter,CUS "address"))
 
         if (extracted_addr) switch (addressPart)
           {
-          case ADDRPART_ALL: part=extracted_addr; break;
+          case ADDRPART_ALL: part = extracted_addr; break;
 #ifdef SUBADDRESS
           case ADDRPART_USER:
 #endif
-          case ADDRPART_LOCALPART: part=extracted_addr; part[domain-1]='\0'; break;
-          case ADDRPART_DOMAIN: part=extracted_addr+domain; break;
+          case ADDRPART_LOCALPART: part = extracted_addr; part[domain-1] = '\0'; break;
+          case ADDRPART_DOMAIN: part = extracted_addr+domain; break;
 #ifdef SUBADDRESS
-          case ADDRPART_DETAIL: part=NULL; break;
+          case ADDRPART_DETAIL: part = NULL; break;
 #endif
           }
 
         *end_addr = saveend;
-        if (part)
-          {
-          for (k=key; k->length!=-1; ++k)
+        if (part && extracted_addr)
+         {
+         gstring partStr = {.s = part, .ptr = Ustrlen(part), .size = Ustrlen(part)+1};
+          for (gstring * k = key; k->ptr != - 1; ++k)
             {
-            struct String partStr;
-
-            partStr.character=part;
-            partStr.length=Ustrlen(part);
-            if (extracted_addr)
-              {
-              *cond=compare(filter,k,&partStr,comparator,matchType);
-              if (*cond==-1) return -1;
-              if (*cond) break;
-              }
+           *cond = compare(filter, k, &partStr, comparator, matchType);
+           if (*cond == -1) return -1;
+           if (*cond) break;
             }
-          }
+         }
+
         if (saveend == 0) break;
         header_value = end_addr + 1;
         }
+      f.parse_allow_group = FALSE;
+      f.parse_found_group = FALSE;
       }
     }
   return 1;
   }
-else if (parse_identifier(filter,CUS "allof"))
+else if (parse_identifier(filter, CUS "allof"))
   {
   /*
   allof-test   = "allof" <tests: test-list>
   */
 
-  int n,true;
+  int n, num_true;
 
-  switch (parse_testlist(filter,&n,&true,exec))
+  switch (parse_testlist(filter, &n, &num_true, exec))
     {
     case -1: return -1;
-    case 0: filter->errmsg=CUS "missing test list"; return -1;
-    default: *cond=(n==true); return 1;
+    case 0: filter->errmsg = CUS "missing test list"; return -1;
+    default: *cond = (n == num_true); return 1;
     }
   }
-else if (parse_identifier(filter,CUS "anyof"))
+else if (parse_identifier(filter, CUS "anyof"))
   {
   /*
   anyof-test   = "anyof" <tests: test-list>
   */
 
-  int n,true;
+  int n, num_true;
 
-  switch (parse_testlist(filter,&n,&true,exec))
+  switch (parse_testlist(filter, &n, &num_true, exec))
     {
     case -1: return -1;
-    case 0: filter->errmsg=CUS "missing test list"; return -1;
-    default: *cond=(true>0); return 1;
+    case 0: filter->errmsg = CUS "missing test list"; return -1;
+    default: *cond = (num_true>0); return 1;
     }
   }
-else if (parse_identifier(filter,CUS "exists"))
+else if (parse_identifier(filter, CUS "exists"))
   {
   /*
   exists-test = "exists" <header-names: string-list>
   */
 
-  struct String *hdr,*h;
+  gstring *hdr;
   int m;
 
-  if (parse_white(filter)==-1) return -1;
-  if ((m=parse_stringlist(filter,&hdr))!=1)
+  if (parse_white(filter) == -1)
+    return -1;
+  if ((m = parse_stringlist(filter, &hdr)) != 1)
     {
-    if (m==0) filter->errmsg=CUS "header string list expected";
+    if (m == 0) filter->errmsg = CUS "header string list expected";
     return -1;
     }
   if (exec)
     {
-    *cond=1;
-    for (h=hdr; h->length!=-1 && *cond; ++h)
+    *cond = 1;
+    for (gstring * h = hdr; h->ptr != -1 && *cond; ++h)
       {
       uschar *header_def;
 
-      header_def=expand_string(string_sprintf("${if def:header_%s {true}{false}}",quote(h)));
-      if (header_def == NULL)
+      header_def = expand_string(string_sprintf("${if def:header_%s {true}{false}}", quote(h)));
+      if (!header_def)
         {
-        filter->errmsg=CUS "header string expansion failed";
+        filter->errmsg = CUS "header string expansion failed";
         return -1;
         }
-      if (Ustrcmp(header_def,"false")==0) *cond=0;
+      if (Ustrcmp(header_def,"false") == 0) *cond = 0;
       }
     }
   return 1;
   }
-else if (parse_identifier(filter,CUS "false"))
+else if (parse_identifier(filter, CUS "false"))
   {
   /*
   false-test = "false"
   */
 
-  *cond=0;
+  *cond = 0;
   return 1;
   }
-else if (parse_identifier(filter,CUS "header"))
+else if (parse_identifier(filter, CUS "header"))
   {
   /*
   header-test = "header" { [comparator] [match-type] }
                 <header-names: string-list> <key-list: string-list>
   */
 
-  enum Comparator comparator=COMP_ASCII_CASEMAP;
-  enum MatchType matchType=MATCH_IS;
-  struct String *hdr,*h,*key,*k;
+  enum Comparator comparator = COMP_EN_ASCII_CASEMAP;
+  enum MatchType matchType = MATCH_IS;
+  gstring *hdr, *key;
   int m;
-  int co=0,mt=0;
+  int co = 0, mt = 0;
 
   for (;;)
     {
-    if (parse_white(filter)==-1) return -1;
-    if ((m=parse_comparator(filter,&comparator))!=0)
+    if (parse_white(filter) == -1)
+      return -1;
+    if ((m = parse_comparator(filter, &comparator)) != 0)
       {
-      if (m==-1) return -1;
+      if (m == -1) return -1;
       if (co)
         {
-        filter->errmsg=CUS "comparator already specified";
+        filter->errmsg = CUS "comparator already specified";
         return -1;
         }
-      else co=1;
+      else co = 1;
       }
-    else if ((m=parse_matchtype(filter,&matchType))!=0)
+    else if ((m = parse_matchtype(filter, &matchType)) != 0)
       {
-      if (m==-1) return -1;
+      if (m == -1) return -1;
       if (mt)
         {
-        filter->errmsg=CUS "match type already specified";
+        filter->errmsg = CUS "match type already specified";
         return -1;
         }
-      else mt=1;
+      else mt = 1;
       }
     else break;
     }
-  if (parse_white(filter)==-1) return -1;
-  if ((m=parse_stringlist(filter,&hdr))!=1)
+  if (parse_white(filter) == -1)
+    return -1;
+  if ((m = parse_stringlist(filter, &hdr)) != 1)
     {
-    if (m==0) filter->errmsg=CUS "header string list expected";
+    if (m == 0) filter->errmsg = CUS "header string list expected";
     return -1;
     }
-  if (parse_white(filter)==-1) return -1;
-  if ((m=parse_stringlist(filter,&key))!=1)
+  if (parse_white(filter) == -1)
+    return -1;
+  if ((m = parse_stringlist(filter, &key)) != 1)
     {
-    if (m==0) filter->errmsg=CUS "key string list expected";
+    if (m == 0) filter->errmsg = CUS "key string list expected";
     return -1;
     }
-  *cond=0;
-  for (h=hdr; h->length!=-1 && !*cond; ++h)
+  *cond = 0;
+  for (gstring * h = hdr; h->ptr != -1 && !*cond; ++h)
     {
     if (!is_header(h))
       {
-      filter->errmsg=CUS "invalid header field";
+      filter->errmsg = CUS "invalid header field";
       return -1;
       }
     if (exec)
       {
-      struct String header_value;
+      gstring header_value;
       uschar *header_def;
 
-      expand_header(&header_value,h);
-      header_def=expand_string(string_sprintf("${if def:header_%s {true}{false}}",quote(h)));
-      if (header_value.character == NULL || header_def == NULL)
+      expand_header(&header_value, h);
+      header_def = expand_string(string_sprintf("${if def:header_%s {true}{false}}", quote(h)));
+      if (!header_value.s || !header_def)
         {
-        filter->errmsg=CUS "header string expansion failed";
+        filter->errmsg = CUS "header string expansion failed";
         return -1;
         }
-      for (k=key; k->length!=-1; ++k)
-        {
-        if (Ustrcmp(header_def,"true")==0)
+      for (gstring * k = key; k->ptr != -1; ++k)
+        if (Ustrcmp(header_def,"true") == 0)
           {
-          *cond=compare(filter,k,&header_value,comparator,matchType);
-          if (*cond==-1) return -1;
+          *cond = compare(filter, k, &header_value, comparator, matchType);
+          if (*cond == -1) return -1;
           if (*cond) break;
           }
-        }
       }
     }
   return 1;
   }
-else if (parse_identifier(filter,CUS "not"))
+else if (parse_identifier(filter, CUS "not"))
   {
-  if (parse_white(filter)==-1) return -1;
-  switch (parse_test(filter,cond,exec))
+  if (parse_white(filter) == -1) return -1;
+  switch (parse_test(filter, cond, exec))
     {
     case -1: return -1;
-    case 0: filter->errmsg=CUS "missing test"; return -1;
-    default: *cond=!*cond; return 1;
+    case 0: filter->errmsg = CUS "missing test"; return -1;
+    default: *cond = !*cond; return 1;
     }
   }
-else if (parse_identifier(filter,CUS "size"))
+else if (parse_identifier(filter, CUS "size"))
   {
   /*
   relop = ":over" / ":under"
@@ -1916,152 +2287,296 @@ else if (parse_identifier(filter,CUS "size"))
   unsigned long limit;
   int overNotUnder;
 
-  if (parse_white(filter)==-1) return -1;
-  if (parse_identifier(filter,CUS ":over")) overNotUnder=1;
-  else if (parse_identifier(filter,CUS ":under")) overNotUnder=0;
+  if (parse_white(filter) == -1) return -1;
+  if (parse_identifier(filter, CUS ":over")) overNotUnder = 1;
+  else if (parse_identifier(filter, CUS ":under")) overNotUnder = 0;
   else
     {
-    filter->errmsg=CUS "missing :over or :under";
+    filter->errmsg = CUS "missing :over or :under";
     return -1;
     }
-  if (parse_white(filter)==-1) return -1;
-  if (parse_number(filter,&limit)==-1) return -1;
-  *cond=(overNotUnder ? (message_size>limit) : (message_size<limit));
+  if (parse_white(filter) == -1) return -1;
+  if (parse_number(filter, &limit) == -1) return -1;
+  *cond = (overNotUnder ? (message_size>limit) : (message_size<limit));
   return 1;
   }
-else if (parse_identifier(filter,CUS "true"))
+else if (parse_identifier(filter, CUS "true"))
   {
-  *cond=1;
+  *cond = 1;
   return 1;
   }
-else if (parse_identifier(filter,CUS "envelope"))
+else if (parse_identifier(filter, CUS "envelope"))
   {
   /*
   envelope-test = "envelope" { [comparator] [address-part] [match-type] }
                   <envelope-part: string-list> <key-list: string-list>
 
   envelope-part is case insensitive "from" or "to"
+#ifdef ENVELOPE_AUTH
+  envelope-part = / "auth"
+#endif
   */
 
-  enum Comparator comparator=COMP_ASCII_CASEMAP;
-  enum AddressPart addressPart=ADDRPART_ALL;
-  enum MatchType matchType=MATCH_IS;
-  struct String *env,*e,*key,*k;
+  enum Comparator comparator = COMP_EN_ASCII_CASEMAP;
+  enum AddressPart addressPart = ADDRPART_ALL;
+  enum MatchType matchType = MATCH_IS;
+  gstring *env, *key;
   int m;
-  int co=0,ap=0,mt=0;
+  int co = 0, ap = 0, mt = 0;
 
   if (!filter->require_envelope)
     {
-    filter->errmsg=CUS "missing previous require \"envelope\";";
+    filter->errmsg = CUS "missing previous require \"envelope\";";
     return -1;
     }
   for (;;)
     {
-    if (parse_white(filter)==-1) return -1;
-    if ((m=parse_comparator(filter,&comparator))!=0)
+    if (parse_white(filter) == -1) return -1;
+    if ((m = parse_comparator(filter, &comparator)) != 0)
       {
-      if (m==-1) return -1;
+      if (m == -1) return -1;
       if (co)
         {
-        filter->errmsg=CUS "comparator already specified";
+        filter->errmsg = CUS "comparator already specified";
         return -1;
         }
-      else co=1;
+      else co = 1;
       }
-    else if ((m=parse_addresspart(filter,&addressPart))!=0)
+    else if ((m = parse_addresspart(filter, &addressPart)) != 0)
       {
-      if (m==-1) return -1;
+      if (m == -1) return -1;
       if (ap)
         {
-        filter->errmsg=CUS "address part already specified";
+        filter->errmsg = CUS "address part already specified";
         return -1;
         }
-      else ap=1;
+      else ap = 1;
       }
-    else if ((m=parse_matchtype(filter,&matchType))!=0)
+    else if ((m = parse_matchtype(filter, &matchType)) != 0)
       {
-      if (m==-1) return -1;
+      if (m == -1) return -1;
       if (mt)
         {
-        filter->errmsg=CUS "match type already specified";
+        filter->errmsg = CUS "match type already specified";
         return -1;
         }
-      else mt=1;
+      else mt = 1;
       }
     else break;
     }
-  if (parse_white(filter)==-1) return -1;
-  if ((m=parse_stringlist(filter,&env))!=1)
+  if (parse_white(filter) == -1)
+    return -1;
+  if ((m = parse_stringlist(filter, &env)) != 1)
     {
-    if (m==0) filter->errmsg=CUS "envelope string list expected";
+    if (m == 0) filter->errmsg = CUS "envelope string list expected";
     return -1;
     }
-  if (parse_white(filter)==-1) return -1;
-  if ((m=parse_stringlist(filter,&key))!=1)
+  if (parse_white(filter) == -1)
+    return -1;
+  if ((m = parse_stringlist(filter, &key)) != 1)
     {
-    if (m==0) filter->errmsg=CUS "key string list expected";
+    if (m == 0) filter->errmsg = CUS "key string list expected";
     return -1;
     }
-  *cond=0;
-  for (e=env; e->character; ++e)
+  *cond = 0;
+  for (gstring * e = env; e->ptr != -1 && !*cond; ++e)
     {
-    const uschar *envelopeExpr=CUS 0;
-    uschar *envelope=US 0;
+    const uschar *envelopeExpr = CUS 0;
+    uschar *envelope = US 0;
 
-    if (eq_asciicase(e,&str_from,0))
+    if (eq_asciicase(e, &str_from, FALSE))
       {
       switch (addressPart)
         {
-        case ADDRPART_ALL: envelopeExpr=CUS "$sender_address"; break;
+        case ADDRPART_ALL: envelopeExpr = CUS "$sender_address"; break;
 #ifdef SUBADDRESS
         case ADDRPART_USER:
 #endif
-        case ADDRPART_LOCALPART: envelopeExpr=CUS "${local_part:$sender_address}"; break;
-        case ADDRPART_DOMAIN: envelopeExpr=CUS "${domain:$sender_address}"; break;
+        case ADDRPART_LOCALPART: envelopeExpr = CUS "${local_part:$sender_address}"; break;
+        case ADDRPART_DOMAIN: envelopeExpr = CUS "${domain:$sender_address}"; break;
+#ifdef SUBADDRESS
+        case ADDRPART_DETAIL: envelopeExpr = CUS 0; break;
+#endif
+        }
+      }
+    else if (eq_asciicase(e, &str_to, FALSE))
+      {
+      switch (addressPart)
+        {
+        case ADDRPART_ALL: envelopeExpr = CUS "$local_part_prefix$local_part$local_part_suffix@$domain"; break;
 #ifdef SUBADDRESS
-        case ADDRPART_DETAIL: envelopeExpr=CUS 0; break;
+        case ADDRPART_USER: envelopeExpr = filter->useraddress; break;
+        case ADDRPART_DETAIL: envelopeExpr = filter->subaddress; break;
 #endif
+        case ADDRPART_LOCALPART: envelopeExpr = CUS "$local_part_prefix$local_part$local_part_suffix"; break;
+        case ADDRPART_DOMAIN: envelopeExpr = CUS "$domain"; break;
         }
       }
-    else if (eq_asciicase(e,&str_to,0))
+#ifdef ENVELOPE_AUTH
+    else if (eq_asciicase(e, &str_auth, FALSE))
       {
       switch (addressPart)
         {
-        case ADDRPART_ALL: envelopeExpr=CUS "$local_part_prefix$local_part$local_part_suffix@$domain"; break;
+        case ADDRPART_ALL: envelopeExpr = CUS "$authenticated_sender"; break;
+#ifdef SUBADDRESS
+        case ADDRPART_USER:
+#endif
+        case ADDRPART_LOCALPART: envelopeExpr = CUS "${local_part:$authenticated_sender}"; break;
+        case ADDRPART_DOMAIN: envelopeExpr = CUS "${domain:$authenticated_sender}"; break;
 #ifdef SUBADDRESS
-        case ADDRPART_USER: envelopeExpr=filter->useraddress; break;
-        case ADDRPART_DETAIL: envelopeExpr=filter->subaddress; break;
+        case ADDRPART_DETAIL: envelopeExpr = CUS 0; break;
 #endif
-        case ADDRPART_LOCALPART: envelopeExpr=CUS "$local_part_prefix$local_part$local_part_suffix"; break;
-        case ADDRPART_DOMAIN: envelopeExpr=CUS "$domain"; break;
         }
       }
+#endif
     else
       {
-      filter->errmsg=CUS "invalid envelope string";
+      filter->errmsg = CUS "invalid envelope string";
       return -1;
       }
     if (exec && envelopeExpr)
       {
-      if ((envelope=expand_string(US envelopeExpr)) == NULL)
+      if (!(envelope = expand_string(US envelopeExpr)))
         {
-        filter->errmsg=CUS "header string expansion failed";
+        filter->errmsg = CUS "header string expansion failed";
         return -1;
         }
-      for (k=key; k->length!=-1; ++k)
+      for (gstring * k = key; k->ptr != -1; ++k)
         {
-        struct String envelopeStr;
+        gstring envelopeStr = {.s = envelope, .ptr = Ustrlen(envelope), .size = Ustrlen(envelope)+1};
 
-        envelopeStr.character=envelope;
-        envelopeStr.length=Ustrlen(envelope);
-        *cond=compare(filter,&envelopeStr,k,comparator,matchType);
-        if (*cond==-1) return -1;
+        *cond = compare(filter, k, &envelopeStr, comparator, matchType);
+        if (*cond == -1) return -1;
         if (*cond) break;
         }
       }
     }
   return 1;
   }
+#ifdef ENOTIFY
+else if (parse_identifier(filter, CUS "valid_notify_method"))
+  {
+  /*
+  valid_notify_method = "valid_notify_method"
+                        <notification-uris: string-list>
+  */
+
+  gstring *uris;
+  int m;
+
+  if (!filter->require_enotify)
+    {
+    filter->errmsg = CUS "missing previous require \"enotify\";";
+    return -1;
+    }
+  if (parse_white(filter) == -1)
+    return -1;
+  if ((m = parse_stringlist(filter, &uris)) != 1)
+    {
+    if (m == 0) filter->errmsg = CUS "URI string list expected";
+    return -1;
+    }
+  if (exec)
+    {
+    *cond = 1;
+    for (gstring * u = uris; u->ptr != -1 && *cond; ++u)
+      {
+        string_item * recipient = NULL;
+        gstring header =  { .s = NULL, .ptr = -1 };
+        gstring subject = { .s = NULL, .ptr = -1 };
+        gstring body =    { .s = NULL, .ptr = -1 };
+
+        if (parse_mailto_uri(filter, u->s, &recipient, &header, &subject, &body) != 1)
+          *cond = 0;
+      }
+    }
+  return 1;
+  }
+else if (parse_identifier(filter, CUS "notify_method_capability"))
+  {
+  /*
+  notify_method_capability = "notify_method_capability" [COMPARATOR] [MATCH-TYPE]
+                             <notification-uri: string>
+                             <notification-capability: string>
+                             <key-list: string-list>
+  */
+
+  int m;
+  int co = 0, mt = 0;
+
+  enum Comparator comparator = COMP_EN_ASCII_CASEMAP;
+  enum MatchType matchType = MATCH_IS;
+  gstring uri, capa, *keys;
+
+  if (!filter->require_enotify)
+    {
+    filter->errmsg = CUS "missing previous require \"enotify\";";
+    return -1;
+    }
+  for (;;)
+    {
+    if (parse_white(filter) == -1) return -1;
+    if ((m = parse_comparator(filter, &comparator)) != 0)
+      {
+      if (m == -1) return -1;
+      if (co)
+        {
+        filter->errmsg = CUS "comparator already specified";
+        return -1;
+        }
+      else co = 1;
+      }
+    else if ((m = parse_matchtype(filter, &matchType)) != 0)
+      {
+      if (m == -1) return -1;
+      if (mt)
+        {
+        filter->errmsg = CUS "match type already specified";
+        return -1;
+        }
+      else mt = 1;
+      }
+    else break;
+    }
+    if ((m = parse_string(filter, &uri)) != 1)
+      {
+      if (m == 0) filter->errmsg = CUS "missing notification URI string";
+      return -1;
+      }
+    if (parse_white(filter) == -1)
+      return -1;
+    if ((m = parse_string(filter, &capa)) != 1)
+      {
+      if (m == 0) filter->errmsg = CUS "missing notification capability string";
+      return -1;
+      }
+    if (parse_white(filter) == -1)
+      return -1;
+    if ((m = parse_stringlist(filter, &keys)) != 1)
+      {
+      if (m == 0) filter->errmsg = CUS "missing key string list";
+      return -1;
+      }
+    if (exec)
+      {
+      string_item * recipient = NULL;
+      gstring header =  { .s = NULL, .ptr = -1 };
+      gstring subject = { .s = NULL, .ptr = -1 };
+      gstring body =    { .s = NULL, .ptr = -1 };
+
+      *cond = 0;
+      if (parse_mailto_uri(filter, uri.s, &recipient, &header, &subject, &body) == 1)
+        if (eq_asciicase(&capa, &str_online,  FALSE) == 1)
+          for (gstring * k = keys; k->ptr != -1; ++k)
+            {
+            *cond = compare(filter, k, &str_maybe, comparator, matchType);
+            if (*cond == -1) return -1;
+            if (*cond) break;
+            }
+      }
+    return 1;
+  }
+#endif
 else return 0;
 }
 
@@ -2082,28 +2597,26 @@ Returns:      2                success by stop
               -1               syntax or execution error
 */
 
-static int parse_block(struct Sieve *filter, int exec,
-  address_item **generated)
+static int
+parse_block(struct Sieve * filter, int exec, address_item ** generated)
 {
 int r;
 
-if (parse_white(filter)==-1) return -1;
-if (*filter->pc=='{')
+if (parse_white(filter) == -1)
+  return -1;
+if (*filter->pc == '{')
   {
   ++filter->pc;
-  if ((r=parse_commands(filter,exec,generated))==-1 || r==2) return r;
-  if (*filter->pc=='}')
+  if ((r = parse_commands(filter, exec, generated)) == -1 || r == 2) return r;
+  if (*filter->pc == '}')
     {
     ++filter->pc;
     return 1;
     }
-  else
-    {
-    filter->errmsg=CUS "expecting command or closing brace";
-    return -1;
-    }
+  filter->errmsg = CUS "expecting command or closing brace";
+  return -1;
   }
-else return 0;
+return 0;
 }
 
 
@@ -2119,19 +2632,18 @@ Returns:      1                success
               -1               syntax error
 */
 
-static int parse_semicolon(struct Sieve *filter)
+static int
+parse_semicolon(struct Sieve *filter)
 {
-  if (parse_white(filter)==-1) return -1;
-  if (*filter->pc==';')
-  {
-    ++filter->pc;
-    return 1;
-  }
-  else
+if (parse_white(filter) == -1)
+  return -1;
+if (*filter->pc == ';')
   {
-    filter->errmsg=CUS "missing semicolon";
-    return -1;
+  ++filter->pc;
+  return 1;
   }
+filter->errmsg = CUS "missing semicolon";
+return -1;
 }
 
 
@@ -2149,322 +2661,577 @@ Returns:      2                success by stop
               1                other success
               -1               syntax or execution error
 */
-static int parse_commands(struct Sieve *filter, int exec,
-  address_item **generated)
+static int
+parse_commands(struct Sieve *filter, int exec, address_item **generated)
 {
 while (*filter->pc)
   {
-  if (parse_white(filter)==-1) return -1;
-  if (parse_identifier(filter,CUS "if"))
+  if (parse_white(filter) == -1)
+    return -1;
+  if (parse_identifier(filter, CUS "if"))
     {
     /*
     if-command = "if" test block *( "elsif" test block ) [ else block ]
     */
 
-    int cond,m,unsuccessful;
+    int cond, m, unsuccessful;
 
     /* test block */
-    if (parse_white(filter)==-1) return -1;
-    if ((m=parse_test(filter,&cond,exec))==-1) return -1;
-    if (m==0)
+    if (parse_white(filter) == -1)
+      return -1;
+    if ((m = parse_test(filter, &cond, exec)) == -1)
+      return -1;
+    if (m == 0)
       {
-      filter->errmsg=CUS "missing test";
+      filter->errmsg = CUS "missing test";
       return -1;
       }
-    m=parse_block(filter,exec ? cond : 0, generated);
-    if (m==-1 || m==2) return m;
-    if (m==0)
+    if ((filter_test != FTEST_NONE && debug_selector != 0) ||
+        (debug_selector & D_filter) != 0)
       {
-      filter->errmsg=CUS "missing block";
+      if (exec) debug_printf_indent("if %s\n", cond?"true":"false");
+      }
+    m = parse_block(filter, exec ? cond : 0, generated);
+    if (m == -1 || m == 2)
+      return m;
+    if (m == 0)
+      {
+      filter->errmsg = CUS "missing block";
       return -1;
       }
     unsuccessful = !cond;
     for (;;) /* elsif test block */
       {
-      if (parse_white(filter)==-1) return -1;
-      if (parse_identifier(filter,CUS "elsif"))
+      if (parse_white(filter) == -1)
+       return -1;
+      if (parse_identifier(filter, CUS "elsif"))
         {
-        if (parse_white(filter)==-1) return -1;
-        m=parse_test(filter,&cond,exec && unsuccessful);
-        if (m==-1 || m==2) return m;
-        if (m==0)
+        if (parse_white(filter) == -1)
+         return -1;
+        m = parse_test(filter, &cond, exec && unsuccessful);
+        if (m == -1 || m == 2)
+         return m;
+        if (m == 0)
           {
-          filter->errmsg=CUS "missing test";
+          filter->errmsg = CUS "missing test";
           return -1;
           }
-        m=parse_block(filter,exec && unsuccessful ? cond : 0, generated);
-        if (m==-1 || m==2) return m;
-        if (m==0)
+        if ((filter_test != FTEST_NONE && debug_selector != 0) ||
+            (debug_selector & D_filter) != 0)
+          {
+          if (exec) debug_printf_indent("elsif %s\n", cond?"true":"false");
+          }
+        m = parse_block(filter, exec && unsuccessful ? cond : 0, generated);
+        if (m == -1 || m == 2)
+         return m;
+        if (m == 0)
           {
-          filter->errmsg=CUS "missing block";
+          filter->errmsg = CUS "missing block";
           return -1;
           }
-        if (exec && unsuccessful && cond) unsuccessful = 0;
+        if (exec && unsuccessful && cond)
+         unsuccessful = 0;
         }
       else break;
       }
     /* else block */
-    if (parse_white(filter)==-1) return -1;
-    if (parse_identifier(filter,CUS "else"))
+    if (parse_white(filter) == -1)
+      return -1;
+    if (parse_identifier(filter, CUS "else"))
       {
-      m=parse_block(filter,exec && unsuccessful, generated);
-      if (m==-1 || m==2) return m;
-      if (m==0)
+      m = parse_block(filter, exec && unsuccessful, generated);
+      if (m == -1 || m == 2)
+       return m;
+      if (m == 0)
         {
-        filter->errmsg=CUS "missing block";
+        filter->errmsg = CUS "missing block";
         return -1;
         }
       }
     }
-  else if (parse_identifier(filter,CUS "stop"))
+  else if (parse_identifier(filter, CUS "stop"))
     {
     /*
     stop-command     =  "stop" { stop-options } ";"
     stop-options     =
     */
 
-    if (parse_semicolon(filter)==-1) return -1;
+    if (parse_semicolon(filter) == -1)
+      return -1;
     if (exec)
       {
-      filter->pc+=Ustrlen(filter->pc);
+      filter->pc += Ustrlen(filter->pc);
       return 2;
       }
     }
-  else if (parse_identifier(filter,CUS "keep"))
+  else if (parse_identifier(filter, CUS "keep"))
     {
     /*
     keep-command     =  "keep" { keep-options } ";"
     keep-options     =
     */
 
-    if (parse_semicolon(filter)==-1) return -1;
+    if (parse_semicolon(filter) == -1)
+      return -1;
     if (exec)
       {
-      add_addr(generated,US"inbox",1,0,0,0);
+      add_addr(generated, US"inbox", 1, 0, 0, 0);
       filter->keep = 0;
       }
     }
-  else if (parse_identifier(filter,CUS "discard"))
+  else if (parse_identifier(filter, CUS "discard"))
     {
     /*
     discard-command  =  "discard" { discard-options } ";"
     discard-options  =
     */
 
-    if (parse_semicolon(filter)==-1) return -1;
-    if (exec) filter->keep=0;
+    if (parse_semicolon(filter) == -1)
+      return -1;
+    if (exec) filter->keep = 0;
     }
-  else if (parse_identifier(filter,CUS "redirect"))
+  else if (parse_identifier(filter, CUS "redirect"))
     {
     /*
     redirect-command =  "redirect" redirect-options "string" ";"
     redirect-options =
-    redirect-options =) ":copy"
+    redirect-options = ) ":copy"
     */
 
-    struct String recipient;
+    gstring recipient;
     int m;
-    int copy=0;
+    int copy = 0;
 
     for (;;)
       {
-      if (parse_white(filter)==-1) return -1;
-      if (parse_identifier(filter,CUS ":copy")==1)
+      if (parse_white(filter) == -1)
+       return -1;
+      if (parse_identifier(filter, CUS ":copy") == 1)
         {
         if (!filter->require_copy)
           {
-          filter->errmsg=CUS "missing previous require \"copy\";";
+          filter->errmsg = CUS "missing previous require \"copy\";";
           return -1;
           }
-          copy=1;
+       copy = 1;
         }
       else break;
       }
-    if (parse_white(filter)==-1) return -1;
-    if ((m=parse_string(filter,&recipient))!=1)
+    if (parse_white(filter) == -1)
+      return -1;
+    if ((m = parse_string(filter, &recipient)) != 1)
       {
-      if (m==0) filter->errmsg=CUS "missing redirect recipient string";
+      if (m == 0)
+       filter->errmsg = CUS "missing redirect recipient string";
       return -1;
       }
-    if (strchr(CCS recipient.character,'@')==(char*)0)
+    if (strchr(CCS recipient.s, '@') == NULL)
       {
-      filter->errmsg=CUS "unqualified recipient address";
+      filter->errmsg = CUS "unqualified recipient address";
       return -1;
       }
     if (exec)
       {
-      add_addr(generated,recipient.character,0,0,0,0);
+      add_addr(generated, recipient.s, 0, 0, 0, 0);
       if (!copy) filter->keep = 0;
       }
-    if (parse_semicolon(filter)==-1) return -1;
+    if (parse_semicolon(filter) == -1) return -1;
     }
-  else if (parse_identifier(filter,CUS "fileinto"))
+  else if (parse_identifier(filter, CUS "fileinto"))
     {
     /*
     fileinto-command =  "fileinto" { fileinto-options } string ";"
     fileinto-options =
-    fileinto-options =) [ ":copy" ]
+    fileinto-options = ) [ ":copy" ]
     */
 
-    struct String folder;
+    gstring folder;
     uschar *s;
     int m;
     unsigned long maxage, maxmessages, maxstorage;
-    int copy=0;
+    int copy = 0;
 
     maxage = maxmessages = maxstorage = 0;
     if (!filter->require_fileinto)
       {
-      filter->errmsg=CUS "missing previous require \"fileinto\";";
+      filter->errmsg = CUS "missing previous require \"fileinto\";";
       return -1;
       }
     for (;;)
       {
-      if (parse_white(filter)==-1) return -1;
-      if (parse_identifier(filter,CUS ":copy")==1)
+      if (parse_white(filter) == -1)
+       return -1;
+      if (parse_identifier(filter, CUS ":copy") == 1)
         {
         if (!filter->require_copy)
           {
-          filter->errmsg=CUS "missing previous require \"copy\";";
+          filter->errmsg = CUS "missing previous require \"copy\";";
           return -1;
           }
-          copy=1;
+          copy = 1;
         }
       else break;
       }
-    if (parse_white(filter)==-1) return -1;
-    if ((m=parse_string(filter,&folder))!=1)
+    if (parse_white(filter) == -1)
+      return -1;
+    if ((m = parse_string(filter, &folder)) != 1)
       {
-      if (m==0) filter->errmsg=CUS "missing fileinto folder string";
+      if (m == 0) filter->errmsg = CUS "missing fileinto folder string";
       return -1;
       }
-    m=0; s=folder.character;
-    if (folder.length==0) m=1;
-    if (Ustrcmp(s,"..")==0 || Ustrncmp(s,"../",3)==0) m=1;
+    m = 0; s = folder.s;
+    if (folder.ptr == 0)
+      m = 1;
+    if (Ustrcmp(s,"..") == 0 || Ustrncmp(s,"../", 3) == 0)
+      m = 1;
     else while (*s)
       {
-      if (Ustrcmp(s,"/..")==0 || Ustrncmp(s,"/../",4)==0) { m=1; break; }
+      if (Ustrcmp(s,"/..") == 0 || Ustrncmp(s,"/../", 4) == 0) { m = 1; break; }
       ++s;
       }
     if (m)
       {
-      filter->errmsg=CUS "invalid folder";
+      filter->errmsg = CUS "invalid folder";
       return -1;
       }
     if (exec)
       {
-      add_addr(generated, folder.character, 1, maxage, maxmessages, maxstorage);
+      add_addr(generated, folder.s, 1, maxage, maxmessages, maxstorage);
       if (!copy) filter->keep = 0;
       }
-    if (parse_semicolon(filter)==-1) return -1;
+    if (parse_semicolon(filter) == -1)
+      return -1;
+    }
+#ifdef ENOTIFY
+  else if (parse_identifier(filter, CUS "notify"))
+    {
+    /*
+    notify-command =  "notify" { notify-options } <method: string> ";"
+    notify-options =  [":from" string]
+                      [":importance" <"1" / "2" / "3">]
+                      [":options" 1*(string-list / number)]
+                      [":message" string]
+    */
+
+    int m;
+    gstring from =       { .s = NULL, .ptr = -1 };
+    gstring importance = { .s = NULL, .ptr = -1 };
+    gstring message =    { .s = NULL, .ptr = -1 };
+    gstring method;
+    struct Notification *already;
+    string_item * recipient = NULL;
+    gstring header =     { .s = NULL, .ptr = -1 };
+    gstring subject =    { .s = NULL, .ptr = -1 };
+    gstring body =       { .s = NULL, .ptr = -1 };
+    uschar *envelope_from;
+    gstring auto_submitted_value;
+    uschar *auto_submitted_def;
+
+    if (!filter->require_enotify)
+      {
+      filter->errmsg = CUS "missing previous require \"enotify\";";
+      return -1;
+      }
+    envelope_from = sender_address && sender_address[0]
+     ? expand_string(US"$local_part_prefix$local_part$local_part_suffix@$domain") : US "";
+    if (!envelope_from)
+      {
+      filter->errmsg = CUS "expansion failure for envelope from";
+      return -1;
+      }
+    for (;;)
+      {
+      if (parse_white(filter) == -1)
+       return -1;
+      if (parse_identifier(filter, CUS ":from") == 1)
+        {
+        if (parse_white(filter) == -1)
+         return -1;
+        if ((m = parse_string(filter, &from)) != 1)
+          {
+          if (m == 0) filter->errmsg = CUS "from string expected";
+          return -1;
+          }
+        }
+      else if (parse_identifier(filter, CUS ":importance") == 1)
+        {
+        if (parse_white(filter) == -1)
+         return -1;
+        if ((m = parse_string(filter, &importance)) != 1)
+          {
+          if (m == 0)
+           filter->errmsg = CUS "importance string expected";
+          return -1;
+          }
+        if (importance.ptr != 1 || importance.s[0] < '1' || importance.s[0] > '3')
+          {
+          filter->errmsg = CUS "invalid importance";
+          return -1;
+          }
+        }
+      else if (parse_identifier(filter, CUS ":options") == 1)
+        {
+        if (parse_white(filter) == -1)
+         return -1;
+        }
+      else if (parse_identifier(filter, CUS ":message") == 1)
+        {
+        if (parse_white(filter) == -1)
+         return -1;
+        if ((m = parse_string(filter, &message)) != 1)
+          {
+          if (m == 0)
+           filter->errmsg = CUS "message string expected";
+          return -1;
+          }
+        }
+      else break;
+      }
+    if (parse_white(filter) == -1)
+      return -1;
+    if ((m = parse_string(filter, &method)) != 1)
+      {
+      if (m == 0)
+       filter->errmsg = CUS "missing method string";
+      return -1;
+      }
+    if (parse_semicolon(filter) == -1)
+      return -1;
+    if (parse_mailto_uri(filter, method.s, &recipient, &header, &subject, &body) != 1)
+      return -1;
+    if (exec)
+      {
+      if (message.ptr == -1)
+       message = subject;
+      if (message.ptr == -1)
+       expand_header(&message, &str_subject);
+      expand_header(&auto_submitted_value, &str_auto_submitted);
+      auto_submitted_def = expand_string(US"${if def:header_auto-submitted {true}{false}}");
+      if (!auto_submitted_value.s || !auto_submitted_def)
+        {
+        filter->errmsg = CUS "header string expansion failed";
+        return -1;
+        }
+        if (Ustrcmp(auto_submitted_def,"true") != 0 || Ustrcmp(auto_submitted_value.s,"no") == 0)
+        {
+        for (already = filter->notified; already; already = already->next)
+          {
+          if (   already->method.ptr == method.ptr
+              && (method.ptr == -1 || Ustrcmp(already->method.s, method.s) == 0)
+              && already->importance.ptr == importance.ptr
+              && (importance.ptr == -1 || Ustrcmp(already->importance.s, importance.s) == 0)
+              && already->message.ptr == message.ptr
+              && (message.ptr == -1 || Ustrcmp(already->message.s, message.s) == 0))
+            break;
+          }
+        if (!already)
+          /* New notification, process it */
+          {
+          struct Notification * sent = store_get(sizeof(struct Notification), GET_UNTAINTED);
+          sent->method = method;
+          sent->importance = importance;
+          sent->message = message;
+          sent->next = filter->notified;
+          filter->notified = sent;
+  #ifndef COMPILE_SYNTAX_CHECKER
+          if (filter_test == FTEST_NONE)
+            {
+            int pid, fd;
+
+            if ((pid = child_open_exim2(&fd, envelope_from, envelope_from,
+                       US"sieve-notify")) >= 1)
+              {
+              FILE * f = fdopen(fd, "wb");
+
+              fprintf(f,"From: %s\n", from.ptr == -1
+               ? expand_string(US"$local_part_prefix$local_part$local_part_suffix@$domain")
+               : from.s);
+              for (string_item * p = recipient; p; p = p->next)
+               fprintf(f, "To: %s\n", p->text);
+              fprintf(f, "Auto-Submitted: auto-notified; %s\n", filter->enotify_mailto_owner);
+              if (header.ptr > 0) fprintf(f, "%s", header.s);
+              if (message.ptr == -1)
+                {
+                message.s = US"Notification";
+                message.ptr = Ustrlen(message.s);
+                }
+              if (message.ptr != -1)
+               fprintf(f, "Subject: %s\n", parse_quote_2047(message.s,
+                 message.ptr, US"utf-8", TRUE));
+              fprintf(f,"\n");
+              if (body.ptr > 0) fprintf(f, "%s\n", body.s);
+              fflush(f);
+              (void)fclose(f);
+              (void)child_close(pid, 0);
+              }
+            }
+          if ((filter_test != FTEST_NONE && debug_selector != 0) || debug_selector & D_filter)
+            debug_printf_indent("Notification to `%s': '%s'.\n", method.s, message.ptr != -1 ? message.s : CUS "");
+#endif
+          }
+        else
+          if ((filter_test != FTEST_NONE && debug_selector != 0) || debug_selector & D_filter)
+            debug_printf_indent("Repeated notification to `%s' ignored.\n", method.s);
+        }
+      else
+        if ((filter_test != FTEST_NONE && debug_selector != 0) || debug_selector & D_filter)
+          debug_printf_indent("Ignoring notification, triggering message contains Auto-submitted: field.\n");
+      }
     }
+#endif
 #ifdef VACATION
-  else if (parse_identifier(filter,CUS "vacation"))
+  else if (parse_identifier(filter, CUS "vacation"))
     {
     /*
     vacation-command =  "vacation" { vacation-options } <reason: string> ";"
     vacation-options =  [":days" number]
-                        [":addresses" string-list]
                         [":subject" string]
+                        [":from" string]
+                        [":addresses" string-list]
                         [":mime"]
+                        [":handle" string]
     */
 
     int m;
     unsigned long days;
-    struct String *addresses;
-    struct String subject;
+    gstring subject;
+    gstring from;
+    gstring *addresses;
     int reason_is_mime;
     string_item *aliases;
-    struct String reason;
+    gstring handle;
+    gstring reason;
 
     if (!filter->require_vacation)
       {
-      filter->errmsg=CUS "missing previous require \"vacation\";";
+      filter->errmsg = CUS "missing previous require \"vacation\";";
       return -1;
       }
     if (exec)
       {
       if (filter->vacation_ran)
         {
-        filter->errmsg=CUS "trying to execute vacation more than once";
+        filter->errmsg = CUS "trying to execute vacation more than once";
         return -1;
         }
-      filter->vacation_ran=1;
-      }
-    days=VACATION_MIN_DAYS>7 ? VACATION_MIN_DAYS : 7;
-    addresses=(struct String*)0;
-    subject.character=(uschar*)0;
-    subject.length=-1;
-    aliases=NULL;
-    reason_is_mime=0;
+      filter->vacation_ran = TRUE;
+      }
+    days = VACATION_MIN_DAYS>7 ? VACATION_MIN_DAYS : 7;
+    subject.s = (uschar*)0;
+    subject.ptr = -1;
+    from.s = (uschar*)0;
+    from.ptr = -1;
+    addresses = (gstring*)0;
+    aliases = NULL;
+    reason_is_mime = 0;
+    handle.s = (uschar*)0;
+    handle.ptr = -1;
     for (;;)
       {
-      if (parse_white(filter)==-1) return -1;
-      if (parse_identifier(filter,CUS ":days")==1)
+      if (parse_white(filter) == -1)
+       return -1;
+      if (parse_identifier(filter, CUS ":days") == 1)
         {
-        if (parse_white(filter)==-1) return -1;
-        if (parse_number(filter,&days)==-1) return -1;
-        if (days<VACATION_MIN_DAYS) days=VACATION_MIN_DAYS;
-        else if (days>VACATION_MAX_DAYS) days=VACATION_MAX_DAYS;
+        if (parse_white(filter) == -1)
+         return -1;
+        if (parse_number(filter, &days) == -1)
+         return -1;
+        if (days<VACATION_MIN_DAYS)
+         days = VACATION_MIN_DAYS;
+        else if (days>VACATION_MAX_DAYS)
+         days = VACATION_MAX_DAYS;
         }
-      else if (parse_identifier(filter,CUS ":addresses")==1)
+      else if (parse_identifier(filter, CUS ":subject") == 1)
         {
-        struct String *a;
-
-        if (parse_white(filter)==-1) return -1;
-        if ((m=parse_stringlist(filter,&addresses))!=1)
+        if (parse_white(filter) == -1)
+         return -1;
+        if ((m = parse_string(filter, &subject)) != 1)
+          {
+          if (m == 0)
+           filter->errmsg = CUS "subject string expected";
+          return -1;
+          }
+        }
+      else if (parse_identifier(filter, CUS ":from") == 1)
+        {
+        if (parse_white(filter) == -1)
+         return -1;
+        if ((m = parse_string(filter, &from)) != 1)
+          {
+          if (m == 0)
+           filter->errmsg = CUS "from string expected";
+          return -1;
+          }
+        if (check_mail_address(filter, &from) != 1)
+          return -1;
+        }
+      else if (parse_identifier(filter, CUS ":addresses") == 1)
+        {
+        if (parse_white(filter) == -1)
+         return -1;
+        if ((m = parse_stringlist(filter, &addresses)) != 1)
           {
-          if (m==0) filter->errmsg=CUS "addresses string list expected";
+          if (m == 0)
+           filter->errmsg = CUS "addresses string list expected";
           return -1;
           }
-        for (a=addresses; a->length!=-1; ++a)
+        for (gstring * a = addresses; a->ptr != -1; ++a)
           {
-          string_item *new;
-
-          new=store_get(sizeof(string_item));
-          new->text=store_get(a->length+1);
-          if (a->length) memcpy(new->text,a->character,a->length);
-          new->text[a->length]='\0';
-          new->next=aliases;
-          aliases=new;
+          string_item * new = store_get(sizeof(string_item), GET_UNTAINTED);
+
+          new->text = store_get(a->ptr+1, a->s);
+          if (a->ptr) memcpy(new->text, a->s, a->ptr);
+          new->text[a->ptr] = '\0';
+          new->next = aliases;
+          aliases = new;
           }
         }
-      else if (parse_identifier(filter,CUS ":subject")==1)
+      else if (parse_identifier(filter, CUS ":mime") == 1)
+        reason_is_mime = 1;
+      else if (parse_identifier(filter, CUS ":handle") == 1)
         {
-        if (parse_white(filter)==-1) return -1;
-        if ((m=parse_string(filter,&subject))!=1)
+        if (parse_white(filter) == -1)
+         return -1;
+        if ((m = parse_string(filter, &from)) != 1)
           {
-          if (m==0) filter->errmsg=CUS "subject string expected";
+          if (m == 0)
+           filter->errmsg = CUS "handle string expected";
           return -1;
           }
         }
-      else if (parse_identifier(filter,CUS ":mime")==1)
-        reason_is_mime=1;
       else break;
       }
-    if (parse_white(filter)==-1) return -1;
-    if ((m=parse_string(filter,&reason))!=1)
+    if (parse_white(filter) == -1)
+      return -1;
+    if ((m = parse_string(filter, &reason)) != 1)
       {
-      if (m==0) filter->errmsg=CUS "missing reason string";
+      if (m == 0)
+       filter->errmsg = CUS "missing reason string";
       return -1;
       }
-    if (parse_semicolon(filter)==-1) return -1;
+    if (reason_is_mime)
+      {
+      uschar *s, *end;
+
+      for (s = reason.s, end = reason.s + reason.ptr;
+         s<end && (*s&0x80) == 0; ) s++;
+      if (s<end)
+        {
+        filter->errmsg = CUS "MIME reason string contains 8bit text";
+        return -1;
+        }
+      }
+    if (parse_semicolon(filter) == -1) return -1;
 
     if (exec)
       {
       address_item *addr;
-      int capacity,start;
-      uschar *buffer;
-      int buffer_capacity;
-      struct String key;
-      struct String *a;
       md5 base;
       uschar digest[16];
       uschar hexdigest[33];
-      int i;
-      uschar *once;
+      gstring * once;
 
-      if (filter_personal(aliases,TRUE))
+      if (filter_personal(aliases, TRUE))
         {
         if (filter_test == FTEST_NONE)
           {
@@ -2474,112 +3241,107 @@ while (*filter->pc)
           }
         /* build oncelog filename */
 
-        key.character=(uschar*)0;
-        key.length=0;
-        capacity=0;
-        if (subject.length!=-1) key.character=string_cat(key.character,&capacity,&key.length,subject.character,subject.length);
-        key.character=string_cat(key.character,&capacity,&key.length,reason_is_mime?US"1":US"0",1);
-        key.character=string_cat(key.character,&capacity,&key.length,reason.character,reason.length);
-        if (addresses!=(struct String*)0) for (a=addresses; a->length!=-1; ++a)
-          {
-          key.character=string_cat(key.character,&capacity,&key.length,US":",1);
-          key.character=string_cat(key.character,&capacity,&key.length,a->character,a->length);
-          }
         md5_start(&base);
-        md5_end(&base, key.character, key.length, digest);
-        for (i = 0; i < 16; i++) sprintf(CS (hexdigest+2*i), "%02X", digest[i]);
-        if (filter_test != FTEST_NONE)
+
+        if (handle.ptr == -1)
           {
-          debug_printf("Sieve: mail was personal, vacation file basename: %s\n", hexdigest);
+         gstring * key = NULL;
+          if (subject.ptr != -1)
+           key = string_catn(key, subject.s, subject.ptr);
+          if (from.ptr != -1)
+           key = string_catn(key, from.s, from.ptr);
+          key = string_catn(key, reason_is_mime?US"1":US"0", 1);
+          key = string_catn(key, reason.s, reason.ptr);
+         md5_end(&base, key->s, key->ptr, digest);
           }
         else
+         md5_end(&base, handle.s, handle.ptr, digest);
+
+        for (int i = 0; i < 16; i++)
+         sprintf(CS (hexdigest+2*i), "%02X", digest[i]);
+
+        if ((filter_test != FTEST_NONE && debug_selector != 0) || (debug_selector & D_filter) != 0)
+          debug_printf_indent("Sieve: mail was personal, vacation file basename: %s\n", hexdigest);
+
+        if (filter_test == FTEST_NONE)
           {
-          capacity=Ustrlen(filter->vacation_directory);
-          start=capacity;
-          once=string_cat(filter->vacation_directory,&capacity,&start,US"/",1);
-          once=string_cat(once,&capacity,&start,hexdigest,33);
-          once[start] = '\0';
+          once = string_cat (NULL, filter->vacation_directory);
+          once = string_catn(once, US"/", 1);
+          once = string_catn(once, hexdigest, 33);
 
           /* process subject */
 
-          if (subject.length==-1)
+          if (subject.ptr == -1)
             {
-            expand_header(&subject,&str_subject);
-            while (subject.length>=4 && Ustrncmp(subject.character,"Re: ",4)==0)
-            {
-              subject.character+=4;
-              subject.length-=4;
-            }
-            capacity=6;
-            start=6;
-            subject.character=string_cat(US"Auto: ",&capacity,&start,subject.character,subject.length);
-            subject.length=start;
+            uschar * subject_def;
+
+            subject_def = expand_string(US"${if def:header_subject {true}{false}}");
+            if (subject_def && Ustrcmp(subject_def,"true") == 0)
+              {
+             gstring * g = string_catn(NULL, US"Auto: ", 6);
+
+              expand_header(&subject, &str_subject);
+              g = string_catn(g, subject.s, subject.ptr);
+             subject.ptr = len_string_from_gstring(g, &subject.s);
+              }
+            else
+              {
+              subject.s = US"Automated reply";
+              subject.ptr = Ustrlen(subject.s);
+              }
             }
 
           /* add address to list of generated addresses */
 
           addr = deliver_make_addr(string_sprintf(">%.256s", sender_address), FALSE);
           setflag(addr, af_pfr);
-          setflag(addr, af_ignore_error);
+          addr->prop.ignore_error = TRUE;
           addr->next = *generated;
           *generated = addr;
-          addr->reply = store_get(sizeof(reply_item));
-          memset(addr->reply,0,sizeof(reply_item)); /* XXX */
+          addr->reply = store_get(sizeof(reply_item), GET_UNTAINTED);
+          memset(addr->reply, 0, sizeof(reply_item)); /* XXX */
           addr->reply->to = string_copy(sender_address);
-          addr->reply->from = expand_string(US"$local_part@$domain");
-          /* Allocation is larger than neccessary, but enough even for split MIME words */
-          buffer_capacity=16+4*subject.length;
-          buffer=store_get(buffer_capacity);
-          addr->reply->subject=parse_quote_2047(subject.character, subject.length, US"utf-8", buffer, buffer_capacity);
-          addr->reply->oncelog=once;
-          addr->reply->once_repeat=days*86400;
+          if (from.ptr == -1)
+            addr->reply->from = expand_string(US"$local_part@$domain");
+          else
+            addr->reply->from = from.s;
+         /* deconst cast safe as we pass in a non-const item */
+          addr->reply->subject = US parse_quote_2047(subject.s, subject.ptr, US"utf-8", TRUE);
+          addr->reply->oncelog = string_from_gstring(once);
+          addr->reply->once_repeat = days*86400;
 
           /* build body and MIME headers */
 
           if (reason_is_mime)
             {
-            uschar *mime_body,*reason_end;
-#ifdef RFC_EOL
-            static const uschar nlnl[]="\r\n\r\n";
-#else
-            static const uschar nlnl[]="\n\n";
-#endif
+            uschar *mime_body, *reason_end;
+            static const uschar nlnl[] = "\r\n\r\n";
 
             for
               (
-              mime_body=reason.character,reason_end=reason.character+reason.length;
-              mime_body<(reason_end-sizeof(nlnl)-1) && memcmp(mime_body,nlnl,sizeof(nlnl)-1);
-              ++mime_body
-              );
-            capacity = 0;
-            start = 0;
-            addr->reply->headers = string_cat(NULL,&capacity,&start,reason.character,mime_body-reason.character);
-            addr->reply->headers[start] = '\0';
-            capacity = 0;
-            start = 0;
-            if (mime_body+(sizeof(nlnl)-1)<reason_end) mime_body+=sizeof(nlnl)-1;
-            else mime_body=reason_end-1;
-            addr->reply->text = string_cat(NULL,&capacity,&start,mime_body,reason_end-mime_body);
-            addr->reply->text[start] = '\0';
+              mime_body = reason.s, reason_end = reason.s + reason.ptr;
+              mime_body < (reason_end-(sizeof(nlnl)-1)) && memcmp(mime_body, nlnl, (sizeof(nlnl)-1));
+             ) mime_body++;
+
+            addr->reply->headers = string_copyn(reason.s, mime_body-reason.s);
+
+            if (mime_body+(sizeof(nlnl)-1)<reason_end)
+             mime_body += (sizeof(nlnl)-1);
+            else mime_body = reason_end-1;
+            addr->reply->text = string_copyn(mime_body, reason_end-mime_body);
             }
           else
             {
-            struct String qp;
-
-            capacity = 0;
-            start = reason.length;
             addr->reply->headers = US"MIME-Version: 1.0\n"
                                    "Content-Type: text/plain;\n"
                                    "\tcharset=\"utf-8\"\n"
                                    "Content-Transfer-Encoding: quoted-printable";
-            addr->reply->text = quoted_printable_encode(&reason,&qp)->character;
+            addr->reply->text = quoted_printable_encode(&reason)->s;
             }
           }
         }
-        else if (filter_test != FTEST_NONE)
-          {
-          debug_printf("Sieve: mail was not personal, vacation would ignore it\n");
-          }
+        else if ((filter_test != FTEST_NONE && debug_selector != 0) || (debug_selector & D_filter) != 0)
+          debug_printf_indent("Sieve: mail was not personal, vacation would ignore it\n");
       }
     }
     else break;
@@ -2603,27 +3365,37 @@ Returns:      1                success
               -1               syntax or execution error
 */
 
-static int parse_start(struct Sieve *filter, int exec,
-  address_item **generated)
+static int
+parse_start(struct Sieve *filter, int exec, address_item **generated)
 {
-filter->pc=filter->filter;
-filter->line=1;
-filter->keep=1;
-filter->require_envelope=0;
-filter->require_fileinto=0;
+filter->pc = filter->filter;
+filter->line = 1;
+filter->keep = 1;
+filter->require_envelope = 0;
+filter->require_fileinto = 0;
+#ifdef ENCODED_CHARACTER
+filter->require_encoded_character = FALSE;
+#endif
+#ifdef ENVELOPE_AUTH
+filter->require_envelope_auth = 0;
+#endif
+#ifdef ENOTIFY
+filter->require_enotify = 0;
+filter->notified = (struct Notification*)0;
+#endif
 #ifdef SUBADDRESS
-filter->require_subaddress=0;
+filter->require_subaddress = FALSE;
 #endif
 #ifdef VACATION
-filter->require_vacation=0;
-filter->vacation_ran=0;
+filter->require_vacation = FALSE;
+filter->vacation_ran = 0;              /*XXX missing init? */
 #endif
-filter->require_copy=0;
-filter->require_iascii_numeric=0;
+filter->require_copy = FALSE;
+filter->require_iascii_numeric = FALSE;
 
-if (parse_white(filter)==-1) return -1;
+if (parse_white(filter) == -1) return -1;
 
-if (exec && filter->vacation_directory != NULL && filter_test == FTEST_NONE)
+if (exec && filter->vacation_directory && filter_test == FTEST_NONE)
   {
   DIR *oncelogdir;
   struct dirent *oncelog;
@@ -2632,80 +3404,95 @@ if (exec && filter->vacation_directory != NULL && filter_test == FTEST_NONE)
 
   /* clean up old vacation log databases */
 
-  oncelogdir=opendir(CS filter->vacation_directory);
-
-  if (oncelogdir ==(DIR*)0 && errno != ENOENT)
+  if (  !(oncelogdir = exim_opendir(filter->vacation_directory))
+     && errno != ENOENT)
     {
-    filter->errmsg=CUS "unable to open vacation directory";
+    filter->errmsg = CUS "unable to open vacation directory";
     return -1;
     }
 
-  if (oncelogdir != NULL)
+  if (oncelogdir)
     {
     time(&now);
 
-    while ((oncelog=readdir(oncelogdir))!=(struct dirent*)0)
-      {
-      if (strlen(oncelog->d_name)==32)
+    while ((oncelog = readdir(oncelogdir)))
+      if (strlen(oncelog->d_name) == 32)
         {
-        uschar *s=string_sprintf("%s/%s",filter->vacation_directory,oncelog->d_name);
-        if (Ustat(s,&properties)==0 && (properties.st_mtime+VACATION_MAX_DAYS*86400)<now)
+        uschar *s = string_sprintf("%s/%s", filter->vacation_directory, oncelog->d_name);
+        if (Ustat(s, &properties) == 0 && properties.st_mtime+VACATION_MAX_DAYS*86400 < now)
           Uunlink(s);
         }
-      }
     closedir(oncelogdir);
     }
   }
 
-while (parse_identifier(filter,CUS "require"))
+while (parse_identifier(filter, CUS "require"))
   {
   /*
   require-command = "require" <capabilities: string-list>
   */
 
-  struct String *cap,*check;
+  gstring *cap;
   int m;
 
-  if (parse_white(filter)==-1) return -1;
-  if ((m=parse_stringlist(filter,&cap))!=1)
+  if (parse_white(filter) == -1) return -1;
+  if ((m = parse_stringlist(filter, &cap)) != 1)
     {
-    if (m==0) filter->errmsg=CUS "capability string list expected";
+    if (m == 0) filter->errmsg = CUS "capability string list expected";
     return -1;
     }
-  for (check=cap; check->character; ++check)
+  for (gstring * check = cap; check->s; ++check)
     {
-    if (eq_asciicase(check,&str_envelope,0)) filter->require_envelope=1;
-    else if (eq_asciicase(check,&str_fileinto,0)) filter->require_fileinto=1;
+    if (eq_octet(check, &str_envelope, FALSE)) filter->require_envelope = 1;
+    else if (eq_octet(check, &str_fileinto, FALSE)) filter->require_fileinto = 1;
+#ifdef ENCODED_CHARACTER
+    else if (eq_octet(check, &str_encoded_character, FALSE)) filter->require_encoded_character = TRUE;
+#endif
+#ifdef ENVELOPE_AUTH
+    else if (eq_octet(check, &str_envelope_auth, FALSE)) filter->require_envelope_auth = 1;
+#endif
+#ifdef ENOTIFY
+    else if (eq_octet(check, &str_enotify, FALSE))
+      {
+      if (!filter->enotify_mailto_owner)
+        {
+        filter->errmsg = CUS "enotify disabled";
+        return -1;
+        }
+        filter->require_enotify = 1;
+      }
+#endif
 #ifdef SUBADDRESS
-    else if (eq_asciicase(check,&str_subaddress,0)) filter->require_subaddress=1;
+    else if (eq_octet(check, &str_subaddress, FALSE)) filter->require_subaddress = TRUE;
 #endif
 #ifdef VACATION
-    else if (eq_asciicase(check,&str_vacation,0))
+    else if (eq_octet(check, &str_vacation, FALSE))
       {
-      if (filter_test == FTEST_NONE && filter->vacation_directory == NULL)
+      if (filter_test == FTEST_NONE && !filter->vacation_directory)
         {
-        filter->errmsg=CUS "vacation disabled";
+        filter->errmsg = CUS "vacation disabled";
         return -1;
         }
-      filter->require_vacation=1;
+      filter->require_vacation = TRUE;
       }
 #endif
-    else if (eq_asciicase(check,&str_copy,0)) filter->require_copy=1;
-    else if (eq_asciicase(check,&str_comparator_ioctet,0)) ;
-    else if (eq_asciicase(check,&str_comparator_iascii_casemap,0)) ;
-    else if (eq_asciicase(check,&str_comparator_iascii_numeric,0)) filter->require_iascii_numeric=1;
+    else if (eq_octet(check, &str_copy, FALSE)) filter->require_copy = TRUE;
+    else if (eq_octet(check, &str_comparator_ioctet, FALSE)) ;
+    else if (eq_octet(check, &str_comparator_iascii_casemap, FALSE)) ;
+    else if (eq_octet(check, &str_comparator_enascii_casemap, FALSE)) ;
+    else if (eq_octet(check, &str_comparator_iascii_numeric, FALSE)) filter->require_iascii_numeric = TRUE;
     else
       {
-      filter->errmsg=CUS "unknown capability";
+      filter->errmsg = CUS "unknown capability";
       return -1;
       }
     }
-    if (parse_semicolon(filter)==-1) return -1;
+    if (parse_semicolon(filter) == -1) return -1;
   }
-  if (parse_commands(filter,exec,generated)==-1) return -1;
+  if (parse_commands(filter, exec, generated) == -1) return -1;
   if (*filter->pc)
     {
-    filter->errmsg=CUS "syntax error";
+    filter->errmsg = CUS "syntax error";
     return -1;
     }
   return 1;
@@ -2721,9 +3508,11 @@ Arguments:
   filter      points to the entire file, read into store as a single string
   options     controls whether various special things are allowed, and requests
               special actions (not currently used)
-  sieve_vacation_directory  where to store vacation "once" files
-  useraddress string expression for :user part of address
-  subaddress  string expression for :subaddress part of address
+  sieve
+    vacation_directory         where to store vacation "once" files
+    enotify_mailto_owner       owner of mailto notifications
+    useraddress                        string expression for :user part of address
+    subaddress                 string expression for :subaddress part of address
   generated   where to hang newly-generated addresses
   error       where to pass back an error text
 
@@ -2736,71 +3525,75 @@ Returns:      FF_DELIVERED     success, a significant action was taken
 */
 
 int
-sieve_interpret(uschar *filter, int options, uschar *vacation_directory,
-  uschar *useraddress, uschar *subaddress, address_item **generated, uschar **error)
+sieve_interpret(const uschar * filter, int options, const sieve_block * sb,
+  address_item ** generated, uschar ** error)
 {
 struct Sieve sieve;
 int r;
-uschar *msg;
-
-options = options; /* Keep picky compilers happy */
-error = error;
+uschar * msg;
 
-DEBUG(D_route) debug_printf("Sieve: start of processing\n");
-sieve.filter=filter;
+DEBUG(D_route) debug_printf_indent("Sieve: start of processing\n");
+expand_level++;
+sieve.filter = filter;
 
-if (vacation_directory == NULL)
+if (!sb || !sb->vacation_dir)
   sieve.vacation_directory = NULL;
-else
+else if (!(sieve.vacation_directory = expand_cstring(sb->vacation_dir)))
   {
-  sieve.vacation_directory=expand_string(vacation_directory);
-  if (sieve.vacation_directory == NULL)
-    {
-    *error = string_sprintf("failed to expand \"%s\" "
-      "(sieve_vacation_directory): %s", vacation_directory,
-      expand_string_message);
-    return FF_ERROR;
-    }
+  *error = string_sprintf("failed to expand \"%s\" "
+    "(sieve_vacation_directory): %s", sb->vacation_dir,
+    expand_string_message);
+  return FF_ERROR;
+  }
+
+if (!sb || !sb->enotify_mailto_owner)
+  sieve.enotify_mailto_owner = NULL;
+else if (!(sieve.enotify_mailto_owner = expand_cstring(sb->enotify_mailto_owner)))
+  {
+  *error = string_sprintf("failed to expand \"%s\" "
+    "(sieve_enotify_mailto_owner): %s", sb->enotify_mailto_owner,
+    expand_string_message);
+  return FF_ERROR;
   }
 
-sieve.useraddress = useraddress == NULL ? CUS "$local_part_prefix$local_part$local_part_suffix" : useraddress;
-sieve.subaddress = subaddress;
+sieve.useraddress = sb && sb->useraddress
+  ? sb->useraddress : CUS "$local_part_prefix$local_part$local_part_suffix";
+sieve.subaddress = sb ? sb->subaddress : NULL;
 
 #ifdef COMPILE_SYNTAX_CHECKER
-if (parse_start(&sieve,0,generated)==1)
+if (parse_start(&sieve, 0, generated) == 1)
 #else
-if (parse_start(&sieve,1,generated)==1)
+if (parse_start(&sieve, 1, generated) == 1)
 #endif
-  {
   if (sieve.keep)
     {
-    add_addr(generated,US"inbox",1,0,0,0);
-    msg = string_sprintf("Keep");
+    add_addr(generated, US"inbox", 1, 0, 0, 0);
+    msg = US"Implicit keep";
     r = FF_DELIVERED;
     }
-    else
+  else
     {
-    msg = string_sprintf("No keep");
+    msg = US"No implicit keep";
     r = FF_DELIVERED;
     }
-  }
 else
   {
-  msg = string_sprintf("Sieve error: %s in line %d",sieve.errmsg,sieve.line);
+  msg = string_sprintf("Sieve error: %s in line %d", sieve.errmsg, sieve.line);
 #ifdef COMPILE_SYNTAX_CHECKER
   r = FF_ERROR;
   *error = msg;
 #else
-  add_addr(generated,US"inbox",1,0,0,0);
+  add_addr(generated, US"inbox", 1, 0, 0, 0);
   r = FF_DELIVERED;
 #endif
   }
 
 #ifndef COMPILE_SYNTAX_CHECKER
 if (filter_test != FTEST_NONE) printf("%s\n", (const char*) msg);
-  else debug_printf("%s\n", msg);
+  else debug_printf_indent("%s\n", msg);
 #endif
 
-DEBUG(D_route) debug_printf("Sieve: end of processing\n");
+expand_level--;
+DEBUG(D_route) debug_printf_indent("Sieve: end of processing\n");
 return r;
 }