Add a check to scan_ps_dicts.ps to report whitelist entries that aren't found.

1 files changed, 14 insertions, 2 deletions

diff --git a/toolbin/scan_ps_dicts.ps b/toolbin/scan_ps_dicts.ps
index 77f1a6c6d..72736997b 100644
--- a/toolbin/scan_ps_dicts.ps
+++ b/toolbin/scan_ps_dicts.ps
@@ -125,7 +125,7 @@
     } {
       pop
       /SCANDEBUG where { pop (skipping ') print dup =only (') = flush } if
-      pop
+      whitelist exch true put
     }
     ifelse
   } forall
@@ -774,7 +774,7 @@ EXTENSIONS_OPER_LIST operlist_to_whitelist
     dup =only (  ) print operator_list exch get ===
   } {
     /SCANDEBUG where { pop (skipping ') dup =only (') = flush } if
-    pop
+    whitelist exch true put
   }
   ifelse
 } forall
@@ -805,8 +805,20 @@ operator_list {
   } {
     pop
     /SCANDEBUG where { pop (skipping ') print dup =only (') = flush } if
+    whitelist exch true put
+  }
+  ifelse
+} forall
+
+(######################################################################################) =
+(\nwhitelist entries not seen in scan:\n) =
+whitelist {
+  exch type /nulltype eq {
+    =
+  } {
     pop
   }
   ifelse
 } forall
+
 quit