How to become an author
Search
Write a publication
Pull to refresh

Comments 23

С релизом! Картинки в посте отменные, особенно единорожий троллфейс.
Разработчик считает, что это глюк в компиляторе.

Неужели UBSan настолько непопулярен? Он ведь нашёл бы такое за секунды.
Total votes 1: ↑1 and ↓0+1
void main(void){
    float d = 3.14f;
    int i = 1;
    auto sum = d + i;
}


pvs.c: In function ‘main’:
pvs.c:6:6: error: type defaults to ‘int’ in declaration of ‘sum’ [-Werror=implicit-int]
auto sum = d + i;
^~~


но пасаран!

// ладно, я тоже слегка потроллил :), там по дефолту ворнинг, но не молча же всё это происходит!
Total votes 2: ↑1 and ↓10
Компилятор не читает мои комментарии, в отместку я не читаю его варнинги.
Total votes 7: ↑7 and ↓0+7
если только :)
«назло маме отморожу уши!»
Total votes 1: ↑1 and ↓0+1
угу, особенно те, где написано «я бедный пакистанский вирус, протестируйте меня бесплатно, нупазязя!!» :)
Total votes 4: ↑4 and ↓0+4
У меня возник вопрос: А что говорит PVS-Studio 6.26 о чистоте кода PVS-Studio 6.26?
Total votes 2: ↑1 and ↓10
Говорит, что всё чисто. У разработчиков, использующих Visual Studio, включен анализ после сборки. И, естественно, анализатор запускается ночью и рассылает письма счастья тем, кто заложил подозрительный код и тимлидам (см. BlameNotifier).
Total votes 2: ↑2 and ↓0+2
А у разработчиков, использующих Linux, все тоже нормально. Так как статический анализ также интегрирован в рабочий процесс, по коммитамм запускаются проверки и все работает как надо.
Total votes 5: ↑5 and ↓0+5
Разработчиков на macOS тоже не обидели :D Там всё работает как в версии для Linux.
Total votes 5: ↑5 and ↓0+5
В очередной раз посмеялся с горе-программистов, которые чуть что винят компилятор (это к дискуссии про V1026).
Total votes 1: ↑1 and ↓0+1
Компилятор видит, что в переменной r считается некоторая сумма. Переполнения переменной r произойти не должно. Иначе это неопределённое поведение, которое компилятор никак не должен рассматривать и учитывать.
Это, к сожалению, распространённое заблуждение, в которое, увы, верят и разработчики трансляторов. Поведение, не определённое в стандарте означает, что ответственность за его определение переносится с создателей стандарта на создателей транслятора. Это совсем не означает, что оно не должно учитываться, но именно так многие считают и распоряжаются своей отвественностью так, как Вы описали.
Претензия к компилятору вполне обоснована, но расчёт на то, что тут кто-то кому-то должен был бы наивен.
Тем не менее, прочувствовать правильный учёт ошибочной ситуации можно, включив опции -fsanitize=undefined -fsanitize-undefined-trap-on-error.
Total votes 2: ↑0 and ↓2-2
Вы путаете undefined behaviour и unspecified. Последнее как раз должно быть определено компилятором (но не обязательно документировано). А при undefined никто ничего никому не должен. Программа, его содержащая более не считается программой на языке С++. Что и используют разработчики компиляторов для проведения жёстких оптимизаций.
Total votes 4: ↑4 and ↓0+4
Я не путаю. В компиляторе нет неопределённых мест по природе программ на цифровых вычислительных устройствах(с поправкой на точность определения машинного языка). Неопределённость может быть только в спецификации. Вопрос лишь в том, как именно определяется поведение в компиляторе — наиболее разумным способом или абы как ради баллов в очках оптимизации, задано один раз или меняется от версии к версии. Unspecified же поведение как раз-таки определено на уровне стандарта, но подразумевает возможность выбора. В этом и суть названия, которое плохо передаётся на русском, — оно определено, но не специфицировано.
This comment wasn’t rated yet0
А планируете ли что-нибудь подобное для Python?
Настоящий такой, статический анализ?
Если нет, то какие сейчас сложности основные есть?
Если да, то когда ждать эту прелесть?
// естественно, будет максимально круто написать его на питоне :)
This comment wasn’t rated yet0
Про Python пока вообще не думали. Нам ещё Java делать и делать, продвигать и продвигать. Возможно потом будет смотреть в сторону PHP или JavaScript.
Total votes 2: ↑2 and ↓0+2
Подумайте пожалуйста, очень трудно. Сам Гвидо сказал что проверку для рекурсивных типов он не осилил и ему и так хорошо:

IIRC Brett and I tried and failed to come up with a recursive definition that worked in mypy
и далее:
In my own code I use this:
JsonDict = Dict[str, Any]
which happens to cover perfectly what I'm doing

© github.com/python/typing/issues/182

Ещё очнь нехватает возможности для произволной строчки в коде узнать какие эксепшены там вообще могут быть. :)
This comment wasn’t rated yet0
Мне кажется, что это потенциально нерешаемая задача :)
Какое-то количество мы можем найти, но гарантировать, что нашла все не можем
This comment wasn’t rated yet0
Ну на Питоне очень многое из «выстрели себе в ногу на С/С++» в принципе невозможно. Очень маленький простор для статического анализа. Хотя конечно копи-пасты и а != 2 || a != 3 возможны и там…
This comment wasn’t rated yet0
А насколько сложно создать версии для Rust на основе уже имеющейся?
Total votes 1: ↑1 and ↓0+1
Спасибо!
Планирую изучить Rust, вместе с Vulcan (надеюсь под него есть либа).
This comment wasn’t rated yet0
Sign up to leave a comment.

Your account

Sections

Information

Services

Support
© 2006–2024, Habr