summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/guality/inline-params.c
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);
}