| 1.1, Аноним (-), 21:11, 01/11/2013 [ответить] [﹢﹢﹢] [ · · · ]
| +/– | |
> Undefined Behavior Sanitizer ("UBSAN", -fsanitize=undefined) - анализатор неопределенного поведения, пытающийся обнаруживать во время выполнения программы ситуации, когда поведение программы окажется неопределенным из-за ошибки программиста.
Достойный ответ на http://www.opennet.ru/opennews/art.shtml?num=38293 (хотя некоторые комментаторы в том обсуждении и придерживались мнения, что компилятор не должен заниматься этими вещами).
| | |
| |
| 2.16, Crazy Alex (ok), 01:02, 02/11/2013 [^] [^^] [^^^] [ответить]
| +2 +/– |
 Оно в РАНТАЙМЕ это делает. Понимаешь разницу между статическим анализатором и рантайм-проверками?
И да, статические проверки лучше делать отдельно - не при сборке, а перед коммитом, например.
| | |
| |
| 3.32, Аноним (-), 11:00, 02/11/2013 [^] [^^] [^^^] [ответить]
| –1 +/– | |
> Оно в РАНТАЙМЕ это делает. Понимаешь разницу между статическим анализатором и рантайм-проверками?
Склонен полагать, что это все же неточность. Самые опасные UB можно отловить еще на стадии компиляции.
| | |
| |
| 4.45, ананим (?), 12:34, 02/11/2013 [^] [^^] [^^^] [ответить]
| +1 +/– |
А не нужно полагать. Это не слёт юных Ванг.
Читать чендж-логи надо:
>Various computations will be instrumented to detect undefined behavior at runtime.
.
| | |
|
|
| 2.18, ананим (?), 01:12, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
Потому что и там, и тут вы путаете анализатор, оптимизатор и собственно компилятор.
| | |
|
| |
| 2.6, Аноним (-), 22:22, 01/11/2013 [^] [^^] [^^^] [ответить]
| +9 +/– |
Ну на С++ же тратят, а он гораздо хуже. Почему бы и на Аду не потратить?
| | |
| |
| 3.11, Аноним (-), 23:54, 01/11/2013 [^] [^^] [^^^] [ответить]
| –4 +/– | |
> Ну на С++ же тратят, а он гораздо хуже
Пофиг на объективные достоинства и недостатки, все определяет популярность.
| | |
| |
| 4.12, Аноним (-), 00:05, 02/11/2013 [^] [^^] [^^^] [ответить]
| +1 +/– | |
> Пофиг на объективные достоинства и недостатки, все определяет популярность.
Ну тогда гaвно вне конкуренции: миллионы мух не могут ошибаться!
| | |
| |
| |
| 6.37, arisu (ok), 11:16, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
 > мы всё еще о с++?
согласен, «говно» для c++ — слишком мягко и ласково.
| | |
|
|
|
| 3.24, Ytch (ok), 02:05, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
 > а он гораздо хуже.
