summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/bfstd.h2
-rw-r--r--src/opt.c42
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);
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. */