output (dontopt) in print_indent_tree()

diff --git a/src/regcomp.c b/src/regcomp.c
index 4ad77f24e6f29146fe7f1135509d390ae1e374eb..2cdd783c11879022ee612f1e2464f8f143cd02fb 100644 (file)
--- a/src/regcomp.c
+++ b/src/regcomp.c
@@ -6507,6 +6507,7 @@ print_indent_tree(FILE* f, Node* node, int indent)
   case NODE_STRING:
     {
       char* mode;
+      char* dont;
 
       if (NODE_STRING_IS_RAW(node))
         mode = "-raw";
@@ -6515,7 +6516,12 @@ print_indent_tree(FILE* f, Node* node, int indent)
       else
         mode = "";
 
-      fprintf(f, "<string%s:%p>", mode, node);
+      if (NODE_STRING_IS_DONT_GET_OPT_INFO(node))
+        dont = " (dont-opt)";
+      else
+        dont = "";
+
+      fprintf(f, "<string%s%s:%p>", mode, dont, node);
       for (p = STR_(node)->s; p < STR_(node)->end; p++) {
         if (*p >= 0x20 && *p < 0x7f)
           fputc(*p, f);