From 69c426b89579312af91035c26fb1e270bfbcad00 Mon Sep 17 00:00:00 2001 From: Geng Qi Date: Wed, 28 Apr 2021 17:24:32 +0800 Subject: [PATCH] doc/options.texi: Fix the description of 'Negative'. gcc/ChangeLog: * doc/options.texi (Negative): Change either or to both and. --- gcc/doc/options.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/doc/options.texi b/gcc/doc/options.texi index 2057629..ce5e2e4 100644 --- a/gcc/doc/options.texi +++ b/gcc/doc/options.texi @@ -223,8 +223,8 @@ propagate through the @code{Negative} property of the option to be turned off. The driver will prune options, removing those that are turned off by some later option. This pruning is not done for options with @code{Joined} or @code{JoinedOrMissing} properties, unless the -options have either @code{RejectNegative} property or the @code{Negative} -property mentions an option other than itself. +options have both the @code{RejectNegative} property and the @code{Negative} +property mentions itself. As a consequence, if you have a group of mutually-exclusive options, their @code{Negative} properties should form a circular chain. -- 2.7.4