blob: 968f6ee4ad4a1373ad9885bf4f536eece9d4bff0 (
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
|
/* Verify that storing a bigger vector into smaller space is diagnosed.
{ dg-do compile }
{ dg-options "-O2" } */
typedef __INT16_TYPE__ int16_t;
typedef __attribute__ ((__vector_size__ (32))) char C32;
typedef __attribute__ ((__vector_size__ (64))) int16_t I16_64;
void sink (void*);
void nowarn_c32 (char c)
{
extern char nowarn_a32[32];
void *p = nowarn_a32;
*(C32*)p = (C32){ c };
sink (p);
char a32[32];
p = a32;
*(C32*)p = (C32){ c };
sink (p);
}
/* The tests below failed as a result of the hack for PR 96963. However,
with -Wall, the invalid stores were diagnosed by -Warray-bounds which
runs before vectorization and so doesn't need the hack. Now that
-Warray-bounds has changed to use compute_objsize() the tests pass. */
void warn_c32 (char c)
{
extern char warn_a32[32]; // { dg-message "at offset (32|1) into destination object 'warn_a32' of size 32" "pr97027" }
void *p = warn_a32 + 1;
*(C32*)p = (C32){ c }; // { dg-warning "writing (1 byte|32 bytes) into a region of size (0|31)" "pr97027" }
/* Verify a local variable too. */
char a32[32];
p = a32 + 1;
*(C32*)p = (C32){ c }; // { dg-warning "writing (1 byte|32 bytes) into a region of size (0|31)" "pr97027" }
sink (p);
}
void nowarn_i16_64 (int16_t i)
{
extern char nowarn_a64[64];
void *p = nowarn_a64;
I16_64 *q = (I16_64*)p;
*q = (I16_64){ i };
char a64[64];
q = (I16_64*)a64;
*q = (I16_64){ i };
sink (q);
}
void warn_i16_64 (int16_t i)
{
/* The IL below that's visible to the warning changes from one target to
another. On some like aarch64 it's a single vector store, on others
like x86_64 it's a series of BIT_FIELD_REFs. The overflow by
the former is detected but the latter is not yet. */
extern char warn_a64[64]; // { dg-message "at offset (1|128) into destination object 'warn_a64' of size (63|64)" "pr97027 note" { xfail { ! aarch64-*-* } } }
void *p = warn_a64 + 1;
I16_64 *q = (I16_64*)p;
*q = (I16_64){ i }; // { dg-warning "writing (1 byte|64 bytes) into a region of size (0|63)" "pr97027" { xfail { ! aarch64-*-* } } }
char a64[64];
p = a64 + 1;
q = (I16_64*)p;
*q = (I16_64){ i }; // { dg-warning "writing (1 byte|64 bytes) into a region of size (0|63)" "pr97027" { xfail { ! aarch64-*-* } } }
sink (p);
}
|
