Function store_pending_exnref_has_write_barrier

tests/all/exceptions.rs:435–474

(config: &mut Config)

#[wasmtime_test(wasm_features(exceptions))]
fn store_pending_exnref_has_write_barrier(config: &mut Config) -> wasmtime::Result<()> {
    config.collector(Collector::DeferredReferenceCounting);
    let engine = Engine::new(&config)?;
    let mut store = Store::new(&engine, ());

    let functy = FuncType::new(&engine, [ValType::EXTERNREF], []);
    let tagty = TagType::new(functy);
    let tag = Tag::new(&mut store, &tagty)?;
    let exnty = ExnType::from_tag_type(&tagty)?;
    let exnpre = ExnRefPre::new(&mut store, exnty);

    let dropped = Arc::new(AtomicBool::new(false));

    eprintln!("a1");

    {
        let mut scope = RootScope::new(&mut store);
        let r = ExternRef::new(&mut scope, SetFlagOnDrop(dropped.clone()))?;
        let exn1 = ExnRef::new(&mut scope, &exnpre, &tag, &[Val::ExternRef(Some(r))])?;
        let _ = scope.as_context_mut().throw::<()>(exn1);
    }
    eprintln!("a2");

    store.gc(None)?;
    eprintln!("a5");
    assert!(!dropped.load(Relaxed));

    {
        let mut scope = RootScope::new(&mut store);
        let exn2 = ExnRef::new(&mut scope, &exnpre, &tag, &[Val::ExternRef(None)])?;
        let _ = scope.as_context_mut().throw::<()>(exn2);
    }
    eprintln!("a3");

    store.gc(None)?;
    eprintln!("a4");
    assert!(dropped.load(Relaxed));

    Ok(())
}