summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorTavian Barnes <tavianator@tavianator.com>2024-05-23 14:20:49 -0400
committerTavian Barnes <tavianator@tavianator.com>2024-05-23 14:34:33 -0400
commit07b0c50e94543a88f699fa60b577d8e53c978ff1 (patch)
tree357cf01e20dc736effcd6dda32cd992db59e5744
parent43d4fb7b1996cb453120143581e92b5b6e07c265 (diff)
downloadbfs-07b0c50e94543a88f699fa60b577d8e53c978ff1.tar.xz
opt: true is true with probability 1, not 0
-rw-r--r--src/opt.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt.c b/src/opt.c
index aef98ff..d1dee11 100644
--- a/src/opt.c
+++ b/src/opt.c
@@ -1790,7 +1790,7 @@ static struct bfs_expr *data_flow_leave(struct bfs_opt *opt, struct bfs_expr *ex
if (df_is_bottom(&opt->after_false)) {
if (!expr->pure) {
expr->always_true = true;
- expr->probability = 0.0;
+ expr->probability = 1.0;
} else if (expr->eval_fn != eval_true) {
opt_warning(opt, expr, "This expression is always true.\n\n");
opt_debug(opt, "pure, always true\n");