aboutsummaryrefslogtreecommitdiff
path: root/gcc/cp/typeck2.c
diff options
context:
space:
mode:
authorMartin Liska <mliska@suse.cz>2022-01-14 16:56:44 +0100
committerMartin Liska <mliska@suse.cz>2022-01-17 22:12:04 +0100
commit5c69acb32329d49e58c26fa41ae74229a52b9106 (patch)
treeddb05f9d73afb6f998457d2ac4b720e3b3b60483 /gcc/cp/typeck2.c
parent490e23032baaece71f2ec09fa1805064b150fbc2 (diff)
downloadgcc-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.c2555
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);
- }
- }
-}
generated by cgit v1.1 at 2024-08-18 16:28:19 +0000