Неиспользуемые функции в си-проекте

-Wunused-function

Я использую gcov. При прогонке тестов неиспользуемый код видно сразу.

по-моему, обычный -Wall выдаёт такое предупреждение.

Нет под рукой компилятора чтобы проверить, но насколько я помню — только в случае со static. Функцию из другого модуля, которая смотрит наружу, он не показывает.

Да, вы правы. -Wall включает в себя -Wunused-function, который показывает только static.

gcov использовать не выйдет, только static тулы, ибо код выполняется не на машине на которой его пишут. Там сложное окружение, завязанное на базы данных и скрипты. Плюс нельзя покрыть все автотестами, ибо много функционала и зачастую он одноразовый (типа fire alarm).

cppcheck?

ну так в динамических библиотеках и нет понятия «неиспользуемая функция». просто есть интерфейс, а использовать все функции или только одну - это дело хозяйское.

У clang static analyzer есть проверки для поиска неиспользуемого кода.

Ещё одна альтернатива — использовать что-то на основе gtags, предположительно простым скриптом вопрос решится. Это если совсем собирать с чем-то другим не получается.

Причём тут динамические библиотеки? Ты что такое «модуль» в контексте Си вообще знаешь?

разве в СИ есть модули?

в этом треде не хватает упоминания пва клея pvc studio

в си нет «модулей». есть объектники, статические библиотеки и динамические библиотеки. при компиляции в одном бинарнике компилятор выдаст предупреждение.

-Weverything

разве в СИ есть модули?

Явно стандартом не определяются. По факту модули организуются отдельными файлами, где интерфейс обьявляют в заголовочный файл, а все внутренние функции объявляют static.

Ты что такое «модуль» в контексте Си вообще знаешь?

a % m

при компиляции в одном бинарнике компилятор выдаст предупреждение

Тебе же выше уже написал PPP328, что это не так.

На выходе набор объектных файлов без библиотек? Я писал себе скрипт на питоне, который показывает неиспользуемые функции, но с библиотеками не использовал. Могу выложить, если интересно.

Если есть возможность вмешаться в сборку, можно попробовать так:

• компилируем все с -fdata-sections -ffunction-sections
• линкуем бинарник с -Wl,--gc-sections
• получаем список всех символов: $ find . -name "*\.o" | xargs nm | grep " T " | cut -c 20- | sort > all-symbols
• получаем список символов из бинарника (в предположении что линкер вырезал неиспользуемые) $ nm ./a.out | grep " T " | cut -c 20- | sort > used-symbols
• diff all-symbols used-symbols

У ld есть --print-gc-sections, может его проще будет использовать для получения удалённых символов? Не знаю, насколько вывод этой опции читабельный.

cppcheck.

Только что проверил. Версия 1.83 отсюда http://cppcheck.sourceforge.net/

Добавил такой код:

// в hpp файле
void unused();

// в сpp файле
void unused()
{

}

имя_файла.cpp стиль строка 27 The function 'unused' is never used.

P.S прогнал теже файлы PVS-Studio

Congratulations! PVS-Studio has not found any issues in your source code!

cpp-check у нас не показывает такое, версия 1.78 dev. pvs - говно, ложноположительного 95%, оставшиеся 5% показывает cppcheck.

Ща попробую собрать cpp-check последний. С cppcheck всегда были проблемы с тем что он не видит cfg файлы.

Даже в последней версии это говно не поправили:
https://s14.postimg.org/wagovj0c1/2018-04-06_17-26-46.png
https://s14.postimg.org/lavhjycht/2018-04-06_17-26-53.png

Это легко починить.

Скопируй папки cfg/ и platforms/ со всеми файлами в папку gui/

Или использовать собранные файлы с сайта, тогда ничего мутить не нужно...

Короче поставил новый cppcheck - он стал хуже в плане развертывания макросов. Но функции показывает, спасибо.

оставшиеся 5% показывает cppcheck.

И такое тоже покажет?

#include <vector>
int main()
{
  std::vector<int> v(10);
  v[10] = 10;
  return 0;
}

cppcheck такое не находит.

Хотя cppcheck ругается прям на эту строчку, только с другим предупреждением

v[10] = 10;
Variable 'v' is assigned a value that is never used.

Анализатор от Microsoft ругается на все [], и говорит использовать вместо [] функцию at

Prefer to use at() instead of unchecked subscript operator

PVS-Studio

V557 Array overrun is possible. The '10' index is pointing beyond array bound.

Clang-tidy, ничего не нашёл...

$ cat 1.cpp
#include <vector>
int main()
{
  std::vector<int> v(10);
  v[10] = 10;
  return 0;
}

$ clang-tidy -checks=* 1.cpp -- -std=c++1z
1404 warnings generated.
Suppressed 1404 warnings (1404 in non-user code).

А причем тут векторы, если в тегах Си?

pvs - это 99.99% ложных срабатываний:

typedef struct CML_Node
{
    char * name;
    u32    type;

    union
    {
        char  * string;
        i32     integer;
    } data;

    struct CML_Node ** nodes;
           u32    ncount;

    struct CML_Node * parent;
} CML_Node;

bool cml_equal(CML_Node * n1, CML_Node * n2)
{
    if (n1 == n2)
        return true;
    if (((!n1) && (n2)) ||
        ((!n2) && (n1)))
        return false;

    if (n1->type != n2->type)
        return false;

    if (bxi_strcmp(n1->name, n2->name))
        return false;

    switch (n1->type)
    {
    case CML_TYPE_INTEGER:
        if (n1->data.integer != n2->data.integer)
            return false;
        break;
    case CML_TYPE_STRING:
        if (bxi_strcmp(n1->data.string, n2->data.string))
            return false;
        break;
    case CML_TYPE_ARRAY:
    case CML_TYPE_HASH:
    {
        u32 i;
        if (n1->ncount != n2->ncount)
            return false;
        for (i = 0; i < n1->ncount; i++)
            if (!cml_equal(n1->nodes[i], n2->nodes[i]))
                return false;
        break;
    }
    default:
        break;
    }

    return true;
}

Можно прямо по бинарникам пройтись и выгрести все экспортируемые, но не импортируемые символы: https://github.com/trofi/uselex/blob/master/uselex.rb#L16

cppcheck такое не находит.

Я знаю. Потому и считаю его бесполезным инструментом.

А причем тут векторы, если в тегах Си?

Ну имя инструмента cppcheck как бы намекает. Но попробуйте заменить вектор на не очень хитрую структуру.