А где "по моему скромному мнению" или "на мой вкус" (в этом случае это хотя бы не было наглым враньем)?
| | |
| |
| 4.39, arisu (ok), 11:21, 02/11/2013 [^] [^^] [^^^] [ответить]
| +1 +/– | |
> (в этом случае это хотя бы не было наглым враньем)?
а оно и без этого не враньё.
| | |
|
|
| 2.21, Аноним (-), 01:31, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– | |
>Очень жаль что до сих пор тратятся силы на поддержку ADA.
А что вы тогда скажите про Fortran ? ;)
| | |
| |
| 3.35, Аноним (-), 11:04, 02/11/2013 [^] [^^] [^^^] [ответить]
| –1 +/– | |
> А что вы тогда скажите про Fortran ? ;)
Что он как язык для математических расчетов до сих пор вне конкуренции?
| | |
| |
| 4.47, Аноням (?), 13:48, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
Ну тогда Ada, по степени надёжности программ на нём, до сих пор вне конкуренции для Пентагоновской военки.
| | |
|
|
|
| 1.3, Аноним (-), 21:49, 01/11/2013 [ответить] [﹢﹢﹢] [ · · · ]
| +6 +/– | |
А как же самое значимое нововведение? ЦВЕТНОЙ ВЫВОД СООБЩЕНИЙ ОБ ОШИБКАХ!
Включается через -fdiagnostics-color=auto
| | |
| |
| 2.5, arisu (ok), 22:00, 01/11/2013 [^] [^^] [^^^] [ответить]
| –6 +/– |
> А как же самое значимое нововведение? ЦВЕТНОЙ ВЫВОД СООБЩЕНИЙ ОБ ОШИБКАХ!
> Включается через -fdiagnostics-color=auto
наверняка сделают по умолчанию включеным — так же, как и идиотскую каретку. два патча надо будет накладывать.
| | |
| |
| 3.10, Аноним (-), 23:53, 01/11/2013 [^] [^^] [^^^] [ответить]
| +/– | |
> наверняка сделают по умолчанию включеным — так же, как и идиoтскую каретку. два патча надо будет накладывать.
Зачем, если можно просто пользоваться gcc 4.3.3?
| | |
| |
| 4.13, Аноним (-), 00:06, 02/11/2013 [^] [^^] [^^^] [ответить]
| +1 +/– | |
> Зачем, если можно просто пользоваться gcc 4.3.3?
Лучше 2.95 сразу :)
| | |
| |
| 5.23, Аноним (-), 01:57, 02/11/2013 [^] [^^] [^^^] [ответить]
| +3 +/– |
2.95 был реактивный по скорости сборки. После него 3-я ветка казалось жутко тормозной.
| | |
| |
| 6.52, Аноним (-), 14:31, 02/11/2013 [^] [^^] [^^^] [ответить]
| +1 +/– | |
> 2.95 был реактивный по скорости сборки.
- А я могу печатать 1000 знаков в минуту. Правда такая фигня получается...
| | |
|
|
|
| 3.54, pv47 (ok), 15:03, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
 > наверняка сделают по умолчанию включеным — так же, как и идиотскую каретку.
*из танка* а что за каретка??
| | |
| |
| 4.57, arisu (ok), 16:27, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
>> наверняка сделают по умолчанию включеным — так же, как и идиотскую каретку.
> *из танка* а что за каретка??
дебильное нововведение в gcc 4.8, упёртое из шланга: выводить кроме места ошибки ещё и строку с ошибкой, а снизу подпирать кареткой.
| | |
| |
| 5.66, Аноним (-), 22:29, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
Да, очень бесит чудаков которые по 20 варнингов сперва наплодят а потом оказывается что теперь мат компилера не влезает на экран.
| | |
| |
| 6.68, arisu (ok), 23:06, 02/11/2013 [^] [^^] [^^^] [ответить] | +1 +/– | в виде исключения отвечу даже без 171 ты идиот 187 видишь ли, визуальный му... большой текст свёрнут, показать | | |
|
|
| 4.88, pavlinux (ok), 18:38, 07/12/2013 [^] [^^] [^^^] [ответить]
| +/– |
 >> наверняка сделают по умолчанию включеным — так же, как и идиотскую каретку.
> *из танка* а что за каретка??
dfdfd
| | |
|
| 3.67, Аноним (-), 22:43, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
Зачем патч? -fno-diagnostics-color -fno-diagnostics-show-caret чем не устраивает?
| | |
| |
| 4.69, arisu (ok), 23:09, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– | |
> Зачем патч? -fno-diagnostics-color -fno-diagnostics-show-caret чем не устраивает?
тем, что старые версии gcc на неизвестные «-f» тупо падают, отказывась компилировать что бы то ни было. а я собираю софт не только у себя на технике. поэтому варианты такие: или жестоко впиливать проверку на версию компилятора и добавлять этот флаг в сборочных скриптах по необходимости, или один раз пропатчить gcc, сменив значение на «по умолчанию — выключено». второй вариант мне нравится больше.
| | |
| |
| 5.73, Led (ok), 23:30, 02/11/2013 [^] [^^] [^^^] [ответить]
| +1 +/– |
 >> Зачем патч? -fno-diagnostics-color -fno-diagnostics-show-caret чем не устраивает?
