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

как он определил что цикл будет бесконечным?

11:00пожаловаться #1

Неужто проверил все 1000 значений? :)))

11:01пожаловаться #2

dmd слишкоп туп и даже с включенной оптимизацией впадает в бесконечый цикл.

Макс Воробьев... in dlang.ru

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

МВ

проверил теорему и понял, что не выйдет из цикла

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

LLVM в курсе теоремы Ферма. 😂

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

Эээээ

11:04пожаловаться #6

Так очевидно же

Кому? :)

Компилятору

11:04пожаловаться #9

Либо он знает о теореме Ферма, либо проверил все 1000 значений. :)

11:05пожаловаться #10

У тебя while(true) может завершиться либо break, либо return

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

точнее 1000*1000*1000 значений

11:05пожаловаться #12

Ну так там есть return.

11:05пожаловаться #13

У тебя return true ток

11:05пожаловаться #14

Так что при некоторых оптимизациях будет true 8)

11:06пожаловаться #15

Хм. Да, верно подмечено :)))
Раз другого return нету, значит это он и есть. :)))

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

Но вообще, стремная оптимизация на мой взгляд.

11:09пожаловаться #17

Теперь программа без оптимизации зависает, а с оптимизацией опровергает теорему.

11:09пожаловаться #18

Предупреждение выдавал бы какое-нибудь, что-ли :)

11:10пожаловаться #19

О, я придумал