Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Оптимизация кода компилятором может привести к появлению про..., opennews (?), 30-Окт-13, (0) [смотреть все] До проверки на нуль выполнение не дойдёт , Герберт Уэллс (?), 12:07 , 30-Окт-13, (1) +1 // Если почитать оригинал http lwn net Articles 342330 There is one little prob, Дмитрий (??), 12:23 , 30-Окт-13, (5) +3 // Если бы мапирование в первые страницы действительно где-либо использовалось, то , Герберт Уэллс (?), 14:18 , 30-Окт-13, (53) +1 // Ещё не так давно пока не началась эпопея с уязвимостями, эксплуатирующими именн, PereresusNeVlezaetBuggy (ok), 17:04 , 01-Ноя-13, (299) Ну, написали бы тогда volatile struct tun_struct tun volatile struct so, dq0s4y71 (ok), 14:46 , 30-Окт-13, (65) +10 // volatile const struct tun_struct const __restrict const __attribute__ const ,, pavlinux (ok), 14:52 , 31-Окт-13, (217) +3 это будет покруче 171 Фауста 187 Гёте 8230 , arisu (ok), 14:57 , 31-Окт-13, (218) если нет ошибки в программе, значит ошибка в компиляторе , Аноним (-), 12:13 , 30-Окт-13, (2) +3 // Ошибка в стандарте языка , Аноним (-), 16:13 , 31-Окт-13, (240) –1 Приведены два примера неистового говнокода, в проблемах безопасности конечно вин, BayaN (ok), 12:29 , 30-Окт-13, (6) +2 // Комментор умнее исследователей и редакторов научных статей Гений прям , анонимотик (?), 14:39 , 30-Окт-13, (59) +2 // Нет, все ещё круче Если учитывать 3471 пакете из 8575 пакетов, доступных в реп, noname01 (?), 14:51 , 30-Окт-13, (70) +4 Чтобы подобным образом наезжать на комментатора, неплохо бы исследованиями заним, Аноним (-), 14:58 , 30-Окт-13, (75) // Если комментатор пишет явную херню, проводить специальные исследования по данном, Аноним (-), 16:51 , 30-Окт-13, (103) +1 Но можно по ссылке сходить и прочитать хотя бы первые буквы работы, которую аме, Аноним (-), 23:13 , 30-Окт-13, (181) Оптимизация UB втихую - это, конечно, мудро и правильно Вместо того, чтобы выда, Аноним (-), 15:56 , 31-Окт-13, (233) в данном случае не было никакой 171 оптимизации UB 187 включение оптимизато, arisu (ok), 16:26 , 31-Окт-13, (243) Предназначение компилятора - компилировать, т е преобразовать исходный текст пр, Аноним (-), 16:29 , 31-Окт-13, (246) –1 А речь и не идет о философских размышлениях Достаточно лишь довести до сведения, Аноним (-), 18:44 , 31-Окт-13, (264) Кавычки лишние Работают и живут в США, значит американские Что, бомбит , IRASoldier (?), 12:11 , 18-Июн-18, (336) Нет, просто комментатор на стороне создателей компиляторов, а не говнокодеров П, BayaN (ok), 15:38 , 30-Окт-13, (85) в данном случае 8212 умнее авторы компилятора которые стандарты таки читали,, arisu (ok), 08:25 , 31-Окт-13, (192) // Стандарт прочитать и обезьянка может А вот корректно обрабатывать отклонения от, Аноним (-), 15:57 , 31-Окт-13, (234) –1 предлагаю тебе надрать им всем задницы и показать, как надо делать компиляторы , arisu (ok), 16:35 , 31-Окт-13, (248) Ага, для того чтобы это хорошо работало, правда, придется тезисы Тюринга опровер, Аноним (-), 17:00 , 31-Окт-13, (258) не веришь ты в людей это, может, гений среди нас, а ты его расхолаживаешь он т, arisu (ok), 17:52 , 31-Окт-13, (260) Вас послушать, так для оптимизаций компилятор вообще должен собственным сознание, Аноним (-), 18:51 , 31-Окт-13, (268) –1 так когда релиза-то ждать 171 нетупого компилятора 187 , arisu (ok), 19:00 , 31-Окт-13, (270) Я решил эту проблему более эффективным способом , Аноним (-), 18:55 , 01-Ноя-13, (301) ага балабольским побалаболил и сбежал , arisu (ok), 19:15 , 01-Ноя-13, (308) +2 На сях гoвнокод, как правило, является наиболее простым и эффективным решением п, Аноним (-), 16:49 , 30-Окт-13, (102) // это просто потому, что у тебя мозг кроме говнокода ничего больше произвести не в, arisu (ok), 08:27 , 31-Окт-13, (193) +1 // Не только у меня Сколько сишных программ не смотрел - никогда не видел, чтобы б, Аноним (-), 15:54 , 31-Окт-13, (232) –1 Поэтому сам я стараюсь на сях не писать Благо, задачи не системные, и перл отли, Аноним (-), 16:13 , 31-Окт-13, (239) –1 Жаль что на перле операционки не пишут, правда , Аноним (-), 16:58 , 31-Окт-13, (257) Когда-нибудь найдется один ценитель истинного юниксвея, а не фанат блобов, и вот, Аноним (-), 18:46 , 31-Окт-13, (265) Тогда ты поймешь насколько удобно в perl делать вещи типа записать бит 5 в ед, Аноним (-), 00:16 , 02-Ноя-13, (312) Ага Тока на Lua , Аноним (-), 18:56 , 01-Ноя-13, (302) бедняга плохо быть тобой , arisu (ok), 16:37 , 31-Окт-13, (249) Не только мной , Аноним (-), 18:54 , 31-Окт-13, (269) –1 FYI, баги встречаются не только в программах на си , Аноним (-), 00:42 , 02-Ноя-13, (313) Я прямо удивляюсь даже - какой же операционкой вы тогда пользуетесь И если они , Аноним (-), 16:58 , 31-Окт-13, (256) А я не перфекционист , Аноним (-), 18:47 , 31-Окт-13, (266) –1 Более того, сажать баги можно на любом ЯП Некоторые из них будут вести к пробле, Аноним (-), 00:44 , 02-Ноя-13, (314) Константин Серебряный, залогиньтесь, Аноним (-), 17:07 , 30-Окт-13, (109) // А кто это Герой повести А Толстого , Аноним (-), 18:59 , 01-Ноя-13, (304) Компиляторы стали слишком умными, началась игра кто кого , Аноним (-), 12:31 , 30-Окт-13, (7) –1 // Относительно Потому как кодеры в среднем стали на порядок тупее , Led (ok), 04:11 , 31-Окт-13, (190) нет, это говнокодеры продолжают считать, что учить ПДД перед тем, как сесть за р, arisu (ok), 08:27 , 31-Окт-13, (194) // Тупое следование ПДД чревато Если бы пользующиеся преимуществом водители при п, Аноним (-), 16:07 , 31-Окт-13, (236) // так же, как и тупые автомобильные аналогии каюсь, сам первый начал , arisu (ok), 16:38 , 31-Окт-13, (250) +1 Профессиональный сишник может наступить на грабли даже на ровном месте Сначала, Аноним (-), 18:49 , 31-Окт-13, (267) –2 А иные будут грести листья лопатой, как дeбилы Потому что грабли видите ли вооб, Аноним (-), 00:46 , 02-Ноя-13, (315) А причем тут компиляторы Вместо того, чтобы проверить len, проверяется выход ук, BSA (?), 12:36 , 30-Окт-13, (8) +5 // А если этот len добавляется к buf в каждой итерации Умник такой умник, z (??), 12:58 , 30-Окт-13, (10) –4 // Покажите такой код, где нужно в цикле к указателю постоянно добавлять число и я , ананим (?), 13:41 , 30-Окт-13, (32) +2 // копирование первого поля структурыstruct data dd data1 dd data2ends movsdadd, клоун Стаканчик (?), 15:43 , 30-Окт-13, (87) –3 Хинт Сабж и данный трэд о С в крайнем случае о С ПС понятно что в ассем, ананим (?), 16:01 , 30-Окт-13, (92) +1 Пример 1 ACPI таблица RSDT состоит из последовательно идущих структур разног, клоун Стаканчик (?), 16:18 , 30-Окт-13, (97) –3 1 Ещё раз для упoрoтых , Об аспи речи не шло аспи кривое по-жизни даже создат, ананим (?), 16:52 , 30-Окт-13, (104) –2 Для употорых аспи лишь один из примеров, взять любые данные, упакованные в стру, z (??), 17:21 , 30-Окт-13, (114) +1 Для дабл-употорых Так где в коде проверки Почему их нет ЗыжТо что их нет означа, ананим (?), 17:31 , 30-Окт-13, (119) потому что про проверки никто не спрашивал просили пример кода, где 171 в цик, arisu (ok), 08:30 , 31-Окт-13, (195) серьёзно вот ветка При чём последнее 8212 это моё И я уж точно знаю что про, ананим (?), 12:53 , 31-Окт-13, (211) А также например декомпрессоры LZ не гнушаются таких вещей ради эффективности и , Аноним (-), 16:56 , 31-Окт-13, (255) 1 В каком месте компилятор меняет исходники 2 Когда вы предоставили с-код, тре, ананим (?), 18:10 , 30-Окт-13, (130) ззыжВот и покажи где тут бегают по указателям, потенциально выходящим за пределы, ананим (?), 18:20 , 30-Окт-13, (131) 1 компилятор исключил условие2 на что вы требуете проверять Не выделил ли m, клоун Стаканчик (?), 18:31 , 30-Окт-13, (136) На оверфлоу указателя По поводу чего и был трэд пока вы не пришли с темой к ук, ананим (?), 18:51 , 30-Окт-13, (139) 32-разрядное адресное пространство ограничено 2 32 степени адресов При этом дан, клоун Стаканчик (?), 19:06 , 30-Окт-13, (142) –1 Программа в юзерспейсе в общем случае понятия не имеет о том какая там память Э, Аноним (-), 20:15 , 30-Окт-13, (153) Программам в юзерспейсе нет необходимости проверять на выход за пределы адресн, клоун Стаканчик (?), 22:14 , 30-Окт-13, (171) –3 Кажется, Линус тоже плавает - он почему-то не совсем согласен насчет элегантно, Аноним (-), 23:43 , 30-Окт-13, (183) +1 Тогда предложите свой гениальный способ страничной адресации 256 Тб памяти 64 б, клоун Стаканчик (?), 02:54 , 31-Окт-13, (187) –1 256 Тб памяти 64 бита - это как раз не про режим PAE, а про гениальный спос, Аноним (-), 03:47 , 31-Окт-13, (189) +1 Прежде чем продолжать, узнайте что такое PAE, long mode и AMD64 , клоун Стаканчик (?), 10:14 , 31-Окт-13, (210) –2 Зачем Про накладные расходы на страницах минимального размера не думали и про , Michael Shigorin (ok), 12:55 , 31-Окт-13, (212) +1 Занавес Наверное, это такие люди просовывают через PCI данные побитно, дёргая на, Michael Shigorin (ok), 00:37 , 31-Окт-13, (185) +2 Как-то так переполнения буферов и случаются Что, ты совсем не в состоянии осозн, Аноним (-), 15:43 , 31-Окт-13, (226) 8230 ты риальне клоун , arisu (ok), 08:32 , 31-Окт-13, (197) +1 вообще-то, разыменование NULL 8212 это ошибка по стандарту языка , угу , arisu (ok), 08:31 , 31-Окт-13, (196) Разыменование - да А сам по себе доступ - не обязательно , Аноним (-), 15:44 , 31-Окт-13, (227) расскажи мне, о Гуру, как можно делать 171 доступ 187 без разыменования , arisu (ok), 16:39 , 31-Окт-13, (251) Упс, перепутал с обращением к освобожденной памяти Нефиг сообщения сонным писат, Аноним (-), 09:09 , 02-Ноя-13, (317) я же не спорю, что на уровне аппаратуры может быть валидной , arisu (ok), 10:58 , 02-Ноя-13, (324) Кого именно умнее, тебя клоун Так это дело нехитрое Тебе уже жирно намекали на, Аноним (-), 00:11 , 31-Окт-13, (184) +1 Ну-ну, расскажите миру, в каком месте это верно про цикл, итерирующий массив стр, Филипп Филиппович (ok), 21:07 , 30-Окт-13, (164) Это косяки ЯЗЫКА Стандарт С позволяет не только себе ногу отстрелить, но и покал, Аноним (-), 13:00 , 30-Окт-13, (12) –1 // Аноним такой знаток , что не в силах отличить недостатки от достоинств , Аноним (-), 13:07 , 30-Окт-13, (13) // Может быть ты в силах , Аноним (-), 13:44 , 30-Окт-13, (34) А, так возможность переполнения - это на самом деле достоинство Как и создаваема, Аноним (-), 13:44 , 30-Окт-13, (35) Для кого дыра, а для кого и мать родна , Аноним (-), 13:46 , 30-Окт-13, (38) +3 Намек на АНБ , Аноним (-), 19:00 , 01-Ноя-13, (305) да Это следствие ручного управление памятью Такое же как низкое ее потребление, Аноним (-), 14:46 , 30-Окт-13, (64) +2 не путай следствие с достоинством Это разные понятия, еще один аноним (?), 15:11 , 31-Окт-13, (221) Возможность целочисленного переполнения - это _не_ следствие ручного управления , Аноним (-), 16:11 , 31-Окт-13, (238) Это всего лишь то как по факту работают процессоры в массе своей Обойти сие мож, Аноним (-), 20:18 , 30-Окт-13, (154) +2 пффф modula-2 3 , oberon , chinarulezzz (ok), 21:15 , 30-Окт-13, (166) Я и смотрю - то-то все низкоуровневые и системные дела на них написаны Ядра, бу, Аноним (-), 15:46 , 31-Окт-13, (229) –1 не тупи, пожалуйста надо ли в очередной раз пояснять, что популярность не обяза, arisu (ok), 16:23 , 31-Окт-13, (242) А не вы ли случайно употребляли выражение гвидобейсик в адрес пистона , Аноним (-), 18:54 , 01-Ноя-13, (300) –1 и что характерно 8212 вовсе не за синтаксис сюрприз, да , arisu (ok), 19:15 , 01-Ноя-13, (309) +1 За синтаксис тоже можно он ориентирован на загон дeбила в стойло Пинками Если, Аноним (-), 09:29 , 02-Ноя-13, (318) +2 синтаксис отстойный, конечно, я не спорю но гвидобейсик не потому гвидобейсик , arisu (ok), 11:04 , 02-Ноя-13, (327) +2 Теоретически это может быть и так Практически - по логике вещей получается что , Аноним (-), 09:52 , 02-Ноя-13, (319) +1 а чего спорного ты точно описал реальное положение вещей не идиотничай, пожалуй, arisu (ok), 11:06 , 02-Ноя-13, (328) вот конктретно 171 неопределённое поведение при целочисленном переполнении 18, arisu (ok), 08:37 , 31-Окт-13, (199) Тем более что процы умеют выставлять carry-флаг в массе своей на уровне железа, , Аноним (-), 15:48 , 31-Окт-13, (230) Ваши рассуждения очень напоминают поттеринга наше любимое ядро linux поддержив, Аноним (-), 16:04 , 31-Окт-13, (235) любую идею можно довести до абсурда 8212 и тогда получится полная фигня в да, arisu (ok), 16:48 , 31-Окт-13, (253) Ну вот поццеринг примерно так же и рассуждал Кому надо - пусть эмулируют , Аноним (-), 19:07 , 01-Ноя-13, (307) Мягко говоря, некорректное сравнение -- поскольку передёрнули правило и исключен, Michael Shigorin (ok), 23:44 , 01-Ноя-13, (311) Могу посоветовать тебе и твоим функциональным аналогам писать на Visual Basic , Аноним (-), 13:09 , 30-Окт-13, (14) // Советы свои знаешь куда засунь , Аноним (-), 13:44 , 30-Окт-13, (36) –3 Да ладно Барсик - это тайная эротическая мечта любого сишника , Аноним (-), 16:25 , 30-Окт-13, (98) –1 Вы явно путаете сишников и питонистов Тут один типаж даже название ему придумал, Аноним (-), 20:19 , 30-Окт-13, (156) +3 Ну так правильно Питонисты имеют то, о чем сишники только мечтают , Аноним (-), 16:14 , 31-Окт-13, (241) –1 честно не мечтаем мы о том, чтобы смена количества пробелов в начале строки изм, arisu (ok), 16:29 , 31-Окт-13, (245) +2 Тормозилово, с синтаксисом где дeбила пинками заставляют форматировать гoвнокод , Аноним (-), 09:57 , 02-Ноя-13, (320) +1 Стандарт определяет язык, который хорошо переносим и одновременно эффективен Ре, Филипп Филиппович (ok), 13:37 , 30-Окт-13, (26) +8 // Вообще-то почти все прикладное ПО пишут не на Сях, а скорее на Крестах В кото, тоже Аноним (ok), 13:57 , 30-Окт-13, (44) –3 К сожалению, в крестах наследие Си очень сильно В теории -- да, стандартная биб, Филипп Филиппович (ok), 14:12 , 30-Окт-13, (47) Это скорее legacy-проблемы За последнее время по всему интернету развешаны стат, тоже Аноним (ok), 14:17 , 30-Окт-13, (52) –1 Это-то да Но ведь оно же лет без малого пятнадцать так Некоторые сдвиги есть, , Филипп Филиппович (ok), 14:30 , 30-Окт-13, (57) Потому что проблема не столько в легаси-коде, сколько в легаси-учебниках , тоже Аноним (ok), 14:32 , 30-Окт-13, (58) +1 Ну да, разруха не в клозетах Она в головах -DНо я всё равно в последние неско, Филипп Филиппович (ok), 14:47 , 30-Окт-13, (66) +1 Потому что не уверены в своих силах Я предпочитаю рассчитывать на себя больше, ч, ананим (?), 15:12 , 30-Окт-13, (79) –2 Нет, не поэтому Не хочу , Филипп Филиппович (ok), 15:23 , 30-Окт-13, (81) +1 Да я и так понял Порассуждать с надутыми щёками мы все горазды Типа, ох уж эти , ананим (?), 15:40 , 30-Окт-13, (86) –5 О, да-да, мнение опеннетовского анонима сейчас перевернёт мою вселенную Впрочем, Филипп Филиппович (ok), 17:01 , 30-Окт-13, (105) +2 Ну-ну, просветите меня про состав стандартной библиотеки и расскажите, как жить , Филипп Филиппович (ok), 18:01 , 30-Окт-13, (129) +2 Аналогично Для системного встроенного программирования использую Си, а С в эт, dq0s4y71 (ok), 17:45 , 30-Окт-13, (124) Ну, а мне, например, нужно разрабатывать программы, которыми люди потом пользуют, тоже Аноним (ok), 21:13 , 30-Окт-13, (165) единственный нормальный способ использовать плюсовое недоразумение , arisu (ok), 08:40 , 31-Окт-13, (200) Бред Нормальное плюсовое использование 8212 это шаблоны Вот это действительн, ананим (?), 15:39 , 31-Окт-13, (224) –1 это мощь и красота костылей ещё и на уровне синтаксиса костыльных вообще, наст, arisu (ok), 15:44 , 31-Окт-13, (228) +1 Ха Шаблоны существовали уже тогда, когда маркетолухи ещё и слово то такое, гене, ананим (?), 16:46 , 31-Окт-13, (252) –1 Я, честно говоря, тоже в своё время восхищался шаблонами, пока не узнал, что выв, Vkni (ok), 20:47 , 02-Ноя-13, (329) +1 угу-угу правда, в Аде их придумали в районе 1978-го года, а первый cfront ни о , arisu (ok), 21:17 , 02-Ноя-13, (330) +1 верно какого чёрта -- программист такой умный что уже ПОСЛЕ того как СОВЕРШИТ, Xasd (ok), 13:14 , 30-Окт-13, (16) +2 // По-моему, это еще более страшный быдлoкод , Аноним (-), 13:23 , 30-Окт-13, (18) +4 // где ты тут код увидил тут лишь одно выражение, которое проверяет что каждое из , Xasd (ok), 13:28 , 30-Окт-13, (21) –1 Да-да, скажи ещё что кот по клавиатуре прошёл и оно само напечаталось Ты показал, Аноним (-), 13:40 , 30-Окт-13, (29) –2 Хамская манера общения тут только у тебя хотя я и использовал слово быдлoкод , Аноним (-), 13:41 , 30-Окт-13, (31) –1 Залогинься, Xasd Щас прям, поверю что пришёл компетентный Аноним тебя защищать , Аноним (-), 13:45 , 30-Окт-13, (37) +1 Ну ты же знаешь, что комент про быдлoкод писал не ты , Аноним (-), 14:15 , 30-Окт-13, (50) –1 За такой код надо тебе по пальцам молотком для мяса пройтись , Аноним (-), 13:25 , 30-Окт-13, (20) +2 // ну напиши как надо балобол так как ты писать ни чего не будешь -- то разговор я, Xasd (ok), 13:28 , 30-Окт-13, (23) –2 Лол, как тебя зацепило Нет уж - давай ты свои ошибки сам исправишь Подскажу в, Аноним (-), 13:35 , 30-Окт-13, (25) +1 да -- я привёл код который просто проверяет переполнение при сложении совершенно, Xasd (ok), 13:43 , 30-Окт-13, (33) –4 Оправдываться уже поздно, молодой человек С вами всё понятно , Аноним (-), 13:49 , 30-Окт-13, (41) +2 ну слово не воробей если уж я написал свою точку зрения -- назад взять слова не, Xasd (ok), 13:57 , 30-Окт-13, (45) –3 Это совершенно нормально По другому запускать код находящийся в known локации и, Аноним (-), 22:32 , 30-Окт-13, (177) Именно что ЛОЛ Обозвал человека, докажи что заслуженно А пока только эти эпите, ананим (?), 14:51 , 30-Окт-13, (69) да да, разумеется ULONG_MAX - buf len здесь конечно явно уместнее го, Xasd (ok), 15:10 , 30-Окт-13, (78) –1 cat 222 c include stdio h main size_t l 0 можно с модификатора, ананим (?), 15:33 , 30-Окт-13, (83) Так не интересно, это читерство -P, pavlinux (ok), 16:01 , 30-Окт-13, (91) +2 Кстати согласен Такие вещи должны определятся на целевой платформе но констан, ананим (?), 16:07 , 30-Окт-13, (95) Какой, stdint h Не, он феншуйный - ISO IEEE ля-ля-ля 1999, pavlinux (ok), 22:17 , 30-Окт-13, (173) define SIZE_T_MAX 2UL sizeof size_t 8 - 1 - 1 как вариант define S, pavlinux (ok), 15:57 , 30-Окт-13, (89) По русскому у тебя то-же что и по информатике , Аноним (-), 13:40 , 30-Окт-13, (30) +1 // нет, по русскому у меня была почти двойка а почему спрашиваешь может про физкул, Xasd (ok), 13:47 , 30-Окт-13, (39) А информатики еще не было вовсе, мы поняли Бросьте позориться Вы написали безгр, тоже Аноним (ok), 14:03 , 30-Окт-13, (46) +2 была у нас даже были там в классе -- немножко компьютеров но при чём тут во, Xasd (ok), 14:12 , 30-Окт-13, (49) –2 То, что вы невнимательны, было заметно и до этого комментария Работать с числами, тоже Аноним (ok), 14:22 , 30-Окт-13, (55) да, конечно а в некоторых случаях -- я даже не вижу смысла работать с числами ко, Xasd (ok), 14:40 , 30-Окт-13, (60) –2 Очень жаль что тебе не вкатили двойку в четверди по русскому языку Ты этого н, Аноним (-), 21:33 , 30-Окт-13, (168) +4 с чего ты взял что такого не случалось как раз такое бывало - всё равно не п, Xasd (ok), 00:50 , 03-Ноя-13, (331) –1 причём постоянно, судя по твоим текстам , arisu (ok), 01:54 , 03-Ноя-13, (332) +1 И ещё будет, Led (ok), 03:53 , 03-Ноя-13, (334) +1 зачем трудиться, если ты сам отлично справляешься с задачей 171 опазоривания , arisu (ok), 08:49 , 31-Окт-13, (202) –2 Подобные проверки перед каждой арифметической операцией негативно повлияют как н, ... (?), 15:03 , 30-Окт-13, (77) // А для этого есть венгерская нотация и тд Опять же, имеет смысл для глобальных и, ананим (?), 16:25 , 30-Окт-13, (99) –1 за такое применение венгерской нотации надо бить бамбуковой палкой по пяткам, от, arisu (ok), 08:56 , 31-Окт-13, (203) а не нужно выдумывать левые обозначения для стандартных типов int тоже меняется,, ананим (?), 13:06 , 31-Окт-13, (214) прикинь, процессор тоже делает именно так сюрпрайз, да а то, что си заставляет , arisu (ok), 08:46 , 31-Окт-13, (201) +1 // Ну там проблема в том что на ширину регистров завязано, тогда как целочисленные , Аноним (-), 10:04 , 02-Ноя-13, (321) вообще забавно сначала обратиться к структуре по указателю sk tun- sk , а уж, Аноним (-), 12:36 , 30-Окт-13, (9) +7 // Да уж, возмущаться таким кодом - умильно С первым примером, конечно, надо ворнин, Crazy Alex (ok), 13:39 , 30-Окт-13, (28) +3 // Зачем так сложно Вот то, что имели ввиду авторы, но не осилили реализовать , dq0s4y71 (ok), 14:26 , 30-Окт-13, (56) // И что, компилятор это не выкинет , Аноним (-), 16:27 , 30-Окт-13, (100) Проверьте , dq0s4y71 (ok), 17:12 , 30-Окт-13, (111) Или так, но это optional тип , Crazy Alex (ok), 17:04 , 30-Окт-13, (106) Что значит optional Это стандартный тип, начиная с С99 , dq0s4y71 (ok), 17:15 , 30-Окт-13, (113) n1124 pdf7 18 1 4 These types are optional, Crazy Alex (ok), 17:29 , 30-Окт-13, (116) Да, действительно , dq0s4y71 (ok), 17:46 , 30-Окт-13, (125) беда в том, что значение этого выражения всё равно не определено, если случилось, arisu (ok), 08:57 , 31-Окт-13, (204) Строго говоря, код в примерах не очень корректный Увы, подобные перлы действите, Филипп Филиппович (ok), 13:28 , 30-Окт-13, (22) +9 // Если позволите, вопрос от не читавшего стандарт А что, в С разыменование указате, тоже Аноним (ok), 14:12 , 30-Окт-13, (48) –1 // Еще чего не хватало , Аноним (61), 14:40 , 30-Окт-13, (61) +2 Вы про нулевой указатель и tun- sk Да, там прибавление смещения Но ведь даже п, Филипп Филиппович (ok), 14:41 , 30-Окт-13, (62) // На любой вменяемой платформе это 0 , Аноним (61), 14:49 , 30-Окт-13, (67) –1 Э, не спешите Если в плоской модели, то наверное Я другого ещё не видел, во вс, Филипп Филиппович (ok), 15:01 , 30-Окт-13, (76) Я же специально написал на любой вменяемой платформе , Аноним (61), 15:20 , 30-Окт-13, (80) Вообще-то, на любой платформе это 0 Внутреннее представление значения не имеет , dq0s4y71 (ok), 17:30 , 30-Окт-13, (118) Ну я же говорил не о том, что оно сравнивается с нулём на C Я говорил именно о , Филипп Филиппович (ok), 17:59 , 30-Окт-13, (128) тут нюанс NULL 8212 это всегда 0, и всегда обозначает 171 негодный указате, arisu (ok), 09:03 , 31-Окт-13, (206) Да, пардон, это я напутал Никаких проверок в самом коде, конечно Это система в, тоже Аноним (ok), 14:54 , 30-Окт-13, (71) Разумеется это не так , Аноним (61), 14:55 , 30-Окт-13, (72) Нет, всё не так - Очень много где будет защита и от чтения Стандарт такую пра, Филипп Филиппович (ok), 14:58 , 30-Окт-13, (74) На каком-нибудь эмбеде запись по нулевому адресу может быть абсолютно корректной, Crazy Alex (ok), 17:05 , 30-Окт-13, (107) Такая запись, возможно, не вызовет исключения, но это не значит, что она будет к, dq0s4y71 (ok), 17:56 , 30-Окт-13, (127) На AVR по нулевому адресу находится регистр R0 Читать писать его таким образом , Crazy Alex (ok), 18:25 , 30-Окт-13, (135) AVR вообще гарвардец, по поводу чего у него несколько адресных пространств в сам, Аноним (-), 20:05 , 30-Окт-13, (151) Угу, гаврвардец Но ещё у него регистры спроецированы в адресное пространство Ч, Crazy Alex (ok), 21:01 , 30-Окт-13, (162) +1 Да, иногда это удобно Был тут один проц - ему переполнение буфера перезаписы, Аноним (-), 21:45 , 30-Окт-13, (169) Два способа навскидку ассемблерные вставки и какое-нибудь PRAGMA_I_KNOW_WHAT_I_, тоже Аноним (ok), 08:35 , 31-Окт-13, (198) а это туда, к дизайнерам стандарта NULL оно же 0 8212 это 171 негодный у, arisu (ok), 09:05 , 31-Окт-13, (207) Дяденьки, идите нафиг На сях можно и как-то так void entry void 0x0 int , Аноним (-), 10:17 , 02-Ноя-13, (322) и не должно , arisu (ok), 11:02 , 02-Ноя-13, (325) Это к вопросу про то, какой указатель Там было несколько моделей памяти, в том , Филипп Филиппович (ok), 19:24 , 30-Окт-13, (146) нет этого делать нельзя, но по рукам никто не ударит, и код проверки тоже не вс, arisu (ok), 09:00 , 31-Окт-13, (205) В приведенных примерах компилятор следует стандарту, а программист предполагает , Tav (ok), 13:32 , 30-Окт-13, (24) +5 // Именно так Но, возможно, проблема пользователя, который получил некорретно рабо, Филипп Филиппович (ok), 13:39 , 30-Окт-13, (27) -ffast-math годный дырооптимизатор , commiethebeastie (ok), 13:49 , 30-Окт-13, (40) +1 Интересно, какие ошибки компилятора нужны АНБ, что используется именно определён, Андерй (?), 13:54 , 30-Окт-13, (42) –1 Как здесь справедливо заметили, это - косяки программистов В первом примере, ес, dq0s4y71 (ok), 14:19 , 30-Окт-13, (54) +2 // Если len объявлена беззнаковым числом, то buf len buf ложно при любых значениях , клоун Стаканчик (?), 17:40 , 30-Окт-13, (123) –1   // Почему это Сравниваются ведь указатели, а не целые, поэтому целое будут преобра, dq0s4y71 (ok), 18:23 , 30-Окт-13, (132)   // Почему это Сравниваются ведь указатели, а не целые, поэтому целое будут преобра, клоун Стаканчик (?), 18:43 , 30-Окт-13, (137) –2   Нет Пример для 32-х битной платформы buf void 0xffffffff len 1, Ordu (ok), 19:06 , 30-Окт-13, (143)   Проводить сравнение методом 171 а давайте попробуем вызвать переполнение 187, ананим (?), 19:06 , 30-Окт-13, (144) +3   Вот ты и показал что ты болванчик Как ты думаешь, что будет если к 32-битному u, Аноним (-), 19:55 , 30-Окт-13, (150)   Так думает не он, разработчики компиляторов , Аноним (-), 20:27 , 30-Окт-13, (159)   Неа Так думаешь ты и ахтур этого гoвнoкoда А компилятор думает а С детишкам не, ананим (?), 21:21 , 30-Окт-13, (167)   На самом деле все проще математика у процов так работает , Аноним (-), 22:08 , 30-Окт-13, (170)   нет разработчики компиляторов следуют стандарту, в котором сказано, что перепол, arisu (ok), 09:09 , 31-Окт-13, (208) +4   Оптимизации компилятора не нарушают стандарт языка, так что достаточно не писать, annulen (ok), 14:45 , 30-Окт-13, (63) +4 Доигрались Вот так , iZEN (ok), 14:50 , 30-Окт-13, (68) –4 // До чего Что быдлo-кoд также ещё и быдлo-oптимизируется Так это и без этой реклам, ананим (?), 14:58 , 30-Окт-13, (73) +2 Жду когда изя перепишет фряшечку на яву , Аноним (-), 19:47 , 30-Окт-13, (148) +4 новость - боян и фигня уже много лет говорят про UB и что нужно его избегать бы, Пиу (ok), 15:36 , 30-Окт-13, (84) +1 Главное, что они написали анализатор, который тычет программистов в их косяки А, Аноним (-), 15:59 , 30-Окт-13, (90) –1 // Вот как раз компилятор этого делать и не должен Он должен запускаться один раз , Crazy Alex (ok), 17:10 , 30-Окт-13, (110) +1 // SRP вообщето , NoName (?), 20:54 , 30-Окт-13, (160) // Ну да, с аббревиатурами я не в ладах - в голове оно всё же не словами хранится , Crazy Alex (ok), 21:05 , 30-Окт-13, (163) Ага И так как про сообщения об ошибках компиляции в стандарте ничего не сказано, Аноним (-), 19:03 , 01-Ноя-13, (306) –1 Собственно, clang это и делает, если не просить о большем Замечательно И как ты, annulen (ok), 21:43 , 01-Ноя-13, (310) –1 Давайте компилятор еще и программы писать начнет вместо программиста А программ, Аноним (-), 22:29 , 30-Окт-13, (176) +1 Они его ужо открыли , pavlinux (ok), 16:14 , 30-Окт-13, (96) // git clone git g csail mit edu stack, Crazy Alex (ok), 17:13 , 30-Окт-13, (112) // Да ладно , pavlinux (ok), 15:03 , 31-Окт-13, (219) Мне кажется или подобные проверки на выход за пределы сами по себе ошибки , BratSinot (ok), 17:05 , 30-Окт-13, (108) +1 // Особенно порадовало if buf len buf Хакиры, однако Про переполнение зна, Аноним (-), 19:51 , 30-Окт-13, (149) +4 // Ваш вариант определения переполнения суммы, при условии, что операнды должны быт, pavlinux (ok), 15:10 , 31-Окт-13, (220) // а тут уже не раз приводили, вообще-то в данном случае 8212 UINTPTR_MAX- ui, arisu (ok), 15:39 , 31-Окт-13, (223) так нельзя, т к UINTPTR_MAX может быть больше фактического значения адреса Во, Аноним (-), 23:45 , 31-Окт-13, (271) хм портабельного метода узнать 171 место, где Земля закругляется 187 нет н, arisu (ok), 06:05 , 01-Ноя-13, (274) –1 для тупых ещё раз объясняю, uintptr_t может иметь большую битность чем void , не, all_glory_to_the_hypnotoad (ok), 12:36 , 01-Ноя-13, (280) +2 читать учись, дятел , arisu (ok), 13:21 , 01-Ноя-13, (285) –1 Проблема возникает исключительно при программировании ядра Линукс Для всех оста, клоун Стаканчик (?), 11:03 , 01-Ноя-13, (277) –2 а потом офигевают отчего это их говнософт не собирается на другой платформе ах, arisu (ok), 11:07 , 01-Ноя-13, (278) +1 Для реализации специфического функционала делают HAL Внешне код из ifdef X86 , клоун Стаканчик (?), 13:03 , 01-Ноя-13, (282) –2 8230 и радостно вызывают внешнюю функцию для сложения круто я понимаю, п, arisu (ok), 13:22 , 01-Ноя-13, (286) +2 inline bool isOverflow ptr,size if isOverflow buf,len fail , клоун Стаканчик (?), 13:46 , 01-Ноя-13, (287) –1 других операций у нас не бывает, ага , arisu (ok), 13:49 , 01-Ноя-13, (288) +1 Не затруднит привести пример кода на Си, который, по твоему мнению, нельзя выдел, клоун Стаканчик (?), 14:24 , 01-Ноя-13, (289) –1 Разве что себя, поскольку одноплатформенный профессионал -- это оксюморон , Michael Shigorin (ok), 15:13 , 01-Ноя-13, (298) +1 И очень этим радуют неадекватных людей, которые собирают не только под x86 Тольк, тоже Аноним (ok), 11:07 , 01-Ноя-13, (279) в ядре всегда известна модель памяти И нигде нет необходимости проверять перепо, all_glory_to_the_hypnotoad (ok), 12:41 , 01-Ноя-13, (281) Врёте , Michael Shigorin (ok), 15:10 , 01-Ноя-13, (297) +1 В общем если так дрочить код, то проще изначально не создавать проблем , pavlinux (ok), 02:33 , 01-Ноя-13, (273) p s павлин, ну хлоп твою железку ну перестань же ПОЛНОСТЬЮ посты перед, arisu (ok), 06:07 , 01-Ноя-13, (275) Изначально неверная постановка задачи На самом деле цель - поймать выход за гра, Аноним (-), 10:45 , 02-Ноя-13, (323) Пардон, но если программист в своём коде допускает случаи, когда поведение прогр, Аноним (-), 18:23 , 30-Окт-13, (133) +1 // Это называется парадокс римского права знать все законы невозможно, при этом не, клоун Стаканчик (?), 18:57 , 30-Окт-13, (141) Именно так - при том уповать на то что не описано в стандарте и или а вроде раб, Аноним (-), 22:28 , 30-Окт-13, (174) +1 // притом в конкретно описаной ситуации и там же сказано, что в другой ситуации по, arisu (ok), 09:12 , 31-Окт-13, (209) Всё такие вумные Если уж вдаваться в абсолютизм, то НЕЛЬЗЯ ОБЕСПЕЧИТЬ КОРРЕКТНО, pavlinux (ok), 15:21 , 31-Окт-13, (222) +1 // Этот абсолютизм к реальной жизни ни малейшего отношения не имеет , Crazy Alex (ok), 15:40 , 31-Окт-13, (225) Нужно добавить к твоей реальной жизни В институтах, на мех -мате МГУ, в МИФИ, , pavlinux (ok), 17:43 , 31-Окт-13, (259) чушь возможно, даже в случае, когда не гарантируется, что все 171 примитивы , arisu (ok), 15:51 , 31-Окт-13, (231) Знаешь такую фичу, что корректность перевода на иностранный язык, с целью понима, pavlinux (ok), 17:53 , 31-Окт-13, (261) это для тех, кто язык плохо выучил а для тех, кто хорошо выучил 8212 171 е, arisu (ok), 17:58 , 31-Окт-13, (262) +1 Этот нюанс зовётся компилятор, ибо на C ты напишешь if x 0 , а компулятор, pavlinux (ok), 01:55 , 01-Ноя-13, (272) нет, этот нюанс зовётся 171 процессор 187 test 8212 это побитовый and, в, arisu (ok), 06:09 , 01-Ноя-13, (276) Ну вот и представь ституёвину, когда программа после команды test ломается ,там, pavlinux (ok), 02:14 , 02-Ноя-13, (316) если предполагается, что примитивы могут косячить, то не поверишь 8212 сначал, arisu (ok), 11:03 , 02-Ноя-13, (326) Ну вот слава яйца, хоть народ до компилятора добрался и отловили описанные в нов, pavlinux (ok), 02:08 , 03-Ноя-13, (333) Выход один, компилятор должен компилировать, а вот оптимизировать ли код должен , Аноним (-), 19:42 , 30-Окт-13, (147) –1 // Это полумера Достаточно заковыристый код может и без оптимизатора стать дырой в, const86 (ok), 20:14 , 30-Окт-13, (152) +1 gcc -O0 вам в руки , Аноним (-), 22:28 , 30-Окт-13, (175) +1 // gcc -O0 124 upx -9, Сталин (?), 00:56 , 31-Окт-13, (186) –1 после первого говнопримера читать прекратил результат buf len при переполне, arisu (ok), 08:22 , 31-Окт-13, (191) +4 Это просто ещё одно доказательство, что убогий сипипи не приспособлен для промыш, Аноним (-), 16:27 , 31-Окт-13, (244) // а они там уже перестали язык-то перетрясать и стандартные библиотеки пока что , arisu (ok), 16:32 , 31-Окт-13, (247) Вообще-то это аксиома любой убогий язык не приспособлен для мэйнстрима Просто в, тоже Аноним (ok), 18:38 , 31-Окт-13, (263) Код сам неосторожно написан Компилятор просто следует стандарту, а стандарт гла, rihad (?), 16:41 , 06-Ноя-13, (335) Компилятор выкидывает из кода костыли и грязные хаки неопределённые или неста, IRASoldier (?), 12:15 , 18-Июн-18, (337) 1,2,6,7,8,9,22,24,40,42,54,63,68,84,90,96,108,133,147,191,244,335,337

