// Checks that `-Z instrument-xray` options can be specified multiple times.
//
// needs-xray
// compile-flags: -Z instrument-xray=skip-exit -Copt-level=0
// compile-flags: -Z instrument-xray=instruction-threshold=123 -Copt-level=0
// compile-flags: -Z instrument-xray=instruction-threshold=456 -Copt-level=0

#![crate_type = "lib"]

// CHECK:      attributes #{{.*}} "xray-instruction-threshold"="456" "xray-skip-exit"
// CHECK-NOT:  attributes #{{.*}} "xray-instruction-threshold"="123"
pub fn function() {}