{"name": "tests_check_test_file_system", "code": "void tests_check_test_file_system ( ) { int v0 ; int v1 ; struct stat @@v2@@ ; struct stat @@v3@@ ; struct statfs @@v4@@ ; if ( chdir ( tests_file_system_mount_dir ) == Number || statfs ( tests_file_system_mount_dir , & @@v4@@ ) == Number ) { fprintf ( stderr , String , tests_file_system_mount_dir ) ; fwrite ( String , Number , Number , stderr ) ; tests_test ( Number , String , String , Number ) ; } tests_max_fname_len = @@v4@@ . f_namelen ; if ( ! strcmp ( tests_file_system_type , String ) && @@v4@@ . f_type != Number ) { fwrite ( String , Number , Number , stderr ) ; tests_test ( Number , String , String , Number ) ; } if ( ! rootok ) { v0 = stat ( tests_file_system_mount_dir , & @@v3@@ ) ; tests_test ( v0 != Number , String , String , Number ) ; v1 = stat ( String , & @@v2@@ ) ; tests_test ( v1 != Number , String , String , Number ) ; tests_test ( @@v3@@ . st_dev != @@v2@@ . st_dev , String , String , Number ) ; } }", "source": [{"n": "v4", "t": {"T": 6, "n": "struct statfs", "l": [{"T": 4, "n": "f_type", "t": "__fsword_t", "s": 8}, {"T": 4, "n": "f_bsize", "t": "__fsword_t", "s": 8}, {"T": 4, "n": "f_blocks", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_bfree", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_bavail", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_files", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_ffree", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_fsid", "t": "__fsid_t", "s": 8}, {"T": 4, "n": "f_namelen", "t": "__fsword_t", "s": 8}, {"T": 4, "n": "f_frsize", "t": "__fsword_t", "s": 8}, {"T": 4, "n": "f_flags", "t": "__fsword_t", "s": 8}, {"T": 4, "n": "f_spare", "t": "__fsword_t[4]", "s": 32}]}, "location": "s128"}, {"n": "v3", "t": {"T": 6, "n": "struct stat", "l": [{"T": 4, "n": "st_dev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_ino", "t": "__ino_t", "s": 8}, {"T": 4, "n": "st_nlink", "t": "__nlink_t", "s": 8}, {"T": 4, "n": "st_mode", "t": "__mode_t", "s": 4}, {"T": 4, "n": "st_uid", "t": "__uid_t", "s": 4}, {"T": 4, "n": "st_gid", "t": "__gid_t", "s": 4}, {"T": 4, "n": "__pad0", "t": "int", "s": 4}, {"T": 4, "n": "st_rdev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_size", "t": "__off_t", "s": 8}, {"T": 4, "n": "st_blksize", "t": "__blksize_t", "s": 8}, {"T": 4, "n": "st_blocks", "t": "__blkcnt_t", "s": 8}, {"T": 4, "n": "st_atim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_mtim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_ctim", "t": "timespec", "s": 16}, {"T": 4, "n": "__unused", "t": "__syscall_slong_t[3]", "s": 24}]}, "location": "s272"}, {"n": "v2", "t": {"T": 6, "n": "struct stat", "l": [{"T": 4, "n": "st_dev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_ino", "t": "__ino_t", "s": 8}, {"T": 4, "n": "st_nlink", "t": "__nlink_t", "s": 8}, {"T": 4, "n": "st_mode", "t": "__mode_t", "s": 4}, {"T": 4, "n": "st_uid", "t": "__uid_t", "s": 4}, {"T": 4, "n": "st_gid", "t": "__gid_t", "s": 4}, {"T": 4, "n": "__pad0", "t": "int", "s": 4}, {"T": 4, "n": "st_rdev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_size", "t": "__off_t", "s": 8}, {"T": 4, "n": "st_blksize", "t": "__blksize_t", "s": 8}, {"T": 4, "n": "st_blocks", "t": "__blkcnt_t", "s": 8}, {"T": 4, "n": "st_atim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_mtim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_ctim", "t": "timespec", "s": 16}, {"T": 4, "n": "__unused", "t": "__syscall_slong_t[3]", "s": 24}]}, "location": "s416"}]}
{"name": "main", "code": "int __cdecl main ( int @@argc@@ , const char * * @@argv@@ , const char * * @@envp@@ ) { const char * @@v3@@ ; const char * @@v4@@ ; tests_size_parameter = Number L ; @@v3@@ = stress_1_get_description ( ) ; @@v4@@ = stress_1_get_title ( ) ; if ( ! ( unsigned int ) tests_get_args ( ( unsigned int ) @@argc@@ , @@argv@@ , @@v4@@ , @@v3@@ , String ) ) return Number ; tests_check_test_file_system ( ) ; stress_1 ( ) ; return Number ; }", "source": [{"n": "envp", "t": {"T": 3, "t": "const char *"}, "location": "r16"}, {"n": "v3", "t": {"T": 3, "t": "const char"}, "location": "r32"}, {"n": "argc", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "argv", "t": {"T": 3, "t": "const char *"}, "location": "r64"}, {"n": "v4", "t": {"T": 3, "t": "const char"}, "location": "r8"}]} {"name": "tests_test", "code": "void __fastcall tests_test ( int @@a1@@ , const char * @@a2@@ , const char * @@a3@@ , unsigned int @@a4@@ ) { char * v4 ; char * v5 ; time_t @@timer@@ ; int @@errnum@@ ; if ( ! @@a1@@ ) { @@errnum@@ = * __errno_location ( ) ; time ( & @@timer@@ ) ; v4 = ctime ( & @@timer@@ ) ; fprintf ( stderr , String , program_name , v4 , @@a2@@ , @@a3@@ , @@a4@@ ) ; if ( @@errnum@@ ) { fprintf ( stderr , String , ( unsigned int ) @@errnum@@ ) ; v5 = strerror ( @@errnum@@ ) ; fprintf ( stderr , String , v5 ) ; } exit ( Number ) ; } }", "source": [{"n": "a3", "t": {"T": 3, "t": "const char"}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r24"}, {"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char"}, "location": "r64"}, {"n": "timer", "t": {"T": 1, "n": "time_t", "s": 8}, "location": "s16"}, {"n": "errnum", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}]}