NK
>JavaScript library
>TypeScript
триггеред
>TypeScript
триггеред
Поправил. Но для использования ее не обязателен typescript
Size: a a a
2019 April 01
MV
а если у меня в C/C++ коде UB и я транслирую его в wasm с помощью clang - результат непредсказуем же?
AF
я думаю должна быть проверка при компиляции, как в xCode
AF
когда для iOS пишешь
MV
в частности, если тут (https://github.com/michaelvoronov/musl/blob/wasm-prototype-1/src/malloc/malloc.c#L306) i будет 64 (в С это ub), то в wasm коде результат недетерминирован?
NK
Скорее всего будет такое же UB, кроме того wasm может их интерпретировать еще и по-другому нежели в нативном таргете
MV
я думаю должна быть проверка при компиляции, как в xCode
иногда, как в этом примере, это может проявиться только в рантайме, поэтому все UB в статике нельзя найти
MV
ID:414983998
Скорее всего будет такое же UB, кроме того wasm может их интерпретировать еще и по-другому нежели в нативном таргете
ну вот да, компилятор может просто return 0 скомпилировать на месте UB участка даже в wasm
AF
так надо вызовы и проверять по-идее
NK
в частности, если тут (https://github.com/michaelvoronov/musl/blob/wasm-prototype-1/src/malloc/malloc.c#L306) i будет 64 (в С это ub), то в wasm коде результат недетерминирован?
В wasm все детерминировано, кроме NaN, потоков и SIMD
MV
ID:414983998
В wasm все детерминировано, кроме NaN, потоков и SIMD
я имею в виду не поведение кода, а его генерацию
MV
одной версией компилятора можем получить один код, а другой - другой
NK
одной версией компилятора можем получить один код, а другой - другой
Ну это UB компиляторов, а не самого wasm)
MV
там же всё через llvm
AF
так именно результат же проверяется
MV
ID:414983998
Ну это UB компиляторов, а не самого wasm)
+
MV
так именно результат же проверяется
не понял
AF
результирующий бинарник
MV
всё равно не понял:)