> тем, что старые версии gcc на неизвестные «-f» тупо падают, отказывась компилировать
> что бы то ни было. а я собираю софт не только
> у себя на технике. поэтому варианты такие: или жестоко впиливать проверку
> на версию компилятора и добавлять этот флаг в сборочных скриптах по
> необходимости, или один раз пропатчить gcc, сменив значение на «по умолчанию
> — выключено». второй вариант мне нравится больше.
А вариант "один раз прописать в *.specs" не рассматривается?
| | |
| |
| 6.74, arisu (ok), 23:42, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– | |
> А вариант «один раз прописать в *.specs» не рассматривается?
нет.
| | |
|
|
|
|
|
| |
| 2.17, ананим (?), 01:09, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
Минус один тебе, как шлангисту.
А для жабистов ты теперь вообще еретик.
| | |
| 2.40, arisu (ok), 11:35, 02/11/2013 [^] [^^] [^^^] [ответить]
| +1 +/– | |
> Только что собрал
мы все ждали этого сообщения — и дождались, наконец!
изя, собрать программу из исходников подвиг только для тебя. для нормальных людей это обучное действие, о котором не надо гордо сообщать на форумах.
| | |
| |
| 3.50, Andrey Mitrofanov (?), 14:00, 02/11/2013 [^] [^^] [^^^] [ответить]
| +1 +/– |
> изя, собрать программу из исходников подвиг
>надо гордо сообщать на форумах.
"Мы пахали! Язень и пакеж ментейнер."
| | |
|
| 2.49, Аноним (-), 13:59, 02/11/2013 [^] [^^] [^^^] [ответить]
| +2 +/– | |
> Только что собрал
Круто. И что ты с ним будешь делать? Я не думаю что твоей квалификации хватит тестировать экспериментальный компилер, а компилить пререлизной версией софт... проще в саперы сразу записаться при такой хабрахрабрости :).
| | |
|
| 1.15, all_glory_to_the_hypnotoad (ok), 00:39, 02/11/2013 [ответить] [﹢﹢﹢] [ · · · ]
| +1 +/– |
 > Портирование Undefined Behavior Sanitizer ("UBSAN", -fsanitize=undefined) - анализатор неопределенного поведения, пытающийся обнаруживать во время выполнения программы ситуации, когда поведение программы окажется неопределенным из-за ошибки программиста.
какого хрена не на стадии компиляции
| | |
| |
| |
| 3.41, arisu (ok), 11:40, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– | |
> Дyрак, да?
таки да. что странно: раньше, вроде, нормальный был.
| | |
|
| 2.20, Главные Редакторы (ok), 01:28, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
 > какого хрена не на стадии компиляции
Процессоры шибко быстрыми стали, ресурс их надо чем то нагрузить, очевидно же.
| | |
| |
| 3.34, Аноним (-), 11:04, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
>> какого хрена не на стадии компиляции
> Процессоры шибко быстрыми стали, ресурс их надо чем то нагрузить, очевидно же.
Пусть лучше вместо всяких деревьев и хешей вкорячивают несортированные списки, с поиском путем перебора. Нуачо, код становится проще и прозрачнее, а оптимизации - да фиг с ними.
| | |
| 3.51, Аноним (-), 14:02, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
>> какого хрена не на стадии компиляции
> Процессоры шибко быстрыми стали, ресурс их надо чем то нагрузить, очевидно же.
Перепись дубов на опеннете объявляется открытой. Так, кто еще выкладки Тюринга из "програмеров" не знает? А ну дописывайся сюда. Дуралеев надо знать в лицо.
| | |
|
| 2.25, Vkni (ok), 02:39, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
 > какого хрена не на стадии компиляции
