test/fs: Check ext4 behaviour if dirent is first entry in directory block

This is a regression test for a crash happening if the first dirent
in the block matches. Code tried to access a predecessor entry which
does not exist.
The crash happened for any block, but "." is always the first entry in
the first directory block and thus easy to check for.

Signed-off-by: Stefan Brüns <stefan.bruens@rwth-aachen.de>

diff --git a/test/fs/fs-test.sh b/test/fs/fs-test.sh
index b9c2306a7bcd564d6308993223a9c651c5eeea9d..69abdabd566c93caf0b8af9c2aac8b726ac37b4d 100755 (executable)
--- a/test/fs/fs-test.sh
+++ b/test/fs/fs-test.sh
@@ -293,6 +293,12 @@ ${PREFIX}load host${SUFFIX} $addr ${FPATH}$FILE_WRITE
 md5sum $addr \$filesize
 setenv filesize
 #
+
+# Next test case checks writing a file whose dirent
+# is the first in the block, which is always true for "."
+# The write should fail, but the lookup should work
+# Test Case 12 - Check directory traversal
+${PREFIX}${WRITE} host${SUFFIX} $addr ${FPATH}. 0x10
 reset
 
 EOF
@@ -472,6 +478,10 @@ function check_results() {
        pass_fail "TC11: 1MB write to $3.w - write succeeded"
        check_md5 "Test Case 11b " "$1" "$2" 1 \
                "TC11: 1MB write to $3.w - content verified"
+
+       # Check lookup of 'dot' directory
+       grep -A4 "Test Case 12 " "$1" | grep -q 'Unable to write file'
+       pass_fail "TC12: 1MB write to . - write denied"
        echo "** End $1"
 }