From dbf8c2756d7ab96e0118f5bb2e24e0d7746f08bc Mon Sep 17 00:00:00 2001 From: John Regehr Date: Wed, 23 Sep 2026 11:36:00 -0600 Subject: [PATCH] fix --- llvm_util/cmd_args_def.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/llvm_util/cmd_args_def.h b/llvm_util/cmd_args_def.h index 5ecbee14b..110b212e2 100644 --- a/llvm_util/cmd_args_def.h +++ b/llvm_util/cmd_args_def.h @@ -27,7 +27,7 @@ config::quiet = opt_quiet; config::max_offset_bits = opt_max_offset_in_bits; config::max_sizet_bits = opt_max_sizet_in_bits; -if (!std::has_single_bit(opt_single_vscale)) { +if (!std::has_single_bit(unsigned(opt_single_vscale))) { cerr << "Alive2: " LLVM_ARGS_PREFIX "single-vscale must be a positive power of two!" << endl; exit(1);