blob: 4fe0662cabbf2a9775dd60c9684cec56ad8f3233 (
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
|
/* Verify that we refuse 'acc_map_data' when the "device address [...] is
already mapped". */
/* { dg-skip-if "" { *-*-* } { "*" } { "-DACC_MEM_SHARED=0" } } */
#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
#include <openacc.h>
int
main ()
{
const int N = 132;
char *h1 = (char *) malloc (N);
assert (h1);
void *d = acc_create (h1, N);
assert (d);
char *h2 = (char *) malloc (N);
assert (h2);
/* Try to arrange a setting such that a later 'acc_unmap_data' would find the
device memory object still referenced elsewhere. This is not possible,
given the semantics of 'acc_map_data'. */
fprintf (stderr, "CheCKpOInT\n");
acc_map_data (h2, d, N);
return 0;
}
/* { dg-output "CheCKpOInT(\n|\r\n|\r).*" } */
/* { dg-output "device address \\\[\[0-9a-fA-FxX\]+, \\\+132\\\] is already mapped" } */
/* { dg-shouldfail "" } */
|
