Re: [PATCH RFC] input/elants_i2c: Detect enum overflow

From: Michał Mirosław
Date: Wed Feb 10 2021 - 21:21:01 EST


On Wed, Feb 10, 2021 at 10:25:28AM -0600, Josh Poimboeuf wrote:
> If an enum value were to get added without updating this switch
> statement, the unreachable() annotation would trigger undefined
> behavior, causing execution to fall through the end of the function,
> into the next one.
>
> Make the error handling more robust for an unexpected enum value, by
> doing BUG() instead of unreachable().
>
> Fixes the following objtool warning:
>
> drivers/input/touchscreen/elants_i2c.o: warning: objtool: elants_i2c_initialize() falls through to next function elants_i2c_resume()
>
> Reported-by: Randy Dunlap <rdunlap@xxxxxxxxxxxxx>
> Acked-by: Randy Dunlap <rdunlap@xxxxxxxxxxxxx>
> Signed-off-by: Josh Poimboeuf <jpoimboe@xxxxxxxxxx>

Reviewed-by: Michał Mirosław <mirq-linux@xxxxxxxxxxxx>

> ---
> drivers/input/touchscreen/elants_i2c.c | 3 +--
> 1 file changed, 1 insertion(+), 2 deletions(-)
>
> diff --git a/drivers/input/touchscreen/elants_i2c.c b/drivers/input/touchscreen/elants_i2c.c
> index 6f57ec579f00..4c2b579f6c8b 100644
> --- a/drivers/input/touchscreen/elants_i2c.c
> +++ b/drivers/input/touchscreen/elants_i2c.c
> @@ -656,8 +656,7 @@ static int elants_i2c_initialize(struct elants_data *ts)
> error = elants_i2c_query_ts_info_ektf(ts);
> break;
> default:
> - unreachable();
> - break;
> + BUG();
> }
>
> if (error)
> --
> 2.29.2
>