Как компилировать код на C, чтобы компилятор меня бил по рукам за плохие вещи?

1

2

Добрый день! На данный момент я собираю свой код на C с помощью алиаса build:

build() {
    cc -g -O2 -Wall -Werror -Wformat-security -Wignored-qualifiers -Winit-self \
    -Wswitch-default -Wfloat-equal -Wpointer-arith -Wtype-limits \
    -Wempty-body -Wstrict-prototypes -Wold-style-declaration \
    -Wold-style-definition -Wmissing-parameter-type -Wmissing-field-initializers \
    -Wnested-externs -Wno-pointer-sign -std=gnu99 "$@"
}

Подскажите, пожалуйста, что ещё можно навесить туда, чтобы компилятор меня бил по рукам за то, что делать нельзя или не стоит? Я слышал про sanitizers, но, прочитав краткий ман, плохо понял, как они работают. Заранее спасибо.

Ссылка

←	Хаскель - несколько определений одной функции - порядок применения

Java - посоветуйте примеры с подробным описанием

→

Стандарт лучше не gnu99, а c89 (если код позволяет, так он хоть будет переносим за пределы gcc); из ворнингов обычно использую -Wall -Wextra -Wpedantic.

Bfgeshka ★★★★★
(27.11.16 00:03:04 MSK)

-Wextra -pedantic

anonymous
(27.11.16 00:03:36 MSK)

Ссылка

меня бил по рукам за плохие вещи?

ТС нравится, когда ему делают больно? )

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

Harald ★★★★★
(27.11.16 00:11:10 MSK)

Ссылка

Как компилировать код на C, чтобы компилятор меня бил по рукам за плохие вещи?

Никак. В одной из твоих недавних тем был в титульно сообщении пример кода, который формально корректный, но плохой. Сколько бы в опции предупреждений не напихал, компилятор ничего говорить не станет — код корректен.

Вот кусок, про который я говорю:

int f (int *p, int *q) {
    static int a = 3;

    if (--a)
        return *p-- += *q--;
    return *q++ -= *p++;
}

i-rinat ★★★★★
(27.11.16 00:21:05 MSK)
Последнее исправление: i-rinat 27.11.16 00:21:35 MSK (всего исправлений: 1)

sanitizers будут бить по рукам не во время компиляции, а во время работы программы. Что-то неправильное происходит - крэш!

Если хочется жести на стадии компиляции, добавь статический анализ

annulen ★★★★★
(27.11.16 00:23:15 MSK)

Ссылка

Люто плюсую статический анализ

XMs ★★★★★
(27.11.16 00:27:26 MSK)

Ссылка

У clang есть -Weverything. Хороший способ изучать какие предупреждения вообще присутствуют. Особо назойливые ворнинги можно отключать -Wno-...

Например -Weverything -Wno-c++11-long-long -Wno-c++11-extensions -Wno-weak-vtables.

В gcc выковырять все известные предупреждения можно через gcc --help=warnings

sf ★★★
(27.11.16 02:25:43 MSK)

Ответ на: комментарий от i-rinat 27.11.16 00:21:05 MSK

Вот против такого поможет MISRA

vromanov ★★★
(27.11.16 23:19:39 MSK)

Ответ на: комментарий от vromanov 27.11.16 23:19:39 MSK

Открытых инструментов проверки же нет? Из доступных разве что Coverity.

i-rinat ★★★★★
(27.11.16 23:37:01 MSK)

Ответ на: комментарий от i-rinat 27.11.16 00:21:05 MSK

Погоди, а в чём проблема с данным куском кода? *p++ = *q++ (и вариации на тему) так вообще идиома.

intelfx ★★★★★
(28.11.16 00:00:14 MSK)
Последнее исправление: intelfx 28.11.16 00:01:20 MSK (всего исправлений: 2)

Ответ на: комментарий от intelfx 28.11.16 00:00:14 MSK

