Size: a a a

WebAssembly — русскоговорящее сообщество

2019 April 01

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
это больше вопрос к гарантиям, которые обеспечивает спека
источник

AB

Aleksandr Borgardt in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
т.е. тут зависит от всего сетапа: тулчейн, таргет ОС, хост ОС и т.д.
отчасти согласен  но о  ub  могуть судить люди из коммитета по стандартизации по С++
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
clang сначала C/C++ компилирует в llvm, а потом llvm в wasm
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
на первом этапе как раз проявляются UB
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Aleksandr Borgardt
отчасти согласен  но о  ub  могуть судить люди из коммитета по стандартизации по С++
не боги горшки лепят:)
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
эмм
источник

AB

Aleksandr Borgardt in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
clang сначала C/C++ компилирует в llvm, а потом llvm в wasm
ты у верен а то слове как то мало
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
на первом этапе как раз проявляются UB
трудно поверить, будто C++ дядьки 30 лет не работали :)
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Aleksandr Borgardt
ты у верен а то слове как то мало
сорян, ребят, моя твоя не понимать:)
источник

AB

Aleksandr Borgardt in WebAssembly — русскоговорящее сообщество
при трансляции  кода из С++ ->  wasm  больше этапов обработки
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Alexey F.
трудно поверить, будто C++ дядьки 30 лет не работали :)
так это же UB, они тщательно записаны в стандарте
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
да, но они имеют смысл
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Aleksandr Borgardt
при трансляции  кода из С++ ->  wasm  больше этапов обработки
это очевидно, но концептуально выглядит так
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
так это же UB, они тщательно записаны в стандарте
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
Alexey F.
да, но они имеют смысл
это сразу становится понятно, после после прохождения по списку UB
источник

AB

Aleksandr Borgardt in WebAssembly — русскоговорящее сообщество
Mikhail Voronov
это очевидно, но концептуально выглядит так
тоже самое можно говорить про работо malloc  в  linux  но черт в деталях
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
вот так записано в последнем стандарте Си UB для логического сдвига
источник

AF

Alexey F. in WebAssembly — русскоговорящее сообщество
он не ловится?
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Aleksandr Borgardt
тоже самое можно говорить про работо malloc  в  linux  но черт в деталях
не ну я конечно могу написать несколько страниц а4 по этому поводу и сюда скидывать, но разве такого уровня детализации недостаточно, чтобы обсудить эту тему?
источник

MV

Mikhail Voronov in WebAssembly — русскоговорящее сообщество
Alexey F.
он не ловится?
неа, там в 99,9% будет 0 если additive больше 64, но никто это не гарантирует
источник