Check arg count

syvb · RalfJung · web-flow · commit 8d43d727f42e · 2021-03-05T07:16:50.000-05:00
Co-authored-by: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
@@ -655,6 +655,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
             "try" => return this.handle_try(args, dest, ret),
 
             "breakpoint" => {
+                let &[] = check_arg_count(args)?;
                 // normally this would raise a SIGTRAP, which aborts if no debugger is connected
                 throw_machine_stop!(TerminationInfo::Abort("Trace/breakpoint trap".to_string()))
             }

Original file line number	Diff line number	Diff line change
`@@ -655,6 +655,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx`
`655`	`655`	`"try" => return this.handle_try(args, dest, ret),`
`656`	`656`
`657`	`657`	`"breakpoint" => {`
	`658`	`+ let &[] = check_arg_count(args)?;`
`658`	`659`	`// normally this would raise a SIGTRAP, which aborts if no debugger is connected`
`659`	`660`	`throw_machine_stop!(TerminationInfo::Abort("Trace/breakpoint trap".to_string()))`
`660`	`661`	`}`