diff options
author | Erick Ochoa <erick.ochoa@theobroma-systems.com> | 2020-07-22 15:11:24 +0200 |
---|---|---|
committer | Erick Ochoa <erick.ochoa@theobroma-systems.com> | 2020-10-30 13:09:51 +0100 |
commit | f38765e21c117c53d9c0429b6ccef8fc4c470a10 (patch) | |
tree | a5c3908ade2bfee3baeca375267937ddf89a3d12 /gcc/testsuite/gcc.dg/ipa/ipa-structreorg-44-cond-0.c | |
parent | 24cdb7c1eb662442b26f409f404bdd92ba6b9010 (diff) |
Dead-field warning in structs at LTO-time
This commit includes the following components:
Type-based escape analysis to determine structs that can be modified at
link-time.
Field access analysis to determine which fields are never read.
The type-based escape analysis provides a list of types, that are not
visible outside of the current linking unit (e.g. parameter types of external
functions).
The field access analyses non-escaping structs for fields that
are not used in the linking unit and thus can be removed.
Diffstat (limited to 'gcc/testsuite/gcc.dg/ipa/ipa-structreorg-44-cond-0.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/ipa/ipa-structreorg-44-cond-0.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/ipa/ipa-structreorg-44-cond-0.c b/gcc/testsuite/gcc.dg/ipa/ipa-structreorg-44-cond-0.c new file mode 100644 index 00000000000..67c1d8db6eb --- /dev/null +++ b/gcc/testsuite/gcc.dg/ipa/ipa-structreorg-44-cond-0.c @@ -0,0 +1,16 @@ +/* { dg-do link } */ +/* { dg-options "-flto -fipa-type-escape-analysis -fdump-ipa-type-escape-analysis " } */ + +struct a +{ + struct b *b; +} c (struct a *d) +{ + while (d) + ; +} +void +main () +{} + +/* { dg-final { scan-ipa-dump "deleting all fields for struct a" "type-escape-analysis" } } */ |