Я хотел бы увидеть небольшой, но полный фрагмент кода, который заставит Clang static analyzer жаловаться. Моя мотивация в основном заключается в том, что я пытаюсь заставить ее работать над моим кодом PIC32, и мне нужен способ отличить "весь код в порядке" и "он фактически ничего не делает". Это также частично любопытство, так как я не могу представить себе простой пример.
C89/ANSI или C99 в порядке, и в идеале я бы хотел, чтобы он обнаружил простую утечку памяти. Мое использование
clang --analyze test.c