memory: atmel-ebi: Annotate struct atmel_ebi_dev with __counted_by

Prepare for the coming implementation by GCC and Clang of the __counted_by attribute. Flexible array members annotated with __counted_by can have their accesses bounds-checked at run-time checking via CONFIG_UBSAN_BOUNDS (for array indexing) and CONFIG_FORTIFY_SOURCE (for strcpy/memcpy-family functions).

As found with Coccinelle[1], add __counted_by for struct atmel_ebi_dev.

[1] https://github.com/kees/kernel-tools/blob/trunk/coccinelle/examples/counted_by.cocci

Cc Krzysztof Kozlowski <[email protected]>

Cc Nicolas Ferre <[email protected]>

Cc Alexandre Belloni <[email protected]>

Cc Claudiu Beznea <[email protected]>

Cc [email protected]

Signed-off-by Kees Cook <[email protected]>

---
  drivers/memory/atmel-ebi.c | 2 +-
  1 file changed, 1 insertion(+), 1 deletion(-)

drivers/memory/atmel-ebi.c +1 -1

index 635966d705cb..ec6100bc94c5 100644
@@ -30,7 +30,7 @@ struct atmel_ebi_dev {
  	struct atmel_ebi *ebi;
  	u32 mode;
  	int numcs;
-	struct atmel_ebi_dev_config configs[];
+	struct atmel_ebi_dev_config configs[] __counted_by(numcs);
  };
 
  struct atmel_ebi_caps {

Prepare for the coming implementation by GCC and Clang of the __counted_by attribute. Flexible array members annotated with __counted_by can have their accesses bounds-checked at run-time checking via CONFIG_UBSAN_BOUNDS (for array indexing) and CONFIG_FORTIFY_SOURCE (for strcpy/memcpy-family functions).

As found with Coccinelle[1], add __counted_by for struct atmel_ebi_dev.

[...]