@@ -517,7 +517,7 @@ uint32_t wasi_snapshot_preview1_fd_read(uint32_t fd, uint32_t iovs, uint32_t iov
517
517
case wasi_filetype_character_device : break ;
518
518
case wasi_filetype_regular_file : break ;
519
519
case wasi_filetype_directory : return wasi_errno_inval ;
520
- default : panic ("unimplemented" );
520
+ default : panic ("unimplemented: fd_read special file " );
521
521
}
522
522
523
523
size_t size = 0 ;
@@ -629,7 +629,7 @@ uint32_t wasi_snapshot_preview1_fd_pwrite(uint32_t fd, uint32_t iovs, uint32_t i
629
629
case wasi_filetype_character_device : break ;
630
630
case wasi_filetype_regular_file : break ;
631
631
case wasi_filetype_directory : return wasi_errno_inval ;
632
- default : panic ("unimplemented" );
632
+ default : panic ("unimplemented: fd_pwrite special file " );
633
633
}
634
634
635
635
fpos_t pos ;
@@ -679,7 +679,7 @@ uint32_t wasi_snapshot_preview1_fd_filestat_set_times(uint32_t fd, uint64_t atim
679
679
fprintf (stderr , "wasi_snapshot_preview1_fd_filestat_set_times(%u, %llu, %llu, 0x%X)\n" , fd , (unsigned long long )atim , (unsigned long long )mtim , fst_flags );
680
680
#endif
681
681
682
- panic ("unimplemented" );
682
+ panic ("unimplemented: fd_filestat_set_times " );
683
683
return wasi_errno_success ;
684
684
}
685
685
@@ -703,7 +703,7 @@ uint32_t wasi_snapshot_preview1_environ_get(uint32_t environ, uint32_t environ_b
703
703
fprintf (stderr , "wasi_snapshot_preview1_environ_get()\n" );
704
704
#endif
705
705
706
- panic ("unimplemented" );
706
+ panic ("unimplemented: environ_get " );
707
707
return wasi_errno_success ;
708
708
}
709
709
@@ -757,7 +757,7 @@ uint32_t wasi_snapshot_preview1_fd_readdir(uint32_t fd, uint32_t buf, uint32_t b
757
757
fprintf (stderr , "wasi_snapshot_preview1_fd_readdir(%u, 0x%X, %u, %llu)\n" , fd , buf , buf_len , (unsigned long long )cookie );
758
758
#endif
759
759
760
- panic ("unimplemented" );
760
+ panic ("unimplemented: fd_readdir " );
761
761
return wasi_errno_success ;
762
762
}
763
763
@@ -774,7 +774,7 @@ uint32_t wasi_snapshot_preview1_fd_write(uint32_t fd, uint32_t iovs, uint32_t io
774
774
case wasi_filetype_character_device : break ;
775
775
case wasi_filetype_regular_file : break ;
776
776
case wasi_filetype_directory : return wasi_errno_inval ;
777
- default : panic ("unimplemented" );
777
+ default : panic ("unimplemented: fd_write special file " );
778
778
}
779
779
780
780
size_t size = 0 ;
@@ -825,7 +825,7 @@ uint32_t wasi_snapshot_preview1_path_open(uint32_t fd, uint32_t dirflags, uint32
825
825
fds [fd_len ].fdflags = fdflags ;
826
826
switch (des [de ].filetype ) {
827
827
case wasi_filetype_directory : fds [fd_len ].stream = NULL ; break ;
828
- default : panic ("unimplemented" );
828
+ default : panic ("unimplemented: path_open non-directory DirEntry " );
829
829
}
830
830
fds [fd_len ].fs_rights_inheriting = fs_rights_inheriting ;
831
831
@@ -943,7 +943,7 @@ uint32_t wasi_snapshot_preview1_path_unlink_file(uint32_t fd, uint32_t path, uin
943
943
enum wasi_errno lookup_errno = DirEntry_lookup (fd , 0 , path_ptr , path_len , & de );
944
944
if (lookup_errno != wasi_errno_success ) return lookup_errno ;
945
945
if (des [de ].filetype == wasi_filetype_directory ) return wasi_errno_isdir ;
946
- if (des [de ].filetype != wasi_filetype_regular_file ) panic ("unimplemented" );
946
+ if (des [de ].filetype != wasi_filetype_regular_file ) panic ("unimplemented: path_unlink_file special file " );
947
947
DirEntry_unlink (de );
948
948
return wasi_errno_success ;
949
949
}
@@ -961,7 +961,7 @@ uint32_t wasi_snapshot_preview1_fd_pread(uint32_t fd, uint32_t iovs, uint32_t io
961
961
case wasi_filetype_character_device : break ;
962
962
case wasi_filetype_regular_file : break ;
963
963
case wasi_filetype_directory : return wasi_errno_inval ;
964
- default : panic ("unimplemented" );
964
+ default : panic ("unimplemented: fd_pread special file " );
965
965
}
966
966
967
967
fpos_t pos ;
@@ -975,7 +975,7 @@ uint32_t wasi_snapshot_preview1_fd_pread(uint32_t fd, uint32_t iovs, uint32_t io
975
975
if (fds [fd ].stream != NULL )
976
976
read_size = fread (& m [load32_align2 (& iovs_ptr [i ].ptr )], 1 , len , fds [fd ].stream );
977
977
else
978
- panic ("unimplemented" );
978
+ panic ("unimplemented: fd_pread stream=NULL " );
979
979
size += read_size ;
980
980
if (read_size < len ) break ;
981
981
}
@@ -1000,7 +1000,7 @@ uint32_t wasi_snapshot_preview1_fd_seek(uint32_t fd, uint64_t in_offset, uint32_
1000
1000
case wasi_filetype_character_device : break ;
1001
1001
case wasi_filetype_regular_file : break ;
1002
1002
case wasi_filetype_directory : return wasi_errno_inval ;
1003
- default : panic ("unimplemented" );
1003
+ default : panic ("unimplemented: fd_seek special file " );
1004
1004
}
1005
1005
1006
1006
if (fds [fd ].stream == NULL ) return wasi_errno_success ;
@@ -1035,7 +1035,7 @@ uint32_t wasi_snapshot_preview1_poll_oneoff(uint32_t in, uint32_t out, uint32_t
1035
1035
fprintf (stderr , "wasi_snapshot_preview1_poll_oneoff(%u)\n" , nsubscriptions );
1036
1036
#endif
1037
1037
1038
- panic ("unimplemented" );
1038
+ panic ("unimplemented: poll_oneoff " );
1039
1039
return wasi_errno_success ;
1040
1040
}
1041
1041
0 commit comments