diff options
author | Martin Liska <mliska@suse.cz> | 2022-01-14 16:56:44 +0100 |
---|---|---|
committer | Martin Liska <mliska@suse.cz> | 2022-01-17 22:12:04 +0100 |
commit | 5c69acb32329d49e58c26fa41ae74229a52b9106 (patch) | |
tree | ddb05f9d73afb6f998457d2ac4b720e3b3b60483 /gcc/cp/typeck2.c | |
parent | 490e23032baaece71f2ec09fa1805064b150fbc2 (diff) | |
download | gcc-5c69acb32329d49e58c26fa41ae74229a52b9106.zip gcc-5c69acb32329d49e58c26fa41ae74229a52b9106.tar.gz gcc-5c69acb32329d49e58c26fa41ae74229a52b9106.tar.bz2 |
Rename .c files to .cc files.
gcc/ada/ChangeLog:
* adadecode.c: Moved to...
* adadecode.cc: ...here.
* affinity.c: Moved to...
* affinity.cc: ...here.
* argv-lynxos178-raven-cert.c: Moved to...
* argv-lynxos178-raven-cert.cc: ...here.
* argv.c: Moved to...
* argv.cc: ...here.
* aux-io.c: Moved to...
* aux-io.cc: ...here.
* cio.c: Moved to...
* cio.cc: ...here.
* cstreams.c: Moved to...
* cstreams.cc: ...here.
* env.c: Moved to...
* env.cc: ...here.
* exit.c: Moved to...
* exit.cc: ...here.
* expect.c: Moved to...
* expect.cc: ...here.
* final.c: Moved to...
* final.cc: ...here.
* gcc-interface/cuintp.c: Moved to...
* gcc-interface/cuintp.cc: ...here.
* gcc-interface/decl.c: Moved to...
* gcc-interface/decl.cc: ...here.
* gcc-interface/misc.c: Moved to...
* gcc-interface/misc.cc: ...here.
* gcc-interface/targtyps.c: Moved to...
* gcc-interface/targtyps.cc: ...here.
* gcc-interface/trans.c: Moved to...
* gcc-interface/trans.cc: ...here.
* gcc-interface/utils.c: Moved to...
* gcc-interface/utils.cc: ...here.
* gcc-interface/utils2.c: Moved to...
* gcc-interface/utils2.cc: ...here.
* init.c: Moved to...
* init.cc: ...here.
* initialize.c: Moved to...
* initialize.cc: ...here.
* libgnarl/thread.c: Moved to...
* libgnarl/thread.cc: ...here.
* link.c: Moved to...
* link.cc: ...here.
* locales.c: Moved to...
* locales.cc: ...here.
* mkdir.c: Moved to...
* mkdir.cc: ...here.
* raise.c: Moved to...
* raise.cc: ...here.
* rtfinal.c: Moved to...
* rtfinal.cc: ...here.
* rtinit.c: Moved to...
* rtinit.cc: ...here.
* seh_init.c: Moved to...
* seh_init.cc: ...here.
* sigtramp-armdroid.c: Moved to...
* sigtramp-armdroid.cc: ...here.
* sigtramp-ios.c: Moved to...
* sigtramp-ios.cc: ...here.
* sigtramp-qnx.c: Moved to...
* sigtramp-qnx.cc: ...here.
* sigtramp-vxworks.c: Moved to...
* sigtramp-vxworks.cc: ...here.
* socket.c: Moved to...
* socket.cc: ...here.
* tracebak.c: Moved to...
* tracebak.cc: ...here.
* version.c: Moved to...
* version.cc: ...here.
* vx_stack_info.c: Moved to...
* vx_stack_info.cc: ...here.
gcc/ChangeLog:
* adjust-alignment.c: Moved to...
* adjust-alignment.cc: ...here.
* alias.c: Moved to...
* alias.cc: ...here.
* alloc-pool.c: Moved to...
* alloc-pool.cc: ...here.
* asan.c: Moved to...
* asan.cc: ...here.
* attribs.c: Moved to...
* attribs.cc: ...here.
* auto-inc-dec.c: Moved to...
* auto-inc-dec.cc: ...here.
* auto-profile.c: Moved to...
* auto-profile.cc: ...here.
* bb-reorder.c: Moved to...
* bb-reorder.cc: ...here.
* bitmap.c: Moved to...
* bitmap.cc: ...here.
* btfout.c: Moved to...
* btfout.cc: ...here.
* builtins.c: Moved to...
* builtins.cc: ...here.
* caller-save.c: Moved to...
* caller-save.cc: ...here.
* calls.c: Moved to...
* calls.cc: ...here.
* ccmp.c: Moved to...
* ccmp.cc: ...here.
* cfg.c: Moved to...
* cfg.cc: ...here.
* cfganal.c: Moved to...
* cfganal.cc: ...here.
* cfgbuild.c: Moved to...
* cfgbuild.cc: ...here.
* cfgcleanup.c: Moved to...
* cfgcleanup.cc: ...here.
* cfgexpand.c: Moved to...
* cfgexpand.cc: ...here.
* cfghooks.c: Moved to...
* cfghooks.cc: ...here.
* cfgloop.c: Moved to...
* cfgloop.cc: ...here.
* cfgloopanal.c: Moved to...
* cfgloopanal.cc: ...here.
* cfgloopmanip.c: Moved to...
* cfgloopmanip.cc: ...here.
* cfgrtl.c: Moved to...
* cfgrtl.cc: ...here.
* cgraph.c: Moved to...
* cgraph.cc: ...here.
* cgraphbuild.c: Moved to...
* cgraphbuild.cc: ...here.
* cgraphclones.c: Moved to...
* cgraphclones.cc: ...here.
* cgraphunit.c: Moved to...
* cgraphunit.cc: ...here.
* collect-utils.c: Moved to...
* collect-utils.cc: ...here.
* collect2-aix.c: Moved to...
* collect2-aix.cc: ...here.
* collect2.c: Moved to...
* collect2.cc: ...here.
* combine-stack-adj.c: Moved to...
* combine-stack-adj.cc: ...here.
* combine.c: Moved to...
* combine.cc: ...here.
* common/common-targhooks.c: Moved to...
* common/common-targhooks.cc: ...here.
* common/config/aarch64/aarch64-common.c: Moved to...
* common/config/aarch64/aarch64-common.cc: ...here.
* common/config/alpha/alpha-common.c: Moved to...
* common/config/alpha/alpha-common.cc: ...here.
* common/config/arc/arc-common.c: Moved to...
* common/config/arc/arc-common.cc: ...here.
* common/config/arm/arm-common.c: Moved to...
* common/config/arm/arm-common.cc: ...here.
* common/config/avr/avr-common.c: Moved to...
* common/config/avr/avr-common.cc: ...here.
* common/config/bfin/bfin-common.c: Moved to...
* common/config/bfin/bfin-common.cc: ...here.
* common/config/bpf/bpf-common.c: Moved to...
* common/config/bpf/bpf-common.cc: ...here.
* common/config/c6x/c6x-common.c: Moved to...
* common/config/c6x/c6x-common.cc: ...here.
* common/config/cr16/cr16-common.c: Moved to...
* common/config/cr16/cr16-common.cc: ...here.
* common/config/cris/cris-common.c: Moved to...
* common/config/cris/cris-common.cc: ...here.
* common/config/csky/csky-common.c: Moved to...
* common/config/csky/csky-common.cc: ...here.
* common/config/default-common.c: Moved to...
* common/config/default-common.cc: ...here.
* common/config/epiphany/epiphany-common.c: Moved to...
* common/config/epiphany/epiphany-common.cc: ...here.
* common/config/fr30/fr30-common.c: Moved to...
* common/config/fr30/fr30-common.cc: ...here.
* common/config/frv/frv-common.c: Moved to...
* common/config/frv/frv-common.cc: ...here.
* common/config/gcn/gcn-common.c: Moved to...
* common/config/gcn/gcn-common.cc: ...here.
* common/config/h8300/h8300-common.c: Moved to...
* common/config/h8300/h8300-common.cc: ...here.
* common/config/i386/i386-common.c: Moved to...
* common/config/i386/i386-common.cc: ...here.
* common/config/ia64/ia64-common.c: Moved to...
* common/config/ia64/ia64-common.cc: ...here.
* common/config/iq2000/iq2000-common.c: Moved to...
* common/config/iq2000/iq2000-common.cc: ...here.
* common/config/lm32/lm32-common.c: Moved to...
* common/config/lm32/lm32-common.cc: ...here.
* common/config/m32r/m32r-common.c: Moved to...
* common/config/m32r/m32r-common.cc: ...here.
* common/config/m68k/m68k-common.c: Moved to...
* common/config/m68k/m68k-common.cc: ...here.
* common/config/mcore/mcore-common.c: Moved to...
* common/config/mcore/mcore-common.cc: ...here.
* common/config/microblaze/microblaze-common.c: Moved to...
* common/config/microblaze/microblaze-common.cc: ...here.
* common/config/mips/mips-common.c: Moved to...
* common/config/mips/mips-common.cc: ...here.
* common/config/mmix/mmix-common.c: Moved to...
* common/config/mmix/mmix-common.cc: ...here.
* common/config/mn10300/mn10300-common.c: Moved to...
* common/config/mn10300/mn10300-common.cc: ...here.
* common/config/msp430/msp430-common.c: Moved to...
* common/config/msp430/msp430-common.cc: ...here.
* common/config/nds32/nds32-common.c: Moved to...
* common/config/nds32/nds32-common.cc: ...here.
* common/config/nios2/nios2-common.c: Moved to...
* common/config/nios2/nios2-common.cc: ...here.
* common/config/nvptx/nvptx-common.c: Moved to...
* common/config/nvptx/nvptx-common.cc: ...here.
* common/config/or1k/or1k-common.c: Moved to...
* common/config/or1k/or1k-common.cc: ...here.
* common/config/pa/pa-common.c: Moved to...
* common/config/pa/pa-common.cc: ...here.
* common/config/pdp11/pdp11-common.c: Moved to...
* common/config/pdp11/pdp11-common.cc: ...here.
* common/config/pru/pru-common.c: Moved to...
* common/config/pru/pru-common.cc: ...here.
* common/config/riscv/riscv-common.c: Moved to...
* common/config/riscv/riscv-common.cc: ...here.
* common/config/rs6000/rs6000-common.c: Moved to...
* common/config/rs6000/rs6000-common.cc: ...here.
* common/config/rx/rx-common.c: Moved to...
* common/config/rx/rx-common.cc: ...here.
* common/config/s390/s390-common.c: Moved to...
* common/config/s390/s390-common.cc: ...here.
* common/config/sh/sh-common.c: Moved to...
* common/config/sh/sh-common.cc: ...here.
* common/config/sparc/sparc-common.c: Moved to...
* common/config/sparc/sparc-common.cc: ...here.
* common/config/tilegx/tilegx-common.c: Moved to...
* common/config/tilegx/tilegx-common.cc: ...here.
* common/config/tilepro/tilepro-common.c: Moved to...
* common/config/tilepro/tilepro-common.cc: ...here.
* common/config/v850/v850-common.c: Moved to...
* common/config/v850/v850-common.cc: ...here.
* common/config/vax/vax-common.c: Moved to...
* common/config/vax/vax-common.cc: ...here.
* common/config/visium/visium-common.c: Moved to...
* common/config/visium/visium-common.cc: ...here.
* common/config/xstormy16/xstormy16-common.c: Moved to...
* common/config/xstormy16/xstormy16-common.cc: ...here.
* common/config/xtensa/xtensa-common.c: Moved to...
* common/config/xtensa/xtensa-common.cc: ...here.
* compare-elim.c: Moved to...
* compare-elim.cc: ...here.
* config/aarch64/aarch64-bti-insert.c: Moved to...
* config/aarch64/aarch64-bti-insert.cc: ...here.
* config/aarch64/aarch64-builtins.c: Moved to...
* config/aarch64/aarch64-builtins.cc: ...here.
* config/aarch64/aarch64-c.c: Moved to...
* config/aarch64/aarch64-c.cc: ...here.
* config/aarch64/aarch64-d.c: Moved to...
* config/aarch64/aarch64-d.cc: ...here.
* config/aarch64/aarch64.c: Moved to...
* config/aarch64/aarch64.cc: ...here.
* config/aarch64/cortex-a57-fma-steering.c: Moved to...
* config/aarch64/cortex-a57-fma-steering.cc: ...here.
* config/aarch64/driver-aarch64.c: Moved to...
* config/aarch64/driver-aarch64.cc: ...here.
* config/aarch64/falkor-tag-collision-avoidance.c: Moved to...
* config/aarch64/falkor-tag-collision-avoidance.cc: ...here.
* config/aarch64/host-aarch64-darwin.c: Moved to...
* config/aarch64/host-aarch64-darwin.cc: ...here.
* config/alpha/alpha.c: Moved to...
* config/alpha/alpha.cc: ...here.
* config/alpha/driver-alpha.c: Moved to...
* config/alpha/driver-alpha.cc: ...here.
* config/arc/arc-c.c: Moved to...
* config/arc/arc-c.cc: ...here.
* config/arc/arc.c: Moved to...
* config/arc/arc.cc: ...here.
* config/arc/driver-arc.c: Moved to...
* config/arc/driver-arc.cc: ...here.
* config/arm/aarch-common.c: Moved to...
* config/arm/aarch-common.cc: ...here.
* config/arm/arm-builtins.c: Moved to...
* config/arm/arm-builtins.cc: ...here.
* config/arm/arm-c.c: Moved to...
* config/arm/arm-c.cc: ...here.
* config/arm/arm-d.c: Moved to...
* config/arm/arm-d.cc: ...here.
* config/arm/arm.c: Moved to...
* config/arm/arm.cc: ...here.
* config/arm/driver-arm.c: Moved to...
* config/arm/driver-arm.cc: ...here.
* config/avr/avr-c.c: Moved to...
* config/avr/avr-c.cc: ...here.
* config/avr/avr-devices.c: Moved to...
* config/avr/avr-devices.cc: ...here.
* config/avr/avr-log.c: Moved to...
* config/avr/avr-log.cc: ...here.
* config/avr/avr.c: Moved to...
* config/avr/avr.cc: ...here.
* config/avr/driver-avr.c: Moved to...
* config/avr/driver-avr.cc: ...here.
* config/avr/gen-avr-mmcu-specs.c: Moved to...
* config/avr/gen-avr-mmcu-specs.cc: ...here.
* config/avr/gen-avr-mmcu-texi.c: Moved to...
* config/avr/gen-avr-mmcu-texi.cc: ...here.
* config/bfin/bfin.c: Moved to...
* config/bfin/bfin.cc: ...here.
* config/bpf/bpf.c: Moved to...
* config/bpf/bpf.cc: ...here.
* config/bpf/coreout.c: Moved to...
* config/bpf/coreout.cc: ...here.
* config/c6x/c6x.c: Moved to...
* config/c6x/c6x.cc: ...here.
* config/cr16/cr16.c: Moved to...
* config/cr16/cr16.cc: ...here.
* config/cris/cris.c: Moved to...
* config/cris/cris.cc: ...here.
* config/csky/csky.c: Moved to...
* config/csky/csky.cc: ...here.
* config/darwin-c.c: Moved to...
* config/darwin-c.cc: ...here.
* config/darwin-d.c: Moved to...
* config/darwin-d.cc: ...here.
* config/darwin-driver.c: Moved to...
* config/darwin-driver.cc: ...here.
* config/darwin-f.c: Moved to...
* config/darwin-f.cc: ...here.
* config/darwin.c: Moved to...
* config/darwin.cc: ...here.
* config/default-c.c: Moved to...
* config/default-c.cc: ...here.
* config/default-d.c: Moved to...
* config/default-d.cc: ...here.
* config/dragonfly-d.c: Moved to...
* config/dragonfly-d.cc: ...here.
* config/epiphany/epiphany.c: Moved to...
* config/epiphany/epiphany.cc: ...here.
* config/epiphany/mode-switch-use.c: Moved to...
* config/epiphany/mode-switch-use.cc: ...here.
* config/epiphany/resolve-sw-modes.c: Moved to...
* config/epiphany/resolve-sw-modes.cc: ...here.
* config/fr30/fr30.c: Moved to...
* config/fr30/fr30.cc: ...here.
* config/freebsd-d.c: Moved to...
* config/freebsd-d.cc: ...here.
* config/frv/frv.c: Moved to...
* config/frv/frv.cc: ...here.
* config/ft32/ft32.c: Moved to...
* config/ft32/ft32.cc: ...here.
* config/gcn/driver-gcn.c: Moved to...
* config/gcn/driver-gcn.cc: ...here.
* config/gcn/gcn-run.c: Moved to...
* config/gcn/gcn-run.cc: ...here.
* config/gcn/gcn-tree.c: Moved to...
* config/gcn/gcn-tree.cc: ...here.
* config/gcn/gcn.c: Moved to...
* config/gcn/gcn.cc: ...here.
* config/gcn/mkoffload.c: Moved to...
* config/gcn/mkoffload.cc: ...here.
* config/glibc-c.c: Moved to...
* config/glibc-c.cc: ...here.
* config/glibc-d.c: Moved to...
* config/glibc-d.cc: ...here.
* config/h8300/h8300.c: Moved to...
* config/h8300/h8300.cc: ...here.
* config/host-darwin.c: Moved to...
* config/host-darwin.cc: ...here.
* config/host-hpux.c: Moved to...
* config/host-hpux.cc: ...here.
* config/host-linux.c: Moved to...
* config/host-linux.cc: ...here.
* config/host-netbsd.c: Moved to...
* config/host-netbsd.cc: ...here.
* config/host-openbsd.c: Moved to...
* config/host-openbsd.cc: ...here.
* config/host-solaris.c: Moved to...
* config/host-solaris.cc: ...here.
* config/i386/djgpp.c: Moved to...
* config/i386/djgpp.cc: ...here.
* config/i386/driver-i386.c: Moved to...
* config/i386/driver-i386.cc: ...here.
* config/i386/driver-mingw32.c: Moved to...
* config/i386/driver-mingw32.cc: ...here.
* config/i386/gnu-property.c: Moved to...
* config/i386/gnu-property.cc: ...here.
* config/i386/host-cygwin.c: Moved to...
* config/i386/host-cygwin.cc: ...here.
* config/i386/host-i386-darwin.c: Moved to...
* config/i386/host-i386-darwin.cc: ...here.
* config/i386/host-mingw32.c: Moved to...
* config/i386/host-mingw32.cc: ...here.
* config/i386/i386-builtins.c: Moved to...
* config/i386/i386-builtins.cc: ...here.
* config/i386/i386-c.c: Moved to...
* config/i386/i386-c.cc: ...here.
* config/i386/i386-d.c: Moved to...
* config/i386/i386-d.cc: ...here.
* config/i386/i386-expand.c: Moved to...
* config/i386/i386-expand.cc: ...here.
* config/i386/i386-features.c: Moved to...
* config/i386/i386-features.cc: ...here.
* config/i386/i386-options.c: Moved to...
* config/i386/i386-options.cc: ...here.
* config/i386/i386.c: Moved to...
* config/i386/i386.cc: ...here.
* config/i386/intelmic-mkoffload.c: Moved to...
* config/i386/intelmic-mkoffload.cc: ...here.
* config/i386/msformat-c.c: Moved to...
* config/i386/msformat-c.cc: ...here.
* config/i386/winnt-cxx.c: Moved to...
* config/i386/winnt-cxx.cc: ...here.
* config/i386/winnt-d.c: Moved to...
* config/i386/winnt-d.cc: ...here.
* config/i386/winnt-stubs.c: Moved to...
* config/i386/winnt-stubs.cc: ...here.
* config/i386/winnt.c: Moved to...
* config/i386/winnt.cc: ...here.
* config/i386/x86-tune-sched-atom.c: Moved to...
* config/i386/x86-tune-sched-atom.cc: ...here.
* config/i386/x86-tune-sched-bd.c: Moved to...
* config/i386/x86-tune-sched-bd.cc: ...here.
* config/i386/x86-tune-sched-core.c: Moved to...
* config/i386/x86-tune-sched-core.cc: ...here.
* config/i386/x86-tune-sched.c: Moved to...
* config/i386/x86-tune-sched.cc: ...here.
* config/ia64/ia64-c.c: Moved to...
* config/ia64/ia64-c.cc: ...here.
* config/ia64/ia64.c: Moved to...
* config/ia64/ia64.cc: ...here.
* config/iq2000/iq2000.c: Moved to...
* config/iq2000/iq2000.cc: ...here.
* config/linux.c: Moved to...
* config/linux.cc: ...here.
* config/lm32/lm32.c: Moved to...
* config/lm32/lm32.cc: ...here.
* config/m32c/m32c-pragma.c: Moved to...
* config/m32c/m32c-pragma.cc: ...here.
* config/m32c/m32c.c: Moved to...
* config/m32c/m32c.cc: ...here.
* config/m32r/m32r.c: Moved to...
* config/m32r/m32r.cc: ...here.
* config/m68k/m68k.c: Moved to...
* config/m68k/m68k.cc: ...here.
* config/mcore/mcore.c: Moved to...
* config/mcore/mcore.cc: ...here.
* config/microblaze/microblaze-c.c: Moved to...
* config/microblaze/microblaze-c.cc: ...here.
* config/microblaze/microblaze.c: Moved to...
* config/microblaze/microblaze.cc: ...here.
* config/mips/driver-native.c: Moved to...
* config/mips/driver-native.cc: ...here.
* config/mips/frame-header-opt.c: Moved to...
* config/mips/frame-header-opt.cc: ...here.
* config/mips/mips-d.c: Moved to...
* config/mips/mips-d.cc: ...here.
* config/mips/mips.c: Moved to...
* config/mips/mips.cc: ...here.
* config/mmix/mmix.c: Moved to...
* config/mmix/mmix.cc: ...here.
* config/mn10300/mn10300.c: Moved to...
* config/mn10300/mn10300.cc: ...here.
* config/moxie/moxie.c: Moved to...
* config/moxie/moxie.cc: ...here.
* config/msp430/driver-msp430.c: Moved to...
* config/msp430/driver-msp430.cc: ...here.
* config/msp430/msp430-c.c: Moved to...
* config/msp430/msp430-c.cc: ...here.
* config/msp430/msp430-devices.c: Moved to...
* config/msp430/msp430-devices.cc: ...here.
* config/msp430/msp430.c: Moved to...
* config/msp430/msp430.cc: ...here.
* config/nds32/nds32-cost.c: Moved to...
* config/nds32/nds32-cost.cc: ...here.
* config/nds32/nds32-fp-as-gp.c: Moved to...
* config/nds32/nds32-fp-as-gp.cc: ...here.
* config/nds32/nds32-intrinsic.c: Moved to...
* config/nds32/nds32-intrinsic.cc: ...here.
* config/nds32/nds32-isr.c: Moved to...
* config/nds32/nds32-isr.cc: ...here.
* config/nds32/nds32-md-auxiliary.c: Moved to...
* config/nds32/nds32-md-auxiliary.cc: ...here.
* config/nds32/nds32-memory-manipulation.c: Moved to...
* config/nds32/nds32-memory-manipulation.cc: ...here.
* config/nds32/nds32-pipelines-auxiliary.c: Moved to...
* config/nds32/nds32-pipelines-auxiliary.cc: ...here.
* config/nds32/nds32-predicates.c: Moved to...
* config/nds32/nds32-predicates.cc: ...here.
* config/nds32/nds32-relax-opt.c: Moved to...
* config/nds32/nds32-relax-opt.cc: ...here.
* config/nds32/nds32-utils.c: Moved to...
* config/nds32/nds32-utils.cc: ...here.
* config/nds32/nds32.c: Moved to...
* config/nds32/nds32.cc: ...here.
* config/netbsd-d.c: Moved to...
* config/netbsd-d.cc: ...here.
* config/netbsd.c: Moved to...
* config/netbsd.cc: ...here.
* config/nios2/nios2.c: Moved to...
* config/nios2/nios2.cc: ...here.
* config/nvptx/mkoffload.c: Moved to...
* config/nvptx/mkoffload.cc: ...here.
* config/nvptx/nvptx-c.c: Moved to...
* config/nvptx/nvptx-c.cc: ...here.
* config/nvptx/nvptx.c: Moved to...
* config/nvptx/nvptx.cc: ...here.
* config/openbsd-d.c: Moved to...
* config/openbsd-d.cc: ...here.
* config/or1k/or1k.c: Moved to...
* config/or1k/or1k.cc: ...here.
* config/pa/pa-d.c: Moved to...
* config/pa/pa-d.cc: ...here.
* config/pa/pa.c: Moved to...
* config/pa/pa.cc: ...here.
* config/pdp11/pdp11.c: Moved to...
* config/pdp11/pdp11.cc: ...here.
* config/pru/pru-passes.c: Moved to...
* config/pru/pru-passes.cc: ...here.
* config/pru/pru-pragma.c: Moved to...
* config/pru/pru-pragma.cc: ...here.
* config/pru/pru.c: Moved to...
* config/pru/pru.cc: ...here.
* config/riscv/riscv-builtins.c: Moved to...
* config/riscv/riscv-builtins.cc: ...here.
* config/riscv/riscv-c.c: Moved to...
* config/riscv/riscv-c.cc: ...here.
* config/riscv/riscv-d.c: Moved to...
* config/riscv/riscv-d.cc: ...here.
* config/riscv/riscv-shorten-memrefs.c: Moved to...
* config/riscv/riscv-shorten-memrefs.cc: ...here.
* config/riscv/riscv-sr.c: Moved to...
* config/riscv/riscv-sr.cc: ...here.
* config/riscv/riscv.c: Moved to...
* config/riscv/riscv.cc: ...here.
* config/rl78/rl78-c.c: Moved to...
* config/rl78/rl78-c.cc: ...here.
* config/rl78/rl78.c: Moved to...
* config/rl78/rl78.cc: ...here.
* config/rs6000/driver-rs6000.c: Moved to...
* config/rs6000/driver-rs6000.cc: ...here.
* config/rs6000/host-darwin.c: Moved to...
* config/rs6000/host-darwin.cc: ...here.
* config/rs6000/host-ppc64-darwin.c: Moved to...
* config/rs6000/host-ppc64-darwin.cc: ...here.
* config/rs6000/rbtree.c: Moved to...
* config/rs6000/rbtree.cc: ...here.
* config/rs6000/rs6000-c.c: Moved to...
* config/rs6000/rs6000-c.cc: ...here.
* config/rs6000/rs6000-call.c: Moved to...
* config/rs6000/rs6000-call.cc: ...here.
* config/rs6000/rs6000-d.c: Moved to...
* config/rs6000/rs6000-d.cc: ...here.
* config/rs6000/rs6000-gen-builtins.c: Moved to...
* config/rs6000/rs6000-gen-builtins.cc: ...here.
* config/rs6000/rs6000-linux.c: Moved to...
* config/rs6000/rs6000-linux.cc: ...here.
* config/rs6000/rs6000-logue.c: Moved to...
* config/rs6000/rs6000-logue.cc: ...here.
* config/rs6000/rs6000-p8swap.c: Moved to...
* config/rs6000/rs6000-p8swap.cc: ...here.
* config/rs6000/rs6000-pcrel-opt.c: Moved to...
* config/rs6000/rs6000-pcrel-opt.cc: ...here.
* config/rs6000/rs6000-string.c: Moved to...
* config/rs6000/rs6000-string.cc: ...here.
* config/rs6000/rs6000.c: Moved to...
* config/rs6000/rs6000.cc: ...here.
* config/rx/rx.c: Moved to...
* config/rx/rx.cc: ...here.
* config/s390/driver-native.c: Moved to...
* config/s390/driver-native.cc: ...here.
* config/s390/s390-c.c: Moved to...
* config/s390/s390-c.cc: ...here.
* config/s390/s390-d.c: Moved to...
* config/s390/s390-d.cc: ...here.
* config/s390/s390.c: Moved to...
* config/s390/s390.cc: ...here.
* config/sh/divtab-sh4-300.c: Moved to...
* config/sh/divtab-sh4-300.cc: ...here.
* config/sh/divtab-sh4.c: Moved to...
* config/sh/divtab-sh4.cc: ...here.
* config/sh/divtab.c: Moved to...
* config/sh/divtab.cc: ...here.
* config/sh/sh-c.c: Moved to...
* config/sh/sh-c.cc: ...here.
* config/sh/sh.c: Moved to...
* config/sh/sh.cc: ...here.
* config/sol2-c.c: Moved to...
* config/sol2-c.cc: ...here.
* config/sol2-cxx.c: Moved to...
* config/sol2-cxx.cc: ...here.
* config/sol2-d.c: Moved to...
* config/sol2-d.cc: ...here.
* config/sol2-stubs.c: Moved to...
* config/sol2-stubs.cc: ...here.
* config/sol2.c: Moved to...
* config/sol2.cc: ...here.
* config/sparc/driver-sparc.c: Moved to...
* config/sparc/driver-sparc.cc: ...here.
* config/sparc/sparc-c.c: Moved to...
* config/sparc/sparc-c.cc: ...here.
* config/sparc/sparc-d.c: Moved to...
* config/sparc/sparc-d.cc: ...here.
* config/sparc/sparc.c: Moved to...
* config/sparc/sparc.cc: ...here.
* config/stormy16/stormy16.c: Moved to...
* config/stormy16/stormy16.cc: ...here.
* config/tilegx/mul-tables.c: Moved to...
* config/tilegx/mul-tables.cc: ...here.
* config/tilegx/tilegx-c.c: Moved to...
* config/tilegx/tilegx-c.cc: ...here.
* config/tilegx/tilegx.c: Moved to...
* config/tilegx/tilegx.cc: ...here.
* config/tilepro/mul-tables.c: Moved to...
* config/tilepro/mul-tables.cc: ...here.
* config/tilepro/tilepro-c.c: Moved to...
* config/tilepro/tilepro-c.cc: ...here.
* config/tilepro/tilepro.c: Moved to...
* config/tilepro/tilepro.cc: ...here.
* config/v850/v850-c.c: Moved to...
* config/v850/v850-c.cc: ...here.
* config/v850/v850.c: Moved to...
* config/v850/v850.cc: ...here.
* config/vax/vax.c: Moved to...
* config/vax/vax.cc: ...here.
* config/visium/visium.c: Moved to...
* config/visium/visium.cc: ...here.
* config/vms/vms-c.c: Moved to...
* config/vms/vms-c.cc: ...here.
* config/vms/vms-f.c: Moved to...
* config/vms/vms-f.cc: ...here.
* config/vms/vms.c: Moved to...
* config/vms/vms.cc: ...here.
* config/vxworks-c.c: Moved to...
* config/vxworks-c.cc: ...here.
* config/vxworks.c: Moved to...
* config/vxworks.cc: ...here.
* config/winnt-c.c: Moved to...
* config/winnt-c.cc: ...here.
* config/xtensa/xtensa.c: Moved to...
* config/xtensa/xtensa.cc: ...here.
* context.c: Moved to...
* context.cc: ...here.
* convert.c: Moved to...
* convert.cc: ...here.
* coverage.c: Moved to...
* coverage.cc: ...here.
* cppbuiltin.c: Moved to...
* cppbuiltin.cc: ...here.
* cppdefault.c: Moved to...
* cppdefault.cc: ...here.
* cprop.c: Moved to...
* cprop.cc: ...here.
* cse.c: Moved to...
* cse.cc: ...here.
* cselib.c: Moved to...
* cselib.cc: ...here.
* ctfc.c: Moved to...
* ctfc.cc: ...here.
* ctfout.c: Moved to...
* ctfout.cc: ...here.
* data-streamer-in.c: Moved to...
* data-streamer-in.cc: ...here.
* data-streamer-out.c: Moved to...
* data-streamer-out.cc: ...here.
* data-streamer.c: Moved to...
* data-streamer.cc: ...here.
* dbgcnt.c: Moved to...
* dbgcnt.cc: ...here.
* dbxout.c: Moved to...
* dbxout.cc: ...here.
* dce.c: Moved to...
* dce.cc: ...here.
* ddg.c: Moved to...
* ddg.cc: ...here.
* debug.c: Moved to...
* debug.cc: ...here.
* df-core.c: Moved to...
* df-core.cc: ...here.
* df-problems.c: Moved to...
* df-problems.cc: ...here.
* df-scan.c: Moved to...
* df-scan.cc: ...here.
* dfp.c: Moved to...
* dfp.cc: ...here.
* diagnostic-color.c: Moved to...
* diagnostic-color.cc: ...here.
* diagnostic-show-locus.c: Moved to...
* diagnostic-show-locus.cc: ...here.
* diagnostic-spec.c: Moved to...
* diagnostic-spec.cc: ...here.
* diagnostic.c: Moved to...
* diagnostic.cc: ...here.
* dojump.c: Moved to...
* dojump.cc: ...here.
* dominance.c: Moved to...
* dominance.cc: ...here.
* domwalk.c: Moved to...
* domwalk.cc: ...here.
* double-int.c: Moved to...
* double-int.cc: ...here.
* dse.c: Moved to...
* dse.cc: ...here.
* dumpfile.c: Moved to...
* dumpfile.cc: ...here.
* dwarf2asm.c: Moved to...
* dwarf2asm.cc: ...here.
* dwarf2cfi.c: Moved to...
* dwarf2cfi.cc: ...here.
* dwarf2ctf.c: Moved to...
* dwarf2ctf.cc: ...here.
* dwarf2out.c: Moved to...
* dwarf2out.cc: ...here.
* early-remat.c: Moved to...
* early-remat.cc: ...here.
* edit-context.c: Moved to...
* edit-context.cc: ...here.
* emit-rtl.c: Moved to...
* emit-rtl.cc: ...here.
* errors.c: Moved to...
* errors.cc: ...here.
* et-forest.c: Moved to...
* et-forest.cc: ...here.
* except.c: Moved to...
* except.cc: ...here.
* explow.c: Moved to...
* explow.cc: ...here.
* expmed.c: Moved to...
* expmed.cc: ...here.
* expr.c: Moved to...
* expr.cc: ...here.
* fibonacci_heap.c: Moved to...
* fibonacci_heap.cc: ...here.
* file-find.c: Moved to...
* file-find.cc: ...here.
* file-prefix-map.c: Moved to...
* file-prefix-map.cc: ...here.
* final.c: Moved to...
* final.cc: ...here.
* fixed-value.c: Moved to...
* fixed-value.cc: ...here.
* fold-const-call.c: Moved to...
* fold-const-call.cc: ...here.
* fold-const.c: Moved to...
* fold-const.cc: ...here.
* fp-test.c: Moved to...
* fp-test.cc: ...here.
* function-tests.c: Moved to...
* function-tests.cc: ...here.
* function.c: Moved to...
* function.cc: ...here.
* fwprop.c: Moved to...
* fwprop.cc: ...here.
* gcc-ar.c: Moved to...
* gcc-ar.cc: ...here.
* gcc-main.c: Moved to...
* gcc-main.cc: ...here.
* gcc-rich-location.c: Moved to...
* gcc-rich-location.cc: ...here.
* gcc.c: Moved to...
* gcc.cc: ...here.
* gcov-dump.c: Moved to...
* gcov-dump.cc: ...here.
* gcov-io.c: Moved to...
* gcov-io.cc: ...here.
* gcov-tool.c: Moved to...
* gcov-tool.cc: ...here.
* gcov.c: Moved to...
* gcov.cc: ...here.
* gcse-common.c: Moved to...
* gcse-common.cc: ...here.
* gcse.c: Moved to...
* gcse.cc: ...here.
* genattr-common.c: Moved to...
* genattr-common.cc: ...here.
* genattr.c: Moved to...
* genattr.cc: ...here.
* genattrtab.c: Moved to...
* genattrtab.cc: ...here.
* genautomata.c: Moved to...
* genautomata.cc: ...here.
* gencfn-macros.c: Moved to...
* gencfn-macros.cc: ...here.
* gencheck.c: Moved to...
* gencheck.cc: ...here.
* genchecksum.c: Moved to...
* genchecksum.cc: ...here.
* gencodes.c: Moved to...
* gencodes.cc: ...here.
* genconditions.c: Moved to...
* genconditions.cc: ...here.
* genconfig.c: Moved to...
* genconfig.cc: ...here.
* genconstants.c: Moved to...
* genconstants.cc: ...here.
* genemit.c: Moved to...
* genemit.cc: ...here.
* genenums.c: Moved to...
* genenums.cc: ...here.
* generic-match-head.c: Moved to...
* generic-match-head.cc: ...here.
* genextract.c: Moved to...
* genextract.cc: ...here.
* genflags.c: Moved to...
* genflags.cc: ...here.
* gengenrtl.c: Moved to...
* gengenrtl.cc: ...here.
* gengtype-parse.c: Moved to...
* gengtype-parse.cc: ...here.
* gengtype-state.c: Moved to...
* gengtype-state.cc: ...here.
* gengtype.c: Moved to...
* gengtype.cc: ...here.
* genhooks.c: Moved to...
* genhooks.cc: ...here.
* genmatch.c: Moved to...
* genmatch.cc: ...here.
* genmddeps.c: Moved to...
* genmddeps.cc: ...here.
* genmddump.c: Moved to...
* genmddump.cc: ...here.
* genmodes.c: Moved to...
* genmodes.cc: ...here.
* genopinit.c: Moved to...
* genopinit.cc: ...here.
* genoutput.c: Moved to...
* genoutput.cc: ...here.
* genpeep.c: Moved to...
* genpeep.cc: ...here.
* genpreds.c: Moved to...
* genpreds.cc: ...here.
* genrecog.c: Moved to...
* genrecog.cc: ...here.
* gensupport.c: Moved to...
* gensupport.cc: ...here.
* gentarget-def.c: Moved to...
* gentarget-def.cc: ...here.
* genversion.c: Moved to...
* genversion.cc: ...here.
* ggc-common.c: Moved to...
* ggc-common.cc: ...here.
* ggc-none.c: Moved to...
* ggc-none.cc: ...here.
* ggc-page.c: Moved to...
* ggc-page.cc: ...here.
* ggc-tests.c: Moved to...
* ggc-tests.cc: ...here.
* gimple-builder.c: Moved to...
* gimple-builder.cc: ...here.
* gimple-expr.c: Moved to...
* gimple-expr.cc: ...here.
* gimple-fold.c: Moved to...
* gimple-fold.cc: ...here.
* gimple-iterator.c: Moved to...
* gimple-iterator.cc: ...here.
* gimple-laddress.c: Moved to...
* gimple-laddress.cc: ...here.
* gimple-loop-jam.c: Moved to...
* gimple-loop-jam.cc: ...here.
* gimple-low.c: Moved to...
* gimple-low.cc: ...here.
* gimple-match-head.c: Moved to...
* gimple-match-head.cc: ...here.
* gimple-pretty-print.c: Moved to...
* gimple-pretty-print.cc: ...here.
* gimple-ssa-backprop.c: Moved to...
* gimple-ssa-backprop.cc: ...here.
* gimple-ssa-evrp-analyze.c: Moved to...
* gimple-ssa-evrp-analyze.cc: ...here.
* gimple-ssa-evrp.c: Moved to...
* gimple-ssa-evrp.cc: ...here.
* gimple-ssa-isolate-paths.c: Moved to...
* gimple-ssa-isolate-paths.cc: ...here.
* gimple-ssa-nonnull-compare.c: Moved to...
* gimple-ssa-nonnull-compare.cc: ...here.
* gimple-ssa-split-paths.c: Moved to...
* gimple-ssa-split-paths.cc: ...here.
* gimple-ssa-sprintf.c: Moved to...
* gimple-ssa-sprintf.cc: ...here.
* gimple-ssa-store-merging.c: Moved to...
* gimple-ssa-store-merging.cc: ...here.
* gimple-ssa-strength-reduction.c: Moved to...
* gimple-ssa-strength-reduction.cc: ...here.
* gimple-ssa-warn-alloca.c: Moved to...
* gimple-ssa-warn-alloca.cc: ...here.
* gimple-ssa-warn-restrict.c: Moved to...
* gimple-ssa-warn-restrict.cc: ...here.
* gimple-streamer-in.c: Moved to...
* gimple-streamer-in.cc: ...here.
* gimple-streamer-out.c: Moved to...
* gimple-streamer-out.cc: ...here.
* gimple-walk.c: Moved to...
* gimple-walk.cc: ...here.
* gimple-warn-recursion.c: Moved to...
* gimple-warn-recursion.cc: ...here.
* gimple.c: Moved to...
* gimple.cc: ...here.
* gimplify-me.c: Moved to...
* gimplify-me.cc: ...here.
* gimplify.c: Moved to...
* gimplify.cc: ...here.
* godump.c: Moved to...
* godump.cc: ...here.
* graph.c: Moved to...
* graph.cc: ...here.
* graphds.c: Moved to...
* graphds.cc: ...here.
* graphite-dependences.c: Moved to...
* graphite-dependences.cc: ...here.
* graphite-isl-ast-to-gimple.c: Moved to...
* graphite-isl-ast-to-gimple.cc: ...here.
* graphite-optimize-isl.c: Moved to...
* graphite-optimize-isl.cc: ...here.
* graphite-poly.c: Moved to...
* graphite-poly.cc: ...here.
* graphite-scop-detection.c: Moved to...
* graphite-scop-detection.cc: ...here.
* graphite-sese-to-poly.c: Moved to...
* graphite-sese-to-poly.cc: ...here.
* graphite.c: Moved to...
* graphite.cc: ...here.
* haifa-sched.c: Moved to...
* haifa-sched.cc: ...here.
* hash-map-tests.c: Moved to...
* hash-map-tests.cc: ...here.
* hash-set-tests.c: Moved to...
* hash-set-tests.cc: ...here.
* hash-table.c: Moved to...
* hash-table.cc: ...here.
* hooks.c: Moved to...
* hooks.cc: ...here.
* host-default.c: Moved to...
* host-default.cc: ...here.
* hw-doloop.c: Moved to...
* hw-doloop.cc: ...here.
* hwint.c: Moved to...
* hwint.cc: ...here.
* ifcvt.c: Moved to...
* ifcvt.cc: ...here.
* inchash.c: Moved to...
* inchash.cc: ...here.
* incpath.c: Moved to...
* incpath.cc: ...here.
* init-regs.c: Moved to...
* init-regs.cc: ...here.
* input.c: Moved to...
* input.cc: ...here.
* internal-fn.c: Moved to...
* internal-fn.cc: ...here.
* intl.c: Moved to...
* intl.cc: ...here.
* ipa-comdats.c: Moved to...
* ipa-comdats.cc: ...here.
* ipa-cp.c: Moved to...
* ipa-cp.cc: ...here.
* ipa-devirt.c: Moved to...
* ipa-devirt.cc: ...here.
* ipa-fnsummary.c: Moved to...
* ipa-fnsummary.cc: ...here.
* ipa-icf-gimple.c: Moved to...
* ipa-icf-gimple.cc: ...here.
* ipa-icf.c: Moved to...
* ipa-icf.cc: ...here.
* ipa-inline-analysis.c: Moved to...
* ipa-inline-analysis.cc: ...here.
* ipa-inline-transform.c: Moved to...
* ipa-inline-transform.cc: ...here.
* ipa-inline.c: Moved to...
* ipa-inline.cc: ...here.
* ipa-modref-tree.c: Moved to...
* ipa-modref-tree.cc: ...here.
* ipa-modref.c: Moved to...
* ipa-modref.cc: ...here.
* ipa-param-manipulation.c: Moved to...
* ipa-param-manipulation.cc: ...here.
* ipa-polymorphic-call.c: Moved to...
* ipa-polymorphic-call.cc: ...here.
* ipa-predicate.c: Moved to...
* ipa-predicate.cc: ...here.
* ipa-profile.c: Moved to...
* ipa-profile.cc: ...here.
* ipa-prop.c: Moved to...
* ipa-prop.cc: ...here.
* ipa-pure-const.c: Moved to...
* ipa-pure-const.cc: ...here.
* ipa-ref.c: Moved to...
* ipa-ref.cc: ...here.
* ipa-reference.c: Moved to...
* ipa-reference.cc: ...here.
* ipa-split.c: Moved to...
* ipa-split.cc: ...here.
* ipa-sra.c: Moved to...
* ipa-sra.cc: ...here.
* ipa-utils.c: Moved to...
* ipa-utils.cc: ...here.
* ipa-visibility.c: Moved to...
* ipa-visibility.cc: ...here.
* ipa.c: Moved to...
* ipa.cc: ...here.
* ira-build.c: Moved to...
* ira-build.cc: ...here.
* ira-color.c: Moved to...
* ira-color.cc: ...here.
* ira-conflicts.c: Moved to...
* ira-conflicts.cc: ...here.
* ira-costs.c: Moved to...
* ira-costs.cc: ...here.
* ira-emit.c: Moved to...
* ira-emit.cc: ...here.
* ira-lives.c: Moved to...
* ira-lives.cc: ...here.
* ira.c: Moved to...
* ira.cc: ...here.
* jump.c: Moved to...
* jump.cc: ...here.
* langhooks.c: Moved to...
* langhooks.cc: ...here.
* lcm.c: Moved to...
* lcm.cc: ...here.
* lists.c: Moved to...
* lists.cc: ...here.
* loop-doloop.c: Moved to...
* loop-doloop.cc: ...here.
* loop-init.c: Moved to...
* loop-init.cc: ...here.
* loop-invariant.c: Moved to...
* loop-invariant.cc: ...here.
* loop-iv.c: Moved to...
* loop-iv.cc: ...here.
* loop-unroll.c: Moved to...
* loop-unroll.cc: ...here.
* lower-subreg.c: Moved to...
* lower-subreg.cc: ...here.
* lra-assigns.c: Moved to...
* lra-assigns.cc: ...here.
* lra-coalesce.c: Moved to...
* lra-coalesce.cc: ...here.
* lra-constraints.c: Moved to...
* lra-constraints.cc: ...here.
* lra-eliminations.c: Moved to...
* lra-eliminations.cc: ...here.
* lra-lives.c: Moved to...
* lra-lives.cc: ...here.
* lra-remat.c: Moved to...
* lra-remat.cc: ...here.
* lra-spills.c: Moved to...
* lra-spills.cc: ...here.
* lra.c: Moved to...
* lra.cc: ...here.
* lto-cgraph.c: Moved to...
* lto-cgraph.cc: ...here.
* lto-compress.c: Moved to...
* lto-compress.cc: ...here.
* lto-opts.c: Moved to...
* lto-opts.cc: ...here.
* lto-section-in.c: Moved to...
* lto-section-in.cc: ...here.
* lto-section-out.c: Moved to...
* lto-section-out.cc: ...here.
* lto-streamer-in.c: Moved to...
* lto-streamer-in.cc: ...here.
* lto-streamer-out.c: Moved to...
* lto-streamer-out.cc: ...here.
* lto-streamer.c: Moved to...
* lto-streamer.cc: ...here.
* lto-wrapper.c: Moved to...
* lto-wrapper.cc: ...here.
* main.c: Moved to...
* main.cc: ...here.
* mcf.c: Moved to...
* mcf.cc: ...here.
* mode-switching.c: Moved to...
* mode-switching.cc: ...here.
* modulo-sched.c: Moved to...
* modulo-sched.cc: ...here.
* multiple_target.c: Moved to...
* multiple_target.cc: ...here.
* omp-expand.c: Moved to...
* omp-expand.cc: ...here.
* omp-general.c: Moved to...
* omp-general.cc: ...here.
* omp-low.c: Moved to...
* omp-low.cc: ...here.
* omp-offload.c: Moved to...
* omp-offload.cc: ...here.
* omp-simd-clone.c: Moved to...
* omp-simd-clone.cc: ...here.
* opt-suggestions.c: Moved to...
* opt-suggestions.cc: ...here.
* optabs-libfuncs.c: Moved to...
* optabs-libfuncs.cc: ...here.
* optabs-query.c: Moved to...
* optabs-query.cc: ...here.
* optabs-tree.c: Moved to...
* optabs-tree.cc: ...here.
* optabs.c: Moved to...
* optabs.cc: ...here.
* opts-common.c: Moved to...
* opts-common.cc: ...here.
* opts-global.c: Moved to...
* opts-global.cc: ...here.
* opts.c: Moved to...
* opts.cc: ...here.
* passes.c: Moved to...
* passes.cc: ...here.
* plugin.c: Moved to...
* plugin.cc: ...here.
* postreload-gcse.c: Moved to...
* postreload-gcse.cc: ...here.
* postreload.c: Moved to...
* postreload.cc: ...here.
* predict.c: Moved to...
* predict.cc: ...here.
* prefix.c: Moved to...
* prefix.cc: ...here.
* pretty-print.c: Moved to...
* pretty-print.cc: ...here.
* print-rtl-function.c: Moved to...
* print-rtl-function.cc: ...here.
* print-rtl.c: Moved to...
* print-rtl.cc: ...here.
* print-tree.c: Moved to...
* print-tree.cc: ...here.
* profile-count.c: Moved to...
* profile-count.cc: ...here.
* profile.c: Moved to...
* profile.cc: ...here.
* read-md.c: Moved to...
* read-md.cc: ...here.
* read-rtl-function.c: Moved to...
* read-rtl-function.cc: ...here.
* read-rtl.c: Moved to...
* read-rtl.cc: ...here.
* real.c: Moved to...
* real.cc: ...here.
* realmpfr.c: Moved to...
* realmpfr.cc: ...here.
* recog.c: Moved to...
* recog.cc: ...here.
* ree.c: Moved to...
* ree.cc: ...here.
* reg-stack.c: Moved to...
* reg-stack.cc: ...here.
* regcprop.c: Moved to...
* regcprop.cc: ...here.
* reginfo.c: Moved to...
* reginfo.cc: ...here.
* regrename.c: Moved to...
* regrename.cc: ...here.
* regstat.c: Moved to...
* regstat.cc: ...here.
* reload.c: Moved to...
* reload.cc: ...here.
* reload1.c: Moved to...
* reload1.cc: ...here.
* reorg.c: Moved to...
* reorg.cc: ...here.
* resource.c: Moved to...
* resource.cc: ...here.
* rtl-error.c: Moved to...
* rtl-error.cc: ...here.
* rtl-tests.c: Moved to...
* rtl-tests.cc: ...here.
* rtl.c: Moved to...
* rtl.cc: ...here.
* rtlanal.c: Moved to...
* rtlanal.cc: ...here.
* rtlhash.c: Moved to...
* rtlhash.cc: ...here.
* rtlhooks.c: Moved to...
* rtlhooks.cc: ...here.
* rtx-vector-builder.c: Moved to...
* rtx-vector-builder.cc: ...here.
* run-rtl-passes.c: Moved to...
* run-rtl-passes.cc: ...here.
* sancov.c: Moved to...
* sancov.cc: ...here.
* sanopt.c: Moved to...
* sanopt.cc: ...here.
* sbitmap.c: Moved to...
* sbitmap.cc: ...here.
* sched-deps.c: Moved to...
* sched-deps.cc: ...here.
* sched-ebb.c: Moved to...
* sched-ebb.cc: ...here.
* sched-rgn.c: Moved to...
* sched-rgn.cc: ...here.
* sel-sched-dump.c: Moved to...
* sel-sched-dump.cc: ...here.
* sel-sched-ir.c: Moved to...
* sel-sched-ir.cc: ...here.
* sel-sched.c: Moved to...
* sel-sched.cc: ...here.
* selftest-diagnostic.c: Moved to...
* selftest-diagnostic.cc: ...here.
* selftest-rtl.c: Moved to...
* selftest-rtl.cc: ...here.
* selftest-run-tests.c: Moved to...
* selftest-run-tests.cc: ...here.
* selftest.c: Moved to...
* selftest.cc: ...here.
* sese.c: Moved to...
* sese.cc: ...here.
* shrink-wrap.c: Moved to...
* shrink-wrap.cc: ...here.
* simplify-rtx.c: Moved to...
* simplify-rtx.cc: ...here.
* sparseset.c: Moved to...
* sparseset.cc: ...here.
* spellcheck-tree.c: Moved to...
* spellcheck-tree.cc: ...here.
* spellcheck.c: Moved to...
* spellcheck.cc: ...here.
* sreal.c: Moved to...
* sreal.cc: ...here.
* stack-ptr-mod.c: Moved to...
* stack-ptr-mod.cc: ...here.
* statistics.c: Moved to...
* statistics.cc: ...here.
* stmt.c: Moved to...
* stmt.cc: ...here.
* stor-layout.c: Moved to...
* stor-layout.cc: ...here.
* store-motion.c: Moved to...
* store-motion.cc: ...here.
* streamer-hooks.c: Moved to...
* streamer-hooks.cc: ...here.
* stringpool.c: Moved to...
* stringpool.cc: ...here.
* substring-locations.c: Moved to...
* substring-locations.cc: ...here.
* symtab.c: Moved to...
* symtab.cc: ...here.
* target-globals.c: Moved to...
* target-globals.cc: ...here.
* targhooks.c: Moved to...
* targhooks.cc: ...here.
* timevar.c: Moved to...
* timevar.cc: ...here.
* toplev.c: Moved to...
* toplev.cc: ...here.
* tracer.c: Moved to...
* tracer.cc: ...here.
* trans-mem.c: Moved to...
* trans-mem.cc: ...here.
* tree-affine.c: Moved to...
* tree-affine.cc: ...here.
* tree-call-cdce.c: Moved to...
* tree-call-cdce.cc: ...here.
* tree-cfg.c: Moved to...
* tree-cfg.cc: ...here.
* tree-cfgcleanup.c: Moved to...
* tree-cfgcleanup.cc: ...here.
* tree-chrec.c: Moved to...
* tree-chrec.cc: ...here.
* tree-complex.c: Moved to...
* tree-complex.cc: ...here.
* tree-data-ref.c: Moved to...
* tree-data-ref.cc: ...here.
* tree-dfa.c: Moved to...
* tree-dfa.cc: ...here.
* tree-diagnostic.c: Moved to...
* tree-diagnostic.cc: ...here.
* tree-dump.c: Moved to...
* tree-dump.cc: ...here.
* tree-eh.c: Moved to...
* tree-eh.cc: ...here.
* tree-emutls.c: Moved to...
* tree-emutls.cc: ...here.
* tree-if-conv.c: Moved to...
* tree-if-conv.cc: ...here.
* tree-inline.c: Moved to...
* tree-inline.cc: ...here.
* tree-into-ssa.c: Moved to...
* tree-into-ssa.cc: ...here.
* tree-iterator.c: Moved to...
* tree-iterator.cc: ...here.
* tree-loop-distribution.c: Moved to...
* tree-loop-distribution.cc: ...here.
* tree-nested.c: Moved to...
* tree-nested.cc: ...here.
* tree-nrv.c: Moved to...
* tree-nrv.cc: ...here.
* tree-object-size.c: Moved to...
* tree-object-size.cc: ...here.
* tree-outof-ssa.c: Moved to...
* tree-outof-ssa.cc: ...here.
* tree-parloops.c: Moved to...
* tree-parloops.cc: ...here.
* tree-phinodes.c: Moved to...
* tree-phinodes.cc: ...here.
* tree-predcom.c: Moved to...
* tree-predcom.cc: ...here.
* tree-pretty-print.c: Moved to...
* tree-pretty-print.cc: ...here.
* tree-profile.c: Moved to...
* tree-profile.cc: ...here.
* tree-scalar-evolution.c: Moved to...
* tree-scalar-evolution.cc: ...here.
* tree-sra.c: Moved to...
* tree-sra.cc: ...here.
* tree-ssa-address.c: Moved to...
* tree-ssa-address.cc: ...here.
* tree-ssa-alias.c: Moved to...
* tree-ssa-alias.cc: ...here.
* tree-ssa-ccp.c: Moved to...
* tree-ssa-ccp.cc: ...here.
* tree-ssa-coalesce.c: Moved to...
* tree-ssa-coalesce.cc: ...here.
* tree-ssa-copy.c: Moved to...
* tree-ssa-copy.cc: ...here.
* tree-ssa-dce.c: Moved to...
* tree-ssa-dce.cc: ...here.
* tree-ssa-dom.c: Moved to...
* tree-ssa-dom.cc: ...here.
* tree-ssa-dse.c: Moved to...
* tree-ssa-dse.cc: ...here.
* tree-ssa-forwprop.c: Moved to...
* tree-ssa-forwprop.cc: ...here.
* tree-ssa-ifcombine.c: Moved to...
* tree-ssa-ifcombine.cc: ...here.
* tree-ssa-live.c: Moved to...
* tree-ssa-live.cc: ...here.
* tree-ssa-loop-ch.c: Moved to...
* tree-ssa-loop-ch.cc: ...here.
* tree-ssa-loop-im.c: Moved to...
* tree-ssa-loop-im.cc: ...here.
* tree-ssa-loop-ivcanon.c: Moved to...
* tree-ssa-loop-ivcanon.cc: ...here.
* tree-ssa-loop-ivopts.c: Moved to...
* tree-ssa-loop-ivopts.cc: ...here.
* tree-ssa-loop-manip.c: Moved to...
* tree-ssa-loop-manip.cc: ...here.
* tree-ssa-loop-niter.c: Moved to...
* tree-ssa-loop-niter.cc: ...here.
* tree-ssa-loop-prefetch.c: Moved to...
* tree-ssa-loop-prefetch.cc: ...here.
* tree-ssa-loop-split.c: Moved to...
* tree-ssa-loop-split.cc: ...here.
* tree-ssa-loop-unswitch.c: Moved to...
* tree-ssa-loop-unswitch.cc: ...here.
* tree-ssa-loop.c: Moved to...
* tree-ssa-loop.cc: ...here.
* tree-ssa-math-opts.c: Moved to...
* tree-ssa-math-opts.cc: ...here.
* tree-ssa-operands.c: Moved to...
* tree-ssa-operands.cc: ...here.
* tree-ssa-phiopt.c: Moved to...
* tree-ssa-phiopt.cc: ...here.
* tree-ssa-phiprop.c: Moved to...
* tree-ssa-phiprop.cc: ...here.
* tree-ssa-pre.c: Moved to...
* tree-ssa-pre.cc: ...here.
* tree-ssa-propagate.c: Moved to...
* tree-ssa-propagate.cc: ...here.
* tree-ssa-reassoc.c: Moved to...
* tree-ssa-reassoc.cc: ...here.
* tree-ssa-sccvn.c: Moved to...
* tree-ssa-sccvn.cc: ...here.
* tree-ssa-scopedtables.c: Moved to...
* tree-ssa-scopedtables.cc: ...here.
* tree-ssa-sink.c: Moved to...
* tree-ssa-sink.cc: ...here.
* tree-ssa-strlen.c: Moved to...
* tree-ssa-strlen.cc: ...here.
* tree-ssa-structalias.c: Moved to...
* tree-ssa-structalias.cc: ...here.
* tree-ssa-tail-merge.c: Moved to...
* tree-ssa-tail-merge.cc: ...here.
* tree-ssa-ter.c: Moved to...
* tree-ssa-ter.cc: ...here.
* tree-ssa-threadbackward.c: Moved to...
* tree-ssa-threadbackward.cc: ...here.
* tree-ssa-threadedge.c: Moved to...
* tree-ssa-threadedge.cc: ...here.
* tree-ssa-threadupdate.c: Moved to...
* tree-ssa-threadupdate.cc: ...here.
* tree-ssa-uncprop.c: Moved to...
* tree-ssa-uncprop.cc: ...here.
* tree-ssa-uninit.c: Moved to...
* tree-ssa-uninit.cc: ...here.
* tree-ssa.c: Moved to...
* tree-ssa.cc: ...here.
* tree-ssanames.c: Moved to...
* tree-ssanames.cc: ...here.
* tree-stdarg.c: Moved to...
* tree-stdarg.cc: ...here.
* tree-streamer-in.c: Moved to...
* tree-streamer-in.cc: ...here.
* tree-streamer-out.c: Moved to...
* tree-streamer-out.cc: ...here.
* tree-streamer.c: Moved to...
* tree-streamer.cc: ...here.
* tree-switch-conversion.c: Moved to...
* tree-switch-conversion.cc: ...here.
* tree-tailcall.c: Moved to...
* tree-tailcall.cc: ...here.
* tree-vect-data-refs.c: Moved to...
* tree-vect-data-refs.cc: ...here.
* tree-vect-generic.c: Moved to...
* tree-vect-generic.cc: ...here.
* tree-vect-loop-manip.c: Moved to...
* tree-vect-loop-manip.cc: ...here.
* tree-vect-loop.c: Moved to...
* tree-vect-loop.cc: ...here.
* tree-vect-patterns.c: Moved to...
* tree-vect-patterns.cc: ...here.
* tree-vect-slp-patterns.c: Moved to...
* tree-vect-slp-patterns.cc: ...here.
* tree-vect-slp.c: Moved to...
* tree-vect-slp.cc: ...here.
* tree-vect-stmts.c: Moved to...
* tree-vect-stmts.cc: ...here.
* tree-vector-builder.c: Moved to...
* tree-vector-builder.cc: ...here.
* tree-vectorizer.c: Moved to...
* tree-vectorizer.cc: ...here.
* tree-vrp.c: Moved to...
* tree-vrp.cc: ...here.
* tree.c: Moved to...
* tree.cc: ...here.
* tsan.c: Moved to...
* tsan.cc: ...here.
* typed-splay-tree.c: Moved to...
* typed-splay-tree.cc: ...here.
* ubsan.c: Moved to...
* ubsan.cc: ...here.
* valtrack.c: Moved to...
* valtrack.cc: ...here.
* value-prof.c: Moved to...
* value-prof.cc: ...here.
* var-tracking.c: Moved to...
* var-tracking.cc: ...here.
* varasm.c: Moved to...
* varasm.cc: ...here.
* varpool.c: Moved to...
* varpool.cc: ...here.
* vec-perm-indices.c: Moved to...
* vec-perm-indices.cc: ...here.
* vec.c: Moved to...
* vec.cc: ...here.
* vmsdbgout.c: Moved to...
* vmsdbgout.cc: ...here.
* vr-values.c: Moved to...
* vr-values.cc: ...here.
* vtable-verify.c: Moved to...
* vtable-verify.cc: ...here.
* web.c: Moved to...
* web.cc: ...here.
* xcoffout.c: Moved to...
* xcoffout.cc: ...here.
gcc/c-family/ChangeLog:
* c-ada-spec.c: Moved to...
* c-ada-spec.cc: ...here.
* c-attribs.c: Moved to...
* c-attribs.cc: ...here.
* c-common.c: Moved to...
* c-common.cc: ...here.
* c-cppbuiltin.c: Moved to...
* c-cppbuiltin.cc: ...here.
* c-dump.c: Moved to...
* c-dump.cc: ...here.
* c-format.c: Moved to...
* c-format.cc: ...here.
* c-gimplify.c: Moved to...
* c-gimplify.cc: ...here.
* c-indentation.c: Moved to...
* c-indentation.cc: ...here.
* c-lex.c: Moved to...
* c-lex.cc: ...here.
* c-omp.c: Moved to...
* c-omp.cc: ...here.
* c-opts.c: Moved to...
* c-opts.cc: ...here.
* c-pch.c: Moved to...
* c-pch.cc: ...here.
* c-ppoutput.c: Moved to...
* c-ppoutput.cc: ...here.
* c-pragma.c: Moved to...
* c-pragma.cc: ...here.
* c-pretty-print.c: Moved to...
* c-pretty-print.cc: ...here.
* c-semantics.c: Moved to...
* c-semantics.cc: ...here.
* c-ubsan.c: Moved to...
* c-ubsan.cc: ...here.
* c-warn.c: Moved to...
* c-warn.cc: ...here.
* cppspec.c: Moved to...
* cppspec.cc: ...here.
* stub-objc.c: Moved to...
* stub-objc.cc: ...here.
gcc/c/ChangeLog:
* c-aux-info.c: Moved to...
* c-aux-info.cc: ...here.
* c-convert.c: Moved to...
* c-convert.cc: ...here.
* c-decl.c: Moved to...
* c-decl.cc: ...here.
* c-errors.c: Moved to...
* c-errors.cc: ...here.
* c-fold.c: Moved to...
* c-fold.cc: ...here.
* c-lang.c: Moved to...
* c-lang.cc: ...here.
* c-objc-common.c: Moved to...
* c-objc-common.cc: ...here.
* c-parser.c: Moved to...
* c-parser.cc: ...here.
* c-typeck.c: Moved to...
* c-typeck.cc: ...here.
* gccspec.c: Moved to...
* gccspec.cc: ...here.
* gimple-parser.c: Moved to...
* gimple-parser.cc: ...here.
gcc/cp/ChangeLog:
* call.c: Moved to...
* call.cc: ...here.
* class.c: Moved to...
* class.cc: ...here.
* constexpr.c: Moved to...
* constexpr.cc: ...here.
* cp-gimplify.c: Moved to...
* cp-gimplify.cc: ...here.
* cp-lang.c: Moved to...
* cp-lang.cc: ...here.
* cp-objcp-common.c: Moved to...
* cp-objcp-common.cc: ...here.
* cp-ubsan.c: Moved to...
* cp-ubsan.cc: ...here.
* cvt.c: Moved to...
* cvt.cc: ...here.
* cxx-pretty-print.c: Moved to...
* cxx-pretty-print.cc: ...here.
* decl.c: Moved to...
* decl.cc: ...here.
* decl2.c: Moved to...
* decl2.cc: ...here.
* dump.c: Moved to...
* dump.cc: ...here.
* error.c: Moved to...
* error.cc: ...here.
* except.c: Moved to...
* except.cc: ...here.
* expr.c: Moved to...
* expr.cc: ...here.
* friend.c: Moved to...
* friend.cc: ...here.
* g++spec.c: Moved to...
* g++spec.cc: ...here.
* init.c: Moved to...
* init.cc: ...here.
* lambda.c: Moved to...
* lambda.cc: ...here.
* lex.c: Moved to...
* lex.cc: ...here.
* mangle.c: Moved to...
* mangle.cc: ...here.
* method.c: Moved to...
* method.cc: ...here.
* name-lookup.c: Moved to...
* name-lookup.cc: ...here.
* optimize.c: Moved to...
* optimize.cc: ...here.
* parser.c: Moved to...
* parser.cc: ...here.
* pt.c: Moved to...
* pt.cc: ...here.
* ptree.c: Moved to...
* ptree.cc: ...here.
* rtti.c: Moved to...
* rtti.cc: ...here.
* search.c: Moved to...
* search.cc: ...here.
* semantics.c: Moved to...
* semantics.cc: ...here.
* tree.c: Moved to...
* tree.cc: ...here.
* typeck.c: Moved to...
* typeck.cc: ...here.
* typeck2.c: Moved to...
* typeck2.cc: ...here.
* vtable-class-hierarchy.c: Moved to...
* vtable-class-hierarchy.cc: ...here.
gcc/fortran/ChangeLog:
* arith.c: Moved to...
* arith.cc: ...here.
* array.c: Moved to...
* array.cc: ...here.
* bbt.c: Moved to...
* bbt.cc: ...here.
* check.c: Moved to...
* check.cc: ...here.
* class.c: Moved to...
* class.cc: ...here.
* constructor.c: Moved to...
* constructor.cc: ...here.
* convert.c: Moved to...
* convert.cc: ...here.
* cpp.c: Moved to...
* cpp.cc: ...here.
* data.c: Moved to...
* data.cc: ...here.
* decl.c: Moved to...
* decl.cc: ...here.
* dependency.c: Moved to...
* dependency.cc: ...here.
* dump-parse-tree.c: Moved to...
* dump-parse-tree.cc: ...here.
* error.c: Moved to...
* error.cc: ...here.
* expr.c: Moved to...
* expr.cc: ...here.
* f95-lang.c: Moved to...
* f95-lang.cc: ...here.
* frontend-passes.c: Moved to...
* frontend-passes.cc: ...here.
* gfortranspec.c: Moved to...
* gfortranspec.cc: ...here.
* interface.c: Moved to...
* interface.cc: ...here.
* intrinsic.c: Moved to...
* intrinsic.cc: ...here.
* io.c: Moved to...
* io.cc: ...here.
* iresolve.c: Moved to...
* iresolve.cc: ...here.
* match.c: Moved to...
* match.cc: ...here.
* matchexp.c: Moved to...
* matchexp.cc: ...here.
* misc.c: Moved to...
* misc.cc: ...here.
* module.c: Moved to...
* module.cc: ...here.
* openmp.c: Moved to...
* openmp.cc: ...here.
* options.c: Moved to...
* options.cc: ...here.
* parse.c: Moved to...
* parse.cc: ...here.
* primary.c: Moved to...
* primary.cc: ...here.
* resolve.c: Moved to...
* resolve.cc: ...here.
* scanner.c: Moved to...
* scanner.cc: ...here.
* simplify.c: Moved to...
* simplify.cc: ...here.
* st.c: Moved to...
* st.cc: ...here.
* symbol.c: Moved to...
* symbol.cc: ...here.
* target-memory.c: Moved to...
* target-memory.cc: ...here.
* trans-array.c: Moved to...
* trans-array.cc: ...here.
* trans-common.c: Moved to...
* trans-common.cc: ...here.
* trans-const.c: Moved to...
* trans-const.cc: ...here.
* trans-decl.c: Moved to...
* trans-decl.cc: ...here.
* trans-expr.c: Moved to...
* trans-expr.cc: ...here.
* trans-intrinsic.c: Moved to...
* trans-intrinsic.cc: ...here.
* trans-io.c: Moved to...
* trans-io.cc: ...here.
* trans-openmp.c: Moved to...
* trans-openmp.cc: ...here.
* trans-stmt.c: Moved to...
* trans-stmt.cc: ...here.
* trans-types.c: Moved to...
* trans-types.cc: ...here.
* trans.c: Moved to...
* trans.cc: ...here.
gcc/go/ChangeLog:
* go-backend.c: Moved to...
* go-backend.cc: ...here.
* go-lang.c: Moved to...
* go-lang.cc: ...here.
* gospec.c: Moved to...
* gospec.cc: ...here.
gcc/jit/ChangeLog:
* dummy-frontend.c: Moved to...
* dummy-frontend.cc: ...here.
* jit-builtins.c: Moved to...
* jit-builtins.cc: ...here.
* jit-logging.c: Moved to...
* jit-logging.cc: ...here.
* jit-playback.c: Moved to...
* jit-playback.cc: ...here.
* jit-recording.c: Moved to...
* jit-recording.cc: ...here.
* jit-result.c: Moved to...
* jit-result.cc: ...here.
* jit-spec.c: Moved to...
* jit-spec.cc: ...here.
* jit-tempdir.c: Moved to...
* jit-tempdir.cc: ...here.
* jit-w32.c: Moved to...
* jit-w32.cc: ...here.
* libgccjit.c: Moved to...
* libgccjit.cc: ...here.
gcc/lto/ChangeLog:
* common.c: Moved to...
* common.cc: ...here.
* lto-common.c: Moved to...
* lto-common.cc: ...here.
* lto-dump.c: Moved to...
* lto-dump.cc: ...here.
* lto-lang.c: Moved to...
* lto-lang.cc: ...here.
* lto-object.c: Moved to...
* lto-object.cc: ...here.
* lto-partition.c: Moved to...
* lto-partition.cc: ...here.
* lto-symtab.c: Moved to...
* lto-symtab.cc: ...here.
* lto.c: Moved to...
* lto.cc: ...here.
gcc/objc/ChangeLog:
* objc-act.c: Moved to...
* objc-act.cc: ...here.
* objc-encoding.c: Moved to...
* objc-encoding.cc: ...here.
* objc-gnu-runtime-abi-01.c: Moved to...
* objc-gnu-runtime-abi-01.cc: ...here.
* objc-lang.c: Moved to...
* objc-lang.cc: ...here.
* objc-map.c: Moved to...
* objc-map.cc: ...here.
* objc-next-runtime-abi-01.c: Moved to...
* objc-next-runtime-abi-01.cc: ...here.
* objc-next-runtime-abi-02.c: Moved to...
* objc-next-runtime-abi-02.cc: ...here.
* objc-runtime-shared-support.c: Moved to...
* objc-runtime-shared-support.cc: ...here.
gcc/objcp/ChangeLog:
* objcp-decl.c: Moved to...
* objcp-decl.cc: ...here.
* objcp-lang.c: Moved to...
* objcp-lang.cc: ...here.
libcpp/ChangeLog:
* charset.c: Moved to...
* charset.cc: ...here.
* directives.c: Moved to...
* directives.cc: ...here.
* errors.c: Moved to...
* errors.cc: ...here.
* expr.c: Moved to...
* expr.cc: ...here.
* files.c: Moved to...
* files.cc: ...here.
* identifiers.c: Moved to...
* identifiers.cc: ...here.
* init.c: Moved to...
* init.cc: ...here.
* lex.c: Moved to...
* lex.cc: ...here.
* line-map.c: Moved to...
* line-map.cc: ...here.
* macro.c: Moved to...
* macro.cc: ...here.
* makeucnid.c: Moved to...
* makeucnid.cc: ...here.
* mkdeps.c: Moved to...
* mkdeps.cc: ...here.
* pch.c: Moved to...
* pch.cc: ...here.
* symtab.c: Moved to...
* symtab.cc: ...here.
* traditional.c: Moved to...
* traditional.cc: ...here.
Diffstat (limited to 'gcc/cp/typeck2.c')
-rw-r--r-- | gcc/cp/typeck2.c | 2555 |
1 files changed, 0 insertions, 2555 deletions
diff --git a/gcc/cp/typeck2.c b/gcc/cp/typeck2.c deleted file mode 100644 index f439dd5..0000000 --- a/gcc/cp/typeck2.c +++ /dev/null @@ -1,2555 +0,0 @@ -/* Report error messages, build initializers, and perform - some front-end optimizations for C++ compiler. - Copyright (C) 1987-2022 Free Software Foundation, Inc. - Hacked by Michael Tiemann (tiemann@cygnus.com) - -This file is part of GCC. - -GCC is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 3, or (at your option) -any later version. - -GCC is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -GNU General Public License for more details. - -You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING3. If not see -<http://www.gnu.org/licenses/>. */ - - -/* This file is part of the C++ front end. - It contains routines to build C++ expressions given their operands, - including computing the types of the result, C and C++ specific error - checks, and some optimization. */ - -#include "config.h" -#include "system.h" -#include "coretypes.h" -#include "cp-tree.h" -#include "stor-layout.h" -#include "varasm.h" -#include "intl.h" -#include "gcc-rich-location.h" -#include "target.h" - -static tree -process_init_constructor (tree type, tree init, int nested, int flags, - tsubst_flags_t complain); - - -/* Print an error message stemming from an attempt to use - BASETYPE as a base class for TYPE. */ - -tree -error_not_base_type (tree basetype, tree type) -{ - if (TREE_CODE (basetype) == FUNCTION_DECL) - basetype = DECL_CONTEXT (basetype); - error ("type %qT is not a base type for type %qT", basetype, type); - return error_mark_node; -} - -tree -binfo_or_else (tree base, tree type) -{ - tree binfo = lookup_base (type, base, ba_unique, - NULL, tf_warning_or_error); - - if (binfo == error_mark_node) - return NULL_TREE; - else if (!binfo) - error_not_base_type (base, type); - return binfo; -} - -/* According to ARM $7.1.6, "A `const' object may be initialized, but its - value may not be changed thereafter. */ - -void -cxx_readonly_error (location_t loc, tree arg, enum lvalue_use errstring) -{ - -/* This macro is used to emit diagnostics to ensure that all format - strings are complete sentences, visible to gettext and checked at - compile time. */ - -#define ERROR_FOR_ASSIGNMENT(LOC, AS, ASM, IN, DE, ARG) \ - do { \ - switch (errstring) \ - { \ - case lv_assign: \ - error_at (LOC, AS, ARG); \ - break; \ - case lv_asm: \ - error_at (LOC, ASM, ARG); \ - break; \ - case lv_increment: \ - error_at (LOC, IN, ARG); \ - break; \ - case lv_decrement: \ - error_at (LOC, DE, ARG); \ - break; \ - default: \ - gcc_unreachable (); \ - } \ - } while (0) - - /* Handle C++-specific things first. */ - - if (VAR_P (arg) - && DECL_LANG_SPECIFIC (arg) - && DECL_IN_AGGR_P (arg) - && !TREE_STATIC (arg)) - ERROR_FOR_ASSIGNMENT (loc, - G_("assignment of constant field %qD"), - G_("constant field %qD used as %<asm%> output"), - G_("increment of constant field %qD"), - G_("decrement of constant field %qD"), - arg); - else if (INDIRECT_REF_P (arg) - && TYPE_REF_P (TREE_TYPE (TREE_OPERAND (arg, 0))) - && (VAR_P (TREE_OPERAND (arg, 0)) - || TREE_CODE (TREE_OPERAND (arg, 0)) == PARM_DECL)) - ERROR_FOR_ASSIGNMENT (loc, - G_("assignment of read-only reference %qD"), - G_("read-only reference %qD used as %<asm%> output"), - G_("increment of read-only reference %qD"), - G_("decrement of read-only reference %qD"), - TREE_OPERAND (arg, 0)); - else - readonly_error (loc, arg, errstring); -} - -/* If TYPE has abstract virtual functions, issue an error about trying - to create an object of that type. DECL is the object declared, or - NULL_TREE if the declaration is unavailable, in which case USE specifies - the kind of invalid use. Returns 1 if an error occurred; zero if - all was well. */ - -static int -abstract_virtuals_error_sfinae (tree decl, tree type, abstract_class_use use, - tsubst_flags_t complain) -{ - vec<tree, va_gc> *pure; - - if (TREE_CODE (type) == ARRAY_TYPE) - { - decl = NULL_TREE; - use = ACU_ARRAY; - type = strip_array_types (type); - } - - /* This function applies only to classes. Any other entity can never - be abstract. */ - if (!CLASS_TYPE_P (type)) - return 0; - type = TYPE_MAIN_VARIANT (type); - -#if 0 - /* Instantiation here seems to be required by the standard, - but breaks e.g. boost::bind. FIXME! */ - /* In SFINAE, non-N3276 context, force instantiation. */ - if (!(complain & (tf_error|tf_decltype))) - complete_type (type); -#endif - - if (!TYPE_SIZE (type)) - /* TYPE is being defined, and during that time - CLASSTYPE_PURE_VIRTUALS holds the inline friends. */ - return 0; - - pure = CLASSTYPE_PURE_VIRTUALS (type); - if (!pure) - return 0; - - if (!(complain & tf_error)) - return 1; - - auto_diagnostic_group d; - if (decl) - { - if (VAR_P (decl)) - error ("cannot declare variable %q+D to be of abstract " - "type %qT", decl, type); - else if (TREE_CODE (decl) == PARM_DECL) - { - if (DECL_NAME (decl)) - error ("cannot declare parameter %q+D to be of abstract type %qT", - decl, type); - else - error ("cannot declare parameter to be of abstract type %qT", - type); - } - else if (TREE_CODE (decl) == FIELD_DECL) - error ("cannot declare field %q+D to be of abstract type %qT", - decl, type); - else if (TREE_CODE (decl) == FUNCTION_DECL - && TREE_CODE (TREE_TYPE (decl)) == METHOD_TYPE) - error ("invalid abstract return type for member function %q+#D", decl); - else if (TREE_CODE (decl) == FUNCTION_DECL) - error ("invalid abstract return type for function %q+#D", decl); - else if (identifier_p (decl)) - /* Here we do not have location information. */ - error ("invalid abstract type %qT for %qE", type, decl); - else - error ("invalid abstract type for %q+D", decl); - } - else switch (use) - { - case ACU_ARRAY: - error ("creating array of %qT, which is an abstract class type", type); - break; - case ACU_CAST: - error ("invalid cast to abstract class type %qT", type); - break; - case ACU_NEW: - error ("invalid new-expression of abstract class type %qT", type); - break; - case ACU_RETURN: - error ("invalid abstract return type %qT", type); - break; - case ACU_PARM: - error ("invalid abstract parameter type %qT", type); - break; - case ACU_THROW: - error ("expression of abstract class type %qT cannot " - "be used in throw-expression", type); - break; - case ACU_CATCH: - error ("cannot declare %<catch%> parameter to be of abstract " - "class type %qT", type); - break; - default: - error ("cannot allocate an object of abstract type %qT", type); - } - - /* Only go through this once. */ - if (pure->length ()) - { - unsigned ix; - tree fn; - - inform (DECL_SOURCE_LOCATION (TYPE_MAIN_DECL (type)), - " because the following virtual functions are pure within %qT:", - type); - - FOR_EACH_VEC_ELT (*pure, ix, fn) - if (! DECL_CLONED_FUNCTION_P (fn) - || DECL_COMPLETE_DESTRUCTOR_P (fn)) - inform (DECL_SOURCE_LOCATION (fn), " %#qD", fn); - - /* Now truncate the vector. This leaves it non-null, so we know - there are pure virtuals, but empty so we don't list them out - again. */ - pure->truncate (0); - } - - return 1; -} - -int -abstract_virtuals_error_sfinae (tree decl, tree type, tsubst_flags_t complain) -{ - return abstract_virtuals_error_sfinae (decl, type, ACU_UNKNOWN, complain); -} - -int -abstract_virtuals_error_sfinae (abstract_class_use use, tree type, - tsubst_flags_t complain) -{ - return abstract_virtuals_error_sfinae (NULL_TREE, type, use, complain); -} - - -/* Wrapper for the above function in the common case of wanting errors. */ - -int -abstract_virtuals_error (tree decl, tree type) -{ - return abstract_virtuals_error_sfinae (decl, type, tf_warning_or_error); -} - -int -abstract_virtuals_error (abstract_class_use use, tree type) -{ - return abstract_virtuals_error_sfinae (use, type, tf_warning_or_error); -} - -/* Print an inform about the declaration of the incomplete type TYPE. */ - -void -cxx_incomplete_type_inform (const_tree type) -{ - if (!TYPE_MAIN_DECL (type)) - return; - - location_t loc = DECL_SOURCE_LOCATION (TYPE_MAIN_DECL (type)); - tree ptype = strip_top_quals (CONST_CAST_TREE (type)); - - if (current_class_type - && TYPE_BEING_DEFINED (current_class_type) - && same_type_p (ptype, current_class_type)) - inform (loc, "definition of %q#T is not complete until " - "the closing brace", ptype); - else if (!TYPE_TEMPLATE_INFO (ptype)) - inform (loc, "forward declaration of %q#T", ptype); - else - inform (loc, "declaration of %q#T", ptype); -} - -/* Print an error message for invalid use of an incomplete type. - VALUE is the expression that was used (or 0 if that isn't known) - and TYPE is the type that was invalid. DIAG_KIND indicates the - type of diagnostic (see diagnostic.def). */ - -void -cxx_incomplete_type_diagnostic (location_t loc, const_tree value, - const_tree type, diagnostic_t diag_kind) -{ - bool is_decl = false, complained = false; - - gcc_assert (diag_kind == DK_WARNING - || diag_kind == DK_PEDWARN - || diag_kind == DK_ERROR); - - /* Avoid duplicate error message. */ - if (TREE_CODE (type) == ERROR_MARK) - return; - - if (value) - { - STRIP_ANY_LOCATION_WRAPPER (value); - - if (VAR_P (value) - || TREE_CODE (value) == PARM_DECL - || TREE_CODE (value) == FIELD_DECL) - { - complained = emit_diagnostic (diag_kind, DECL_SOURCE_LOCATION (value), 0, - "%qD has incomplete type", value); - is_decl = true; - } - } - retry: - /* We must print an error message. Be clever about what it says. */ - - switch (TREE_CODE (type)) - { - case RECORD_TYPE: - case UNION_TYPE: - case ENUMERAL_TYPE: - if (!is_decl) - complained = emit_diagnostic (diag_kind, loc, 0, - "invalid use of incomplete type %q#T", - type); - if (complained) - cxx_incomplete_type_inform (type); - break; - - case VOID_TYPE: - emit_diagnostic (diag_kind, loc, 0, - "invalid use of %qT", type); - break; - - case ARRAY_TYPE: - if (TYPE_DOMAIN (type)) - { - type = TREE_TYPE (type); - goto retry; - } - emit_diagnostic (diag_kind, loc, 0, - "invalid use of array with unspecified bounds"); - break; - - case OFFSET_TYPE: - bad_member: - { - tree member = TREE_OPERAND (value, 1); - if (is_overloaded_fn (member)) - member = get_first_fn (member); - - if (DECL_FUNCTION_MEMBER_P (member) - && ! flag_ms_extensions) - { - gcc_rich_location richloc (loc); - /* If "member" has no arguments (other than "this"), then - add a fix-it hint. */ - if (type_num_arguments (TREE_TYPE (member)) == 1) - richloc.add_fixit_insert_after ("()"); - emit_diagnostic (diag_kind, &richloc, 0, - "invalid use of member function %qD " - "(did you forget the %<()%> ?)", member); - } - else - emit_diagnostic (diag_kind, loc, 0, - "invalid use of member %qD " - "(did you forget the %<&%> ?)", member); - } - break; - - case TEMPLATE_TYPE_PARM: - if (is_auto (type)) - { - if (CLASS_PLACEHOLDER_TEMPLATE (type)) - emit_diagnostic (diag_kind, loc, 0, - "invalid use of placeholder %qT", type); - else - emit_diagnostic (diag_kind, loc, 0, - "invalid use of %qT", type); - } - else - emit_diagnostic (diag_kind, loc, 0, - "invalid use of template type parameter %qT", type); - break; - - case BOUND_TEMPLATE_TEMPLATE_PARM: - emit_diagnostic (diag_kind, loc, 0, - "invalid use of template template parameter %qT", - TYPE_NAME (type)); - break; - - case TYPE_PACK_EXPANSION: - emit_diagnostic (diag_kind, loc, 0, - "invalid use of pack expansion %qT", type); - break; - - case TYPENAME_TYPE: - case DECLTYPE_TYPE: - emit_diagnostic (diag_kind, loc, 0, - "invalid use of dependent type %qT", type); - break; - - case LANG_TYPE: - if (type == init_list_type_node) - { - emit_diagnostic (diag_kind, loc, 0, - "invalid use of brace-enclosed initializer list"); - break; - } - gcc_assert (type == unknown_type_node); - if (value && TREE_CODE (value) == COMPONENT_REF) - goto bad_member; - else if (value && TREE_CODE (value) == ADDR_EXPR) - emit_diagnostic (diag_kind, loc, 0, - "address of overloaded function with no contextual " - "type information"); - else if (value && TREE_CODE (value) == OVERLOAD) - emit_diagnostic (diag_kind, loc, 0, - "overloaded function with no contextual type information"); - else - emit_diagnostic (diag_kind, loc, 0, - "insufficient contextual information to determine type"); - break; - - default: - gcc_unreachable (); - } -} - -/* Print an error message for invalid use of an incomplete type. - VALUE is the expression that was used (or 0 if that isn't known) - and TYPE is the type that was invalid. */ - -void -cxx_incomplete_type_error (location_t loc, const_tree value, const_tree type) -{ - cxx_incomplete_type_diagnostic (loc, value, type, DK_ERROR); -} - - -/* We've just initialized subobject SUB; also insert a TARGET_EXPR with an - EH-only cleanup for SUB. Because of EH region nesting issues, we need to - make the cleanup conditional on a flag that we will clear once the object is - fully initialized, so push a new flag onto FLAGS. */ - -static void -maybe_push_temp_cleanup (tree sub, vec<tree,va_gc> **flags) -{ - if (tree cleanup - = cxx_maybe_build_cleanup (sub, tf_warning_or_error)) - { - tree tx = get_target_expr (boolean_true_node); - tree flag = TARGET_EXPR_SLOT (tx); - CLEANUP_EH_ONLY (tx) = true; - TARGET_EXPR_CLEANUP (tx) = build3 (COND_EXPR, void_type_node, - flag, cleanup, void_node); - add_stmt (tx); - vec_safe_push (*flags, flag); - } -} - -/* The recursive part of split_nonconstant_init. DEST is an lvalue - expression to which INIT should be assigned. INIT is a CONSTRUCTOR. - Return true if the whole of the value was initialized by the - generated statements. */ - -static bool -split_nonconstant_init_1 (tree dest, tree init, bool last, - vec<tree,va_gc> **flags) -{ - unsigned HOST_WIDE_INT idx, tidx = HOST_WIDE_INT_M1U; - tree field_index, value; - tree type = TREE_TYPE (dest); - tree inner_type = NULL; - bool array_type_p = false; - bool complete_p = true; - HOST_WIDE_INT num_split_elts = 0; - - switch (TREE_CODE (type)) - { - case ARRAY_TYPE: - inner_type = TREE_TYPE (type); - array_type_p = true; - if ((TREE_SIDE_EFFECTS (init) - && TYPE_HAS_NONTRIVIAL_DESTRUCTOR (type)) - || vla_type_p (type)) - { - if (!TYPE_DOMAIN (type) - && TREE_CODE (init) == CONSTRUCTOR - && CONSTRUCTOR_NELTS (init)) - { - /* Flexible array. */ - cp_complete_array_type (&type, init, /*default*/true); - dest = build1 (VIEW_CONVERT_EXPR, type, dest); - } - - /* For an array, we only need/want a single cleanup region rather - than one per element. build_vec_init will handle it. */ - tree code = build_vec_init (dest, NULL_TREE, init, false, 1, - tf_warning_or_error, flags); - add_stmt (code); - return true; - } - /* FALLTHRU */ - - case RECORD_TYPE: - case UNION_TYPE: - case QUAL_UNION_TYPE: - FOR_EACH_CONSTRUCTOR_ELT (CONSTRUCTOR_ELTS (init), idx, - field_index, value) - { - /* The current implementation of this algorithm assumes that - the field was set for all the elements. This is usually done - by process_init_constructor. */ - gcc_assert (field_index); - - if (!array_type_p) - inner_type = TREE_TYPE (field_index); - - tree sub; - if (array_type_p) - sub = build4 (ARRAY_REF, inner_type, dest, field_index, - NULL_TREE, NULL_TREE); - else - sub = build3 (COMPONENT_REF, inner_type, dest, field_index, - NULL_TREE); - - bool elt_last = last && idx == CONSTRUCTOR_NELTS (init) - 1; - - if (TREE_CODE (value) == CONSTRUCTOR) - { - if (!split_nonconstant_init_1 (sub, value, elt_last, flags) - /* For flexible array member with initializer we - can't remove the initializer, because only the - initializer determines how many elements the - flexible array member has. */ - || (!array_type_p - && TREE_CODE (inner_type) == ARRAY_TYPE - && TYPE_DOMAIN (inner_type) == NULL - && TREE_CODE (TREE_TYPE (value)) == ARRAY_TYPE - && COMPLETE_TYPE_P (TREE_TYPE (value)) - && !integer_zerop (TYPE_SIZE (TREE_TYPE (value))) - && elt_last - && TYPE_HAS_TRIVIAL_DESTRUCTOR - (strip_array_types (inner_type)))) - complete_p = false; - else - { - /* Mark element for removal. */ - CONSTRUCTOR_ELT (init, idx)->index = NULL_TREE; - if (idx < tidx) - tidx = idx; - num_split_elts++; - } - } - else if (TREE_CODE (value) == VEC_INIT_EXPR) - { - add_stmt (expand_vec_init_expr (sub, value, tf_warning_or_error, - flags)); - - /* Mark element for removal. */ - CONSTRUCTOR_ELT (init, idx)->index = NULL_TREE; - if (idx < tidx) - tidx = idx; - num_split_elts++; - } - else if (!initializer_constant_valid_p (value, inner_type)) - { - tree code; - - /* Mark element for removal. */ - CONSTRUCTOR_ELT (init, idx)->index = NULL_TREE; - if (idx < tidx) - tidx = idx; - - if (TREE_CODE (field_index) == RANGE_EXPR) - { - /* Use build_vec_init to initialize a range. */ - tree low = TREE_OPERAND (field_index, 0); - tree hi = TREE_OPERAND (field_index, 1); - sub = build4 (ARRAY_REF, inner_type, dest, low, - NULL_TREE, NULL_TREE); - sub = cp_build_addr_expr (sub, tf_warning_or_error); - tree max = size_binop (MINUS_EXPR, hi, low); - code = build_vec_init (sub, max, value, false, 0, - tf_warning_or_error); - add_stmt (code); - if (tree_fits_shwi_p (max)) - num_split_elts += tree_to_shwi (max); - } - else - { - /* We may need to add a copy constructor call if - the field has [[no_unique_address]]. */ - if (unsafe_return_slot_p (sub)) - { - /* But not if the initializer is an implicit ctor call - we just built in digest_init. */ - if (TREE_CODE (value) == TARGET_EXPR - && TARGET_EXPR_LIST_INIT_P (value) - && make_safe_copy_elision (sub, value)) - goto build_init; - - tree name = (DECL_FIELD_IS_BASE (field_index) - ? base_ctor_identifier - : complete_ctor_identifier); - releasing_vec args = make_tree_vector_single (value); - code = build_special_member_call - (sub, name, &args, inner_type, - LOOKUP_NORMAL, tf_warning_or_error); - } - else - { - build_init: - code = build2 (INIT_EXPR, inner_type, sub, value); - } - code = build_stmt (input_location, EXPR_STMT, code); - add_stmt (code); - if (!elt_last) - maybe_push_temp_cleanup (sub, flags); - } - - num_split_elts++; - } - } - if (num_split_elts == 1) - CONSTRUCTOR_ELTS (init)->ordered_remove (tidx); - else if (num_split_elts > 1) - { - /* Perform the delayed ordered removal of non-constant elements - we split out. */ - for (idx = tidx; idx < CONSTRUCTOR_NELTS (init); ++idx) - if (CONSTRUCTOR_ELT (init, idx)->index == NULL_TREE) - ; - else - { - *CONSTRUCTOR_ELT (init, tidx) = *CONSTRUCTOR_ELT (init, idx); - ++tidx; - } - vec_safe_truncate (CONSTRUCTOR_ELTS (init), tidx); - } - break; - - case VECTOR_TYPE: - if (!initializer_constant_valid_p (init, type)) - { - tree code; - tree cons = copy_node (init); - CONSTRUCTOR_ELTS (init) = NULL; - code = build2 (MODIFY_EXPR, type, dest, cons); - code = build_stmt (input_location, EXPR_STMT, code); - add_stmt (code); - num_split_elts += CONSTRUCTOR_NELTS (init); - } - break; - - default: - gcc_unreachable (); - } - - /* The rest of the initializer is now a constant. */ - TREE_CONSTANT (init) = 1; - TREE_SIDE_EFFECTS (init) = 0; - - /* We didn't split out anything. */ - if (num_split_elts == 0) - return false; - - return complete_p && complete_ctor_at_level_p (TREE_TYPE (init), - num_split_elts, inner_type); -} - -/* A subroutine of store_init_value. Splits non-constant static - initializer INIT into a constant part and generates code to - perform the non-constant part of the initialization to DEST. - Returns the code for the runtime init. */ - -tree -split_nonconstant_init (tree dest, tree init) -{ - tree code; - - if (TREE_CODE (init) == TARGET_EXPR) - init = TARGET_EXPR_INITIAL (init); - if (TREE_CODE (init) == CONSTRUCTOR) - { - /* Subobject initializers are not full-expressions. */ - auto fe = (make_temp_override - (current_stmt_tree ()->stmts_are_full_exprs_p, 0)); - - init = cp_fully_fold_init (init); - code = push_stmt_list (); - - /* If the complete object is an array, build_vec_init's cleanup is - enough. Otherwise, collect flags for disabling subobject - cleanups once the complete object is fully constructed. */ - vec<tree, va_gc> *flags = nullptr; - if (TREE_CODE (TREE_TYPE (dest)) != ARRAY_TYPE) - flags = make_tree_vector (); - - if (split_nonconstant_init_1 (dest, init, true, &flags)) - init = NULL_TREE; - - for (tree f : flags) - { - /* See maybe_push_temp_cleanup. */ - tree d = f; - tree i = boolean_false_node; - if (TREE_CODE (f) == TREE_LIST) - { - /* To disable a build_vec_init cleanup, set - iterator = maxindex. */ - d = TREE_PURPOSE (f); - i = TREE_VALUE (f); - ggc_free (f); - } - add_stmt (build2 (MODIFY_EXPR, TREE_TYPE (d), d, i)); - } - release_tree_vector (flags); - - code = pop_stmt_list (code); - if (VAR_P (dest) && !is_local_temp (dest)) - { - DECL_INITIAL (dest) = init; - TREE_READONLY (dest) = 0; - } - else if (init) - { - tree ie = build2 (INIT_EXPR, void_type_node, dest, init); - code = add_stmt_to_compound (ie, code); - } - } - else if (TREE_CODE (init) == STRING_CST - && array_of_runtime_bound_p (TREE_TYPE (dest))) - code = build_vec_init (dest, NULL_TREE, init, /*value-init*/false, - /*from array*/1, tf_warning_or_error); - else - code = build2 (INIT_EXPR, TREE_TYPE (dest), dest, init); - - return code; -} - -/* Perform appropriate conversions on the initial value of a variable, - store it in the declaration DECL, - and print any error messages that are appropriate. - If the init is invalid, store an ERROR_MARK. - - C++: Note that INIT might be a TREE_LIST, which would mean that it is - a base class initializer for some aggregate type, hopefully compatible - with DECL. If INIT is a single element, and DECL is an aggregate - type, we silently convert INIT into a TREE_LIST, allowing a constructor - to be called. - - If INIT is a TREE_LIST and there is no constructor, turn INIT - into a CONSTRUCTOR and use standard initialization techniques. - Perhaps a warning should be generated? - - Returns code to be executed if initialization could not be performed - for static variable. In that case, caller must emit the code. */ - -tree -store_init_value (tree decl, tree init, vec<tree, va_gc>** cleanups, int flags) -{ - tree value, type; - - /* If variable's type was invalidly declared, just ignore it. */ - - type = TREE_TYPE (decl); - if (TREE_CODE (type) == ERROR_MARK) - return NULL_TREE; - - if (MAYBE_CLASS_TYPE_P (type)) - { - if (TREE_CODE (init) == TREE_LIST) - { - error ("constructor syntax used, but no constructor declared " - "for type %qT", type); - init = build_constructor_from_list (init_list_type_node, nreverse (init)); - } - } - - /* End of special C++ code. */ - - if (flags & LOOKUP_ALREADY_DIGESTED) - value = init; - else - { - if (TREE_STATIC (decl)) - flags |= LOOKUP_ALLOW_FLEXARRAY_INIT; - /* Digest the specified initializer into an expression. */ - value = digest_init_flags (type, init, flags, tf_warning_or_error); - } - - /* Look for braced array initializers for character arrays and - recursively convert them into STRING_CSTs. */ - value = braced_lists_to_strings (type, value); - - current_ref_temp_count = 0; - value = extend_ref_init_temps (decl, value, cleanups); - - /* In C++11 constant expression is a semantic, not syntactic, property. - In C++98, make sure that what we thought was a constant expression at - template definition time is still constant and otherwise perform this - as optimization, e.g. to fold SIZEOF_EXPRs in the initializer. */ - if (decl_maybe_constant_var_p (decl) || TREE_STATIC (decl)) - { - bool const_init; - tree oldval = value; - if (DECL_DECLARED_CONSTEXPR_P (decl) - || (DECL_IN_AGGR_P (decl) - && DECL_INITIALIZED_IN_CLASS_P (decl))) - { - value = fold_non_dependent_expr (value, tf_warning_or_error, - /*manifestly_const_eval=*/true, - decl); - /* Diagnose a non-constant initializer for constexpr variable or - non-inline in-class-initialized static data member. */ - if (!require_constant_expression (value)) - value = error_mark_node; - else if (processing_template_decl) - /* In a template we might not have done the necessary - transformations to make value actually constant, - e.g. extend_ref_init_temps. */ - value = maybe_constant_init (value, decl, true); - else - value = cxx_constant_init (value, decl); - } - else - value = fold_non_dependent_init (value, tf_warning_or_error, - /*manifestly_const_eval=*/true, decl); - if (TREE_CODE (value) == CONSTRUCTOR && cp_has_mutable_p (type)) - /* Poison this CONSTRUCTOR so it can't be copied to another - constexpr variable. */ - CONSTRUCTOR_MUTABLE_POISON (value) = true; - const_init = (reduced_constant_expression_p (value) - || error_operand_p (value)); - DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P (decl) = const_init; - /* FIXME setting TREE_CONSTANT on refs breaks the back end. */ - if (!TYPE_REF_P (type)) - TREE_CONSTANT (decl) = const_init && decl_maybe_constant_var_p (decl); - if (!const_init) - { - /* [dcl.constinit]/2 "If a variable declared with the constinit - specifier has dynamic initialization, the program is - ill-formed." */ - if (DECL_DECLARED_CONSTINIT_P (decl)) - { - error_at (location_of (decl), - "%<constinit%> variable %qD does not have a constant " - "initializer", decl); - if (require_constant_expression (value)) - cxx_constant_init (value, decl); - value = error_mark_node; - } - else - value = oldval; - } - } - /* Don't fold initializers of automatic variables in constexpr functions, - that might fold away something that needs to be diagnosed at constexpr - evaluation time. */ - if (!current_function_decl - || !DECL_DECLARED_CONSTEXPR_P (current_function_decl) - || TREE_STATIC (decl)) - value = cp_fully_fold_init (value); - - /* Handle aggregate NSDMI in non-constant initializers, too. */ - value = replace_placeholders (value, decl); - - /* A COMPOUND_LITERAL_P CONSTRUCTOR is the syntactic form; by the time we get - here it should have been digested into an actual value for the type. */ - gcc_checking_assert (TREE_CODE (value) != CONSTRUCTOR - || processing_template_decl - || !TREE_HAS_CONSTRUCTOR (value)); - - /* If the initializer is not a constant, fill in DECL_INITIAL with - the bits that are constant, and then return an expression that - will perform the dynamic initialization. */ - if (value != error_mark_node - && !processing_template_decl - && (TREE_SIDE_EFFECTS (value) - || vla_type_p (type) - || ! reduced_constant_expression_p (value))) - return split_nonconstant_init (decl, value); - - /* DECL may change value; purge caches. */ - clear_cv_and_fold_caches (); - - /* If the value is a constant, just put it in DECL_INITIAL. If DECL - is an automatic variable, the middle end will turn this into a - dynamic initialization later. */ - DECL_INITIAL (decl) = value; - return NULL_TREE; -} - - -/* Give diagnostic about narrowing conversions within { }, or as part of - a converted constant expression. If CONST_ONLY, only check - constants. */ - -bool -check_narrowing (tree type, tree init, tsubst_flags_t complain, - bool const_only/*= false*/) -{ - tree ftype = unlowered_expr_type (init); - bool ok = true; - REAL_VALUE_TYPE d; - - if (((!warn_narrowing || !(complain & tf_warning)) - && cxx_dialect == cxx98) - || !ARITHMETIC_TYPE_P (type) - /* Don't emit bogus warnings with e.g. value-dependent trees. */ - || instantiation_dependent_expression_p (init)) - return ok; - - if (BRACE_ENCLOSED_INITIALIZER_P (init) - && TREE_CODE (type) == COMPLEX_TYPE) - { - tree elttype = TREE_TYPE (type); - if (CONSTRUCTOR_NELTS (init) > 0) - ok &= check_narrowing (elttype, CONSTRUCTOR_ELT (init, 0)->value, - complain); - if (CONSTRUCTOR_NELTS (init) > 1) - ok &= check_narrowing (elttype, CONSTRUCTOR_ELT (init, 1)->value, - complain); - return ok; - } - - /* Even non-dependent expressions can still have template - codes like CAST_EXPR, so use *_non_dependent_expr to cope. */ - init = fold_non_dependent_expr (init, complain, /*manifest*/true); - if (init == error_mark_node) - return ok; - - /* If we were asked to only check constants, return early. */ - if (const_only && !TREE_CONSTANT (init)) - return ok; - - if (CP_INTEGRAL_TYPE_P (type) - && TREE_CODE (ftype) == REAL_TYPE) - ok = false; - else if (INTEGRAL_OR_ENUMERATION_TYPE_P (ftype) - && CP_INTEGRAL_TYPE_P (type)) - { - if (TREE_CODE (ftype) == ENUMERAL_TYPE) - /* Check for narrowing based on the values of the enumeration. */ - ftype = ENUM_UNDERLYING_TYPE (ftype); - if ((tree_int_cst_lt (TYPE_MAX_VALUE (type), - TYPE_MAX_VALUE (ftype)) - || tree_int_cst_lt (TYPE_MIN_VALUE (ftype), - TYPE_MIN_VALUE (type))) - && (TREE_CODE (init) != INTEGER_CST - || !int_fits_type_p (init, type))) - ok = false; - } - /* [dcl.init.list]#7.2: "from long double to double or float, or from - double to float". */ - else if (TREE_CODE (ftype) == REAL_TYPE - && TREE_CODE (type) == REAL_TYPE) - { - if ((same_type_p (ftype, long_double_type_node) - && (same_type_p (type, double_type_node) - || same_type_p (type, float_type_node))) - || (same_type_p (ftype, double_type_node) - && same_type_p (type, float_type_node)) - || (TYPE_PRECISION (type) < TYPE_PRECISION (ftype))) - { - if (TREE_CODE (init) == REAL_CST) - { - /* Issue 703: Loss of precision is OK as long as the value is - within the representable range of the new type. */ - REAL_VALUE_TYPE r; - d = TREE_REAL_CST (init); - real_convert (&r, TYPE_MODE (type), &d); - if (real_isinf (&r)) - ok = false; - } - else - ok = false; - } - } - else if (INTEGRAL_OR_ENUMERATION_TYPE_P (ftype) - && TREE_CODE (type) == REAL_TYPE) - { - ok = false; - if (TREE_CODE (init) == INTEGER_CST) - { - d = real_value_from_int_cst (0, init); - if (exact_real_truncate (TYPE_MODE (type), &d)) - ok = true; - } - } - else if (TREE_CODE (type) == BOOLEAN_TYPE - && (TYPE_PTR_P (ftype) || TYPE_PTRMEM_P (ftype))) - /* C++20 P1957R2: converting from a pointer type or a pointer-to-member - type to bool should be considered narrowing. This is a DR so is not - limited to C++20 only. */ - ok = false; - - bool almost_ok = ok; - if (!ok && !CONSTANT_CLASS_P (init) && (complain & tf_warning_or_error)) - { - tree folded = cp_fully_fold (init); - if (TREE_CONSTANT (folded) && check_narrowing (type, folded, tf_none)) - almost_ok = true; - } - - if (!ok) - { - location_t loc = cp_expr_loc_or_input_loc (init); - if (cxx_dialect == cxx98) - { - if (complain & tf_warning) - warning_at (loc, OPT_Wnarrowing, "narrowing conversion of %qE " - "from %qH to %qI is ill-formed in C++11", - init, ftype, type); - ok = true; - } - else if (!CONSTANT_CLASS_P (init)) - { - if (complain & tf_warning_or_error) - { - auto_diagnostic_group d; - if ((!almost_ok || pedantic) - && pedwarn (loc, OPT_Wnarrowing, - "narrowing conversion of %qE from %qH to %qI", - init, ftype, type) - && almost_ok) - inform (loc, " the expression has a constant value but is not " - "a C++ constant-expression"); - ok = true; - } - } - else if (complain & tf_error) - { - int savederrorcount = errorcount; - global_dc->pedantic_errors = 1; - auto s = make_temp_override (global_dc->dc_warn_system_headers, true); - pedwarn (loc, OPT_Wnarrowing, - "narrowing conversion of %qE from %qH to %qI", - init, ftype, type); - if (errorcount == savederrorcount) - ok = true; - global_dc->pedantic_errors = flag_pedantic_errors; - } - } - - return ok; -} - -/* True iff TYPE is a C++20 "ordinary" character type. */ - -bool -ordinary_char_type_p (tree type) -{ - type = TYPE_MAIN_VARIANT (type); - return (type == char_type_node - || type == signed_char_type_node - || type == unsigned_char_type_node); -} - -/* True iff the string literal INIT has a type suitable for initializing array - TYPE. */ - -bool -array_string_literal_compatible_p (tree type, tree init) -{ - tree to_char_type = TYPE_MAIN_VARIANT (TREE_TYPE (type)); - tree from_char_type = TYPE_MAIN_VARIANT (TREE_TYPE (TREE_TYPE (init))); - - if (to_char_type == from_char_type) - return true; - /* The array element type does not match the initializing string - literal element type; this is only allowed when both types are - ordinary character type. There are no string literals of - signed or unsigned char type in the language, but we can get - them internally from converting braced-init-lists to - STRING_CST. */ - if (ordinary_char_type_p (to_char_type) - && ordinary_char_type_p (from_char_type)) - return true; - return false; -} - -/* Process the initializer INIT for a variable of type TYPE, emitting - diagnostics for invalid initializers and converting the initializer as - appropriate. - - For aggregate types, it assumes that reshape_init has already run, thus the - initializer will have the right shape (brace elision has been undone). - - NESTED is non-zero iff we are being called for an element of a CONSTRUCTOR, - 2 iff the element of a CONSTRUCTOR is inside another CONSTRUCTOR. */ - -static tree -digest_init_r (tree type, tree init, int nested, int flags, - tsubst_flags_t complain) -{ - enum tree_code code = TREE_CODE (type); - - if (error_operand_p (init)) - return error_mark_node; - - gcc_assert (init); - - /* We must strip the outermost array type when completing the type, - because the its bounds might be incomplete at the moment. */ - if (!complete_type_or_maybe_complain (code == ARRAY_TYPE - ? TREE_TYPE (type) : type, NULL_TREE, - complain)) - return error_mark_node; - - location_t loc = cp_expr_loc_or_input_loc (init); - - tree stripped_init = init; - - if (BRACE_ENCLOSED_INITIALIZER_P (init) - && CONSTRUCTOR_IS_PAREN_INIT (init)) - flags |= LOOKUP_AGGREGATE_PAREN_INIT; - - /* Strip NON_LVALUE_EXPRs since we aren't using as an lvalue - (g++.old-deja/g++.law/casts2.C). */ - if (TREE_CODE (init) == NON_LVALUE_EXPR) - stripped_init = TREE_OPERAND (init, 0); - - stripped_init = tree_strip_any_location_wrapper (stripped_init); - - /* Initialization of an array of chars from a string constant. The initializer - can be optionally enclosed in braces, but reshape_init has already removed - them if they were present. */ - if (code == ARRAY_TYPE) - { - if (nested && !TYPE_DOMAIN (type)) - /* C++ flexible array members have a null domain. */ - { - if (flags & LOOKUP_ALLOW_FLEXARRAY_INIT) - pedwarn (loc, OPT_Wpedantic, - "initialization of a flexible array member"); - else - { - if (complain & tf_error) - error_at (loc, "non-static initialization of" - " a flexible array member"); - return error_mark_node; - } - } - - tree typ1 = TYPE_MAIN_VARIANT (TREE_TYPE (type)); - if (char_type_p (typ1) - && TREE_CODE (stripped_init) == STRING_CST) - { - if (!array_string_literal_compatible_p (type, init)) - { - if (complain & tf_error) - error_at (loc, "cannot initialize array of %qT from " - "a string literal with type array of %qT", - typ1, - TYPE_MAIN_VARIANT (TREE_TYPE (TREE_TYPE (init)))); - return error_mark_node; - } - - if (nested == 2 && !TYPE_DOMAIN (type)) - { - if (complain & tf_error) - error_at (loc, "initialization of flexible array member " - "in a nested context"); - return error_mark_node; - } - - if (type != TREE_TYPE (init) - && !variably_modified_type_p (type, NULL_TREE)) - { - init = copy_node (init); - TREE_TYPE (init) = type; - /* If we have a location wrapper, then also copy the wrapped - node, and update the copy's type. */ - if (location_wrapper_p (init)) - { - stripped_init = copy_node (stripped_init); - TREE_OPERAND (init, 0) = stripped_init; - TREE_TYPE (stripped_init) = type; - } - } - if (TYPE_DOMAIN (type) && TREE_CONSTANT (TYPE_SIZE (type))) - { - /* Not a flexible array member. */ - int size = TREE_INT_CST_LOW (TYPE_SIZE (type)); - size = (size + BITS_PER_UNIT - 1) / BITS_PER_UNIT; - /* In C it is ok to subtract 1 from the length of the string - because it's ok to ignore the terminating null char that is - counted in the length of the constant, but in C++ this would - be invalid. */ - if (size < TREE_STRING_LENGTH (stripped_init)) - { - permerror (loc, "initializer-string for %qT is too long", - type); - - init = build_string (size, - TREE_STRING_POINTER (stripped_init)); - TREE_TYPE (init) = type; - } - } - return init; - } - } - - /* Handle scalar types (including conversions) and references. */ - if ((code != COMPLEX_TYPE || BRACE_ENCLOSED_INITIALIZER_P (stripped_init)) - && (SCALAR_TYPE_P (type) || code == REFERENCE_TYPE)) - { - /* Narrowing is OK when initializing an aggregate from - a parenthesized list. */ - if (nested && !(flags & LOOKUP_AGGREGATE_PAREN_INIT)) - flags |= LOOKUP_NO_NARROWING; - init = convert_for_initialization (0, type, init, flags, - ICR_INIT, NULL_TREE, 0, - complain); - - return init; - } - - /* Come here only for aggregates: records, arrays, unions, complex numbers - and vectors. */ - gcc_assert (code == ARRAY_TYPE - || VECTOR_TYPE_P (type) - || code == RECORD_TYPE - || code == UNION_TYPE - || code == OPAQUE_TYPE - || code == COMPLEX_TYPE); - - /* "If T is a class type and the initializer list has a single - element of type cv U, where U is T or a class derived from T, - the object is initialized from that element." */ - if (cxx_dialect >= cxx11 - && BRACE_ENCLOSED_INITIALIZER_P (stripped_init) - && !CONSTRUCTOR_IS_DESIGNATED_INIT (stripped_init) - && CONSTRUCTOR_NELTS (stripped_init) == 1 - && ((CLASS_TYPE_P (type) && !CLASSTYPE_NON_AGGREGATE (type)) - || VECTOR_TYPE_P (type))) - { - tree elt = CONSTRUCTOR_ELT (stripped_init, 0)->value; - if (reference_related_p (type, TREE_TYPE (elt))) - { - /* In C++17, aggregates can have bases, thus participate in - aggregate initialization. In the following case: - - struct B { int c; }; - struct D : B { }; - D d{{D{{42}}}}; - - there's an extra set of braces, so the D temporary initializes - the first element of d, which is the B base subobject. The base - of type B is copy-initialized from the D temporary, causing - object slicing. */ - tree field = next_initializable_field (TYPE_FIELDS (type)); - if (field && DECL_FIELD_IS_BASE (field)) - { - if (warning_at (loc, 0, "initializing a base class of type %qT " - "results in object slicing", TREE_TYPE (field))) - inform (loc, "remove %<{ }%> around initializer"); - } - else if (flag_checking) - /* We should have fixed this in reshape_init. */ - gcc_unreachable (); - } - } - - if (SIMPLE_TARGET_EXPR_P (stripped_init)) - stripped_init = TARGET_EXPR_INITIAL (stripped_init); - - if (BRACE_ENCLOSED_INITIALIZER_P (stripped_init) - && !TYPE_NON_AGGREGATE_CLASS (type)) - return process_init_constructor (type, stripped_init, nested, flags, - complain); - else - { - if (COMPOUND_LITERAL_P (stripped_init) && code == ARRAY_TYPE) - { - if (complain & tf_error) - error_at (loc, "cannot initialize aggregate of type %qT with " - "a compound literal", type); - - return error_mark_node; - } - - if (code == ARRAY_TYPE - && !BRACE_ENCLOSED_INITIALIZER_P (stripped_init)) - { - /* Allow the result of build_array_copy and of - build_value_init_noctor. */ - if ((TREE_CODE (stripped_init) == VEC_INIT_EXPR - || TREE_CODE (stripped_init) == CONSTRUCTOR) - && (same_type_ignoring_top_level_qualifiers_p - (type, TREE_TYPE (init)))) - return init; - - if (complain & tf_error) - error_at (loc, "array must be initialized with a brace-enclosed" - " initializer"); - return error_mark_node; - } - - return convert_for_initialization (NULL_TREE, type, init, - flags, - ICR_INIT, NULL_TREE, 0, - complain); - } -} - -tree -digest_init (tree type, tree init, tsubst_flags_t complain) -{ - return digest_init_r (type, init, 0, LOOKUP_IMPLICIT, complain); -} - -tree -digest_init_flags (tree type, tree init, int flags, tsubst_flags_t complain) -{ - return digest_init_r (type, init, 0, flags, complain); -} - -/* Process the initializer INIT for an NSDMI DECL (a FIELD_DECL). */ -tree -digest_nsdmi_init (tree decl, tree init, tsubst_flags_t complain) -{ - gcc_assert (TREE_CODE (decl) == FIELD_DECL); - - tree type = TREE_TYPE (decl); - if (DECL_BIT_FIELD_TYPE (decl)) - type = DECL_BIT_FIELD_TYPE (decl); - int flags = LOOKUP_IMPLICIT; - if (DIRECT_LIST_INIT_P (init)) - { - flags = LOOKUP_NORMAL; - complain |= tf_no_cleanup; - } - if (BRACE_ENCLOSED_INITIALIZER_P (init) - && CP_AGGREGATE_TYPE_P (type)) - init = reshape_init (type, init, complain); - init = digest_init_flags (type, init, flags, complain); - return init; -} - -/* Set of flags used within process_init_constructor to describe the - initializers. */ -#define PICFLAG_ERRONEOUS 1 -#define PICFLAG_NOT_ALL_CONSTANT 2 -#define PICFLAG_NOT_ALL_SIMPLE 4 -#define PICFLAG_SIDE_EFFECTS 8 -#define PICFLAG_VEC_INIT 16 - -/* Given an initializer INIT, return the flag (PICFLAG_*) which better - describe it. */ - -static int -picflag_from_initializer (tree init) -{ - if (init == error_mark_node) - return PICFLAG_ERRONEOUS; - else if (!TREE_CONSTANT (init)) - { - if (TREE_SIDE_EFFECTS (init)) - return PICFLAG_SIDE_EFFECTS; - else - return PICFLAG_NOT_ALL_CONSTANT; - } - else if (!initializer_constant_valid_p (init, TREE_TYPE (init))) - return PICFLAG_NOT_ALL_SIMPLE; - return 0; -} - -/* Adjust INIT for going into a CONSTRUCTOR. */ - -static tree -massage_init_elt (tree type, tree init, int nested, int flags, - tsubst_flags_t complain) -{ - int new_flags = LOOKUP_IMPLICIT; - if (flags & LOOKUP_ALLOW_FLEXARRAY_INIT) - new_flags |= LOOKUP_ALLOW_FLEXARRAY_INIT; - if (flags & LOOKUP_AGGREGATE_PAREN_INIT) - new_flags |= LOOKUP_AGGREGATE_PAREN_INIT; - init = digest_init_r (type, init, nested ? 2 : 1, new_flags, complain); - /* When we defer constant folding within a statement, we may want to - defer this folding as well. */ - tree t = fold_non_dependent_init (init, complain); - if (TREE_CONSTANT (t)) - init = t; - return init; -} - -/* Subroutine of process_init_constructor, which will process an initializer - INIT for an array or vector of type TYPE. Returns the flags (PICFLAG_*) - which describe the initializers. */ - -static int -process_init_constructor_array (tree type, tree init, int nested, int flags, - tsubst_flags_t complain) -{ - unsigned HOST_WIDE_INT i, len = 0; - int picflags = 0; - bool unbounded = false; - constructor_elt *ce; - vec<constructor_elt, va_gc> *v = CONSTRUCTOR_ELTS (init); - - gcc_assert (TREE_CODE (type) == ARRAY_TYPE - || VECTOR_TYPE_P (type)); - - if (TREE_CODE (type) == ARRAY_TYPE) - { - /* C++ flexible array members have a null domain. */ - tree domain = TYPE_DOMAIN (type); - if (domain && TREE_CONSTANT (TYPE_MAX_VALUE (domain))) - len = wi::ext (wi::to_offset (TYPE_MAX_VALUE (domain)) - - wi::to_offset (TYPE_MIN_VALUE (domain)) + 1, - TYPE_PRECISION (TREE_TYPE (domain)), - TYPE_SIGN (TREE_TYPE (domain))).to_uhwi (); - else - unbounded = true; /* Take as many as there are. */ - - if (nested == 2 && !domain && !vec_safe_is_empty (v)) - { - if (complain & tf_error) - error_at (cp_expr_loc_or_input_loc (init), - "initialization of flexible array member " - "in a nested context"); - return PICFLAG_ERRONEOUS; - } - } - else - /* Vectors are like simple fixed-size arrays. */ - unbounded = !TYPE_VECTOR_SUBPARTS (type).is_constant (&len); - - /* There must not be more initializers than needed. */ - if (!unbounded && vec_safe_length (v) > len) - { - if (complain & tf_error) - error ("too many initializers for %qT", type); - else - return PICFLAG_ERRONEOUS; - } - - FOR_EACH_VEC_SAFE_ELT (v, i, ce) - { - if (!ce->index) - ce->index = size_int (i); - else if (!check_array_designated_initializer (ce, i)) - ce->index = error_mark_node; - gcc_assert (ce->value); - ce->value - = massage_init_elt (TREE_TYPE (type), ce->value, nested, flags, - complain); - - gcc_checking_assert - (ce->value == error_mark_node - || (same_type_ignoring_top_level_qualifiers_p - (strip_array_types (TREE_TYPE (type)), - strip_array_types (TREE_TYPE (ce->value))))); - - picflags |= picflag_from_initializer (ce->value); - } - - /* No more initializers. If the array is unbounded, we are done. Otherwise, - we must add initializers ourselves. */ - if (!unbounded) - for (; i < len; ++i) - { - tree next; - - if (type_build_ctor_call (TREE_TYPE (type))) - { - /* If this type needs constructors run for default-initialization, - we can't rely on the back end to do it for us, so make the - initialization explicit by list-initializing from T{}. */ - next = build_constructor (init_list_type_node, NULL); - next = massage_init_elt (TREE_TYPE (type), next, nested, flags, - complain); - if (initializer_zerop (next)) - /* The default zero-initialization is fine for us; don't - add anything to the CONSTRUCTOR. */ - next = NULL_TREE; - } - else if (!zero_init_p (TREE_TYPE (type))) - next = build_zero_init (TREE_TYPE (type), - /*nelts=*/NULL_TREE, - /*static_storage_p=*/false); - else - /* The default zero-initialization is fine for us; don't - add anything to the CONSTRUCTOR. */ - next = NULL_TREE; - - if (next) - { - if (next != error_mark_node - && ! seen_error () // Improves error-recovery on anew5.C. - && (initializer_constant_valid_p (next, TREE_TYPE (next)) - != null_pointer_node)) - { - /* Use VEC_INIT_EXPR for non-constant initialization of - trailing elements with no explicit initializers. */ - picflags |= PICFLAG_VEC_INIT; - break; - } - - picflags |= picflag_from_initializer (next); - if (len > i+1) - { - tree range = build2 (RANGE_EXPR, size_type_node, - build_int_cst (size_type_node, i), - build_int_cst (size_type_node, len - 1)); - CONSTRUCTOR_APPEND_ELT (v, range, next); - break; - } - else - CONSTRUCTOR_APPEND_ELT (v, size_int (i), next); - } - else - /* Don't bother checking all the other elements. */ - break; - } - - CONSTRUCTOR_ELTS (init) = v; - return picflags; -} - -/* Subroutine of process_init_constructor, which will process an initializer - INIT for a class of type TYPE. Returns the flags (PICFLAG_*) which describe - the initializers. */ - -static int -process_init_constructor_record (tree type, tree init, int nested, int flags, - tsubst_flags_t complain) -{ - vec<constructor_elt, va_gc> *v = NULL; - tree field; - int skipped = 0; - - gcc_assert (TREE_CODE (type) == RECORD_TYPE); - gcc_assert (!CLASSTYPE_VBASECLASSES (type)); - gcc_assert (!TYPE_BINFO (type) - || cxx_dialect >= cxx17 - || !BINFO_N_BASE_BINFOS (TYPE_BINFO (type))); - gcc_assert (!TYPE_POLYMORPHIC_P (type)); - - restart: - int picflags = 0; - unsigned HOST_WIDE_INT idx = 0; - int designator_skip = -1; - /* Generally, we will always have an index for each initializer (which is - a FIELD_DECL, put by reshape_init), but compound literals don't go trough - reshape_init. So we need to handle both cases. */ - for (field = TYPE_FIELDS (type); field; field = DECL_CHAIN (field)) - { - tree next; - - if (TREE_CODE (field) != FIELD_DECL - || (DECL_ARTIFICIAL (field) - && !(cxx_dialect >= cxx17 && DECL_FIELD_IS_BASE (field)))) - continue; - - if (DECL_UNNAMED_BIT_FIELD (field)) - continue; - - /* If this is a bitfield, first convert to the declared type. */ - tree fldtype = TREE_TYPE (field); - if (DECL_BIT_FIELD_TYPE (field)) - fldtype = DECL_BIT_FIELD_TYPE (field); - if (fldtype == error_mark_node) - return PICFLAG_ERRONEOUS; - - next = NULL_TREE; - if (idx < CONSTRUCTOR_NELTS (init)) - { - constructor_elt *ce = &(*CONSTRUCTOR_ELTS (init))[idx]; - if (ce->index) - { - /* We can have either a FIELD_DECL or an IDENTIFIER_NODE. The - latter case can happen in templates where lookup has to be - deferred. */ - gcc_assert (TREE_CODE (ce->index) == FIELD_DECL - || identifier_p (ce->index)); - if (ce->index == field || ce->index == DECL_NAME (field)) - next = ce->value; - else - { - ce = NULL; - if (designator_skip == -1) - designator_skip = 1; - } - } - else - { - designator_skip = 0; - next = ce->value; - } - - if (ce) - { - gcc_assert (ce->value); - next = massage_init_elt (fldtype, next, nested, flags, complain); - ++idx; - } - } - if (next == error_mark_node) - /* We skip initializers for empty bases/fields, so skipping an invalid - one could make us accept invalid code. */ - return PICFLAG_ERRONEOUS; - else if (next) - /* Already handled above. */; - else if (DECL_INITIAL (field)) - { - if (skipped > 0) - { - /* We're using an NSDMI past a field with implicit - zero-init. Go back and make it explicit. */ - skipped = -1; - vec_safe_truncate (v, 0); - goto restart; - } - /* C++14 aggregate NSDMI. */ - next = get_nsdmi (field, /*ctor*/false, complain); - if (!CONSTRUCTOR_PLACEHOLDER_BOUNDARY (init) - && find_placeholders (next)) - CONSTRUCTOR_PLACEHOLDER_BOUNDARY (init) = 1; - } - else if (type_build_ctor_call (fldtype)) - { - /* If this type needs constructors run for - default-initialization, we can't rely on the back end to do it - for us, so build up TARGET_EXPRs. If the type in question is - a class, just build one up; if it's an array, recurse. */ - next = build_constructor (init_list_type_node, NULL); - next = massage_init_elt (fldtype, next, nested, flags, complain); - - /* Warn when some struct elements are implicitly initialized. */ - if ((complain & tf_warning) - && !cp_unevaluated_operand - && !EMPTY_CONSTRUCTOR_P (init)) - warning (OPT_Wmissing_field_initializers, - "missing initializer for member %qD", field); - } - else - { - if (TYPE_REF_P (fldtype)) - { - if (complain & tf_error) - error ("member %qD is uninitialized reference", field); - else - return PICFLAG_ERRONEOUS; - } - else if (CLASSTYPE_REF_FIELDS_NEED_INIT (fldtype)) - { - if (complain & tf_error) - error ("member %qD with uninitialized reference fields", field); - else - return PICFLAG_ERRONEOUS; - } - /* Do nothing for flexible array members since they need not have any - elements. Don't worry about 'skipped' because a flexarray has to - be the last field. */ - else if (TREE_CODE (fldtype) == ARRAY_TYPE && !TYPE_DOMAIN (fldtype)) - continue; - - /* Warn when some struct elements are implicitly initialized - to zero. */ - if ((complain & tf_warning) - && !cp_unevaluated_operand - && !EMPTY_CONSTRUCTOR_P (init)) - warning (OPT_Wmissing_field_initializers, - "missing initializer for member %qD", field); - - if (!zero_init_p (fldtype) || skipped < 0) - { - if (TYPE_REF_P (fldtype)) - next = build_zero_cst (fldtype); - else - next = build_zero_init (fldtype, /*nelts=*/NULL_TREE, - /*static_storage_p=*/false); - } - else - { - /* The default zero-initialization is fine for us; don't - add anything to the CONSTRUCTOR. */ - skipped = 1; - continue; - } - } - - if (is_empty_field (field) - && !TREE_SIDE_EFFECTS (next)) - /* Don't add trivial initialization of an empty base/field to the - constructor, as they might not be ordered the way the back-end - expects. */ - continue; - - /* If this is a bitfield, now convert to the lowered type. */ - if (fldtype != TREE_TYPE (field)) - next = cp_convert_and_check (TREE_TYPE (field), next, complain); - picflags |= picflag_from_initializer (next); - CONSTRUCTOR_APPEND_ELT (v, field, next); - } - - if (idx < CONSTRUCTOR_NELTS (init)) - { - if (complain & tf_error) - { - constructor_elt *ce = &(*CONSTRUCTOR_ELTS (init))[idx]; - /* For better diagnostics, try to find out if it is really - the case of too many initializers or if designators are - in incorrect order. */ - if (designator_skip == 1 && ce->index) - { - gcc_assert (TREE_CODE (ce->index) == FIELD_DECL - || identifier_p (ce->index)); - for (field = TYPE_FIELDS (type); - field; field = DECL_CHAIN (field)) - { - if (TREE_CODE (field) != FIELD_DECL - || (DECL_ARTIFICIAL (field) - && !(cxx_dialect >= cxx17 - && DECL_FIELD_IS_BASE (field)))) - continue; - - if (DECL_UNNAMED_BIT_FIELD (field)) - continue; - - if (ce->index == field || ce->index == DECL_NAME (field)) - break; - } - } - if (field) - error ("designator order for field %qD does not match declaration " - "order in %qT", field, type); - else - error ("too many initializers for %qT", type); - } - else - return PICFLAG_ERRONEOUS; - } - - CONSTRUCTOR_ELTS (init) = v; - return picflags; -} - -/* Subroutine of process_init_constructor, which will process a single - initializer INIT for a union of type TYPE. Returns the flags (PICFLAG_*) - which describe the initializer. */ - -static int -process_init_constructor_union (tree type, tree init, int nested, int flags, - tsubst_flags_t complain) -{ - constructor_elt *ce; - int len; - - /* If the initializer was empty, use the union's NSDMI if it has one. - Otherwise use default zero initialization. */ - if (vec_safe_is_empty (CONSTRUCTOR_ELTS (init))) - { - for (tree field = TYPE_FIELDS (type); field; field = TREE_CHAIN (field)) - { - if (TREE_CODE (field) == FIELD_DECL - && DECL_INITIAL (field) != NULL_TREE) - { - tree val = get_nsdmi (field, /*in_ctor=*/false, complain); - if (!CONSTRUCTOR_PLACEHOLDER_BOUNDARY (init) - && find_placeholders (val)) - CONSTRUCTOR_PLACEHOLDER_BOUNDARY (init) = 1; - CONSTRUCTOR_APPEND_ELT (CONSTRUCTOR_ELTS (init), field, val); - break; - } - } - - if (vec_safe_is_empty (CONSTRUCTOR_ELTS (init))) - return 0; - } - - len = CONSTRUCTOR_ELTS (init)->length (); - if (len > 1) - { - if (!(complain & tf_error)) - return PICFLAG_ERRONEOUS; - error ("too many initializers for %qT", type); - CONSTRUCTOR_ELTS (init)->block_remove (1, len-1); - } - - ce = &(*CONSTRUCTOR_ELTS (init))[0]; - - /* If this element specifies a field, initialize via that field. */ - if (ce->index) - { - if (TREE_CODE (ce->index) == FIELD_DECL) - ; - else if (identifier_p (ce->index)) - { - /* This can happen within a cast, see g++.dg/opt/cse2.C. */ - tree name = ce->index; - tree field; - for (field = TYPE_FIELDS (type); field; field = TREE_CHAIN (field)) - if (DECL_NAME (field) == name) - break; - if (!field) - { - if (complain & tf_error) - error ("no field %qD found in union being initialized", - field); - ce->value = error_mark_node; - } - ce->index = field; - } - else - { - gcc_assert (TREE_CODE (ce->index) == INTEGER_CST - || TREE_CODE (ce->index) == RANGE_EXPR); - if (complain & tf_error) - error ("index value instead of field name in union initializer"); - ce->value = error_mark_node; - } - } - else - { - /* Find the first named field. ANSI decided in September 1990 - that only named fields count here. */ - tree field = TYPE_FIELDS (type); - while (field && (!DECL_NAME (field) || TREE_CODE (field) != FIELD_DECL)) - field = TREE_CHAIN (field); - if (field == NULL_TREE) - { - if (complain & tf_error) - error ("too many initializers for %qT", type); - ce->value = error_mark_node; - } - ce->index = field; - } - - if (ce->value && ce->value != error_mark_node) - ce->value = massage_init_elt (TREE_TYPE (ce->index), ce->value, nested, - flags, complain); - - return picflag_from_initializer (ce->value); -} - -/* Process INIT, a constructor for a variable of aggregate type TYPE. The - constructor is a brace-enclosed initializer, and will be modified in-place. - - Each element is converted to the right type through digest_init, and - missing initializers are added following the language rules (zero-padding, - etc.). - - After the execution, the initializer will have TREE_CONSTANT if all elts are - constant, and TREE_STATIC set if, in addition, all elts are simple enough - constants that the assembler and linker can compute them. - - The function returns the initializer itself, or error_mark_node in case - of error. */ - -static tree -process_init_constructor (tree type, tree init, int nested, int flags, - tsubst_flags_t complain) -{ - int picflags; - - gcc_assert (BRACE_ENCLOSED_INITIALIZER_P (init)); - - if (TREE_CODE (type) == ARRAY_TYPE || VECTOR_TYPE_P (type)) - picflags = process_init_constructor_array (type, init, nested, flags, - complain); - else if (TREE_CODE (type) == RECORD_TYPE) - picflags = process_init_constructor_record (type, init, nested, flags, - complain); - else if (TREE_CODE (type) == UNION_TYPE) - picflags = process_init_constructor_union (type, init, nested, flags, - complain); - else - gcc_unreachable (); - - if (picflags & PICFLAG_ERRONEOUS) - return error_mark_node; - - TREE_TYPE (init) = type; - if (TREE_CODE (type) == ARRAY_TYPE && TYPE_DOMAIN (type) == NULL_TREE) - cp_complete_array_type (&TREE_TYPE (init), init, /*do_default=*/0); - if (picflags & PICFLAG_SIDE_EFFECTS) - { - TREE_CONSTANT (init) = false; - TREE_SIDE_EFFECTS (init) = true; - } - else if (picflags & PICFLAG_NOT_ALL_CONSTANT) - { - /* Make sure TREE_CONSTANT isn't set from build_constructor. */ - TREE_CONSTANT (init) = false; - TREE_SIDE_EFFECTS (init) = false; - } - else - { - TREE_CONSTANT (init) = 1; - TREE_SIDE_EFFECTS (init) = false; - if (!(picflags & PICFLAG_NOT_ALL_SIMPLE)) - TREE_STATIC (init) = 1; - } - if (picflags & PICFLAG_VEC_INIT) - { - /* Defer default-initialization of array elements with no corresponding - initializer-clause until later so we can use a loop. */ - TREE_TYPE (init) = init_list_type_node; - init = build_vec_init_expr (type, init, complain); - } - return init; -} - -/* Given a structure or union value DATUM, construct and return - the structure or union component which results from narrowing - that value to the base specified in BASETYPE. For example, given the - hierarchy - - class L { int ii; }; - class A : L { ... }; - class B : L { ... }; - class C : A, B { ... }; - - and the declaration - - C x; - - then the expression - - x.A::ii refers to the ii member of the L part of - the A part of the C object named by X. In this case, - DATUM would be x, and BASETYPE would be A. - - I used to think that this was nonconformant, that the standard specified - that first we look up ii in A, then convert x to an L& and pull out the - ii part. But in fact, it does say that we convert x to an A&; A here - is known as the "naming class". (jason 2000-12-19) - - BINFO_P points to a variable initialized either to NULL_TREE or to the - binfo for the specific base subobject we want to convert to. */ - -tree -build_scoped_ref (tree datum, tree basetype, tree* binfo_p) -{ - tree binfo; - - if (datum == error_mark_node) - return error_mark_node; - if (*binfo_p) - binfo = *binfo_p; - else - binfo = lookup_base (TREE_TYPE (datum), basetype, ba_check, - NULL, tf_warning_or_error); - - if (!binfo || binfo == error_mark_node) - { - *binfo_p = NULL_TREE; - if (!binfo) - error_not_base_type (basetype, TREE_TYPE (datum)); - return error_mark_node; - } - - *binfo_p = binfo; - return build_base_path (PLUS_EXPR, datum, binfo, 1, - tf_warning_or_error); -} - -/* Build a reference to an object specified by the C++ `->' operator. - Usually this just involves dereferencing the object, but if the - `->' operator is overloaded, then such overloads must be - performed until an object which does not have the `->' operator - overloaded is found. An error is reported when circular pointer - delegation is detected. */ - -tree -build_x_arrow (location_t loc, tree expr, tsubst_flags_t complain) -{ - tree orig_expr = expr; - tree type = TREE_TYPE (expr); - tree last_rval = NULL_TREE; - vec<tree, va_gc> *types_memoized = NULL; - - if (type == error_mark_node) - return error_mark_node; - - if (processing_template_decl) - { - tree ttype = NULL_TREE; - if (type && TYPE_PTR_P (type)) - ttype = TREE_TYPE (type); - if (ttype && !dependent_scope_p (ttype)) - /* Pointer to current instantiation, don't treat as dependent. */; - else if (type_dependent_expression_p (expr)) - { - expr = build_min_nt_loc (loc, ARROW_EXPR, expr); - TREE_TYPE (expr) = ttype; - return expr; - } - expr = build_non_dependent_expr (expr); - } - - if (MAYBE_CLASS_TYPE_P (type)) - { - struct tinst_level *actual_inst = current_instantiation (); - tree fn = NULL; - - while ((expr = build_new_op (loc, COMPONENT_REF, - LOOKUP_NORMAL, expr, NULL_TREE, NULL_TREE, - NULL_TREE, &fn, complain))) - { - if (expr == error_mark_node) - return error_mark_node; - - /* This provides a better instantiation backtrace in case of - error. */ - if (fn && DECL_USE_TEMPLATE (fn)) - push_tinst_level_loc (fn, - (current_instantiation () != actual_inst) - ? DECL_SOURCE_LOCATION (fn) - : input_location); - fn = NULL; - - if (vec_member (TREE_TYPE (expr), types_memoized)) - { - if (complain & tf_error) - error ("circular pointer delegation detected"); - return error_mark_node; - } - - vec_safe_push (types_memoized, TREE_TYPE (expr)); - last_rval = expr; - } - - while (current_instantiation () != actual_inst) - pop_tinst_level (); - - if (last_rval == NULL_TREE) - { - if (complain & tf_error) - error ("base operand of %<->%> has non-pointer type %qT", type); - return error_mark_node; - } - - if (TYPE_REF_P (TREE_TYPE (last_rval))) - last_rval = convert_from_reference (last_rval); - } - else - { - last_rval = decay_conversion (expr, complain); - if (last_rval == error_mark_node) - return error_mark_node; - } - - if (TYPE_PTR_P (TREE_TYPE (last_rval))) - { - if (processing_template_decl) - { - expr = build_min (ARROW_EXPR, TREE_TYPE (TREE_TYPE (last_rval)), - orig_expr); - TREE_SIDE_EFFECTS (expr) = TREE_SIDE_EFFECTS (last_rval); - return expr; - } - - return cp_build_indirect_ref (loc, last_rval, RO_ARROW, complain); - } - - if (complain & tf_error) - { - if (types_memoized) - error ("result of %<operator->()%> yields non-pointer result"); - else - error ("base operand of %<->%> is not a pointer"); - } - return error_mark_node; -} - -/* Return an expression for "DATUM .* COMPONENT". DATUM has not - already been checked out to be of aggregate type. */ - -tree -build_m_component_ref (tree datum, tree component, tsubst_flags_t complain) -{ - tree ptrmem_type; - tree objtype; - tree type; - tree binfo; - tree ctype; - - datum = mark_lvalue_use (datum); - component = mark_rvalue_use (component); - - if (error_operand_p (datum) || error_operand_p (component)) - return error_mark_node; - - ptrmem_type = TREE_TYPE (component); - if (!TYPE_PTRMEM_P (ptrmem_type)) - { - if (complain & tf_error) - error ("%qE cannot be used as a member pointer, since it is of " - "type %qT", component, ptrmem_type); - return error_mark_node; - } - - objtype = TYPE_MAIN_VARIANT (TREE_TYPE (datum)); - if (! MAYBE_CLASS_TYPE_P (objtype)) - { - if (complain & tf_error) - error ("cannot apply member pointer %qE to %qE, which is of " - "non-class type %qT", component, datum, objtype); - return error_mark_node; - } - - type = TYPE_PTRMEM_POINTED_TO_TYPE (ptrmem_type); - ctype = complete_type (TYPE_PTRMEM_CLASS_TYPE (ptrmem_type)); - - if (!COMPLETE_TYPE_P (ctype)) - { - if (!same_type_p (ctype, objtype)) - goto mismatch; - binfo = NULL; - } - else - { - binfo = lookup_base (objtype, ctype, ba_check, NULL, complain); - - if (!binfo) - { - mismatch: - if (complain & tf_error) - error ("pointer to member type %qT incompatible with object " - "type %qT", type, objtype); - return error_mark_node; - } - else if (binfo == error_mark_node) - return error_mark_node; - } - - if (TYPE_PTRDATAMEM_P (ptrmem_type)) - { - bool is_lval = real_lvalue_p (datum); - tree ptype; - - /* Compute the type of the field, as described in [expr.ref]. - There's no such thing as a mutable pointer-to-member, so - things are not as complex as they are for references to - non-static data members. */ - type = cp_build_qualified_type (type, - (cp_type_quals (type) - | cp_type_quals (TREE_TYPE (datum)))); - - datum = build_address (datum); - - /* Convert object to the correct base. */ - if (binfo) - { - datum = build_base_path (PLUS_EXPR, datum, binfo, 1, complain); - if (datum == error_mark_node) - return error_mark_node; - } - - /* Build an expression for "object + offset" where offset is the - value stored in the pointer-to-data-member. */ - ptype = build_pointer_type (type); - datum = fold_build_pointer_plus (fold_convert (ptype, datum), component); - datum = cp_build_fold_indirect_ref (datum); - if (datum == error_mark_node) - return error_mark_node; - - /* If the object expression was an rvalue, return an rvalue. */ - if (!is_lval) - datum = move (datum); - return datum; - } - else - { - /* 5.5/6: In a .* expression whose object expression is an rvalue, the - program is ill-formed if the second operand is a pointer to member - function with ref-qualifier & (for C++20: unless its cv-qualifier-seq - is const). In a .* expression whose object expression is an lvalue, - the program is ill-formed if the second operand is a pointer to member - function with ref-qualifier &&. */ - if (FUNCTION_REF_QUALIFIED (type)) - { - bool lval = lvalue_p (datum); - if (lval && FUNCTION_RVALUE_QUALIFIED (type)) - { - if (complain & tf_error) - error ("pointer-to-member-function type %qT requires an rvalue", - ptrmem_type); - return error_mark_node; - } - else if (!lval && !FUNCTION_RVALUE_QUALIFIED (type)) - { - if ((type_memfn_quals (type) - & (TYPE_QUAL_CONST | TYPE_QUAL_VOLATILE)) - != TYPE_QUAL_CONST) - { - if (complain & tf_error) - error ("pointer-to-member-function type %qT requires " - "an lvalue", ptrmem_type); - return error_mark_node; - } - else if (cxx_dialect < cxx20) - { - if (complain & tf_warning_or_error) - pedwarn (input_location, OPT_Wpedantic, - "pointer-to-member-function type %qT requires " - "an lvalue before C++20", ptrmem_type); - else - return error_mark_node; - } - } - } - return build2 (OFFSET_REF, type, datum, component); - } -} - -/* Return a tree node for the expression TYPENAME '(' PARMS ')'. */ - -static tree -build_functional_cast_1 (location_t loc, tree exp, tree parms, - tsubst_flags_t complain) -{ - /* This is either a call to a constructor, - or a C cast in C++'s `functional' notation. */ - - /* The type to which we are casting. */ - tree type; - - if (error_operand_p (exp) || parms == error_mark_node) - return error_mark_node; - - if (TREE_CODE (exp) == TYPE_DECL) - { - type = TREE_TYPE (exp); - - if (DECL_ARTIFICIAL (exp)) - cp_handle_deprecated_or_unavailable (type); - } - else - type = exp; - - /* We need to check this explicitly, since value-initialization of - arrays is allowed in other situations. */ - if (TREE_CODE (type) == ARRAY_TYPE) - { - if (complain & tf_error) - error_at (loc, "functional cast to array type %qT", type); - return error_mark_node; - } - - if (tree anode = type_uses_auto (type)) - { - tree init; - if (CLASS_PLACEHOLDER_TEMPLATE (anode)) - init = parms; - /* C++23 auto(x). */ - else if (!AUTO_IS_DECLTYPE (anode) - && list_length (parms) == 1) - { - init = TREE_VALUE (parms); - if (cxx_dialect < cxx23) - pedwarn (loc, OPT_Wc__23_extensions, - "%<auto(x)%> only available with " - "%<-std=c++2b%> or %<-std=gnu++2b%>"); - } - else - { - if (complain & tf_error) - error_at (loc, "invalid use of %qT", anode); - return error_mark_node; - } - type = do_auto_deduction (type, init, anode, complain, - adc_variable_type); - if (type == error_mark_node) - return error_mark_node; - } - - if (processing_template_decl) - { - tree t; - - /* Diagnose this even in a template. We could also try harder - to give all the usual errors when the type and args are - non-dependent... */ - if (TYPE_REF_P (type) && !parms) - { - if (complain & tf_error) - error_at (loc, "invalid value-initialization of reference type"); - return error_mark_node; - } - - t = build_min (CAST_EXPR, type, parms); - /* We don't know if it will or will not have side effects. */ - TREE_SIDE_EFFECTS (t) = 1; - return t; - } - - if (! MAYBE_CLASS_TYPE_P (type)) - { - if (parms == NULL_TREE) - { - if (VOID_TYPE_P (type)) - return void_node; - return build_value_init (cv_unqualified (type), complain); - } - - /* This must build a C cast. */ - parms = build_x_compound_expr_from_list (parms, ELK_FUNC_CAST, complain); - return cp_build_c_cast (loc, type, parms, complain); - } - - /* Prepare to evaluate as a call to a constructor. If this expression - is actually used, for example, - - return X (arg1, arg2, ...); - - then the slot being initialized will be filled in. */ - - if (!complete_type_or_maybe_complain (type, NULL_TREE, complain)) - return error_mark_node; - if (abstract_virtuals_error_sfinae (ACU_CAST, type, complain)) - return error_mark_node; - - /* [expr.type.conv] - - If the expression list is a single-expression, the type - conversion is equivalent (in definedness, and if defined in - meaning) to the corresponding cast expression. */ - if (parms && TREE_CHAIN (parms) == NULL_TREE) - return cp_build_c_cast (loc, type, TREE_VALUE (parms), complain); - - /* [expr.type.conv] - - The expression T(), where T is a simple-type-specifier for a - non-array complete object type or the (possibly cv-qualified) - void type, creates an rvalue of the specified type, which is - value-initialized. */ - - if (parms == NULL_TREE) - { - exp = build_value_init (type, complain); - exp = get_target_expr_sfinae (exp, complain); - return exp; - } - - /* Call the constructor. */ - releasing_vec parmvec; - for (; parms != NULL_TREE; parms = TREE_CHAIN (parms)) - vec_safe_push (parmvec, TREE_VALUE (parms)); - exp = build_special_member_call (NULL_TREE, complete_ctor_identifier, - &parmvec, type, LOOKUP_NORMAL, complain); - - if (exp == error_mark_node) - return error_mark_node; - - return build_cplus_new (type, exp, complain); -} - -tree -build_functional_cast (location_t loc, tree exp, tree parms, - tsubst_flags_t complain) -{ - tree result = build_functional_cast_1 (loc, exp, parms, complain); - protected_set_expr_location (result, loc); - return result; -} - - -/* Add new exception specifier SPEC, to the LIST we currently have. - If it's already in LIST then do nothing. - Moan if it's bad and we're allowed to. COMPLAIN < 0 means we - know what we're doing. */ - -tree -add_exception_specifier (tree list, tree spec, tsubst_flags_t complain) -{ - bool ok; - tree core = spec; - bool is_ptr; - diagnostic_t diag_type = DK_UNSPECIFIED; /* none */ - - if (spec == error_mark_node) - return list; - - gcc_assert (spec && (!list || TREE_VALUE (list))); - - /* [except.spec] 1, type in an exception specifier shall not be - incomplete, or pointer or ref to incomplete other than pointer - to cv void. */ - is_ptr = TYPE_PTR_P (core); - if (is_ptr || TYPE_REF_P (core)) - core = TREE_TYPE (core); - if (complain < 0) - ok = true; - else if (VOID_TYPE_P (core)) - ok = is_ptr; - else if (TREE_CODE (core) == TEMPLATE_TYPE_PARM) - ok = true; - else if (processing_template_decl) - ok = true; - else if (!verify_type_context (input_location, TCTX_EXCEPTIONS, core, - !(complain & tf_error))) - return error_mark_node; - else - { - ok = true; - /* 15.4/1 says that types in an exception specifier must be complete, - but it seems more reasonable to only require this on definitions - and calls. So just give a pedwarn at this point; we will give an - error later if we hit one of those two cases. */ - if (!COMPLETE_TYPE_P (complete_type (core))) - diag_type = DK_PEDWARN; /* pedwarn */ - } - - if (ok) - { - tree probe; - - for (probe = list; probe; probe = TREE_CHAIN (probe)) - if (same_type_p (TREE_VALUE (probe), spec)) - break; - if (!probe) - list = tree_cons (NULL_TREE, spec, list); - } - else - diag_type = DK_ERROR; /* error */ - - if (diag_type != DK_UNSPECIFIED - && (complain & tf_warning_or_error)) - cxx_incomplete_type_diagnostic (NULL_TREE, core, diag_type); - - return list; -} - -/* Like nothrow_spec_p, but don't abort on deferred noexcept. */ - -static bool -nothrow_spec_p_uninst (const_tree spec) -{ - if (DEFERRED_NOEXCEPT_SPEC_P (spec)) - return false; - return nothrow_spec_p (spec); -} - -/* Combine the two exceptions specifier lists LIST and ADD, and return - their union. */ - -tree -merge_exception_specifiers (tree list, tree add) -{ - tree noex, orig_list; - - if (list == error_mark_node || add == error_mark_node) - return error_mark_node; - - /* No exception-specifier or noexcept(false) are less strict than - anything else. Prefer the newer variant (LIST). */ - if (!list || list == noexcept_false_spec) - return list; - else if (!add || add == noexcept_false_spec) - return add; - - /* noexcept(true) and throw() are stricter than anything else. - As above, prefer the more recent one (LIST). */ - if (nothrow_spec_p_uninst (add)) - return list; - - /* Two implicit noexcept specs (e.g. on a destructor) are equivalent. */ - if (UNEVALUATED_NOEXCEPT_SPEC_P (add) - && UNEVALUATED_NOEXCEPT_SPEC_P (list)) - return list; - /* We should have instantiated other deferred noexcept specs by now. */ - gcc_assert (!DEFERRED_NOEXCEPT_SPEC_P (add)); - - if (nothrow_spec_p_uninst (list)) - return add; - noex = TREE_PURPOSE (list); - gcc_checking_assert (!TREE_PURPOSE (add) - || errorcount || !flag_exceptions - || cp_tree_equal (noex, TREE_PURPOSE (add))); - - /* Combine the dynamic-exception-specifiers, if any. */ - orig_list = list; - for (; add && TREE_VALUE (add); add = TREE_CHAIN (add)) - { - tree spec = TREE_VALUE (add); - tree probe; - - for (probe = orig_list; probe && TREE_VALUE (probe); - probe = TREE_CHAIN (probe)) - if (same_type_p (TREE_VALUE (probe), spec)) - break; - if (!probe) - { - spec = build_tree_list (NULL_TREE, spec); - TREE_CHAIN (spec) = list; - list = spec; - } - } - - /* Keep the noexcept-specifier at the beginning of the list. */ - if (noex != TREE_PURPOSE (list)) - list = tree_cons (noex, TREE_VALUE (list), TREE_CHAIN (list)); - - return list; -} - -/* Subroutine of build_call. Ensure that each of the types in the - exception specification is complete. Technically, 15.4/1 says that - they need to be complete when we see a declaration of the function, - but we should be able to get away with only requiring this when the - function is defined or called. See also add_exception_specifier. */ - -void -require_complete_eh_spec_types (tree fntype, tree decl) -{ - tree raises; - /* Don't complain about calls to op new. */ - if (decl && DECL_ARTIFICIAL (decl)) - return; - for (raises = TYPE_RAISES_EXCEPTIONS (fntype); raises; - raises = TREE_CHAIN (raises)) - { - tree type = TREE_VALUE (raises); - if (type && !COMPLETE_TYPE_P (type)) - { - if (decl) - error - ("call to function %qD which throws incomplete type %q#T", - decl, type); - else - error ("call to function which throws incomplete type %q#T", - decl); - } - } -} |