HashMap::new fails to verify: syscall undefined #723
Description
I tried this code:
use std::collections::HashMap;
fn main() {
let h = HashMap::<u32, u32>::new();
}using the following command line invocation:
rmc test.rs
with RMC version: ab096b6ce6a
I expected to see this happen: Verification successful
Instead, this happened: Verification failed:
function _ZN9hashbrown3raw4sse25Group12static_empty17h72b46d820a0d0565E
[_ZN9hashbrown3raw4sse25Group12static_empty17h72b46d820a0d0565E.assertion.1] assertion false: FAILURE
/home/ubuntu/git/rmc/library/core/src/cell.rs function std::cell::Cell::<T>::get
[std::cell::Cell::<T>::get.pointer_dereference.1] line 442 dereference failure: pointer NULL in *var_2: FAILURE
[std::cell::Cell::<T>::get.pointer_dereference.2] line 442 dereference failure: pointer invalid in *var_2: FAILURE
[std::cell::Cell::<T>::get.pointer_dereference.3] line 442 dereference failure: deallocated dynamic object in *var_2: FAILURE
[std::cell::Cell::<T>::get.pointer_dereference.4] line 442 dereference failure: dead object in *var_2: FAILURE
[std::cell::Cell::<T>::get.pointer_dereference.5] line 442 dereference failure: pointer outside object bounds in *var_2: FAILURE
[std::cell::Cell::<T>::get.pointer_dereference.6] line 442 dereference failure: invalid integer address in *var_2: FAILURE
/home/ubuntu/git/rmc/library/core/src/cell.rs function std::cell::Cell::<T>::replace
[std::cell::Cell::<T>::replace.assertion.1] line 400 resume instruction: SUCCESS
[std::cell::Cell::<T>::replace.pointer_dereference.1] line 403 dereference failure: pointer NULL in *var_3: FAILURE
[std::cell::Cell::<T>::replace.pointer_dereference.2] line 403 dereference failure: pointer invalid in *var_3: FAILURE
[std::cell::Cell::<T>::replace.pointer_dereference.3] line 403 dereference failure: deallocated dynamic object in *var_3: FAILURE
[std::cell::Cell::<T>::replace.pointer_dereference.4] line 403 dereference failure: dead object in *var_3: FAILURE
[std::cell::Cell::<T>::replace.pointer_dereference.5] line 403 dereference failure: pointer outside object bounds in *var_3: FAILURE
[std::cell::Cell::<T>::replace.pointer_dereference.6] line 403 dereference failure: invalid integer address in *var_3: FAILURE
/home/ubuntu/git/rmc/library/core/src/result.rs function std::result::Result::<T, E>::expect
[std::result::Result::<T, E>::expect.assertion.3] line 1299 resume instruction: SUCCESS
[std::result::Result::<T, E>::expect.assertion.2] line 1300 unreachable code: SUCCESS
[std::result::Result::<T, E>::expect.overflow.1] line 1300 arithmetic overflow on unsigned to signed type conversion in (long int)self.case: SUCCESS
[std::result::Result::<T, E>::expect.assertion.1] line 1302 a panicking function std::result::unwrap_failed is invoked: FAILURE
/home/ubuntu/git/rmc/library/std/src/thread/local.rs function std::collections::hash_map::RandomState::new::KEYS::__getit
[std::collections::hash_map::RandomState::new::KEYS::__getit.assertion.1] line 300 The function std::collections::hash_map::RandomState::new::KEYS::__getit is not currently supported by RMC: FAILURE
** 15 of 316 failed (8 iterations)
VERIFICATION FAILED