а в чём проблема с данным куском кода?

Эта функция делает сначала одно, потом на третий вызов внезапно другое, затем снова возвращается к «обычной» работе.

И да, попробуй описать словами, что именно делает функция, и для чего.

i-rinat ★★★★★
(28.11.16 00:09:01 MSK)
Последнее исправление: i-rinat 28.11.16 00:10:10 MSK (всего исправлений: 1)

Ответ на: комментарий от i-rinat 28.11.16 00:09:01 MSK

Эта функция делает сначала одно, потом на третий вызов внезапно другое, затем снова возвращается к «обычной» работе.

И что? Может быть, так и было задумано? Компилятор не может и не должно волновать, что у функции долбанутый control flow и есть скрытое состояние. Это забота человека.

И да, попробуй описать словами, что именно делает функция, и для чего.

Первые два вызова — прибавляет *q к *p. На третий вызов вычитает *p из *q. Потом labs(INT_MIN) вызовов снова прибавляет *q к *p, потом происходит знаковое переполнение и UB.

intelfx ★★★★★
(28.11.16 00:18:44 MSK)
Последнее исправление: intelfx 28.11.16 00:22:05 MSK (всего исправлений: 3)

Ответ на: комментарий от Bfgeshka 27.11.16 00:03:04 MSK

Стандарт лучше не gnu99, а c99

пофиксил

reprimand ★★★★★
(28.11.16 00:19:59 MSK)

Ссылка

Ответ на: комментарий от intelfx 28.11.16 00:18:44 MSK

Компилятор не может и не должно волновать, что у функции долбанутый control flow и есть скрытое состояние.

Я и говорю, что никак нельзя компилятор заставить бить ТС по рукам за плохие вещи. Код явно плохой, но компилятор ругаться не будет.

ТС хочет автоматизированную метрику хорошести кода. Но подразумеваемая им метрика — число предупреждений компилятора — для такого не годится.

i-rinat ★★★★★
(28.11.16 00:26:32 MSK)

Ответ на: комментарий от i-rinat 28.11.16 00:26:32 MSK

Что значит «плохой»? Может быть, я намеренно хотел функцию, которая меняет своё поведение в зависимости от количества запусков, а больше 1000 раз я её запускать не собираюсь?

intelfx ★★★★★
(28.11.16 00:33:07 MSK)

Ответ на: комментарий от intelfx 28.11.16 00:33:07 MSK

Может быть, я намеренно хотел функцию, которая меняет своё поведение в зависимости от количества запусков

Тогда нам с тобой не по пути. :-D

i-rinat ★★★★★
(28.11.16 00:42:39 MSK)

Ответ на: комментарий от i-rinat 28.11.16 00:42:39 MSK

Надо полагать, на твоём пути статических кэшей, отладочно-прототипных функций со статическими буферами и т. п. не существует?

Похвально, конечно, но непрактично.

intelfx ★★★★★
(28.11.16 01:18:32 MSK)

Ответ на: комментарий от intelfx 28.11.16 01:18:32 MSK

Ты действительно не видишь разницы?

i-rinat ★★★★★
(28.11.16 01:43:36 MSK)

Ответ на: комментарий от i-rinat 28.11.16 01:43:36 MSK

Для человека или для компилятора (анализатора)?

intelfx ★★★★★
(28.11.16 01:50:20 MSK)
Последнее исправление: intelfx 28.11.16 01:51:26 MSK (всего исправлений: 1)

Ответ на: комментарий от intelfx 28.11.16 01:50:20 MSK

Я не понимаю, что ты пытаешься донести. Пока что то, что я смог вытащить из твоих слов, никак не противоречит моим сообщениям. Тем не менее, ты подаёшь свою позицию как опровержение моей.

i-rinat ★★★★★
(28.11.16 02:31:56 MSK)

Ссылка

Ответ на: комментарий от i-rinat 27.11.16 23:37:01 MSK

