(dump_device_table): Handle an invalid table.

diff --git a/example/otfdump.c b/example/otfdump.c
index 5189771..a34cd77 100644 (file)
--- a/example/otfdump.c
+++ b/example/otfdump.c
@@ -306,10 +306,14 @@ dump_device_table (int indent, char *title, OTF_DeviceTable *table)
   indent++;
   IPRINT ("(StartSize %d) (EndSize %d) (DeltaFormat %d)",
          table->StartSize, table->EndSize, table->DeltaFormat);
-  IPRINT ("(DeltaValue");
-  for (i = 0; i < table->EndSize - table->StartSize + 1; i++)
-    printf (" %d", table->DeltaValue[i]);
-  printf ("))");
+  if (table->DeltaValue)
+    {
+      IPRINT ("(DeltaValue");
+      for (i = 0; i < table->EndSize - table->StartSize + 1; i++)
+       printf (" %d", table->DeltaValue[i]);
+      printf (")");
+    }
+  printf (")");
 }
 
 \f