/* Verify that modification analysis detects modfications. */
|
/* Verify that modification analysis detects modfications. */
|
/* { dg-do compile } */
|
/* { dg-do compile } */
|
/* { dg-options "-O3 -c -fdump-ipa-inline-details -fno-early-inlining" } */
|
/* { dg-options "-O3 -c -fdump-ipa-inline-details -fno-early-inlining" } */
|
|
|
struct whatever
|
struct whatever
|
{
|
{
|
int first;
|
int first;
|
unsigned second;
|
unsigned second;
|
};
|
};
|
|
|
void func1 (struct whatever w);
|
void func1 (struct whatever w);
|
void func2 (struct whatever *pw);
|
void func2 (struct whatever *pw);
|
void func3 (int i);
|
void func3 (int i);
|
void func4 (int *pi);
|
void func4 (int *pi);
|
|
|
void the_test (struct whatever u, struct whatever v,
|
void the_test (struct whatever u, struct whatever v,
|
struct whatever w, struct whatever x,
|
struct whatever w, struct whatever x,
|
int i, int k, int l)
|
int i, int k, int l)
|
{
|
{
|
struct whatever *pw = &w;
|
struct whatever *pw = &w;
|
int *pk = &k;
|
int *pk = &k;
|
|
|
v.first = 9;
|
v.first = 9;
|
|
|
func1 (u);
|
func1 (u);
|
func1 (v);
|
func1 (v);
|
func2 (pw);
|
func2 (pw);
|
func2 (&x);
|
func2 (&x);
|
func3 (i);
|
func3 (i);
|
func4 (pk);
|
func4 (pk);
|
func4 (&l);
|
func4 (&l);
|
}
|
}
|
|
|
/* { dg-final { scan-ipa-dump-not "param 0\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump-not "param 0\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump "param 1\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump "param 1\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump "param 2\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump "param 2\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump "param 3\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump "param 3\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump-not "param 4\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump-not "param 4\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump "param 5\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump "param 5\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump "param 6\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { scan-ipa-dump "param 6\[^\\n\]*modified" "inline" } } */
|
/* { dg-final { cleanup-ipa-dump "inline" } } */
|
/* { dg-final { cleanup-ipa-dump "inline" } } */
|
|
|