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

Оптимизация кода компилятором может привести к появлению про..., 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]

	192. "Оптимизация кода компилятором может привести к появлению..."	+/–
	Сообщение от arisu (ok), 31-Окт-13, 08:25
	> Комментор умнее исследователей и редакторов научных статей. Гений прям. в данном случае — умнее авторы компилятора. которые стандарты таки читали, в отличие от этих «исследователей».
	Ответить | Правка | К родителю #59 | Наверх | Cообщить модератору

	234. "Оптимизация кода компилятором может привести к появлению..."	–1 +/–
	Сообщение от Аноним (-), 31-Окт-13, 15:57
	> в данном случае — умнее авторы компилятора. которые стандарты таки читали, в отличие от этих «исследователей». Стандарт прочитать и обезьянка может. А вот корректно обрабатывать отклонения от стандарта (например, выдавать предупреждения) - это уже мозг нужен. С чем, к сожалению, у авторов современных компиляторов проблемы.
	Ответить | Правка | Наверх | Cообщить модератору

	248. "Оптимизация кода компилятором может привести к появлению..."	+/–
	Сообщение от arisu (ok), 31-Окт-13, 16:35
	> Стандарт прочитать и обезьянка может. А вот корректно обрабатывать отклонения от стандарта > (например, выдавать предупреждения) — это уже мозг нужен. > С чем, к сожалению, у авторов современных компиляторов проблемы. предлагаю тебе надрать им всем задницы и показать, как надо делать компиляторы. раз ты так уверен, что ты сможешь научить компилятор выдавать предупреждения лучше, чем те, что есть — сделай это! заодно и «скайнет» напишешь, думаю.
	Ответить | Правка | Наверх | Cообщить модератору

	258. "Оптимизация кода компилятором может привести к появлению..."	+/–
	Сообщение от Аноним (-), 31-Окт-13, 17:00
	> раз ты так уверен, что ты сможешь научить компилятор выдавать предупреждения Ага, для того чтобы это хорошо работало, правда, придется тезисы Тюринга опровергнуть. Но об этом он узнает немного попозже...
	Ответить | Правка | Наверх | Cообщить модератору

	260. "Оптимизация кода компилятором может привести к появлению..."	+/–
	Сообщение от arisu (ok), 31-Окт-13, 17:52
	> Ага, для того чтобы это хорошо работало, правда, придется тезисы Тюринга опровергнуть. > Но об этом он узнает немного попозже… не веришь ты в людей. это, может, гений среди нас, а ты его расхолаживаешь. он тебя послушает-послушает, сопьётся с горя, умрёт — и не будет у нас «скайнета».
	Ответить | Правка | Наверх | Cообщить модератору

	268. "Оптимизация кода компилятором может привести к появлению..."	–1 +/–
	Сообщение от Аноним (-), 31-Окт-13, 18:51
	>> раз ты так уверен, что ты сможешь научить компилятор выдавать предупреждения > Ага, для того чтобы это хорошо работало, правда, придется тезисы Тюринга опровергнуть. Вас послушать, так для оптимизаций компилятор вообще должен собственным сознанием обладать. А типичные случаи UB хорошо известны и разжеваны. С их отловом справился бы даже очень тyпой компилятор.
	Ответить | Правка | К родителю #258 | Наверх | Cообщить модератору

	270. "Оптимизация кода компилятором может привести к появлению..."	+/–
	Сообщение от arisu (ok), 31-Окт-13, 19:00
	> А типичные случаи UB хорошо известны и разжеваны. С их отловом справился > бы даже очень тyпой компилятор. так когда релиза-то ждать «нетупого компилятора»?
	Ответить | Правка | Наверх | Cообщить модератору

	301. "Оптимизация кода компилятором может привести к появлению..."	+/–
	Сообщение от Аноним (-), 01-Ноя-13, 18:55
	> так когда релиза-то ждать «нетупого компилятора»? Я решил эту проблему более эффективным способом :)
	Ответить | Правка | Наверх | Cообщить модератору

	308. "Оптимизация кода компилятором может привести к появлению..."	+2 +/–
	Сообщение от arisu (ok), 01-Ноя-13, 19:15
	>> так когда релиза-то ждать «нетупого компилятора»? > Я решил эту проблему более эффективным способом :) ага: балабольским. побалаболил и сбежал.
	Ответить | Правка | Наверх | Cообщить модератору

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

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