170 похожих чатов

Вопрос по стат. анализу. Есть switch по енуму. Если в

нём не сделать default-ветку, компилятор даёт ворнинг. Если сделать, ворнинг даёт анализатор (Svace), мол, все варианты енума проверены, ветка недостижимая.
Можно ли их помирить, не заглушив диагностику в анализаторе?

12 ответов

26 просмотров

Если в нём не сделать default-ветку, компилятор даёт ворнинг. можно пример на godbolt.org?

формально, прав компилятор. тип перечисления может иметь значение, для которого в нём нет названия, если оно в его диапазоне (с этими диапазонами небольшая каша, но это не суть) если вы хотите сказать "нет, мне пофиг, только эти значения, а иначе UB", можно добавить default: unreachable(), и посмотреть, как правильно в вашем случае реализовать unreachable (в C++23 будет std::unreachable, в GCC и clang есть __builtin_unreachable()) если вы хотите сделать так, но сохранить на будущее warning о свиче, в котором рассмотрены не все случаи, можно вынести свич в функцию (лямбду), заменить break на return, пихнуть unreachable() в конец функции и использовать -Wswitch

Я согласна с компилятором, но надо как-то сесть на два стула ((

так я далее написал как на них сесть

Ivan Sokolov
так я далее написал как на них сесть

не все могут себе позволить C++23

Ivan Sokolov
формально, прав компилятор. тип перечисления может...

>> с этими диапазонами небольшая каша Да нет там каши, диапазон от нуля до следующего круглого бинарного числа. Если есть отрицательные — то же самое с нижней границей диапазона

Ivan Sokolov
так я далее написал как на них сесть

На default: unreachable(); анализатор ровно так же будет ругаться, не?

Юльвёнок Чувствительная
На default: unreachable(); анализатор ровно так же...

значит выход один: дорабатывать анализатор. если он ваш или хотя бы опенсорсный

Ofee Oficsu
>> с этими диапазонами небольшая каша Да нет там ...

у в общем-то да, но при этом диапазон может не совпадать с диапазоном никакого целочисленного типа, например быть [0, 32). это может вызвать взрыв мозга у человека, который не знаком с этими правилами :)

Похожие вопросы

Обсуждают сегодня

а через ESC-код ?
Alexey Kulakov
29
30500 за редактор? )
Владимир
47
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
в JclConsole объявлено так: function CtrlHandler(CtrlType: DWORD): BOOL; stdcall; - где ваше объявление с stdcall? у вас на картинке нет stdcall
Karagy
8
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
Ребят в СИ можно реализовать ООП?
Николай
33
Вот еще странный косяк, подскажите как бороться. Я git clone сделал себе всего embassy и примеры там запускаю. Всё хорошо. Но вот решил в cargo.toml зависимости не как в приме...
Lukutin R2AJP
2
program test; {$mode delphi} procedure proc(v: int32); overload; begin end; procedure proc(v: int64); overload; begin end; var x: uint64; begin proc(x); end. Уж не знаю...
notme
6
Карта сайта