c++: Enable spec_hasher table sanitization [PR87847]

It looks like hash table sanitization is now safe to enable for the
decl_specializations and type_specializations tables, probably ever
since PR94454 was fixed.

gcc/cp/ChangeLog:

	PR c++/87847
	* pt.c (init_template_processing): Enable sanitization for
	decl_specializations and type_specializations.

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index cd81891..70e0b18 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,9 @@
 2020-05-19  Patrick Palka  <ppalka@redhat.com>
 
+       PR c++/87847
+       * pt.c (init_template_processing): Enable sanitization for
+       decl_specializations and type_specializations.
+
        PR c++/66439
        * pt.c (fn_type_unification): Pass 'fn' instead of NULL_TREE as
        the 'in_decl' parameter to coerce_template_parms.

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 50933cb..4d9651a 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -29330,9 +29330,8 @@ declare_integer_pack (void)
 void
 init_template_processing (void)
 {
-  /* FIXME: enable sanitization (PR87847) */
-  decl_specializations = hash_table<spec_hasher>::create_ggc (37, false);
-  type_specializations = hash_table<spec_hasher>::create_ggc (37, false);
+  decl_specializations = hash_table<spec_hasher>::create_ggc (37);
+  type_specializations = hash_table<spec_hasher>::create_ggc (37);
 
   if (cxx_dialect >= cxx11)
     declare_integer_pack ();