Pierre Krieger

Indirect dependency through `wasmi`.

Blocked on https://github.com/paritytech/wasmi/issues/537

`BTreeMap::new` will be stable in an upcoming version: https://github.com/rust-lang/rust/pull/102197

What makes c2rust generate warnings then panic seems to be this code in `math-vector.h`: ```c #if __GNUC_PREREQ(9, 0) # define __ADVSIMD_VEC_MATH_SUPPORTED typedef __Float32x4_t __f32x4_t; typedef __Float64x2_t __f64x2_t; #elif __glibc_clang_prereq(8, 0)...

Can be reproduced by running https://github.com/paritytech/smoldot/pull/2876 with the Polkadot chain.

> Can be reproduced by running https://github.com/paritytech/smoldot/pull/2876 with the Polkadot chain. Can't reproduce anymore. This is a bit annoying, as reviewing the code again doesn't reveal any mistake to me.

Blocked on https://github.com/paritytech/smoldot/issues/2930

Since https://github.com/paritytech/smoldot/issues/2930 is not doable, this is instead blocked on https://github.com/paritytech/smoldot/issues/165.

I don't see how https://github.com/w3f/polkadot-spec/pull/554 covers any of the questions that I've raised, and I don't see any answer to them in the spec. For some reason I don't have...

I would say that the first two points are now covered by https://github.com/w3f/polkadot-spec/issues/577 and https://github.com/w3f/polkadot-spec/issues/575 Only remains: > What happens if the runtime calls any of the ext_default_child_storage_* host functions...