Сообщения

[Сортировка по времени | RSS]

	123. "Оптимизация кода компилятором может привести к появлению про..."	–1 +/–
	Сообщение от клоун Стаканчик (?), 30-Окт-13, 17:40
	> if ((intptr_t)buf + len < buf) Если len объявлена беззнаковым числом, то buf+len<buf ложно при любых значениях buf и len и проверка может быть сочтена избыточной. Второй пример "упадёт" только если адрес 0000:0000 недоступен для чтения. Во многих ОС это так, но считать это аксиомой и закладывать в стандарты ЯП или в компилятор нельзя. Да, логичнее было бы изменить порядок следования операторов, но только это не делает код однозначно неправильным. Для сравнения: "c=a+b; if(!a)return;"
	Ответить | Правка | Наверх | Cообщить модератору

	132. "Оптимизация кода компилятором может привести к появлению про..."	+/–
	Сообщение от dq0s4y71 (ok), 30-Окт-13, 18:23
	> Если len объявлена беззнаковым числом, то buf+len<buf ложно при любых значениях buf > и len и проверка может быть сочтена избыточной. Почему это? Сравниваются ведь указатели, а не целые, поэтому целое будут преобразовано в указатель, а не наоборот. > Для сравнения: "c=a+b; if(!a)return;" Не совсем корректное сравнение. У этого кода нет побочных эффектов, в отличие от. Я бы предложил такое сравнение:    (*funcptr)();    if (!funcptr) ... Тоже "корректно", но результат в большинстве случаев будет неожиданным :)
	Ответить | Правка | Наверх | Cообщить модератору

	137. "Оптимизация кода компилятором может привести к появлению про..."	–2 +/–
	Сообщение от клоун Стаканчик (?), 30-Окт-13, 18:43
	Почему это? Сравниваются ведь указатели, а не целые, поэтому целое будут преобразовано в указатель, а не наоборот. buf + len >= buf. Всегда для беззнакового len. Согласны? Преобразование типа данных - фиктивная процедура, предназначенная для контроля типов на уровне ЯП, которая не попадает (за редкими исключениями, напр. числа с плавающей точкой хранятся в FPU, а целые числа в регистрах общего назначения) в бинарный код. > Не совсем корректное сравнение Сравнение корректно в том плане, что в обоих случаях можно изменить порядок следования операторов, но нельзя убирать условие.
	Ответить | Правка | Наверх | Cообщить модератору

	143. "Оптимизация кода компилятором может привести к появлению про..."	+/–
	Сообщение от Ordu (ok), 30-Окт-13, 19:06
	> buf + len >= buf. Всегда для беззнакового len. Согласны? Нет. Пример для 32-х битной платформы: buf=(void*) 0xffffffff; len=1
	Ответить | Правка | Наверх | Cообщить модератору

	144. "Оптимизация кода компилятором может привести к появлению про..."	+3 +/–
	Сообщение от ананим (?), 30-Окт-13, 19:06
	Проводить сравнение методом «а давайте попробуем вызвать переполнение?» — идиoтизм. Вы ещ на ноль делите, чтобы проверить, был там 0 или нет. Вот корректная проверка (ULONG_MAX - buf) > len. И оптимизатор тоже идиoтизмoм её не посчитает. (или SIZE_MAX для size_t, или >= вместо >. Тут уж хозяин барин)
	Ответить | Правка | К родителю #137 | Наверх | Cообщить модератору

	150. "Оптимизация кода компилятором может привести к появлению про..."	+/–
	Сообщение от Аноним (-), 30-Окт-13, 19:55
	> buf + len >= buf. Всегда для беззнакового len. Согласны? Вот ты и показал что ты болванчик. Как ты думаешь, что будет если к 32-битному uint32 0xfffffffe прибавить uint32 0x3? Ничего что оно врапнется по 32-битной границе? В общем твоими программами я бы пользоваться не стал - ты самых основ программирования не знаешь.
	Ответить | Правка | К родителю #137 | Наверх | Cообщить модератору

	159. "Оптимизация кода компилятором может привести к появлению про..."	+/–
	Сообщение от Аноним (-), 30-Окт-13, 20:27
	>> buf + len >= buf. Всегда для беззнакового len. Согласны? > Вот ты и показал что ты болванчик. Как ты думаешь, Так думает не он, разработчики компиляторов.
	Ответить | Правка | Наверх | Cообщить модератору

	167. "Оптимизация кода компилятором может привести к появлению про..."	+/–
	Сообщение от ананим (?), 30-Окт-13, 21:21
	Неа. Так думаешь ты и ахтур этого гoвнoкoда. А компилятор думает а) С детишкам не игрушка и б) совсем тyпoй код надо выкинуть, если ахтур попросил его оптимизировать этот гoвнoкoд.
	Ответить | Правка | Наверх | Cообщить модератору

	170. "Оптимизация кода компилятором может привести к появлению про..."	+/–
	Сообщение от Аноним (-), 30-Окт-13, 22:08
	> Так думает не он, разработчики компиляторов. На самом деле все проще: математика у процов так работает.
	Ответить | Правка | К родителю #159 | Наверх | Cообщить модератору

	208. "Оптимизация кода компилятором может привести к появлению..."	+4 +/–
	Сообщение от arisu (ok), 31-Окт-13, 09:09
	>>> buf + len >= buf. Всегда для беззнакового len. Согласны? >> Вот ты и показал что ты болванчик. Как ты думаешь, > Так думает не он, разработчики компиляторов. нет. разработчики компиляторов следуют стандарту, в котором сказано, что переполнения на свете не бывает вовсе. соответственно, коспилятор вправе считать именно так и оптимизировать, основываясь на этом. пояснение: «неопределённое поведение» — это значит, что программист должен вручную позаботиться о том, чтобы переполнения не случилось; т.е. его не бывает в корректной программе. корректная же работа оптимизатора гарантирована только на корректных программах, на некорректных он может выдавать что угодно.
	Ответить | Правка | К родителю #159 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема