gcc/libiberty
Jason Merrill 4be5c72cf3 Implement P0732R2, class types in non-type template parameters.
There is one significant piece of this that is not implemented yet: the
reliance on defaulted operator<=>, which someone else has been working on.
So, for the moment those lines are commented out of the testcases.

One tricky bit was treating template parameters of classtype as const
lvalues without making their decltype const; for this I used a
VIEW_CONVERT_EXPR wrapper, which previously could only appear in templates
as location wrappers.

The user-defined literal parts of P0732R2 are in the next patch.

gcc/cp/
	* error.c (dump_simple_decl): Look through a template parm object.
	* mangle.c (write_template_arg): Likewise.
	(mangle_template_parm_object): New.
	* pt.c (template_parm_object_p, get_template_parm_object): New.
	(invalid_tparm_referent_p): Factor from convert_nontype_argument.
	(convert_nontype_argument, invalid_nontype_parm_type_p): Handle
	class-type template arguments.
	* tree.c (lvalue_kind): Likewise.
gcc/c-family/
	* c-cppbuiltin.c (c_cpp_builtins): Add
	__cpp_nontype_template_parameter_class.
libiberty/
	* cp-demangle.c (d_dump, d_make_comp, d_count_templates_scopes)
	(d_print_comp_inner): Handle DEMANGLE_COMPONENT_TPARM_OBJ.
	(d_special_name): Handle TA.
	(d_expresion_1): Fix demangling of brace-enclosed initializer list.
include/
	* demangle.h (enum demangle_component_type): Add
	DEMANGLE_COMPONENT_TPARM_OBJ.

From-SVN: r265789
2018-11-05 02:47:02 -05:00
..
config
testsuite Implement P0732R2, class types in non-type template parameters. 2018-11-05 02:47:02 -05:00
_doprnt.c
.gitignore
aclocal.m4
alloca.c
argv.c
asprintf.c
at-file.texi
atexit.c
basename.c
bcmp.c
bcopy.c
bsearch.c
bzero.c
calloc.c
ChangeLog Implement P0732R2, class types in non-type template parameters. 2018-11-05 02:47:02 -05:00
ChangeLog.jit
choose-temp.c
clock.c
concat.c
config.h-vms
config.in Update GCC to autoconf 2.69, automake 1.15.1 (PR bootstrap/82856). 2018-10-31 17:03:16 +00:00
configure Update GCC to autoconf 2.69, automake 1.15.1 (PR bootstrap/82856). 2018-10-31 17:03:16 +00:00
configure.ac Update GCC to autoconf 2.69, automake 1.15.1 (PR bootstrap/82856). 2018-10-31 17:03:16 +00:00
configure.com
copying-lib.texi
COPYING.LIB
copysign.c
cp-demangle.c Implement P0732R2, class types in non-type template parameters. 2018-11-05 02:47:02 -05:00
cp-demangle.h
cp-demint.c
cplus-dem.c cplus-dem.c (remember_Btype): Don't call memcpy with LEN==0. 2018-07-30 13:47:01 +00:00
crc32.c
d-demangle.c
dwarfnames.c
dyn-string.c
fdmatch.c
ffs.c
fibheap.c
filename_cmp.c
floatformat.c
fnmatch.c
fnmatch.txh
fopen_unlocked.c
functions.texi
gather-docs
getcwd.c
getopt1.c
getopt.c
getpagesize.c
getpwd.c
getruntime.c
gettimeofday.c
hashtab.c
hex.c
index.c
insque.c
lbasename.c
libiberty.texi
lrealpath.c
maint-tool
make-relative-prefix.c
make-temp-file.c Add linker_output as prefix for LTO temps (PR lto/86548). 2018-07-26 12:13:14 +00:00
Makefile.in
makefile.vms
md5.c
memchr.c
memcmp.c
memcpy.c
memmem.c
memmove.c
mempcpy.c
memset.c
mkstemps.c
msdos.c
objalloc.c
obstack.c
obstacks.texi
partition.c
pex-common.c
pex-common.h
pex-djgpp.c
pex-msdos.c
pex-one.c
pex-unix.c [libiberty] Use pipe inside pex_run 2018-10-01 18:46:51 +00:00
pex-win32.c
pexecute.c
pexecute.txh
physmem.c
putenv.c
random.c
README
regex.c
rename.c
rindex.c
rust-demangle.c
safe-ctype.c
setenv.c
setproctitle.c
sha1.c
sigsetmask.c
simple-object-coff.c
simple-object-common.h
simple-object-elf.c
simple-object-mach-o.c
simple-object-xcoff.c
simple-object.c
simple-object.txh
snprintf.c
sort.c
spaces.c
splay-tree.c
stack-limit.c
stpcpy.c
stpncpy.c
strcasecmp.c
strchr.c
strdup.c
strerror.c
strncasecmp.c
strncmp.c
strndup.c
strnlen.c
strrchr.c
strsignal.c
strstr.c
strtod.c
strtol.c
strtoll.c
strtoul.c
strtoull.c
strverscmp.c
timeval-utils.c
tmpnam.c
unlink-if-ordinary.c
vasprintf.c
vfork.c
vfprintf.c
vprintf-support.c
vprintf-support.h
vprintf.c
vsnprintf.c
vsprintf.c
waitpid.c
xasprintf.c
xatexit.c
xexit.c
xmalloc.c
xmemdup.c
xstrdup.c
xstrerror.c
xstrndup.c
xvasprintf.c

