blob: 503eb1734e36fa621907d14e48228aa869711e1f (
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
|
/* { dg-do compile } */
/* { dg-options "-fstrub=strict -fdump-ipa-strubm" } */
/* { dg-require-effective-target strub } */
static int __attribute__ ((__strub__)) var;
/* h becomes STRUB_INLINABLE, because of the use of the strub variable,
and the always_inline flag. It would get inlined before pass_ipa_strub, if
it weren't for the error. */
static inline void
__attribute__ ((__always_inline__))
h() {
var++;
}
/* g becomes STRUB_AT_CALLS_OPT, because of the use of the strub variable, and
the viability of at-calls strubbing. Though internally a strub context, its
interface is not strub-enabled, so it's not callable from within strub
contexts. */
static inline void
g() {
var--;
h();
}
/* f becomes STRUB_INTERNAL because of the use of the strub variable, and gets
split into STRUB_WRAPPER and STRUB_WRAPPED. */
void
f() {
var++;
g(); /* { dg-error "calling non-.strub." } */
}
/* { dg-final { scan-ipa-dump-times "strub \[(\]" 3 "strubm" } } */
/* { dg-final { scan-ipa-dump-times "strub \[(\]inlinable\[)\]" 1 "strubm" } } */
/* { dg-final { scan-ipa-dump-times "strub \[(\]at-calls-opt\[)\]" 1 "strubm" } } */
/* { dg-final { scan-ipa-dump-times "strub \[(\]internal\[)\]" 1 "strubm" } } */
|
