Russian Qt Forum

Недавно перевёл свои проекты для Android для Clang - теперь им Qt5 собирается. В проекте была ошибка


То есть у второго варианта функции не было возвращаемого значения, хотя функция объявлена как bool (и в .h также). Компилятор выдал предупреждение, хотя по идее должна выдаваться ошибка - возвращаемое значение не определено. Даже QtCreator 5.10 отметил строку замечанием. Но самое странное, что в таком случае... происходило падение при выходе из второго варианта. Заменил возврат bool на void - всё стало нормально. Ну предупреждение вместо ошибки - это ещё ладно, хотя IMHO должна быть серьёзная ошибка. Но падать то от чего? Возврат ведь не использовался. Неопределённое булево значение легло на стек - false или true, не известно. Но его значение вызывающая функция проигнорировала, указатель стека просто отсчитала на 1 больше, и всё.

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

Гурман, посмотрите на то, что генерирует clang:
https://godbolt.org/z/9be4e7

C++ (Qt)
#include <cstdint>
 
int a = 0;
 
void test0()
{
    a = 1;
}
 
bool test()
{
    test0();
}
 
int main()
{
    test();
}
 

Если отключить оптимизацию, то на том месте где должен был быть return clang генерирует инструкцию ud2 (https://www.felixcloutier.com/x86/ud).

ASM
test0():                              # @test0()
        push    rbp
        mov     rbp, rsp
        mov     dword ptr [a], 1
        pop     rbp
        ret
test():                               # @test()
        push    rbp
        mov     rbp, rsp
        call    test0()
        ud2
main:                                   # @main
        push    rbp
        mov     rbp, rsp
        sub     rsp, 16
        call    test()
        xor     ecx, ecx
        mov     byte ptr [rbp - 1], al  # 1-byte Spill
        mov     eax, ecx
        add     rsp, 16
        pop     rbp
        ret
a:
        .long   0                       # 0x0
 

А если включить -O1, то вообще вот так:

ASM
test0():                              # @test0()
        mov     dword ptr [rip + a], 1
        ret
test():                               # @test()
        push    rax
        call    test0()
main:                                   # @main
        push    rax
        call    test()
a:
        .long   0                       # 0x0
 

И что там за test выполняется ему не важно. :)

 :o

я хотел в код глянуть, но некогда было

однако баг репортом запахло...

По стандарту эта ситуация приводит к UB.
Хотели неопределенности - нате. :)

Но по человечески конечно разработчики clang козлы. Не хотите/можете генерировать дальше код - выдайте ошибку, а так и ошибку не выдаем и код не генерим. "Вы либо крестик снимите, либо трусы наденьте". :)

gcc тоже варнинг выдает, но хоть код рабочий генерит.

Не.... неопределённость в возвращаемом значении. Но не в алгоритме. По алгоритму функция завершилась, должен быть возврат без определённого значения функции. Обязан быть ret после разбора закрывающей фигурной скобки. Но его нет. Это баг.

Нет, баг у вас ;)

http://blog.llvm.org/2011/05/what-every-c-programmer-should-know.html

Мой баг только в отсутствии return. Но это совсем не undefined behaviour. Behaviour как раз defined - завершился блок, составляющий тело функции. Значит завершилась функция, и из неё должен быть возврат. Только значение не определено - undefined value но не behaviour. Во всяком случае именно так работали все 6-7 компиляторов, которыми я когда-либо пользовался, начиная с K&R C в RT-11. Если там в статье написано что-то другое - значит чушь написана.

Это УБ с точки зрения стандарта. И кланг такой умничка что вставляет трап в месте UB (то, что Old запостил с -O0) чтобы вы могли найти и исправить UB. Гцц даже этого не делает.


Не читал, но осуждаю, ясно-понятно.

Ну значит 8-й делает не так, и "стоны придавленного дерева" ничего не изменят

Clang был бы умничкой, если бы красную ошибку выдал. Как в случае с return; без значения. Поскольку по сути - это именно он и есть.

-Wall -Wextra -Wpedantic -Werror

-Wall (https://clang.llvm.org/docs/DiagnosticsReference.html#wall)-> -Wmost (https://clang.llvm.org/docs/DiagnosticsReference.html#wmost) -> -Wreturn-type (https://clang.llvm.org/docs/DiagnosticsReference.html#wreturn-type)

У чувачка банальный -Wall не включен а виноват кланг лол

Тогда этот "чувачок" в Qt Team работает. Потому как я лично просто стал использовать ровно то, что приехало с Qt 5.12.5, без изменений.

можно ссылку, для ликбеза, на стандарт по УБ для данного случая ?

У меня не открывается (http://secdns.dk/blocked?h=www.open-std.org&z=www.open-std.org&u=%2Fjtc1%2Fsc22%2Fwg21%2Fdocs%2Fpapers%2F2017%2Fn4659.pdf#subsection.9.6.3) на работе, но говорят там такое написано.

В разных стандартах формулировки незначительно отличаются. В текущем черновике (http://eel.is/c++draft/stmt.return) вот так написано:

И вот тут (http://eel.is/c++draft/diff.stat#2) ещё:

А также можно почитать: Why does flowing off the end of a non-void function without returning a value not produce a compiler error? (https://stackoverflow.com/questions/1610030/why-does-flowing-off-the-end-of-a-non-void-function-without-returning-a-value-no).

Можно ссылку, где в Qt такое непотребство?

clang из Xcode по умолчанию выдает предупреждения -Wreturn-type, например. у меня никаких нестандартных настроек в креаторе и проекте нет.

И это есть бред, который K&R идеологии противоречит, и не имеет силы поэтому.

У К&Р не было классов и можно было возвращать 0. А что возвращать в плюсах? Дефол-констрактед Т? А если дефолт ктора нет? Вот вам и УБ что определить поведение по умолчанию невозможно.
Как выше уже написали, можно написать такую функцию, которая будет иметь ветку без return, но которая никогда не выполнится (и анализатор хрен докажет что эта ветка не выполняется) => всё отлично, функция абсолютно валидная с тз языка и юзкейзов и никакого УБ.

Ссылочку на что? На дистрибутив Qt для установки?

То же самое, что и без плюсов. Функция описана как возвращающая bool. Классы тут ни при чём, этот тип по-умолчанию обычный скалярный, такой же как у K&R.

Весь дистрибутив Qt - сплошное непотребство? :o У меня, конечно, были подозрения, но не такого масштаба.


Так баг у вас или у чувачка из Qt Team?

Наврятли это из Qt-team, слишком уж код-стайл не тот.  ::)

Чтобы не терять смысл написанного другими, и не задавать глупые вопросы, надо внимательнее читать реплики.

Действительно, я было подумал, что из-за опции компилятора, где-то в Qt пропустили функцию без return. Оказывается, всё намного проще. Вопрос про непотребства в Qt снимается.


Т.е. какие опции компилятора в Qt  Team выставят, с такими вы проекты и собираете. Сами эти опции не контролируете, и задать другие, без чувачка из Qt  Team, не можете.

Могу. Но ещё я 11 лет езжу на машине марки Ford, и ни разу не перепрограммировал её управление двигателем и коробкой передач. Хотя тоже могу.

http://eel.is/c++draft/stmt.return#4