]> git.ipfire.org Git - thirdparty/gcc.git/blame - contrib/reghunt/bin/gcc-test-rejects-valid
Update copyright years.
[thirdparty/gcc.git] / contrib / reghunt / bin / gcc-test-rejects-valid
CommitLineData
e88396c0
JJ
1#! /bin/sh
2
3# Test a "rejects-valid" GCC bug, using environment variables set in
4# several reghunt scripts and configuration files.
5#
83ffe9cd 6# Copyright (C) 2007-2023 Free Software Foundation, Inc.
e88396c0
JJ
7#
8# This file is free software; you can redistribute it and/or modify
9# it under the terms of the GNU General Public License as published by
10# the Free Software Foundation; either version 3 of the License, or
11# (at your option) any later version.
12#
13# This program is distributed in the hope that it will be useful,
14# but WITHOUT ANY WARRANTY; without even the implied warranty of
15# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16# GNU General Public License for more details.
17#
18# For a copy of the GNU General Public License, write the the
19# Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
20# Boston, MA 02111-1301, USA.
21
22ID=$1
23
24LOGID=`printf "%04d" ${ID}`
25LOG=${BUGID}.${LOGID}.out
26MSGID="bug ${BUGID}, id ${ID}"
27
28$REG_TEST_COMPILER $REG_OPTS $REG_TESTCASE > ${LOG} 2>&1
29
30if [ $? -eq 0 ]; then
31 echo "`date` test compiled successfully for ${MSGID}"
32 exit $REG_PASS
33fi
34
35grep -q 'No such file or directory' ${LOG}
36if [ $? -eq 0 ]; then
37 echo "`date` unexpected failure: missing file for ${MSGID}"
38 exit $REG_ERROR
39fi
40
41grep -q 'error' ${LOG}
42if [ $? -ne 0 ]; then
43 echo "`date` unexpected failure: no error message for ${MSGID}"
44 exit $REG_ERROR
45fi
46
47echo "`date` compilation failed for ${MSGID}"
48exit $REG_FAIL