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

Question

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

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

#c++ #embedded #programming #russian

0

16.05.2023

12 ответов

9 просмотров

Ivan Sokolov

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

0

11 месяцев назад

Юлиосити Чувствительная Автор вопроса

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

0

11 месяцев назад

Ivan Sokolov

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

0

11 месяцев назад

= ?

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

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

0

11 месяцев назад

Ofee Oficsu

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

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

0

11 месяцев назад

Юлиосити Чувствительная Автор вопроса

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

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

0

11 месяцев назад

Alexander Karaev

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

Заглушить инспекцию в анализаторе?

0

11 месяцев назад

Ivan Sokolov

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

откуда ж мне знать. это ваш анализатор :)

0

11 месяцев назад

= ?

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

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

0

11 месяцев назад

Ivan Sokolov

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

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

0

11 месяцев назад

Юлиосити Чувствительная Автор вопроса

= ?
значит выход один: дорабатывать анализатор. если о...

Ах если б :(

0

11 месяцев назад

Vlad · Accepted Answer

Vlad

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

0

11 месяцев назад

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

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

12 ответов

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