diff options
| author | Markus Armbruster <armbru@redhat.com> | 2025-07-29 13:12:26 +0200 |
|---|---|---|
| committer | Philippe Mathieu-Daudé <philmd@linaro.org> | 2025-10-13 21:00:09 +0200 |
| commit | 6a9d1ccd39bf0305c94691ce0ca228599d4719f3 (patch) | |
| tree | 848973280d89cc453281404865e38b2f8ac6e67e /scripts/lib/kdoc/kdoc_parser.py | |
| parent | f3f2ad119347e8c086b72282febcaac5d731b343 (diff) | |
| download | qemu-6a9d1ccd39bf0305c94691ce0ca228599d4719f3.zip qemu-6a9d1ccd39bf0305c94691ce0ca228599d4719f3.tar.gz qemu-6a9d1ccd39bf0305c94691ce0ca228599d4719f3.tar.bz2 | |
hw/display/xenfb: Replace unreachable code by g_assert_not_reached()
xenfb_mouse_event() has a switch statement whose controlling
expression move->axis is an enum InputAxis. The enum values are
INPUT_AXIS_X and INPUT_AXIS_Y, encoded as 0 and 1. The switch has a
case for both axes. In addition, it has an unreachable default label.
This convinces Coverity that move->axis can be greater than 1. It
duly reports a buffer overrun when it is used to subscript an array
with two elements.
Replace the unreachable code by g_assert_not_reached().
Resolves: Coverity CID 1613906
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Message-ID: <20250729111226.3627499-1-armbru@redhat.com>
[PMD: s/abort/g_assert_not_reached/]
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Diffstat (limited to 'scripts/lib/kdoc/kdoc_parser.py')
0 files changed, 0 insertions, 0 deletions