blob: ea7c40e7912b4a59d5a6f056120e20d84e8e3b99 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/* { dg-do compile } */
/* { dg-options "-fstrub=strict -fdump-ipa-strub" } */
/* { dg-require-effective-target strub } */
/* Check that, along with a strub implicitly-pure wrapping call, we issue an asm
statement to make sure the watermark passed to it is not assumed to be
unchanged. */
int __attribute__ ((__strub__ ("internal")))
#if ! __OPTIMIZE__ /* At -O0, implicit pure detection doesn't run. */
__attribute__ ((__pure__))
#endif
f() {
static int i; /* Stop it from being detected as const. */
return i;
}
/* { dg-final { scan-ipa-dump-times "__asm__" 1 "strub" } } */
|