На посмотреть что такое MISRA есть

http://gimpel-online.com//cgi-bin/genPage.py?srcFile=misra3.c&cgiScript=analyseCode.py&title=MISRA+C+2012+Example+%28C%29&intro=This+example+shows+how+FlexeLint%2FPC-lint+addresses+certain+MISRA+C+2012+guidelines.&compilerOption=online32.lnt+au-misra3.lnt+lib-unmisra.lnt&includeOption={{quotedIncludeOption}}

Для статической проверки можно попытаться заюзать

http://clang-analyzer.llvm.org/

или даже

http://splint.org/

alx777 ★★
(28.11.16 12:29:51 MSK)

Ссылка

Ответ на: комментарий от i-rinat 27.11.16 23:37:01 MSK

Смотря что считать. Бесплатным можно считать Code Composer Studio от Texas Instruments, но там реализация MISRA очень-очень бажная.

vromanov ★★★
(28.11.16 17:42:10 MSK)

Ссылка

clang -Weverything

~~unt1tled~~ ★★★★
(28.11.16 17:47:54 MSK)

Ссылка

На тему статического анализа кода: не забываем PVS-Studio, тем более, что скоро будет доступен бесплатный вариант лицензии.

~~Andrey_Karpov_2009~~ ☆
(28.11.16 23:49:58 MSK)

Ответ на: комментарий от Andrey_Karpov_2009 28.11.16 23:49:58 MSK

Ждал, пока кто-нибудь упомянет PVS :D С нетерпением жду бесплатный вариант/лицензии для физ лиц. Уж очень не терпиться проверить качественность своего кода.

mr_Heisenberg ★
(29.11.16 01:05:10 MSK)

Ответ на: комментарий от mr_Heisenberg 29.11.16 01:05:10 MSK

нетерпением жду бесплатный вариант/лицензии для физ лиц. Уж очень не терпиться

Пока ждёшь PVS-Studio, можешь бесплатно проверить правописание http://tsya.ru/

anonymous
(29.11.16 01:17:38 MSK)

Ответ на: комментарий от anonymous 29.11.16 01:17:38 MSK

Фак, это т9. Но ошибка и вправду тупая.

mr_Heisenberg ★
(29.11.16 02:09:11 MSK)

Ссылка

Рекомендую собирать проект и gcc и llvm, т.к. они имеют непересекающееся подмножество warning'ов. Можно попробовать clang static analyzer. Далее - да, санитайзеры рулят. В кратце:

Собираем проект с нужным санитайзером
Запускаем бинарь на каких-либо данных, собираем предупреждения
Исправляем ошибки, идём в 1

Можно ещё valgrind'ом поработать.

Ещё есть ошибки, которые видны только с опцией -flto (причём не факт что они будут проявляться без сборки с данной опцией вообще, но проверить стоит).

alexanius ★★
(29.11.16 21:10:50 MSK)

Ссылка

Ответ на: комментарий от intelfx 28.11.16 00:33:07 MSK

Что значит «плохой»? Может быть, я намеренно хотел функцию, которая меняет своё поведение в зависимости от количества запусков, а больше 1000 раз я её запускать не собираюсь?

Сначала я подумал что это какой-то толстый тролинг, но потом вспомнил что ты Леннартофил.

ya-betmen ★★★★★
(29.11.16 21:37:22 MSK)

Ссылка

Мой любимый набор:

CFLAGS := -pedantic -Werror -Wall -Wextra -Wswitch-default -Wswitch-enum      \
          -Wshadow -Wundef -Wpointer-arith -Wcast-align -Winit-self           \
          -Wstrict-overflow=3 -Wlogical-op -Wwrite-strings -Wnested-externs   \
          -Wbad-function-cast -Wold-style-definition -Wunreachable-code       \
          -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations

А вообще, чтобы тебя били по рукам надо писать не на си, а на расте

loyd
(01.12.16 09:52:19 MSK)