diff options
Diffstat (limited to 'manual/check-safety.sh')
| -rw-r--r-- | manual/check-safety.sh | 124 |
1 files changed, 0 insertions, 124 deletions
diff --git a/manual/check-safety.sh b/manual/check-safety.sh deleted file mode 100644 index c0d93b0ba1..0000000000 --- a/manual/check-safety.sh +++ /dev/null @@ -1,124 +0,0 @@ -#!/bin/sh - -# Copyright 2014-2017 Free Software Foundation, Inc. -# This file is part of the GNU C Library. - -# The GNU C Library is free software; you can redistribute it and/or -# modify it under the terms of the GNU Lesser General Public -# License as published by the Free Software Foundation; either -# version 2.1 of the License, or (at your option) any later version. - -# The GNU C Library is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -# Lesser General Public License for more details. - -# You should have received a copy of the GNU Lesser General Public -# License along with the GNU C Library; if not, see -# <http://www.gnu.org/licenses/>. - - -# Check that the @safety notes are self-consistent, i.e., that they're -# in proper order (mt then as then ac), that remarks appear within -# corresponding sections (mt within mt, etc), that unsafety always has -# an explicit reason and when there's a reason for unsafety it's not -# safe, and that there aren't duplicates remarks. - - -success=: - -# If no arguments are given, take all *.texi files in the current directory. -test $# != 0 || set *.texi - -# FIXME: check that each @deftypefu?n is followed by a @safety note, -# with nothing but @deftypefu?nx and comment lines in between. (There -# might be more stuff too). - - -# Check that all safety remarks have entries for all of MT, AS and AC, -# in this order, with an optional prelim note before them. -grep -n '^@safety' "$@" | -grep -v ':@safety{\(@prelim{}\)\?@mt\(un\)\?safe{.*}'\ -'@as\(un\)\?safe{.*}@ac\(un\)\?safe{.*}}' && -success=false - -# Check that @mt-started notes appear within @mtsafe or @mtunsafe, -# that @as-started notes appear within @assafe or @asunsafe, and that -# @ac-started notes appear within @acsafe or @acunsafe. Also check -# that @mt, @as and @ac are followed by an s (for safe) or u (for -# unsafe), but let @mt have as, ac or asc before [su], and let @as -# have a c (for cancel) before [su]. Also make sure blanks separate -# each of the annotations. -grep -n '^@safety' "$@" | -grep -v ':@safety{\(@prelim{}\)\?'\ -'@mt\(un\)\?safe{\(@mt\(asc\?\|ac\)\?[su][^ ]*}\)\?'\ -'\( @mt\(asc\?\|ac\)\?[su][^ ]*}\)*}'\ -'@as\(un\)\?safe{\(@asc\?[su][^ ]*}\)\?'\ -'\( @asc\?[su][^ ]*}\)*}'\ -'@ac\(un\)\?safe{\(@ac[su][^ ]*}\)\?'\ -'\( @ac[su][^ ]*}\)*}}' && -success=false - -# Make sure safety lines marked as @mtsafe do not contain any -# MT-Unsafe remark; that would be @mtu, but there could be as, ac or -# asc between mt and u. -grep -n '^@safety.*@mtsafe' "$@" | -grep '@mt\(asc\?\|ac\)?u' "$@" && -success=false - -# Make sure @mtunsafe lines contain at least one @mtu remark (with -# optional as, ac or asc between mt and u). -grep -n '^@safety.*@mtunsafe' "$@" | -grep -v '@mtunsafe{.*@mt\(asc\?\|ac\)\?u' && -success=false - -# Make sure safety lines marked as @assafe do not contain any AS-Unsafe -# remark, which could be @asu or @mtasu note (with an optional c -# between as and u in both cases). -grep -n '^@safety.*@assafe' "$@" | -grep '@\(mt\)\?asc\?u' && -success=false - -# Make sure @asunsafe lines contain at least one @asu remark (which -# could be @ascu, or @mtasu or even @mtascu). -grep -n '^@safety.*@asunsafe' "$@" | -grep -v '@mtasc\?u.*@asunsafe\|@asunsafe{.*@asc\?u' && -success=false - -# Make sure safety lines marked as @acsafe do not contain any -# AC-Unsafe remark, which could be @acu, @ascu or even @mtacu or -# @mtascu. -grep -n '^@safety.*@acsafe' "$@" | -grep '@\(mt\)\?as\?cu' && -success=false - -# Make sure @acunsafe lines contain at least one @acu remark (possibly -# implied by @ascu, @mtacu or @mtascu). -grep -n '^@safety.*@acunsafe' "$@" | -grep -v '@\(mtas\?\|as\)cu.*@acunsafe\|@acunsafe{.*@acu' && -success=false - -# Make sure there aren't duplicate remarks in the same safety note. -grep -n '^@safety' "$@" | -grep '[^:]\(@\(mt\|a[sc]\)[^ {]*{[^ ]*}\).*[^:]\1' && -success=false - -# Check that comments containing safety remarks do not contain {}s, -# that all @mt remarks appear before @as remarks, that in turn appear -# before @ac remarks, all properly blank-separated, and that an -# optional comment about exclusions is between []s at the end of the -# line. -grep -n '^@c \+[^@ ]\+\( dup\)\?'\ -'\( @\(mt\|a[sc]\)[^ ]*\)*\( \[.*\]\)\?$' "$@" | -grep -v ':@c *[^@{}]*\( @mt[^ {}]*\)*'\ -'\( @as[^ {}]*\)*\( @ac[^ {}]*\)*\( \[.*\]\)\?$' && -success=false - -# Check that comments containing safety remarks do not contain -# duplicate remarks. -grep -n '^@c \+[^@ ]\+\( dup\)\?'\ -'\( @\(mt\|a[sc]\)[^ ]*\)*\( \[.*\]\)\?$' "$@" | -grep '[^:]\(@\(mt\|a[sc]\)[^ ]*\) \(.*[^:]\)\?\1\($\| \)' && -success=false - -$success |