// SPDX-License-Identifier: GPL-2.0-only
/// Use ARRAY_END instead of an expression derived from ARRAY_SIZE
//
// Confidence: High
// Copyright: 2026, Alejandro Colomar <alx@kernel.org>
// Options: --no-includes --include-headers

virtual patch
virtual context
virtual org
virtual report

@depends on context disable zero_multiple_format@
type T;
T[] a;
expression b;
@@
(
* a + ARRAY_SIZE(a)
|
* &a[0] + ARRAY_SIZE(a)
|
* &a[ARRAY_SIZE(a)]
|
* &a[ARRAY_SIZE(a) - b]
)

@depends on patch disable zero_multiple_format@
type T;
T[] a;
expression b;
@@
(
- (a + ARRAY_SIZE(a))
+ ARRAY_END(a)
|
- (&a[0] + ARRAY_SIZE(a))
+ ARRAY_END(a)
|
- (&a[ARRAY_SIZE(a)])
+ ARRAY_END(a)
|
- (&a[ARRAY_SIZE(a) - b])
+ ARRAY_END(a) - b
)

@r depends on org || report disable zero_multiple_format@
type T;
T[] a;
expression b;
position p;
@@
(
 a@p + ARRAY_SIZE(a)
|
 &a[0]@p + ARRAY_SIZE(a)
|
 &a[ARRAY_SIZE(a)]@p
|
 &a[ARRAY_SIZE(a)@p - b]
)

@script:python depends on org@
p << r.p;
@@

coccilib.org.print_todo(p[0], "WARNING should use ARRAY_END")

@script:python depends on report@
p << r.p;
@@

coccilib.report.print_report(p[0], "WARNING: opportunity for ARRAY_END")