gcc/libiberty
Jason Merrill 51dc660315 Implement P0012R1, Make exception specifications part of the type system.
gcc/cp/
	* cp-tree.h (enum tsubst_flags): Add tf_fndecl_type.
	(flag_noexcept_type, ce_type): New.
	* call.c (build_conv): Add ck_fnptr.
	(enum conversion_kind): Change ck_tsafe to ck_fnptr.
	(convert_like_real): Likewise.
	(standard_conversion): Likewise.  Allow function pointer
	conversions for pointers to member functions.
	(reference_compatible_p): Allow function pointer conversions.
	(direct_reference_binding): Likewise.
	(reference_binding): Reference-compatible is no longer a subset of
	reference-related.
	(is_subseq): Also strip ck_lvalue after next_conversion.
	* class.c (instantiate_type): Check fnptr_conv_p.
	(resolve_address_of_overloaded_function): Likewise.
	* cvt.c (can_convert_tx_safety): Now static.
	(noexcept_conv_p, fnptr_conv_p, strip_fnptr_conv): New.
	* decl.c (flag_noexcept_type): Define.
	(cxx_init_decl_processing): Set it.
	(bad_specifiers): Check it.
	(grokdeclarator) [cdk_function]: Add exception-spec to type here.
	* lambda.c (maybe_add_lambda_conv_op): Add exception-spec to
	returned pointer.
	* mangle.c (struct globals): Add need_cxx1z_warning.
	(mangle_decl): Check it.
	(write_exception_spec): New.
	(write_function_type): Call it.
	(canonicalize_for_substitution): Handle exception spec.
	(write_type): Likewise.
	(write_encoding): Set processing_template_decl across mangling of
	partially-instantiated type.
	* pt.c (determine_specialization): Pass tf_fndecl_type.
	(tsubst_decl, fn_type_unification): Likewise.
	(tsubst): Strip tf_fndecl_type, pass it to
	tsubst_exception_specification.
	(convert_nontype_argument_function): Handle function pointer
	conversion.
	(convert_nontype_argument): Likewise.
	(unify, for_each_template_parm_r): Walk into noexcept-specifier.
	* rtti.c (ptr_initializer): Encode noexcept.
	* tree.c (canonical_eh_spec): New.
	(build_exception_variant): Use it.
	* typeck.c (composite_pointer_type): Handle fnptr conversion.
	(comp_except_specs): Compare canonical EH specs.
	(structural_comptypes): Call it.
gcc/c-family/
	* c.opt (Wc++1z-compat): New.
	* c-cppbuiltin.c (c_cpp_builtins): Add __cpp_noexcept_function_type.
libstdc++-v3/
	* include/bits/c++config (_GLIBCXX_NOEXCEPT_PARM)
	(_GLIBCXX_NOEXCEPT_QUAL): New.
	* include/std/type_traits (is_function): Use them.
	* libsubc++/new (launder): Likewise.
	* libsupc++/cxxabi.h (__pbase_type_info::__masks): Add
	__noexcept_mask.
	* libsupc++/pbase_type_info.cc (__do_catch): Handle function
	pointer conversion.
libiberty/
	* cp-demangle.c (is_fnqual_component_type): New.
	(d_encoding, d_print_comp_inner, d_print_mod_list): Use it.
	(FNQUAL_COMPONENT_CASE): New.
	(d_make_comp, has_return_type, d_print_comp_inner)
	(d_print_function_type): Use it.
	(next_is_type_qual): New.
	(d_cv_qualifiers, d_print_mod): Handle noexcept and throw-spec.
include/
	* demangle.h (enum demangle_component_type): Add
	DEMANGLE_COMPONENT_NOEXCEPT, DEMANGLE_COMPONENT_THROW_SPEC.

