2020-02-08 17:38:11 +08:00
|
|
|
#RUN: %fish %s
|
2020-03-10 02:36:12 +08:00
|
|
|
exec cat <nosuchfile
|
2020-02-08 17:38:11 +08:00
|
|
|
#CHECKERR: warning: An error occurred while redirecting file 'nosuchfile'
|
|
|
|
#CHECKERR: open: No such file or directory
|
|
|
|
echo "failed: $status"
|
|
|
|
#CHECK: failed: 1
|
2020-03-10 02:36:12 +08:00
|
|
|
not exec cat <nosuchfile
|
2020-02-08 17:38:11 +08:00
|
|
|
#CHECKERR: warning: An error occurred while redirecting file 'nosuchfile'
|
|
|
|
#CHECKERR: open: No such file or directory
|
|
|
|
echo "neg failed: $status"
|
|
|
|
#CHECK: neg failed: 0
|
2020-03-10 02:36:12 +08:00
|
|
|
exec cat </dev/null
|
2020-02-08 17:38:11 +08:00
|
|
|
echo "not reached"
|