Телеграмм чат группы rust_offtopic страница 17356

02:43пожаловаться #1

M

Вон раст безопасный язык а ллвм не верефицировали все получается бесполезно

02:44пожаловаться #2

Ct

Compiler Explorer - Rust (rustc 1.45.2)

Casual tears

https://godbolt.org/z/Pjr8ET
Держи

godbolt.org

#[repr(C, align(16))]
struct Floats {
xs: [f32; 64]
}

#[no_mangle]
pub unsafe extern "C" fn init(foo: *mut std::ffi::c_void) {
let p = foo as *mut Floats;
// This is already UB
let floats: &mut Floats = &mut *p;
// and this will crash if array is unaligned
floats.xs = [42.0f32; 64];
}

Вейт, что-то оно и правда unaligned инструкции нагенеровало, лол. Кажется я обгадился.

02:45пожаловаться #3

M

Кругом дебилы

02:46пожаловаться #4

M

Так с сеньорами на сегодня все Джун спать пошел

02:49пожаловаться #5

M

Завтра предлагаю обсудить возможность вызывающей стороне узнавать форматирование методов библиотеки

02:51пожаловаться #6

RP

Roman Proskuryakov in rust_offtopic

Casual tears

Вейт, что-то оно и правда unaligned инструкции нагенеровало, лол. Кажется я обгадился.

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=0face7f059a683795c1594c6fb0ba299

мири согласна с первым твоим вариантом. ты не обгадился

02:54пожаловаться #7

RP

Roman Proskuryakov in rust_offtopic

можешь дальше спать спокойно)

02:55пожаловаться #8

Ct

Roman Proskuryakov

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=0face7f059a683795c1594c6fb0ba299

мири согласна с первым твоим вариантом. ты не обгадился

Ну то что там уже UB я знаю, тут просто смит утверждает что на это пофигу, ллвм "всё разрулит".

02:55пожаловаться #9

Ct

/me пытается заставить rustc таки нагенерить movaps

02:56пожаловаться #10

M

Тебе помочь?

02:56пожаловаться #11

M

asm!()

02:57пожаловаться #12

Ct

Compiler Explorer - Rust (rustc 1.45.2)

MrSmith

asm!()

https://godbolt.org/z/1fxrj9
Обошелся без асма

godbolt.org

#[repr(C, align(16))]
struct Floats {
xs: [f32; 64]
}

#[no_mangle]
pub unsafe extern "C" fn init(foo: *mut std::ffi::c_void) {
let p = foo as *mut Floats;
// this is already UB
let floats: &mut Floats = &mut *p;
init_floats(floats);
}

#[inline(never)]
unsafe fn init_floats(floats: &mut Floats) {
// and this will crash if array is unaligned
floats.xs = [42.0f32; 64];
}

02:57пожаловаться #13

M

А ну ок молодец

02:58пожаловаться #14

M

Осталось доказать что это может привести к крашу если память инициализирована (на стороне раст кода, не в ансейф блоке).

02:59пожаловаться #15

M

Как докажешь мне напиши я раст в помойку выкину и на хаскель пойду

03:03пожаловаться #16

SP

Stanislav Popov in rust_offtopic

MrSmith

Как докажешь мне напиши я раст в помойку выкину и на хаскель пойду

дошколенок, это все однинаковые помойки

03:04пожаловаться #17

M

А чё там царь по этому поводу?

03:04пожаловаться #18

M

C++?

03:04пожаловаться #19

Ct

MrSmith

Осталось доказать что это может привести к крашу если память инициализирована (на стороне раст кода, не в ансейф блоке).

А ты умеешь неинициализированную память по поинтеру инициализировать в расте без ансейфа? Научи.