[Bug libfortran/47894] New: Documentation text for VERIFY intrinsic function is wrong.

["thenlich at users dot sourceforge.net" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47894

           Summary: Documentation text for VERIFY intrinsic function is
                    wrong.
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libfortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: thenlich@users.sourceforge.net


The documentation states:

"Verifies that all the characters in a SET are present in a STRING."

but this should read:

"Verifies that no other characters than those in a SET are present in a
STRING."

or:

"Verifies that all the characters in STRING are present in a SET."


Also, the sentence:

"If all characters of SET are found in STRING, the result is zero."

again is wrong and should read:

"If no characters not in SET are found in STRING, the result is zero."

or

"If only characters from SET are found in STRING, the result is zero."

or

"If all characters of STRING are found in SET, the result is zero."

or, as in Fortran 2008:

"The value of the result is zero if each character in STRING is in SET or if
STRING has zero length."

The headline is also misleading:

"VERIFY â Scan a string for the absence of a set of characters"

because the string is actually scanned for the absence (or presence) of
characters NOT in SET (mathematically, that's a complement of SET, which is
also a set, but confusing to read)

Maybe it should read:
"VERIFY â Scan a string for the absence of characters not in a set"

or, as in Fortran 2008:
"Search for a character not in a given set."