[PATCH v2 0/2] USB: serial: garmin_gps: annotate struct garmin_packet with __counted_by
From: Javier Carrasco
Date: Wed Jun 19 2024 - 15:43:10 EST
The size is assigned before the first reference to the flexible array
(see pkt_add()), which allows for a straightforward annotation without
further modifications.
Signed-off-by: Javier Carrasco <javier.carrasco.cruz@xxxxxxxxx>
---
Changes in v2:
- Use struct_size to calculate the size of pkt.
- Link to v1: https://lore.kernel.org/r/20240619-garmin_gps_counted_by-v1-1-d8d816f085d9@xxxxxxxxx
---
Javier Carrasco (2):
USB: serial: garmin_gps: annotate struct garmin_packet with __counted_by
USB: serial: garmin_gps: use struct_size to allocate pkt
drivers/usb/serial/garmin_gps.c | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
---
base-commit: 0c52056d9f77508cb6d4d68d3fc91c6c08ec71af
change-id: 20240619-garmin_gps_counted_by-376545960353
Best regards,
--
Javier Carrasco <javier.carrasco.cruz@xxxxxxxxx>