Предупреждения поведения Undefined/Unspecified/Implementation-defined?

Если ваш компилятор не предупреждает об этом, вы можете попробовать ЛИНТЕР.

Splint бесплатен, но проверяет только C http://www.splint.org/

Gimpel Lint поддерживает C ++, но стоит 389 долларов США - может быть, вашу компанию можно убедить купить копию? http://www.gimpel.com/

GCC предупреждает как можно больше, когда вы делаете что-то, выходящее за рамки норм языка, оставаясь синтаксически правильным, но за пределами определенной точки необходимо достаточно информирован.

Вы можете вызвать GCC с флагом -Wall , чтобы увидеть больше.

Разные компиляторы отлавливают разные условия; у большинства компиляторов есть опции уровня предупреждения, у GCC их много, но -Wall -Werror включит большинство полезных и заставит их ошибиться. Используйте \W4 \WX для аналогичной защиты в VC++.

В GCC вы могли бы использовать -ansi -pedantic, но педантичность - это то, что она говорит, и вызовет множество нерелевантных вопросов и затруднит использование большого количества стороннего кода.

В любом случае, поскольку компиляторы ловят разные ошибки или выдают разные сообщения для одной и той же ошибки, полезно использовать несколько компиляторов, не обязательно для развертывания, но в качестве статического анализа. Другой подход для кода на Си - попытаться скомпилировать его как C++; более сильная проверка типов C++ обычно приводит к лучшему коду на Си; но будьте уверены, что если вы хотите, чтобы компиляция на Си работала, не используйте исключительно компиляцию на C++; скорее всего, вы внедрите специфические особенности C++. Опять же, это не обязательно должно быть развернуто как C++, а просто использоваться в качестве дополнительной проверки.

Наконец, компиляторы обычно создаются с учетом баланса производительности и проверки ошибок; исчерпывающая проверка потребовала бы времени, на которое многие разработчики не согласятся. По этой причине существуют статические анализаторы, для языка C есть традиционный lint и splint с открытым исходным кодом. C++ более сложен для статического анализа, и инструменты часто очень дороги. Один из лучших, который я использовал, это QAC++ от Programming Research. Я не знаю ни одного бесплатного анализатора C++ с открытым исходным кодом, имеющего какую-либо репутацию.

gcc предупреждает в этой ситуации (по крайней мере, с -Wall):

#include <stdio.h>

int main(int argc, char *argv[])
{
  int a[5];
  int i = 0;

  a[i] = ++i;

  printf("%d\n", a[0]);

  return 0;
}

Gives:

$ make
gcc -Wall main.c -o app
main.c: In function ‘main’:
main.c:8: warning: operation on ‘i’ may be undefined

Edit:

Быстрое чтение man page показывает, что -Wsequence-point сделает это, если вы по какой-то причине не хотите -Wall.

Напротив, компиляторы не требуются для выполнения какой-либо диагностики неопределенного поведения:

§1.4.1:
Набор диагностируемых правил состоит из всех синтаксических и семантические правила в этом международном стандарте, за исключением тех правил, которые содержат явную нотацию, что «диагностика не требуется» или которые описаны как приводящие к «неопределенному поведению»

. Хотя я согласен, что это может быть хорошо, у компилятора достаточно проблем, пытаясь соответствовать стандартам, не говоря уже о том, чтобы научить программиста программированию.