--param verify-canonical-types was removed back in r0-81986-g7313518b90b280.
The same verification is controlled via our generic checking framework
these days.
gcc/ChangeLog:
* doc/generic.texi (TYPE_CANONICAL): Don't mention long-removed
--param verify-canonical-types=1.
---
I would've just committed this, but I'm not sure if we should talk about
the other param added in that commit (--param use-canonical-types). I think
not but I figured I'd ask. OK?
gcc/doc/generic.texi | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/gcc/doc/generic.texi b/gcc/doc/generic.texi
index d4ac580a7a8b..55083b278da4 100644
--- a/gcc/doc/generic.texi
+++ b/gcc/doc/generic.texi
@@ -397,8 +397,7 @@ guarantee that @code{TYPE_CANONICAL} will point to the
canonical type,
use @code{SET_TYPE_STRUCTURAL_EQUALITY} to make sure that the new
type--and any type constructed based on it--requires structural
equality. If you suspect that the canonical type system is
-miscomparing types, pass @code{--param verify-canonical-types=1} to
-the compiler or configure with @code{--enable-checking} to force the
+miscomparing types, configure with @code{--enable-checking} to force the
compiler to verify its canonical-type comparisons against the
structural comparisons; the compiler will then print any warnings if
the canonical types miscompare.
--
2.51.0
