Skip to content

Commit a6207ec

Browse files
committed
interpret: do not claim UB until we looked more into variadic functions
1 parent 4322a78 commit a6207ec

File tree

1 file changed

+1
-6
lines changed

1 file changed

+1
-6
lines changed

compiler/rustc_const_eval/src/interpret/terminator.rs

+1-6
Original file line numberDiff line numberDiff line change
@@ -353,12 +353,7 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
353353
// FIXME: for variadic support, do we have to somehow determine callee's extra_args?
354354
let callee_fn_abi = self.fn_abi_of_instance(instance, ty::List::empty())?;
355355

356-
if callee_fn_abi.c_variadic != caller_fn_abi.c_variadic {
357-
throw_ub_format!(
358-
"calling a c-variadic function via a non-variadic call site, or vice versa"
359-
);
360-
}
361-
if callee_fn_abi.c_variadic {
356+
if callee_fn_abi.c_variadic || caller_fn_abi.c_variadic {
362357
throw_unsup_format!("calling a c-variadic function is not supported");
363358
}
364359

0 commit comments

Comments
 (0)