Очень тяжело. Даже бравые парни из PVS-Studio отлавливать ряд undefined behavior проблем не могут. А для компилятора это вообще запредельно.
| | |
| |
| |
| 4.28, Vkni (ok), 05:22, 02/11/2013 [^] [^^] [^^^] [ответить]
| +3 +/– |
> Ну вон товарищи что-то сваяли... http://css.csail.mit.edu/stack/
> В отличие от PVS-Studio - под GPLv3. Впрочем, будем надеяться, что это
> таки разные подмножества UB.
Возможно. Там была программа, в которой требовался довольно глубокий анализ. Возможно, эти MITшники умеют.
Цитирую свой коммент, который не могу найти:
Программа:
typedef struct SSS
{
int a, b;
} SS;
SS * f( SS* ss)
{
ss->a = 2;
return ss;
}
int main( int argv, const char ** argc)
{
SS ss;
ss.a = 1;
ss.b = 3;
f( &ss)->b = ss.a;
return ss.b;
}
8><----------------------------------------------><8
Компиляция:
[vkni@t60 Arisu.clang]$ gcc test.c -o gcc
[vkni@t60 Arisu.clang]$ clang test.c -o clang
Как запускать:
[vkni@t60 Arisu.clang]$ ./gcc ; echo $?
2
[vkni@t60 Arisu.clang]$ ./clang ; echo $?
1
| | |
| |
| 5.29, ананим (?), 09:32, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
Ну, на мой скромный взгляд, gcc тут справился, а clang нет.
2-а вопроса:
1. Какое это имеет отношение к анализаторам, т.к. (повторю, ИМХО) это валидные конструкции с точки зрения языка и ко всяким переполнениям и пр. не имеют отношения?
2. И что про это говорит ПВС? Типа, можно, но осторожно? Или нельзя? Или что?
| | |
| |
| 6.30, anonimous (?), 10:42, 02/11/2013 [^] [^^] [^^^] [ответить]
| +/– |
http://www.open-std.org/JTC1/SC22/WG14/www/docs/n1256.pdf
6.5 Expressions
...
2 Between the previous and next sequence point an object shall have its stored value
modified at most once by the evaluation of an expression.72) Furthermore, the prior value
shall be read only to determine the value to be stored.73)
...
73) This paragraph renders undefined statement expressions such as
i=++i + 1;
a[i++] = i;
while allowing
i=i+1;
a[i] = i;
| | |
| |
| 7.43, ананим (?), 12:22, 02/11/2013 [^] [^^] [^^^] [ответить]
| –1 +/– | |
Не в тему вообще.
Зыж
Хотелось бы услышать ответы на вопросы от предыдущего оратора.
А вам читать мануал об области видимости переменных.
| | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| 18.79, ананим (?), 10:39, 03/11/2013 [^] [^^] [^^^] [ответить] | –1 +/– | судя по всему, ты очень хотел хоть что-нибудь сказать, но так ничего и не придум... текст свёрнут, показать | | |
| |
| 19.80, arisu (ok), 11:29, 03/11/2013 [^] [^^] [^^^] [ответить] | +1 +/– | я сказал именно то, что хотел сказать, и именно так, как хотел сказать но я не ... текст свёрнут, показать | | |
|
|
|
|
|
|
|
|
|
|
|
|
|
| 6.58, Vkni (ok), 16:54, 02/11/2013 [^] [^^] [^^^] [ответить]
| +4 +/– | |
1. Это в чистом виде undefined behavior, просто несколько другого типа.
Поэтому, кстати, оба компилятора облажались - никто не выдал предупреждения.
2. PVS 5.10 на этой программе тоже ничего не выдаёт.
Стандарт языка С говорит, что нельзя - см. предыдущего оратора.
| | |
| |
| 7.64, ананим (?), 22:25, 02/11/2013 [^] [^^] [^^^] [ответить]
| –3 +/– | |
>1. Это в чистом виде undefined behavior, просто несколько другого типа.
Тогда будьте любезны, поясните в каком месте.
>2. PVS 5.10 на этой программе тоже ничего не выдаёт.
И правильно делает.
Ибо ваш пункт 1 — полная ахинея.
Переменная вполне себе defined.
И ссылка на неё соответсвенно тоже.
| | |
| |
| 8.71, Vkni (ok), 23:14, 02/11/2013 [^] [^^] [^^^] [ответить] | +/– | Результат зависит от порядка вычисления выражений по разные стороны равенства Р... текст свёрнут, показать | | |
| |
| 9.76, ананим (?), 09:06, 03/11/2013 [^] [^^] [^^^] [ответить] | –1 +/– | Я от вас хотел бы услышать аргументы, а не лозунги Свои я уже приводил тут http... текст свёрнут, показать | | |
| |
| 10.85, Vkni (ok), 20:25, 03/11/2013 [^] [^^] [^^^] [ответить] | +/– | Играть в социальные игры с анонимными людьми - это идиотизм Вы своим псевдоанон... текст свёрнут, показать | | |
|
| 9.77, ананим (?), 09:29, 03/11/2013 [^] [^^] [^^^] [ответить] | –1 +/– | Ещё раз, чтобы у остальных посетителей форума не формировались ложные понятия В... текст свёрнут, показать | | |
| |
| 10.86, amo (?), 12:04, 04/11/2013 [^] [^^] [^^^] [ответить] | +/– | Вы, конечно, извините, но мне кажется, что Вам необходимо взять паузу и хорошо в... текст свёрнут, показать | | |
|
|
|
|
|
|
|
|
|
|