From-SVN: r241944
2016-11-07 18:09:29 -05:00
..
config
testsuite Implement P0012R1, Make exception specifications part of the type system. 2016-11-07 18:09:29 -05:00
_doprnt.c include 2014-01-21 15:09:10 +00:00
.gitignore
aclocal.m4
alloca.c
argv.c libiberty: {count,dup,write}argv: constify argv input slightly 2016-01-05 20:23:30 +00:00
asprintf.c include 2014-01-21 15:09:10 +00:00
at-file.texi
atexit.c
basename.c
bcmp.c
bcopy.c
bsearch.c
bzero.c
calloc.c
ChangeLog Implement P0012R1, Make exception specifications part of the type system. 2016-11-07 18:09:29 -05:00
ChangeLog.jit Merger of dmalcolm/jit branch from git 2014-11-11 21:55:52 +00:00
choose-temp.c libiberty: Expose choose_tmpdir, and fix constness of return type 2014-10-15 20:20:05 +00:00
clock.c
concat.c include 2014-01-21 15:09:10 +00:00
config.h-vms
config.in Configury changes for obstack optimization 2015-11-09 15:24:15 +10:30
configure config.guess: Remove SH5 support. 2016-04-30 09:11:03 +00:00
configure.ac Configury changes for obstack optimization 2015-11-09 15:02:08 +10:30
configure.com
copying-lib.texi
COPYING.LIB
copysign.c
cp-demangle.c Implement P0012R1, Make exception specifications part of the type system. 2016-11-07 18:09:29 -05:00
cp-demangle.h Fix several crashes of C++ demangler on fuzzed input. 2015-07-13 05:49:54 +00:00
cp-demint.c PR other/61321 - demangler crash on casts in template parameters 2015-11-27 14:48:21 +00:00
cplus-dem.c libiberty: Fix -Wimplicit-fallthrough warnings. 2016-11-04 23:55:01 +00:00
crc32.c Tweak the documentation of libiberty's xcrc32 function 2015-12-28 22:00:14 +00:00
d-demangle.c d-demangle.c (dlang_call_convention): Handle extern Objective-C function calling convention. 2016-01-27 01:07:26 +00:00
dwarfnames.c
dyn-string.c
fdmatch.c
ffs.c
fibheap.c
filename_cmp.c re PR driver/36312 (should refuse to overwrite input file with output file) 2014-11-11 23:33:25 +00:00
floatformat.c libiberty.h (asprintf): Don't declare if HAVE_DECL_ASPRINTF is not defined. 2015-05-22 20:53:45 +00:00
fnmatch.c
fnmatch.txh
fopen_unlocked.c
functions.texi libiberty: {count,dup,write}argv: constify argv input slightly 2016-01-05 20:23:30 +00:00
gather-docs
getcwd.c
getopt1.c
getopt.c
getpagesize.c
getpwd.c
getruntime.c getruntime.c (RUSAGE_SELF): Define if not already defined. 2015-07-09 17:06:00 +02:00
gettimeofday.c
hashtab.c libiberty: Fix -Wimplicit-fallthrough warnings. 2016-11-04 23:55:01 +00:00
hex.c
index.c
insque.c
lbasename.c
libiberty.texi make-obstacks-texi.pl: New. 2013-03-06 09:38:22 +01:00
lrealpath.c
maint-tool re PR sanitizer/56781 (boostrap-asan failure: fixincl fails to link (missing -lasan)) 2014-04-17 14:25:25 +02:00
make-relative-prefix.c libiberty.h (MAX_ALLOCA_SIZE): New macro. 2016-07-29 16:40:55 +00:00
make-temp-file.c libiberty: Expose choose_tmpdir, and fix constness of return type 2014-10-15 20:20:05 +00:00
Makefile.in * Makefile.in (etags tags TAGS): Use && instead of ;. 2015-11-12 19:18:54 +00:00
makefile.vms makefile.vms (OBJS): Add dwarfnames.obj 2013-07-09 07:43:35 +00:00
md5.c 2013-01-31 Kai Tietz <ktietz@redhat.com> 2013-01-31 09:11:43 +01:00
memchr.c
memcmp.c
memcpy.c
memmem.c
memmove.c
mempcpy.c
memset.c
mkstemps.c libiberty/mkstemps.c: Include <time.h> if <sys/time.h> not available. 2015-05-08 17:14:26 +00:00
msdos.c
objalloc.c
obstack.c Silence obstack.c -Wc++compat warning 2015-11-09 15:00:26 +10:30
obstacks.texi Modify obstack.[hc] to avoid having to include other gnulib files 2015-11-09 14:58:21 +10:30
partition.c
pex-common.c pex-common.h (struct pex_funcs): Add new parameter for open_write field. 2014-09-26 10:58:04 +03:00
pex-common.h pex-common.h (struct pex_funcs): Add new parameter for open_write field. 2014-09-26 10:58:04 +03:00
pex-djgpp.c pex-common.h (struct pex_funcs): Add new parameter for open_write field. 2014-09-26 10:58:04 +03:00
pex-msdos.c
pex-one.c
pex-unix.c Fix PR63758 by using the _NSGetEnviron() API on Darwin 2015-10-18 10:33:37 +00:00
pex-win32.c Fix zero-length parameter bug in pex_run. 2016-09-19 10:02:56 +00:00
pexecute.c
pexecute.txh
physmem.c
putenv.c
random.c
README
regex.c libiberty: Fix -Wimplicit-fallthrough warnings. 2016-11-04 23:55:01 +00:00
rename.c
rindex.c
safe-ctype.c
setenv.c Fix PR63758 by using the _NSGetEnviron() API on Darwin 2015-10-18 10:33:37 +00:00
setproctitle.c
sha1.c re PR other/54620 (sha1.c has incorrect math if sizeof(size_t) is 8) 2013-01-31 09:17:58 +01:00
sigsetmask.c Fix gnu11 fallout on Solaris 10+ 2014-11-05 09:52:42 +00:00
simple-object-coff.c
simple-object-common.h
simple-object-elf.c simple-object-elf.c (simple_object_elf_write_ehdr): Correctly handle objects with more than SHN_LORESERVE sections. 2014-09-19 15:24:56 +00:00
simple-object-mach-o.c re PR middle-end/56526 (false positive for maybe-uninitialized) 2013-03-05 16:16:49 +01:00
simple-object-xcoff.c
simple-object.c simple-object.c (simple_object_internal_write): Handle EINTR and short writes. 2014-04-01 07:45:48 +00:00
simple-object.txh
snprintf.c include 2014-01-21 15:09:10 +00:00
sort.c
spaces.c
splay-tree.c
stack-limit.c
stpcpy.c
stpncpy.c
strcasecmp.c
strchr.c
strdup.c
strerror.c strerror.c: Do not declare sys_nerr or sys_errlist if already macros 2015-01-19 15:28:56 +00:00
strncasecmp.c
strncmp.c
strndup.c
strnlen.c
strrchr.c
strsignal.c
strstr.c
strtod.c
strtol.c
strtoll.c Add strtoll and strtoull to libiberty. 2014-10-28 09:43:20 +00:00
strtoul.c
strtoull.c Add strtoll and strtoull to libiberty. 2014-10-28 09:43:20 +00:00
strverscmp.c
timeval-utils.c
tmpnam.c
unlink-if-ordinary.c
vasprintf.c xvasprintf.c: New file. 2014-12-11 09:15:37 +01:00
vfork.c
vfprintf.c
vprintf-support.c xvasprintf.c: New file. 2014-12-11 09:15:37 +01:00
vprintf-support.h xvasprintf.c: New file. 2014-12-11 09:15:37 +01:00
vprintf.c
vsnprintf.c include 2014-01-21 15:09:10 +00:00
vsprintf.c
waitpid.c
xasprintf.c xasprintf.c: New file. 2014-12-24 17:22:51 +01:00
xatexit.c
xexit.c
xmalloc.c Fix PR63758 by using the _NSGetEnviron() API on Darwin 2015-10-18 10:33:37 +00:00
xmemdup.c Don't needlessly clear xmemdup allocated memory. 2016-05-31 20:38:54 +09:30
xstrdup.c
xstrerror.c
xstrndup.c
xvasprintf.c xvasprintf.c: New file. 2014-12-11 09:15:37 +01:00

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.