WARNING: line length of 113 exceeds 80 columns
#56: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:545:
+__msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -8) = {{(1|r[0-9])}}")

WARNING: Prefer __aligned(8) over __attribute__((aligned(8)))
#60: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:549:
+	__u32 __attribute__((aligned(8))) key = 1;

WARNING: line length of 88 exceeds 80 columns
#70: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:559:
+__description("valid multiple map access into an array using constant without nullness")

WARNING: line length of 114 exceeds 80 columns
#72: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:561:
+__msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -16) = {{(0|r[0-9])}}")

WARNING: line length of 113 exceeds 80 columns
#73: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:562:
+__msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -8) = {{(1|r[0-9])}}")

WARNING: Prefer __aligned(8) over __attribute__((aligned(8)))
#76: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:565:
+	__u32 __attribute__((aligned(8))) key = 1;

WARNING: Prefer __aligned(8) over __attribute__((aligned(8)))
#77: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:566:
+	__u32 __attribute__((aligned(8))) key2 = 0;

WARNING: line length of 104 exceeds 80 columns
#90: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:579:
+__description("valid map access into an array using natural aligned 32-bit constant 0 without nullness")

WARNING: line length of 83 exceeds 80 columns
#108: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:597:
+__description("valid map access into a pcpu array using constant without nullness")

WARNING: line length of 113 exceeds 80 columns
#110: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:599:
+__msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -8) = {{(1|r[0-9])}}")

WARNING: Prefer __aligned(8) over __attribute__((aligned(8)))
#113: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:602:
+	__u32 __attribute__((aligned(8))) key = 1;

WARNING: line length of 81 exceeds 80 columns
#123: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:612:
+__description("invalid map access into an array using constant without nullness")

WARNING: Prefer __aligned(8) over __attribute__((aligned(8)))
#128: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:617:
+	__u32 __attribute__((aligned(8))) key = 3;

WARNING: line length of 86 exceeds 80 columns
#138: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:627:
+__description("invalid map access into an array using constant smaller than key_size")

WARNING: Prefer __aligned(8) over __attribute__((aligned(8)))
#142: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:631:
+	__u32 __attribute__((aligned(8))) key;

WARNING: line length of 85 exceeds 80 columns
#161: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:650:
+__description("invalid map access into an array using constant larger than key_size")

WARNING: line length of 81 exceeds 80 columns
#169: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:658:
+	 * larger than the key size, the set bits may not be where we expect them

WARNING: Prefer __aligned(8) over __attribute__((aligned(8)))
#183: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:672:
+	__u32 __attribute__((aligned(8))) key;

WARNING: Avoid line continuations in quoted strings
#198: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:687:
+	asm volatile ("					\

WARNING: Use of volatile is usually wrong: see Documentation/process/volatile-considered-harmful.rst
#211: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:700:
+volatile __u32 __attribute__((aligned(8))) global_key;

WARNING: Prefer __aligned(8) over __attribute__((aligned(8)))
#211: FILE: tools/testing/selftests/bpf/progs/verifier_array_access.c:700:
+volatile __u32 __attribute__((aligned(8))) global_key;

total: 0 errors, 21 warnings, 0 checks, 198 lines checked

NOTE: For some of the reported defects, checkpatch may be able to
      mechanically convert to the typical style using --fix or --fix-inplace.

Commit a1efc4580774 ("bpf: selftests: verifier: Add nullness elision tests") has style problems, please review.

NOTE: Ignored message types: ALLOC_SIZEOF_STRUCT BAD_REPORTED_BY_LINK CAMELCASE COMMIT_LOG_LONG_LINE GIT_COMMIT_ID MACRO_ARG_REUSE NO_AUTHOR_SIGN_OFF

NOTE: If any of the errors are false positives, please report
      them to the maintainer, see CHECKPATCH in MAINTAINERS.
total: 0 errors, 21 warnings, 0 checks, 198 lines checked