diff options
| author | Richard Biener <rguenther@suse.de> | 2022-12-13 14:24:02 +0100 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-12-13 14:36:02 +0100 |
| commit | 8f4634fb82d5670183d0ee42de9dae3b55ab5087 (patch) | |
| tree | 6cbcf2f4ba649ad9d793c0a08d5f590951fe74f1 /gcc/fortran/parse.cc | |
| parent | edc676cfe8988c62c81b0df224c7fe82583012b1 (diff) | |
| download | gcc-8f4634fb82d5670183d0ee42de9dae3b55ab5087.zip gcc-8f4634fb82d5670183d0ee42de9dae3b55ab5087.tar.gz gcc-8f4634fb82d5670183d0ee42de9dae3b55ab5087.tar.bz2 | |
tree-optimization/105801 - CCP and .DEFERRED_INIT
This makes sure we treat .DEFERRED_INIT as producing UNDEFINED so
we can continue optimizing uninitialized uses the same as without
-ftrivial-auto-var-init=zero. For the testcase this means we
catch the return 1 optimization opportunity at CCP rather than
only at FRE which already does the right thing here.
PR tree-optimization/105801
* tree-ssa-ccp.cc (likely_value): .DEFERRED_INIT produces
UNDEFINED.
* doc/invoke.texi (ftrivial-auto-var-init): Explicitely
mention we treat variables without an initializer as
undefined also for optimization purposes.
* gcc.dg/tree-ssa/ssa-ccp-43.c: New testcase.
Diffstat (limited to 'gcc/fortran/parse.cc')
0 files changed, 0 insertions, 0 deletions