[PATCH] Add flag to dump the labels when the program terminates.

[Lorenzo Martignoni]

================
Comment at: test/dfsan/dump_labels.c:58
@@ +57,3 @@
+    // This should not happen if the program correctly runs out of labels.
+    fprintf(stderr, "l %d\n", l);
+
----------------
pcc wrote:
> You could add a `CHECK-OOL-NOT` line to make sure this line is not printed.
Dropped since the exitstatus already captures this.

http://reviews.llvm.org/D6306