about summary refs log tree commit diff
path: root/src/tools/miri/tests/native-lib/ptr_write_access.c
blob: 5260d0b365175f63d5902cf144c0bf7a45361d05 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
#include <stddef.h>
#include <stdint.h>

// See comments in build_native_lib()
#define EXPORT __attribute__((visibility("default")))

/* Test: test_increment_int */

EXPORT void increment_int(int32_t *ptr) {
  *ptr += 1;
}

/* Test: test_init_int */

EXPORT void init_int(int32_t *ptr, int32_t val) {
  *ptr = val;
}

/* Test: test_init_array */

EXPORT void init_array(int32_t *array, size_t len, int32_t val) {
  for (size_t i = 0; i < len; i++) {
    array[i] = val;
  }
}

/* Test: test_init_static_inner */

typedef struct SyncPtr {
    int32_t *ptr;
} SyncPtr;

EXPORT void init_static_inner(const SyncPtr *s_ptr, int32_t val) {
  *(s_ptr->ptr) = val;
}

/* Tests: test_exposed, test_pass_dangling */

EXPORT void ignore_ptr(__attribute__((unused)) const int32_t *ptr) {
  return;
}

/* Test: test_expose_int */
EXPORT void expose_int(const int32_t *int_ptr, const int32_t **pptr) {
  *pptr = int_ptr;
}

/* Test: test_swap_ptr */

EXPORT void swap_ptr(const int32_t **pptr0, const int32_t **pptr1) {
  const int32_t *tmp = *pptr0;
  *pptr0 = *pptr1;
  *pptr1 = tmp;
}

/* Test: test_swap_ptr_tuple */

typedef struct Tuple {
    int32_t *ptr0;
    int32_t *ptr1;
} Tuple;

EXPORT void swap_ptr_tuple(Tuple *t_ptr) {
  int32_t *tmp = t_ptr->ptr0;
  t_ptr->ptr0 = t_ptr->ptr1;
  t_ptr->ptr1 = tmp;
}

/* Test: test_overwrite_dangling */

EXPORT void overwrite_ptr(const int32_t **pptr) {
  *pptr = NULL;
}

/* Test: test_swap_ptr_triple_dangling */

typedef struct Triple {
    int32_t *ptr0;
    int32_t *ptr1;
    int32_t *ptr2;
} Triple;

EXPORT void swap_ptr_triple_dangling(Triple *t_ptr) {
  int32_t *tmp = t_ptr->ptr0;
  t_ptr->ptr0 = t_ptr->ptr2;
  t_ptr->ptr2 = tmp;
}

EXPORT const int32_t *return_ptr(const int32_t *ptr) {
  return ptr;
}

/* Test: test_pass_ptr_as_int */

EXPORT void pass_ptr_as_int(uintptr_t ptr, int32_t set_to_val) {
  *(int32_t*)ptr = set_to_val;
}

/* Test: test_pass_ptr_via_previously_shared_mem */

int32_t** shared_place;

EXPORT void set_shared_mem(int32_t** ptr) {
  shared_place = ptr;
}

EXPORT void init_ptr_stored_in_shared_mem(int32_t val) {
  **shared_place = val;
}

/* Test: partial_init */

EXPORT void init_n(int32_t n, char* ptr) {
  for (int i=0; i<n; i++) {
    *(ptr+i) = 0;
  }
}