1 /* { dg-do run } */
2 /* IPA-SRA removes the arguments as dead, so we don't see their values, early
3    inlining inlines the functions too early to test the real IPA passes (such
4    as IPA-CP).  */
5 /* { dg-options "-g -fno-early-inlining -fno-ipa-sra" } */
6 /* { dg-xfail-run-if "" { "*-*-*" } { "-O2" "-O3" "-Os" } } */
7 
8 #define GUALITY_DONT_FORCE_LIVE_AFTER -1
9 
10 #ifndef STATIC_INLINE
11 #define STATIC_INLINE /*static*/
12 #endif
13 
14 
15 #include "guality.h"
16 
17 struct a{
18   struct b {int a;} b;
19   struct c{ int a;} c;
20 };
21 
22 __attribute__ ((always_inline)) static inline void
t1(struct b * ab,int b)23 t1 (struct b *ab, int b)
24 {
25   GUALCHKXPRVAL ("b", 0xbbb, 0);
26   GUALCHKVAL (ab);
27 }
28 __attribute__ ((always_inline)) static inline void
t2(struct c * ac,char * msg)29 t2 (struct c *ac, char *msg)
30 {
31   GUALCHKVAL (ac);
32   GUALCHKVAL (msg);
33 }
34 __attribute__ ((always_inline)) static inline void
t3(struct a * a)35 t3 (struct a *a)
36 {
37   t1(&a->b, 0xbbb);
38   t2(&a->c, "test");
39 }
40 struct a a={{0},{1}};
41 int
main(int argc,char * argv[])42 main (int argc, char *argv[])
43 {
44   t3(&a);
45 }
46