blob: b56a1344afd5f70b8ec538868a93da315ac1a409 (
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
|
// Bug c++/83871 - wrong code due to attributes on distinct template
// specializations
// Test to verify that an explicit template specifialization does not
// "inherit" attributes always_inline or noinline from a primary template
// declared with either. Unlike attr-noinline.C, this test enables
// optimization to verify that noinline prevents inlining.
// { dg-do compile }
// { dg-options "-O2 -Wall -fdump-tree-optimized" }
enum Special { };
int global;
template <class T>
inline void __attribute__ ((always_inline))
falways_inline_noinline ()
{
// Create a side-effect that's unique to this function.
global = __LINE__;
}
template <>
void __attribute__ ((noinline))
falways_inline_noinline<Special>()
{
global = __LINE__;
}
// Verify that a call to the primary is inlined but one to
// the explicit specialization is not.
void test_elim_primary_1 (void)
{
// Should be inlined.
falways_inline_noinline<void>();
// { dg-final { scan-tree-dump-not "falways_inline_noinline<void> *\\(\\)" "optimized" } }
}
void test_keep_special_1 (void)
{
// Should not be inlined.
falways_inline_noinline<Special>();
// { dg-final { scan-tree-dump-times "falways_inline_noinline<Special> *\\(\\);" 1 "optimized" } }
}
template <class T>
void __attribute__ ((noinline))
fnoinline_always_inline ()
{
global = __LINE__;
}
template <>
inline void __attribute__ ((always_inline))
fnoinline_always_inline<Special>() // { dg-bogus "follows declaration" }
{
global = __LINE__;
}
void test_keep_primary_2 (void)
{
// Should not be inlined.
fnoinline_always_inline<void>();
// { dg-final { scan-tree-dump-times "fnoinline_always_inline<void> *\\(\\);" 1 "optimized" } }
}
void test_elim_special_2 (void)
{
// Should be inlined.
fnoinline_always_inline<Special>();
// { dg-final { scan-tree-dump-not "fnoinline_always_inline<Special> *\\(\\);" "optimized" } }
}
|
