Commit 55a15b3a authored by Javier Carrasco's avatar Javier Carrasco Committed by Johan Hovold
Browse files

USB: serial: garmin_gps: annotate struct garmin_packet with __counted_by 



Use the __counted_by compiler attribute for the data[] flexible array
member to improve the results of array bound sanitizers.

Reviewed-by: default avatarNathan Chancellor <nathan@kernel.org>
Signed-off-by: default avatarJavier Carrasco <javier.carrasco.cruz@gmail.com>
Reviewed-by: default avatarGustavo A. R. Silva <gustavoars@kernel.org>
Reviewed-by: default avatarKees Cook <kees@kernel.org>
Signed-off-by: default avatarJohan Hovold <johan@kernel.org>
parent 9f4dc051

drivers/usb/serial/garmin_gps.c

+1 −1
Original line number Diff line number Diff line
@@ -104,7 +104,7 @@ struct garmin_packet { 
	int               seq;

	/* the real size of the data array, always > 0 */

	int               size;

	__u8              data[];

	__u8              data[] __counted_by(size);

};



/* structure used to keep the current state of the driver */