caxapa.ru :: ...но всё это при грамотном написании сводится к dead code, который не вызывается вообще (а не "вызывается-по-мнению-компилятора-зря"). Dead code вырезается куда как проще и надёжнее.

Николай Коровин (14.11.2015 13:52, просмотров: 116) ответил Lightelf на Код может генерировать тулза, код может быть обложен условной компиляцией, функция из какой-нибудь библиотеки может быть вызвана с константным параметром и т.д.

...но всё это при грамотном написании сводится к dead code, который не вызывается вообще (а не "вызывается-по-мнению-компилятора-зря"). Dead code вырезается куда как проще и надёжнее.

Ответить

- Ну вот компилятор и считает такой memset за dead code. Так как результат не используется. - Lightelf(14.11.2015 13:56)
  - Да, пардон, unreachable code. Dead code == unreachable code + dead store code. Unreachable надо резать однозначно, а dead store code -- скорее избегать возникновения, сводя к unreachable, нежели резать компилятором. - Николай Коровин(15.11.2015 14:40)
  - ...а должен смотреть на точки следования, а не на результат... в точку приходы есть? Есть. Всё, свободен. Вот если бы инлайновая с константой... Николай Коровин(293 знак., 14.11.2015 14:05)
    - А если после вызова bar массив ZeroData далее не используется, то компилятор имеет полное право вообще всю функцию удалить. Такое поведение в стандарте описано. Неизвестных отцов демократии спасет своевременно употребляемый volatile. - Lightelf(14.11.2015 14:40 - 14:44)
      - Volatile-то да, это стопудово. А насчёт стандарта -- желательно бы поподробнее, в котором именно (эволюция всё-таки у языка длинная) и как регламентировано. Кстати, логично было бы использовать прагмы, в которые заворачивать функции, умеющие Николай Коровин(80 знак., 15.11.2015 13:57 - 14:04)
        
        Минуточку. Я думал, "прагма" переводится как "костыль". Или нет? - SciFi(15.11.2015 14:06)
        
        А прагмы как-то стандартизрованы, или каждый на свой лад? - Dingo(16.11.2015 15:54)
        
        Именно на свой лад. - SciFi(16.11.2015 15:55)
        
        ...и это у них главное слабое место. Ну, фундаментальные типа #pragma pack или calling convention pragmas более-менее похожи, потому что без них никак. А вот прагмы для [не]удаления «некода» очень слабы и невнятны. - Николай Коровин(16.11.2015 21:06)
        
        Неее. Это memset_s переводится как "костыль". А прагма переводится как "...это приказ" :) Или как "вводная", по обстоятельствам %) "Я не буду тебе это на ассемблере объяснять, но надо сделать стековый вызов от первого к последнему, переменное Николай Коровин(112 знак., 15.11.2015 14:13 - 14:19)
        
        Дык я о том же - "приказ подставить костыль". - SciFi(15.11.2015 14:17)
        
        Приказ не умничать :) - Николай Коровин(15.11.2015 14:24)

Средства и методы разработки