suponiendo que el desbordamiento firmado no se produce en la declaración if

¿Por qué aparece esta advertencia? No es realmente una suposición si reviso los límites. ¿Y cómo arreglarlo?

Sinum_actions_to_skip se establece en 1, en lugar de 2, el error desaparece.

Gracias

error: assuming signed overflow does not occur when assuming that (X - c) <= X is always true [-Werror=strict-overflow]
cc1plus: all warnings being treated as errors

Enif (loc >= 0 && loc < action_list.count()) {

const QList<QAction *> &action_list = tool_menu->actions();
static const int num_actions_to_skip = 2;
const int loc = action_list.count() - num_actions_to_skip;
if (loc >= 0 && loc < action_list.count()) {
    tool_menu->insertAction(action_list.at(loc),
                            action);
}

Comenzó con

Q_ASSERT_X(i >= 0 && i < p.size()

en qlist.h: 454, que realiza la misma comprobación, y también lanza este error, con solo

tool_menu->insertAction(action_list.at(action_list.count() - 2),
                                action);

Respuestas a la pregunta(3)

Su respuesta a la pregunta