From eb4d2263fedf3e5ed6aebe07323614aad157da99 Mon Sep 17 00:00:00 2001 From: Tavian Barnes Date: Thu, 6 Jun 2024 10:49:55 -0400 Subject: Minor formatting fixes --- src/opt.c | 42 +++++++++++++++++++++--------------------- 1 file changed, 21 insertions(+), 21 deletions(-) (limited to 'src/opt.c') diff --git a/src/opt.c b/src/opt.c index c4da7b2..9b091bd 100644 --- a/src/opt.c +++ b/src/opt.c @@ -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. */ -- cgit v1.2.3