mirror of
https://github.com/Ed94/Odin.git
synced 2026-08-05 23:28:48 +00:00
Mark some uninitialized memory as safe
Syscalls (but not C functions) are opaque to MemorySanitizer, thus some memory addresses need to be manually marked as safe to access.
This commit is contained in:
@@ -269,6 +269,7 @@ _write_at :: proc(f: ^File_Impl, p: []byte, offset: i64) -> (nt: i64, err: Error
|
|||||||
return
|
return
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@(no_sanitize_memory)
|
||||||
_file_size :: proc(f: ^File_Impl) -> (n: i64, err: Error) {
|
_file_size :: proc(f: ^File_Impl) -> (n: i64, err: Error) {
|
||||||
// TODO: Identify 0-sized "pseudo" files and return No_Size. This would
|
// TODO: Identify 0-sized "pseudo" files and return No_Size. This would
|
||||||
// eliminate the need for the _read_entire_pseudo_file procs.
|
// eliminate the need for the _read_entire_pseudo_file procs.
|
||||||
|
|||||||
@@ -662,7 +662,7 @@ last_write_time_by_name :: proc(name: string) -> (File_Time, Error) {
|
|||||||
return File_Time(modified), nil
|
return File_Time(modified), nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_stat :: proc(path: string) -> (OS_Stat, Error) {
|
_stat :: proc(path: string) -> (OS_Stat, Error) {
|
||||||
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
||||||
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
||||||
@@ -674,7 +674,7 @@ _stat :: proc(path: string) -> (OS_Stat, Error) {
|
|||||||
return s, nil
|
return s, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_lstat :: proc(path: string) -> (OS_Stat, Error) {
|
_lstat :: proc(path: string) -> (OS_Stat, Error) {
|
||||||
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
||||||
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
||||||
@@ -688,7 +688,7 @@ _lstat :: proc(path: string) -> (OS_Stat, Error) {
|
|||||||
return s, nil
|
return s, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_fstat :: proc(fd: Handle) -> (OS_Stat, Error) {
|
_fstat :: proc(fd: Handle) -> (OS_Stat, Error) {
|
||||||
s: OS_Stat = ---
|
s: OS_Stat = ---
|
||||||
result := _unix_fstat(fd, &s)
|
result := _unix_fstat(fd, &s)
|
||||||
|
|||||||
@@ -325,7 +325,7 @@ _alloc_command_line_arguments :: proc() -> []string {
|
|||||||
return res
|
return res
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_stat :: proc(path: string) -> (OS_Stat, Error) {
|
_stat :: proc(path: string) -> (OS_Stat, Error) {
|
||||||
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
||||||
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
||||||
@@ -339,7 +339,7 @@ _stat :: proc(path: string) -> (OS_Stat, Error) {
|
|||||||
return s, nil
|
return s, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_lstat :: proc(path: string) -> (OS_Stat, Error) {
|
_lstat :: proc(path: string) -> (OS_Stat, Error) {
|
||||||
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
||||||
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
||||||
@@ -353,7 +353,7 @@ _lstat :: proc(path: string) -> (OS_Stat, Error) {
|
|||||||
return s, nil
|
return s, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_fstat :: proc(fd: Handle) -> (OS_Stat, Error) {
|
_fstat :: proc(fd: Handle) -> (OS_Stat, Error) {
|
||||||
// deliberately uninitialized
|
// deliberately uninitialized
|
||||||
s: OS_Stat = ---
|
s: OS_Stat = ---
|
||||||
|
|||||||
@@ -674,7 +674,7 @@ seek :: proc(fd: Handle, offset: i64, whence: int) -> (i64, Error) {
|
|||||||
return i64(res), nil
|
return i64(res), nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(require_results)
|
@(require_results, no_sanitize_memory)
|
||||||
file_size :: proc(fd: Handle) -> (i64, Error) {
|
file_size :: proc(fd: Handle) -> (i64, Error) {
|
||||||
// deliberately uninitialized; the syscall fills this buffer for us
|
// deliberately uninitialized; the syscall fills this buffer for us
|
||||||
s: OS_Stat = ---
|
s: OS_Stat = ---
|
||||||
@@ -794,7 +794,7 @@ last_write_time_by_name :: proc(name: string) -> (time: File_Time, err: Error) {
|
|||||||
return File_Time(modified), nil
|
return File_Time(modified), nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_stat :: proc(path: string) -> (OS_Stat, Error) {
|
_stat :: proc(path: string) -> (OS_Stat, Error) {
|
||||||
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
||||||
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
||||||
@@ -808,7 +808,7 @@ _stat :: proc(path: string) -> (OS_Stat, Error) {
|
|||||||
return s, nil
|
return s, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_lstat :: proc(path: string) -> (OS_Stat, Error) {
|
_lstat :: proc(path: string) -> (OS_Stat, Error) {
|
||||||
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
||||||
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
||||||
@@ -822,7 +822,7 @@ _lstat :: proc(path: string) -> (OS_Stat, Error) {
|
|||||||
return s, nil
|
return s, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_fstat :: proc(fd: Handle) -> (OS_Stat, Error) {
|
_fstat :: proc(fd: Handle) -> (OS_Stat, Error) {
|
||||||
// deliberately uninitialized; the syscall fills this buffer for us
|
// deliberately uninitialized; the syscall fills this buffer for us
|
||||||
s: OS_Stat = ---
|
s: OS_Stat = ---
|
||||||
|
|||||||
@@ -724,7 +724,7 @@ last_write_time_by_name :: proc(name: string) -> (time: File_Time, err: Error) {
|
|||||||
return File_Time(modified), nil
|
return File_Time(modified), nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_stat :: proc(path: string) -> (OS_Stat, Error) {
|
_stat :: proc(path: string) -> (OS_Stat, Error) {
|
||||||
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
||||||
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
||||||
@@ -736,7 +736,7 @@ _stat :: proc(path: string) -> (OS_Stat, Error) {
|
|||||||
return s, nil
|
return s, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_lstat :: proc(path: string) -> (OS_Stat, Error) {
|
_lstat :: proc(path: string) -> (OS_Stat, Error) {
|
||||||
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
||||||
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
||||||
@@ -750,7 +750,7 @@ _lstat :: proc(path: string) -> (OS_Stat, Error) {
|
|||||||
return s, nil
|
return s, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_fstat :: proc(fd: Handle) -> (OS_Stat, Error) {
|
_fstat :: proc(fd: Handle) -> (OS_Stat, Error) {
|
||||||
s: OS_Stat = ---
|
s: OS_Stat = ---
|
||||||
result := _unix_fstat(fd, &s)
|
result := _unix_fstat(fd, &s)
|
||||||
|
|||||||
@@ -639,7 +639,7 @@ last_write_time_by_name :: proc(name: string) -> (time: File_Time, err: Error) {
|
|||||||
return File_Time(modified), nil
|
return File_Time(modified), nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_stat :: proc(path: string) -> (OS_Stat, Error) {
|
_stat :: proc(path: string) -> (OS_Stat, Error) {
|
||||||
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
||||||
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
||||||
@@ -653,7 +653,7 @@ _stat :: proc(path: string) -> (OS_Stat, Error) {
|
|||||||
return s, nil
|
return s, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_lstat :: proc(path: string) -> (OS_Stat, Error) {
|
_lstat :: proc(path: string) -> (OS_Stat, Error) {
|
||||||
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
runtime.DEFAULT_TEMP_ALLOCATOR_TEMP_GUARD()
|
||||||
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
cstr := strings.clone_to_cstring(path, context.temp_allocator)
|
||||||
@@ -667,7 +667,7 @@ _lstat :: proc(path: string) -> (OS_Stat, Error) {
|
|||||||
return s, nil
|
return s, nil
|
||||||
}
|
}
|
||||||
|
|
||||||
@(private, require_results)
|
@(private, require_results, no_sanitize_memory)
|
||||||
_fstat :: proc(fd: Handle) -> (OS_Stat, Error) {
|
_fstat :: proc(fd: Handle) -> (OS_Stat, Error) {
|
||||||
// deliberately uninitialized
|
// deliberately uninitialized
|
||||||
s: OS_Stat = ---
|
s: OS_Stat = ---
|
||||||
|
|||||||
Reference in New Issue
Block a user