blob: f4c5f15094c2d630c73e945f894e9db5807cbe2f (
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
|
/* { dg-do run } */
/* IPA-SRA removes the arguments as dead, so we don't see their values, early
inlining inlines the functions too early to test the real IPA passes (such
as IPA-CP). */
/* { dg-options "-g -fno-early-inlining -fno-ipa-sra" } */
/* { dg-xfail-run-if "" { "*-*-*" } { "-O2" "-O3" "-Os" } } */
#define GUALITY_DONT_FORCE_LIVE_AFTER -1
#ifndef STATIC_INLINE
#define STATIC_INLINE /*static*/
#endif
#include "guality.h"
struct a{
struct b {int a;} b;
struct c{ int a;} c;
};
__attribute__ ((always_inline)) static inline void
t1 (struct b *ab, int b)
{
GUALCHKXPRVAL ("b", 0xbbb, 0);
GUALCHKVAL (ab);
}
__attribute__ ((always_inline)) static inline void
t2 (struct c *ac, char *msg)
{
GUALCHKVAL (ac);
GUALCHKVAL (msg);
}
__attribute__ ((always_inline)) static inline void
t3 (struct a *a)
{
t1(&a->b, 0xbbb);
t2(&a->c, "test");
}
struct a a={{0},{1}};
int
main (int argc, char *argv[])
{
t3(&a);
}
|