This directory contains the -liberty library of free software.
It is a collection of subroutines used by various GNU programs.
Current members include:

	getopt -- get options from command line
	obstack -- stacks of arbitrarily-sized objects
	strerror -- error message strings corresponding to errno
	strtol -- string-to-long conversion
	strtoul -- string-to-unsigned-long conversion

We expect many of the GNU subroutines that are floating around to
eventually arrive here.

The library must be configured from the top source directory.  Don't
try to run configure in this directory.  Follow the configuration
instructions in ../README.

Please report bugs to "gcc-bugs@gcc.gnu.org" and send fixes to
"gcc-patches@gcc.gnu.org".  Thank you.

ADDING A NEW FILE
=================

There are two sets of files:  Those that are "required" will be
included in the library for all configurations, while those
that are "optional" will be included in the library only if "needed."

To add a new required file, edit Makefile.in to add the source file
name to CFILES and the object file to REQUIRED_OFILES.

To add a new optional file, it must provide a single function, and the
name of the function must be the same as the name of the file.

    * Add the source file name to CFILES in Makefile.in and the object
      file to CONFIGURED_OFILES.

    * Add the function to name to the funcs shell variable in
      configure.ac.

    * Add the function to the AC_CHECK_FUNCS lists just after the
      setting of the funcs shell variable.  These AC_CHECK_FUNCS calls
      are never executed; they are there to make autoheader work
      better.

    * Consider the special cases of building libiberty; as of this
      writing, the special cases are newlib and VxWorks.  If a
      particular special case provides the function, you do not need
      to do anything.  If it does not provide the function, add the
      object file to LIBOBJS, and add the function name to the case
      controlling whether to define HAVE_func.

Finally, in the build directory of libiberty, configure with
"--enable-maintainer-mode", run "make maint-deps" to update
Makefile.in, and run 'make stamp-functions' to regenerate
functions.texi.

The optional file you've added (e.g. getcwd.c) should compile and work
on all hosts where it is needed.  It does not have to work or even
compile on hosts where it is not needed.

ADDING A NEW CONFIGURATION
==========================

On most hosts you should be able to use the scheme for automatically
figuring out which files are needed.  In that case, you probably
don't need a special Makefile stub for that configuration.

If the fully automatic scheme doesn't work, you may be able to get
by with defining EXTRA_OFILES in your Makefile stub.  This is
a list of object file names that should be treated as required
for this configuration - they will be included in libiberty.a,
regardless of whatever might be in the C library.