Size: a a a

2020 August 10

CD

Constantine Drozdov in rust_offtopic
Коля🤔🎭
С какого пальца высосал?
тебе матчасть учить
источник

CD

Constantine Drozdov in rust_offtopic
Nick Linker
Ну в коде выше

void f1() {
  int a { 1 };
  int b { 2 };
  int c { 3 };
}

void f2() {
  int a, b, c;
  printf(“%i %i %i”, a, b, c);
}

int main() {
  f1();
  f2();
}

мы не можем определить семантику этого кода в точности, как раз из-за UB, я даже никогда не видел, как моделируется UB.
Его даже _|_ нельзя сделать, потому что код выше очевидно завершится и даже что-то выведет.
тут есть в этой модели аксиома языка, что переменная записывается до чтения
источник

(L

(((Mike Lubinets))) in rust_offtopic
Коля🤔🎭
Переслано от Коля🤔🎭
int x = 5, y = 6;
int z = x++ + y++;
Ну это прям хуевый доеб, прямо скажем
источник

К

Коля🤔🎭 in rust_offtopic
(((Mike Lubinets)))
Ну это прям хуевый доеб, прямо скажем
Да, но как пример сгодится
источник

К

Коля🤔🎭 in rust_offtopic
Constantine Drozdov
тебе матчасть учить
Хорошо, как скажешь
источник

CD

Constantine Drozdov in rust_offtopic
Nick Linker
Ну в коде выше

void f1() {
  int a { 1 };
  int b { 2 };
  int c { 3 };
}

void f2() {
  int a, b, c;
  printf(“%i %i %i”, a, b, c);
}

int main() {
  f1();
  f2();
}

мы не можем определить семантику этого кода в точности, как раз из-за UB, я даже никогда не видел, как моделируется UB.
Его даже _|_ нельзя сделать, потому что код выше очевидно завершится и даже что-то выведет.
то есть если верификатор будет существовать, он должен указать "мне не очевидно, что в этом коде не нарушается правило "переменная пишется до чтения"
источник

CD

Constantine Drozdov in rust_offtopic
и сказать, что программа не компилируется
источник

К

Коля🤔🎭 in rust_offtopic
а скомпилируется
источник

К

Коля🤔🎭 in rust_offtopic
*вНеЗаПнО*
источник

NL

Nick Linker in rust_offtopic
Коля🤔🎭
а скомпилируется
Ну не должна, если бы была система аксиом и верификатор.
источник

NL

Nick Linker in rust_offtopic
Constantine Drozdov
то есть если верификатор будет существовать, он должен указать "мне не очевидно, что в этом коде не нарушается правило "переменная пишется до чтения"
Да, здесь согласен.
источник

(L

(((Mike Lubinets))) in rust_offtopic
Дак это, оно есть и у раста как интринсик
источник

К

Коля🤔🎭 in rust_offtopic
Лмао
источник

К

Коля🤔🎭 in rust_offtopic
Переслано от Roman na
Молчание знак согласия. Передайте там хозяину - меня забанили, а то балабол решил затеряться.
источник

К

Коля🤔🎭 in rust_offtopic
Последние ~70 сообщений втирает про какого-то хозяина. Человек реально шизоид
источник

(L

(((Mike Lubinets))) in rust_offtopic
Constantine Drozdov
ну его аргумент корректен
Нет. Наличие или отсутствие в C++ UB не зависит от даже существования раста, не говоря о количестве его компиляторов
источник

p

polunin.ai in rust_offtopic
Constantine Drozdov
на практике он так не сделает, но право имеет :)
право имеет!
источник

NL

Nick Linker in rust_offtopic
Коля🤔🎭
Последние ~70 сообщений втирает про какого-то хозяина. Человек реально шизоид
Как это, его забанили в его канаве канале?
источник

К

Коля🤔🎭 in rust_offtopic
Nick Linker
Как это, его забанили в его канаве канале?
Ахахаха, нет. Я чего в ЧС кинул
источник

К

Коля🤔🎭 in rust_offtopic
Наглухо-отбитый осёл
источник