diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2024-05-23 14:20:49 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2024-05-23 14:34:33 -0400 |
commit | 07b0c50e94543a88f699fa60b577d8e53c978ff1 (patch) | |
tree | 357cf01e20dc736effcd6dda32cd992db59e5744 /src/opt.c | |
parent | 43d4fb7b1996cb453120143581e92b5b6e07c265 (diff) | |
download | bfs-07b0c50e94543a88f699fa60b577d8e53c978ff1.tar.xz |
opt: true is true with probability 1, not 0
Diffstat (limited to 'src/opt.c')
-rw-r--r-- | src/opt.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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"); |