forum.opennet.ru

"Оптимизация кода компилятором может привести к появлению про..."

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

Исходное сообщение

[ Отслеживать ]

Отдельный RSS теперь доступен для каждого обсуждения в форуме и каждого минипортала.

. "Оптимизация кода компилятором может привести к появлению про..."	+/–
Сообщение от Филипп Филиппович (ok), 30-Окт-13, 14:58
Нет, всё не так. :-) Очень много где будет защита и от чтения. Стандарт такую практику, конечно, запрещает. Вернее, он ничего не запрещает, но честно говорит, что результат вам может не понравиться. Это и есть "результат неопределён", к слову. :-) Результат неопределён = "это в разных реализациях может быть сделано по-разному, не рассчитывайте ни на что".
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Оптимизация кода компилятором может привести к появлению про..., opennews, 30-Окт-13, 12:07 [смотреть все]

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

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру