| 105 | } |
| 106 | |
| 107 | static void PrintBinary(FILE *Out, dfsan_label L, size_t Len) { |
| 108 | char buf[kNumLabels + 1]; |
| 109 | assert(Len <= kNumLabels); |
| 110 | for (int i = 0; i < kNumLabels; i++) |
| 111 | buf[i] = (L & (1 << i)) ? '1' : '0'; |
| 112 | buf[Len] = 0; |
| 113 | fprintf(Out, "%s", buf); |
| 114 | } |
| 115 | |
| 116 | static void PrintDataFlow(FILE *Out) { |
| 117 | for (size_t Func = 0; Func < __dft.NumFuncs; Func++) { |