mirrors/v
1
0
Fork 0
mirror of https://github.com/vlang/v.git synced 2025-09-13 14:32:26 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions 13

builtin: make the C. WIN32 API declarations more precise, to catch errors earlier (#16090)

Browse source
This commit is contained in:
Delyan Angelov 2022-10-17 20:23:33 +03:00 • committed by GitHub
parent 126c4c5751
commit 71bff213ef
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 26 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

14
vlib/os/os.c.v
View file

@ -496,8 +496,8 @@ pub fn rm(path string) ! {
pub fn rmdir(path string) ! {
$if windows {
rc := C.RemoveDirectory(path.to_wide())
if rc == 0 {
// https://docs.microsoft.com/en-us/windows/win32/api/fileapi/nf-fileapi-removedirectorya - 0 is failure
if !rc {
// https://docs.microsoft.com/en-us/windows/win32/api/fileapi/nf-fileapi-removedirectorya - 0 == false, is failure
return error('Failed to remove "$path": ' + posix_get_error_msg(C.errno))
}
} $else {
@ -651,8 +651,8 @@ pub fn executable() string {
// https://docs.microsoft.com/en-us/windows/win32/api/fileapi/nf-fileapi-getfinalpathnamebyhandlew
final_len := C.GetFinalPathNameByHandleW(file, unsafe { &u16(&final_path[0]) },
max_path_buffer_size, 0)
if final_len < max_path_buffer_size {
sret := unsafe { string_from_wide2(&u16(&final_path[0]), final_len) }
if final_len < u32(max_path_buffer_size) {
sret := unsafe { string_from_wide2(&u16(&final_path[0]), int(final_len)) }
defer {
unsafe { sret.free() }
}
@ -665,7 +665,7 @@ pub fn executable() string {
}
}
}
res := unsafe { string_from_wide2(pu16_result, len) }
res := unsafe { string_from_wide2(pu16_result, int(len)) }
return res
}
$if macos {
@ -852,8 +852,8 @@ pub fn real_path(fpath string) string {
// https://docs.microsoft.com/en-us/windows/win32/api/fileapi/nf-fileapi-getfinalpathnamebyhandlew
final_len := C.GetFinalPathNameByHandleW(file, pu16_fullpath, max_path_buffer_size,
0)
if final_len < max_path_buffer_size {
rt := unsafe { string_from_wide2(pu16_fullpath, final_len) }
if final_len < u32(max_path_buffer_size) {
rt := unsafe { string_from_wide2(pu16_fullpath, int(final_len)) }
srt := rt[4..]
unsafe { res.free() }
res = srt.clone()