diff options
| -rw-r--r-- | src/bfstd.h | 2 | ||||
| -rw-r--r-- | src/opt.c | 42 |
2 files changed, 22 insertions, 22 deletions
diff --git a/src/bfstd.h b/src/bfstd.h index 45db81a..afb5282 100644 --- a/src/bfstd.h +++ b/src/bfstd.h @@ -376,7 +376,7 @@ size_t xread(int fd, void *buf, size_t nbytes); * writes. * * @return - The number of bytes written. A value != nbytes indicates an error. + * The number of bytes written. A value != nbytes indicates an error. */ size_t xwrite(int fd, const void *buf, size_t nbytes); @@ -300,27 +300,27 @@ static void df_init_top(struct df_domain *value) { /** Check for the top element. */ static bool df_is_top(const struct df_domain *value) { - for (int i = 0; i < PRED_TYPES; ++i) { - if (value->preds[i] != PRED_TOP) { - return false; - } - } - - for (int i = 0; i < RANGE_TYPES; ++i) { - if (!range_is_top(&value->ranges[i])) { - return false; - } - } - - if (value->types != ~0U) { - return false; - } - - if (value->xtypes != ~0U) { - return false; - } - - return true; + for (int i = 0; i < PRED_TYPES; ++i) { + if (value->preds[i] != PRED_TOP) { + return false; + } + } + + for (int i = 0; i < RANGE_TYPES; ++i) { + if (!range_is_top(&value->ranges[i])) { + return false; + } + } + + if (value->types != ~0U) { + return false; + } + + if (value->xtypes != ~0U) { + return false; + } + + return true; } /** Compute the union of two fact sets. */ |