blob: a80bda3973021270ec68a5daeb044943dc3adbd6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
/* { dg-do link } */
/* { dg-options "-flto -fipa-type-escape-analysis -fdump-ipa-type-escape-analysis -fprint-access-analysis " } */
#include <stdio.h>
struct astruct_s { _Bool a; _Bool b; _Bool c;};
struct astruct_s astruct;
int
main ()
{
if (astruct.a) {
puts("hello world");
}
}
// This says that astruct_s.a is read in a conditional
/* { dg-final { scan-wpa-ipa-dump "astruct_s.a = 0x0001" "type-escape-analysis" } } */
|