53 __description("valid map access into an array with a constant")
60 	*(u64*)(r10 - 8) = r1;				\  in an_array_with_a_constant_1()
62 	r2 += -8;					\  in an_array_with_a_constant_1()
77 __description("valid map access into an array with a register")
84 	*(u64*)(r10 - 8) = r1;				\  in __flag()
86 	r2 += -8;					\  in __flag()
104 __description("valid map access into an array with a variable")
111 	*(u64*)(r10 - 8) = r1;				\  in __flag()
113 	r2 += -8;					\  in __flag()
133 __description("valid map access into an array with a signed variable")
140 	*(u64*)(r10 - 8) = r1;				\  in __flag()
142 	r2 += -8;					\  in __flag()
166 __description("invalid map access into an array with a constant")
167 __failure __msg("invalid access to map value, value_size=48 off=48 size=8")
173 	*(u64*)(r10 - 8) = r1;				\  in an_array_with_a_constant_2()
175 	r2 += -8;					\  in an_array_with_a_constant_2()
191 __description("invalid map access into an array with a register")
199 	*(u64*)(r10 - 8) = r1;				\  in __flag()
201 	r2 += -8;					\  in __flag()
220 __description("invalid map access into an array with a variable")
229 	*(u64*)(r10 - 8) = r1;				\  in __flag()
231 	r2 += -8;					\  in __flag()
257 	*(u64*)(r10 - 8) = r1;				\  in __flag()
259 	r2 += -8;					\  in __flag()
281 __description("invalid map access into an array with a invalid max check")
282 __failure __msg("invalid access to map value, value_size=48 off=44 size=8")
289 	*(u64*)(r10 - 8) = r1;				\  in __flag()
291 	r2 += -8;					\  in __flag()
313 __description("invalid map access into an array with a invalid max check")
321 	*(u64*)(r10 - 8) = r1;				\  in __flag()
323 	r2 += -8;					\  in __flag()
329 	*(u64*)(r10 - 8) = r1;				\  in __flag()
331 	r2 += -8;					\  in __flag()
346 __description("valid read map access into a read-only array 1")
352 	*(u64*)(r10 - 8) = r1;				\  in a_read_only_array_1_1()
354 	r2 += -8;					\  in a_read_only_array_1_1()
367 __description("valid read map access into a read-only array 2")
373 	*(u64*)(r10 - 8) = r1;				\  in a_read_only_array_2_1()
375 	r2 += -8;					\  in a_read_only_array_2_1()
394 __description("invalid write map access into a read-only array 1")
401 	*(u64*)(r10 - 8) = r1;				\  in a_read_only_array_1_2()
403 	r2 += -8;					\  in a_read_only_array_1_2()
417 __description("invalid write map access into a read-only array 2")
424 	*(u64*)(r10 - 8) = r1;				\  in a_read_only_array_2_2()
426 	r2 += -8;					\  in a_read_only_array_2_2()
433 	r4 = 8;						\  in a_read_only_array_2_2()
444 __description("valid write map access into a write-only array 1")
450 	*(u64*)(r10 - 8) = r1;				\  in a_write_only_array_1_1()
452 	r2 += -8;					\  in a_write_only_array_1_1()
467 __description("valid write map access into a write-only array 2")
474 	*(u64*)(r10 - 8) = r1;				\  in a_write_only_array_2_1()
476 	r2 += -8;					\  in a_write_only_array_2_1()
483 	r4 = 8;						\  in a_write_only_array_2_1()
494 __description("invalid read map access into a write-only array 1")
501 	*(u64*)(r10 - 8) = r1;				\  in a_write_only_array_1_2()
503 	r2 += -8;					\  in a_write_only_array_1_2()
516 __description("invalid read map access into a write-only array 2")
522 	*(u64*)(r10 - 8) = r1;				\  in a_write_only_array_2_2()
524 	r2 += -8;					\  in a_write_only_array_2_2()
545 __msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -8) = {{…
548 	/* Need 8-byte alignment for spill tracking */  in an_array_with_a_constant_no_nullness()
549 	__u32 __attribute__((aligned(8))) key = 1;  in an_array_with_a_constant_no_nullness()
560 __success __retval(8) __log_level(2)
561 __msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -16) = {…
562 __msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -8) = {{…
565 	__u32 __attribute__((aligned(8))) key = 1;  in multiple_array_with_a_constant_no_nullness()
566 	__u32 __attribute__((aligned(8))) key2 = 0;  in multiple_array_with_a_constant_no_nullness()
597 __description("valid map access into a pcpu array using constant without nullness")
599 __msg("mark_precise: frame0: regs= stack=-8 before {{[0-9]}}: ({{[a-f0-9]+}}) *(u32 *)(r10 -8) = {{…
602 	__u32 __attribute__((aligned(8))) key = 1;  in a_pcpu_array_with_a_constant_no_nullness()
617 	__u32 __attribute__((aligned(8))) key = 3;  in an_array_with_a_constant_no_nullness_out_of_bounds()
631 	__u32 __attribute__((aligned(8))) key;  in an_array_with_a_constant_too_small()
637 	/* Spilling only the bottom byte results in a tnum const of 1.  in an_array_with_a_constant_too_small()
672 	__u32 __attribute__((aligned(8))) key;  in mixed_const_and_non_const_key_lookup()
700 volatile __u32 __attribute__((aligned(8))) global_key;