129e1c668SAndrii Nakryiko // SPDX-License-Identifier: GPL-2.0
229e1c668SAndrii Nakryiko // Copyright (c) 2019 Facebook
329e1c668SAndrii Nakryiko 
429e1c668SAndrii Nakryiko #include <linux/bpf.h>
529e1c668SAndrii Nakryiko #include <stdint.h>
629e1c668SAndrii Nakryiko #include "bpf_helpers.h"
729e1c668SAndrii Nakryiko 
829e1c668SAndrii Nakryiko char _license[] SEC("license") = "GPL";
929e1c668SAndrii Nakryiko 
1029e1c668SAndrii Nakryiko static volatile struct data {
1129e1c668SAndrii Nakryiko 	char in[256];
1229e1c668SAndrii Nakryiko 	char out[256];
1329e1c668SAndrii Nakryiko } data;
1429e1c668SAndrii Nakryiko 
1529e1c668SAndrii Nakryiko struct core_reloc_misc_output {
1629e1c668SAndrii Nakryiko 	int a, b, c;
1729e1c668SAndrii Nakryiko };
1829e1c668SAndrii Nakryiko 
1929e1c668SAndrii Nakryiko struct core_reloc_misc___a {
2029e1c668SAndrii Nakryiko 	int a1;
2129e1c668SAndrii Nakryiko 	int a2;
2229e1c668SAndrii Nakryiko };
2329e1c668SAndrii Nakryiko 
2429e1c668SAndrii Nakryiko struct core_reloc_misc___b {
2529e1c668SAndrii Nakryiko 	int b1;
2629e1c668SAndrii Nakryiko 	int b2;
2729e1c668SAndrii Nakryiko };
2829e1c668SAndrii Nakryiko 
2929e1c668SAndrii Nakryiko /* fixed two first members, can be extended with new fields */
3029e1c668SAndrii Nakryiko struct core_reloc_misc_extensible {
3129e1c668SAndrii Nakryiko 	int a;
3229e1c668SAndrii Nakryiko 	int b;
3329e1c668SAndrii Nakryiko };
3429e1c668SAndrii Nakryiko 
3529e1c668SAndrii Nakryiko SEC("raw_tracepoint/sys_enter")
3629e1c668SAndrii Nakryiko int test_core_misc(void *ctx)
3729e1c668SAndrii Nakryiko {
3829e1c668SAndrii Nakryiko 	struct core_reloc_misc___a *in_a = (void *)&data.in;
3929e1c668SAndrii Nakryiko 	struct core_reloc_misc___b *in_b = (void *)&data.in;
4029e1c668SAndrii Nakryiko 	struct core_reloc_misc_extensible *in_ext = (void *)&data.in;
4129e1c668SAndrii Nakryiko 	struct core_reloc_misc_output *out = (void *)&data.out;
4229e1c668SAndrii Nakryiko 
4329e1c668SAndrii Nakryiko 	/* record two different relocations with the same accessor string */
4429e1c668SAndrii Nakryiko 	if (BPF_CORE_READ(&out->a, &in_a->a1) ||	/* accessor: 0:0 */
4529e1c668SAndrii Nakryiko 	    BPF_CORE_READ(&out->b, &in_b->b1))		/* accessor: 0:0 */
4629e1c668SAndrii Nakryiko 		return 1;
4729e1c668SAndrii Nakryiko 
4829e1c668SAndrii Nakryiko 	/* Validate relocations capture array-only accesses for structs with
4929e1c668SAndrii Nakryiko 	 * fixed header, but with potentially extendable tail. This will read
5029e1c668SAndrii Nakryiko 	 * first 4 bytes of 2nd element of in_ext array of potentially
5129e1c668SAndrii Nakryiko 	 * variably sized struct core_reloc_misc_extensible. */
5229e1c668SAndrii Nakryiko 	if (BPF_CORE_READ(&out->c, &in_ext[2]))		/* accessor: 2 */
5329e1c668SAndrii Nakryiko 		return 1;
5429e1c668SAndrii Nakryiko 
5529e1c668SAndrii Nakryiko 	return 0;
5629e1c668SAndrii Nakryiko }
5729e1c668SAndrii Nakryiko 
58